runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3707945-1338154289/watcher-3707945-1338154289 -o /tmp/evaluation-result-3707945-1338154289/solver-3707945-1338154289 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707945-1338154289.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 7541
/proc/meminfo: memFree=30408116/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=12984 CPUtime=0 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 281553781 13295616 312 33554432000 134512640 137138936 4293228320 4293226584 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 3246 312 183 642 0 2124 0
[startup+0.041812 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 7541
/proc/meminfo: memFree=30408116/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=15324 CPUtime=0.03 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 1078 0 0 0 3 0 0 0 20 0 1 0 281553781 15691776 1032 33554432000 134512640 137138936 4293228320 4293226584 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 3831 1034 322 642 0 2709 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15324
[startup+0.100279 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 7541
/proc/meminfo: memFree=30408116/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=19036 CPUtime=0.09 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 2235 0 0 0 9 0 0 0 20 0 1 0 281553781 19492864 2189 33554432000 134512640 137138936 4293228320 4293226584 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 4759 2189 547 642 0 3637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19036
[startup+0.300316 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 7541
/proc/meminfo: memFree=30408116/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=25108 CPUtime=0.29 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 4365 0 0 0 28 1 0 0 20 0 1 0 281553781 25710592 3841 33554432000 134512640 137138936 4293228320 4293213004 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 6277 3841 185 642 0 5633 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25108
[startup+0.700298 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 7541
/proc/meminfo: memFree=30408116/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=25108 CPUtime=0.68 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 4365 0 0 0 65 3 0 0 20 0 1 0 281553781 25710592 3841 33554432000 134512640 137138936 4293228320 4293213004 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 6277 3841 185 642 0 5633 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 25108
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7542
/proc/meminfo: memFree=30392832/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=32484 CPUtime=1.49 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 7429 0 0 0 145 4 0 0 20 0 1 0 281553781 33263616 5696 33554432000 134512640 137138936 4293228320 4293226848 134602746 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 8121 5696 192 642 0 7477 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32484
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7542
/proc/meminfo: memFree=30378944/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=50384 CPUtime=3.09 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 11898 0 0 0 304 5 0 0 20 0 1 0 281553781 51593216 10165 33554432000 134512640 137138936 4293228320 4293227436 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 12596 10165 192 642 0 11952 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50384
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7542
/proc/meminfo: memFree=30344968/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=82992 CPUtime=6.29 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 20049 0 0 0 622 7 0 0 20 0 1 0 281553781 84983808 18316 33554432000 134512640 137138936 4293228320 4293227248 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 20748 18316 192 642 0 20104 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82992
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7542
/proc/meminfo: memFree=30275048/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=150028 CPUtime=12.68 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 36795 0 0 0 1258 10 0 0 20 0 1 0 281553781 153628672 35062 33554432000 134512640 137138936 4293228320 4293226796 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 37507 35062 192 642 0 36863 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 150028
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7542
/proc/meminfo: memFree=30157620/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=262416 CPUtime=25.48 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 64899 0 0 0 2531 17 0 0 20 0 1 0 281553781 268713984 63166 33554432000 134512640 137138936 4293228320 4293227436 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 65604 63166 192 642 0 64960 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 262416
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7542
/proc/meminfo: memFree=30018492/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=400764 CPUtime=51.08 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 99483 0 0 0 5081 27 0 0 20 0 1 0 281553781 410382336 97750 33554432000 134512640 137138936 4293228320 4293227248 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 100191 97750 192 642 0 99547 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 400764
[startup+102.307 s]
/proc/loadavg: 2.06 2.01 1.94 3/178 7543
/proc/meminfo: memFree=29786108/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=631644 CPUtime=102.28 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 157214 0 0 0 10183 45 0 0 20 0 1 0 281553781 646803456 155481 33554432000 134512640 137138936 4293228320 4293226744 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 157911 155481 192 642 0 157267 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 631644
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 7543
/proc/meminfo: memFree=29571472/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=848412 CPUtime=162.26 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 211412 0 0 0 16163 63 0 0 20 0 1 0 281553781 868773888 209679 33554432000 134512640 137138936 4293228320 4293226848 134602746 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 212103 209679 192 642 0 211459 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 848412
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7543
/proc/meminfo: memFree=29328288/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1036128 CPUtime=222.25 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 258398 0 0 0 22151 74 0 0 20 0 1 0 281553781 1060995072 256595 33554432000 134512640 137138936 4293228320 4293227200 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 259032 256595 192 642 0 258388 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1036128
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7544
/proc/meminfo: memFree=29289876/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1036128 CPUtime=282.25 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 258398 0 0 0 28149 76 0 0 20 0 1 0 281553781 1060995072 256595 33554432000 134512640 137138936 4293228320 4293227248 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 259032 256595 192 642 0 258388 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1036128
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7544
/proc/meminfo: memFree=29289352/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1036128 CPUtime=342.22 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 258415 0 0 0 34143 79 0 0 20 0 1 0 281553781 1060995072 256596 33554432000 134512640 137138936 4293228320 4293227248 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 259032 256596 192 642 0 258388 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1036128
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7544
/proc/meminfo: memFree=29289256/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1036128 CPUtime=402.16 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 258462 0 0 0 40135 81 0 0 20 0 1 0 281553781 1060995072 256596 33554432000 134512640 137138936 4293228320 4293227248 134542322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 259032 256596 192 642 0 258388 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1036128
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 7544
/proc/meminfo: memFree=29289284/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1036128 CPUtime=462.13 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 258489 0 0 0 46130 83 0 0 20 0 1 0 281553781 1060995072 256596 33554432000 134512640 137138936 4293228320 4293227216 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 259032 256596 192 642 0 258388 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 1036128
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 7547
/proc/meminfo: memFree=29289280/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1036128 CPUtime=522.08 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 258530 0 0 0 52123 85 0 0 20 0 1 0 281553781 1060995072 256596 33554432000 134512640 137138936 4293228320 4293227248 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 259032 256596 192 642 0 258388 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 1036128
[startup+582.3 s]
/proc/loadavg: 2.06 2.02 1.95 3/177 7548
/proc/meminfo: memFree=29274336/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=582.04 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262430 0 0 0 58115 89 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293226744 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 1051296
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30063540/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1121.78 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 112069 109 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293212852 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 1051296
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7629
/proc/meminfo: memFree=30039864/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1181.77 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 118066 111 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227248 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 1051296
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7629
/proc/meminfo: memFree=30013204/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1241.76 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 124063 113 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227436 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 1051296
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 7640
/proc/meminfo: memFree=29992720/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1301.75 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 130060 115 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227172 136511096 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 1051296
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7640
/proc/meminfo: memFree=29973648/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1361.74 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 136057 117 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227248 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 1051296
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 7640
/proc/meminfo: memFree=29955668/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1421.74 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 142055 119 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227072 134575626 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1051296
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/177 7641
/proc/meminfo: memFree=29938308/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1481.72 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 148050 122 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227248 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1051296
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 7641
/proc/meminfo: memFree=29920576/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1541.71 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 154048 123 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227216 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1541.71
Current children cumulated vsize (KiB) 1051296
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.97 3/177 7641
/proc/meminfo: memFree=29904084/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1601.7 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 160045 125 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227436 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1051296
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 7641
/proc/meminfo: memFree=29890444/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1661.7 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 166042 128 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227248 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 1051296
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 7644
/proc/meminfo: memFree=29872820/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1721.69 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 172039 130 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227248 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1051296
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 7667
/proc/meminfo: memFree=29854708/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1781.68 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 178035 133 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227248 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1051296
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 7668
/proc/meminfo: memFree=29851996/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1791.28 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 178995 133 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293226836 134551000 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 1051296
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 7668
/proc/meminfo: memFree=29851376/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1794.48 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 179314 134 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227216 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 1051296
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 7668
/proc/meminfo: memFree=29851004/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1796.08 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 179474 134 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227248 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1796.08
Current children cumulated vsize (KiB) 1051296
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 7668
/proc/meminfo: memFree=29850632/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1796.88 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 179554 134 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227436 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 1051296
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 7668
/proc/meminfo: memFree=29850632/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1797.68 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 179634 134 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227248 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (KiB) 1051296
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 7668
/proc/meminfo: memFree=29850384/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1797.88 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 179654 134 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293227248 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 1051296
[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 7668
/proc/meminfo: memFree=29850384/32873844 swapFree=7112/7112
[pid=7541] ppid=7539 vsize=1051296 CPUtime=1797.98 cores=1,3,5,7
/proc/7541/stat : 7541 (bsolo) R 7539 7541 7024 0 -1 4202496 262700 0 0 0 179664 134 0 0 20 0 1 0 281553781 1076527104 260386 33554432000 134512640 137138936 4293228320 4293226844 136520979 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7541/statm: 262824 260386 192 642 0 262180 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 1051296
Child status: 0
Real time (s): 1798.64
CPU time (s): 1798.02
CPU user time (s): 1796.67
CPU system time (s): 1.3468
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 1051580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.67
system time used= 1.34679
maximum resident set size= 1041828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262701
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 444
involuntary context switches= 1833
runsolver used 3.09353 second user time and 8.36573 second system time
The end