runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657953-1276407768/watcher-2657953-1276407768 -o /tmp/evaluation-result-2657953-1276407768/solver-2657953-1276407768 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657953-1276407768.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.83 1.97 1.65 3/106 23091
/proc/meminfo: memFree=1744972/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=11100 CPUtime=0
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 353 0 0 0 0 0 0 0 17 0 1 0 16380816 11366400 271 1992294400 134512640 137138936 4287881584 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 2775 271 175 642 0 2089 0

[startup+0.0358029 s]
/proc/loadavg: 1.83 1.97 1.65 3/106 23091
/proc/meminfo: memFree=1744972/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=11480 CPUtime=0.03
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 548 0 0 0 3 0 0 0 17 0 1 0 16380816 11755520 424 1992294400 134512640 137138936 4287881584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 2870 424 184 642 0 2226 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11480

[startup+0.10081 s]
/proc/loadavg: 1.83 1.97 1.65 3/106 23091
/proc/meminfo: memFree=1744972/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=11776 CPUtime=0.09
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 688 0 0 0 8 1 0 0 17 0 1 0 16380816 12058624 526 1992294400 134512640 137138936 4287881584 18446744073709551615 135745135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 2944 526 218 642 0 2300 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11776

[startup+0.300833 s]
/proc/loadavg: 1.83 1.97 1.65 3/106 23091
/proc/meminfo: memFree=1744972/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=12224 CPUtime=0.29
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 2434 0 0 0 27 2 0 0 17 0 1 0 16380816 12517376 629 1992294400 134512640 137138936 4287881584 18446744073709551615 135745438 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 3056 629 218 642 0 2412 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12224

[startup+0.70088 s]
/proc/loadavg: 1.83 1.97 1.65 3/106 23091
/proc/meminfo: memFree=1744972/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=14868 CPUtime=0.69
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 4450 0 0 0 67 2 0 0 17 0 1 0 16380816 15224832 1019 1992294400 134512640 137138936 4287881584 18446744073709551615 135440839 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 3717 1019 278 642 0 3073 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14868

[startup+1.50097 s]
/proc/loadavg: 1.83 1.97 1.65 2/107 23092
/proc/meminfo: memFree=1741492/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=15728 CPUtime=1.49
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 5365 0 0 0 146 3 0 0 18 0 1 0 16380816 16105472 1108 1992294400 134512640 137138936 4287881584 18446744073709551615 134713090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 3932 1108 278 642 0 3288 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15728

[startup+3.10116 s]
/proc/loadavg: 1.76 1.96 1.65 2/107 23092
/proc/meminfo: memFree=1741368/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=17016 CPUtime=3.09
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 7499 0 0 0 304 5 0 0 21 0 1 0 16380816 17424384 1112 1992294400 134512640 137138936 4287881584 18446744073709551615 134848018 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 4254 1112 282 642 0 3610 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17016

[startup+6.30154 s]
/proc/loadavg: 1.76 1.96 1.65 2/107 23092
/proc/meminfo: memFree=1740500/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=18156 CPUtime=6.29
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 13013 0 0 0 622 7 0 0 25 0 1 0 16380816 18591744 1096 1992294400 134512640 137138936 4287881584 18446744073709551615 135071048 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 4539 1096 282 642 0 3895 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18156

[startup+12.7013 s]
/proc/loadavg: 1.64 1.92 1.64 2/107 23092
/proc/meminfo: memFree=1741120/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=18516 CPUtime=12.69
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 26033 0 0 0 1257 12 0 0 25 0 1 0 16380816 18960384 1218 1992294400 134512640 137138936 4287881584 18446744073709551615 134769614 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 4629 1218 282 642 0 3985 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18516

[startup+25.5008 s]
/proc/loadavg: 1.54 1.89 1.64 2/107 23092
/proc/meminfo: memFree=1741120/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=19124 CPUtime=25.49
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 51213 0 0 0 2528 21 0 0 25 0 1 0 16380816 19582976 1244 1992294400 134512640 137138936 4287881584 18446744073709551615 135466286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 4781 1244 283 642 0 4137 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19124

[startup+51.1008 s]
/proc/loadavg: 1.36 1.82 1.62 2/107 23092
/proc/meminfo: memFree=1740996/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=19008 CPUtime=51.07
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 114309 0 0 0 5059 48 0 0 25 0 1 0 16380816 19464192 1286 1992294400 134512640 137138936 4287881584 18446744073709551615 135463913 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 4752 1286 286 642 0 4108 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19008

[startup+102.308 s]
/proc/loadavg: 1.14 1.68 1.58 2/107 23094
/proc/meminfo: memFree=1740500/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=19164 CPUtime=102.26
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 246037 0 0 0 10121 105 0 0 25 0 1 0 16380816 19623936 1173 1992294400 134512640 137138936 4287881584 18446744073709551615 135080848 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 4791 1173 286 642 0 4147 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 19164

[startup+162.301 s]
/proc/loadavg: 1.05 1.56 1.54 2/107 23096
/proc/meminfo: memFree=1740748/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=19324 CPUtime=162.24
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 376735 0 0 0 16066 158 0 0 25 0 1 0 16380816 19787776 1217 1992294400 134512640 137138936 4287881584 18446744073709551615 135456393 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 4831 1217 286 642 0 4187 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 19324

[startup+222.301 s]
/proc/loadavg: 1.02 1.45 1.50 2/107 23098
/proc/meminfo: memFree=1740376/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=19408 CPUtime=222.21
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 486960 0 0 0 22016 205 0 0 25 0 1 0 16380816 19873792 1253 1992294400 134512640 137138936 4287881584 18446744073709551615 134769620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 4852 1253 286 642 0 4208 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 19408

[startup+282.301 s]
/proc/loadavg: 1.00 1.37 1.47 2/107 23098
/proc/meminfo: memFree=1739632/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=19244 CPUtime=282.19
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 673845 0 0 0 27936 283 0 0 25 0 1 0 16380816 19705856 1335 1992294400 134512640 137138936 4287881584 18446744073709551615 135070983 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 4811 1335 286 642 0 4167 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 19244

[startup+342.301 s]
/proc/loadavg: 1.00 1.30 1.44 2/107 23100
/proc/meminfo: memFree=1739012/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=19620 CPUtime=342.18
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 823045 0 0 0 33874 344 0 0 25 0 1 0 16380816 20090880 1257 1992294400 134512640 137138936 4287881584 18446744073709551615 135457148 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 4905 1257 286 642 0 4261 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 19620

[startup+402.301 s]
/proc/loadavg: 1.00 1.24 1.41 2/107 23102
/proc/meminfo: memFree=1739756/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=20036 CPUtime=402.15
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 946810 0 0 0 39820 395 0 0 25 0 1 0 16380816 20516864 1366 1992294400 134512640 137138936 4287881584 18446744073709551615 135457124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 5009 1366 286 642 0 4365 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 20036

[startup+462.301 s]
/proc/loadavg: 1.00 1.19 1.38 2/107 23104
/proc/meminfo: memFree=1739012/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=20152 CPUtime=462.14
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 1067604 0 0 0 45768 446 0 0 25 0 1 0 16380816 20635648 1521 1992294400 134512640 137138936 4287881584 18446744073709551615 135466085 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 5038 1521 286 642 0 4394 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 20152

[startup+522.3 s]
/proc/loadavg: 1.00 1.16 1.35 2/107 23106
/proc/meminfo: memFree=1739260/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=20564 CPUtime=522.11
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 1190755 0 0 0 51715 496 0 0 25 0 1 0 16380816 21057536 1470 1992294400 134512640 137138936 4287881584 18446744073709551615 135081130 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 5141 1470 286 642 0 4497 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 20564

[startup+582.3 s]
/proc/loadavg: 1.00 1.13 1.33 2/107 23106
/proc/meminfo: memFree=1738764/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=20256 CPUtime=582.1
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 1313197 0 0 0 57656 554 0 0 25 0 1 0 16380816 20742144 1490 1992294400 134512640 137138936 4287881584 18446744073709551615 135463657 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 5064 1490 286 642 0 4420 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 20256

[startup+642.3 s]
/proc/loadavg: 1.00 1.10 1.31 2/107 23108
/proc/meminfo: memFree=1738516/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=20988 CPUtime=642.08
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 1436451 0 0 0 63599 609 0 0 25 0 1 0 16380816 21491712 1680 1992294400 134512640 137138936 4287881584 18446744073709551615 135466265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 5247 1680 286 642 0 4603 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 20988

[startup+702.3 s]

################
# More data... #
################

/proc/meminfo: memFree=1737276/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=22244 CPUtime=1121.94
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 2416181 0 0 0 111147 1047 0 0 25 0 1 0 16380816 22777856 2162 1992294400 134512640 137138936 4287881584 18446744073709551615 134769601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 5561 2162 286 642 0 4917 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 22244

[startup+1182.3 s]
/proc/loadavg: 1.04 1.02 1.16 2/107 23131
/proc/meminfo: memFree=1736408/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=22808 CPUtime=1181.92
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 2534876 0 0 0 117092 1100 0 0 25 0 1 0 16380816 23355392 2240 1992294400 134512640 137138936 4287881584 18446744073709551615 135344671 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 5702 2240 286 642 0 5058 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 22808

[startup+1242.3 s]
/proc/loadavg: 1.01 1.02 1.15 2/107 23133
/proc/meminfo: memFree=1736160/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=22992 CPUtime=1241.91
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 2653080 0 0 0 123038 1153 0 0 25 0 1 0 16380816 23543808 2097 1992294400 134512640 137138936 4287881584 18446744073709551615 135081094 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 5748 2097 286 642 0 5104 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 22992

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.13 2/107 23135
/proc/meminfo: memFree=1735168/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=23292 CPUtime=1301.89
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 2780733 0 0 0 128981 1208 0 0 25 0 1 0 16380816 23851008 2362 1992294400 134512640 137138936 4287881584 18446744073709551615 135466265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 5823 2362 286 642 0 5179 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 23292

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/107 23137
/proc/meminfo: memFree=1736160/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=23424 CPUtime=1361.87
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 2896535 0 0 0 134927 1260 0 0 25 0 1 0 16380816 23986176 2341 1992294400 134512640 137138936 4287881584 18446744073709551615 135438534 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 5856 2341 286 642 0 5212 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 23424

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 23139
/proc/meminfo: memFree=1734796/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=23684 CPUtime=1421.86
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 3025455 0 0 0 140874 1312 0 0 25 0 1 0 16380816 24252416 2338 1992294400 134512640 137138936 4287881584 18446744073709551615 134769614 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 5921 2338 286 642 0 5277 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 23684

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 23139
/proc/meminfo: memFree=1735168/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=23952 CPUtime=1481.84
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 3146472 0 0 0 146821 1363 0 0 25 0 1 0 16380816 24526848 2464 1992294400 134512640 137138936 4287881584 18446744073709551615 135440925 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 5988 2464 286 642 0 5344 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 23952

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 23141
/proc/meminfo: memFree=1734920/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=24020 CPUtime=1541.82
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 3271130 0 0 0 152767 1415 0 0 25 0 1 0 16380816 24596480 2368 1992294400 134512640 137138936 4287881584 18446744073709551615 134769715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 6005 2368 286 642 0 5361 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 24020

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 23143
/proc/meminfo: memFree=1735168/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=24300 CPUtime=1601.81
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 3405204 0 0 0 158708 1473 0 0 25 0 1 0 16380816 24883200 2393 1992294400 134512640 137138936 4287881584 18446744073709551615 134769627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 6075 2393 286 642 0 5431 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 24300

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 23145
/proc/meminfo: memFree=1734176/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=24192 CPUtime=1661.79
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 3538519 0 0 0 164650 1529 0 0 25 0 1 0 16380816 24772608 2405 1992294400 134512640 137138936 4287881584 18446744073709551615 135457646 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 6048 2405 286 642 0 5404 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 24192

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 23147
/proc/meminfo: memFree=1733680/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=24796 CPUtime=1721.78
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 3876727 0 0 0 170529 1649 0 0 25 0 1 0 16380816 25391104 2583 1992294400 134512640 137138936 4287881584 18446744073709551615 135466263 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 6199 2583 286 642 0 5555 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 24796

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 23147
/proc/meminfo: memFree=1733804/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=24564 CPUtime=1781.75
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 3967078 0 0 0 176485 1690 0 0 25 0 1 0 16380816 25153536 2566 1992294400 134512640 137138936 4287881584 18446744073709551615 135466026 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 6141 2566 286 642 0 5497 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 24564

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 23149
/proc/meminfo: memFree=1733928/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=24884 CPUtime=1791.37
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 3983969 0 0 0 177437 1700 0 0 25 0 1 0 16380816 25481216 2437 1992294400 134512640 137138936 4287881584 18446744073709551615 135080725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 6221 2437 286 642 0 5577 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 24884

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 23149
/proc/meminfo: memFree=1733432/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=24924 CPUtime=1794.56
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 3989519 0 0 0 177753 1703 0 0 25 0 1 0 16380816 25522176 2468 1992294400 134512640 137138936 4287881584 18446744073709551615 135473167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 6231 2469 286 642 0 5587 0
Current children cumulated CPU time (s) 1794.56
Current children cumulated vsize (KiB) 24924

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 23149
/proc/meminfo: memFree=1733308/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=24360 CPUtime=1796.15
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 3991674 0 0 0 177911 1704 0 0 25 0 1 0 16380816 24944640 2435 1992294400 134512640 137138936 4287881584 18446744073709551615 134734948 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 6090 2435 286 642 0 5446 0
Current children cumulated CPU time (s) 1796.15
Current children cumulated vsize (KiB) 24360

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 23149
/proc/meminfo: memFree=1734300/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=24424 CPUtime=1796.95
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 3992954 0 0 0 177991 1704 0 0 25 0 1 0 16380816 25010176 2561 1992294400 134512640 137138936 4287881584 18446744073709551615 135446672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 6106 2561 286 642 0 5462 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (KiB) 24424

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 23149
/proc/meminfo: memFree=1734300/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=24828 CPUtime=1797.75
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 3994090 0 0 0 178070 1705 0 0 25 0 1 0 16380816 25423872 2445 1992294400 134512640 137138936 4287881584 18446744073709551615 134740196 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 6207 2445 286 642 0 5563 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 24828

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 23149
/proc/meminfo: memFree=1734176/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=24828 CPUtime=1797.96
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 3994350 0 0 0 178091 1705 0 0 25 0 1 0 16380816 25423872 2445 1992294400 134512640 137138936 4287881584 18446744073709551615 135438626 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 6207 2445 286 642 0 5563 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 24828

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 23149
/proc/meminfo: memFree=1734176/2059040 swapFree=4136464/4192956
[pid=23091] ppid=23089 vsize=24828 CPUtime=1798.05
/proc/23091/stat : 23091 (bsolo_pb10) R 23089 23091 23060 0 -1 4202496 3994458 0 0 0 178100 1705 0 0 25 0 1 0 16380816 25423872 2553 1992294400 134512640 137138936 4287881584 18446744073709551615 135070985 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/23091/statm: 6207 2553 286 642 0 5563 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 24828

Child status: 0
Real time (s): 1798.63
CPU time (s): 1798.09
CPU user time (s): 1781.04
CPU system time (s): 17.0584
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 25304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.04
system time used= 17.0584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3994557
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= 1
involuntary context switches= 5489

runsolver used 2.83957 second user time and 8.62269 second system time

The end