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-3742310-1338783842/watcher-3742310-1338783842 -o /tmp/evaluation-result-3742310-1338783842/solver-3742310-1338783842 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742310-1338783842.opb
running on 4 cores: 0,2,4,6
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.04 2.01 2.00 3/176 2783
/proc/meminfo: memFree=27098040/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=20064 CPUtime=0 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 399 0 0 0 0 0 0 0 20 0 1 0 344510269 20545536 352 33554432000 134512640 137136520 4291176080 4291174296 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2783/statm: 5016 352 185 641 0 4113 0
[startup+0.00824388 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 2783
/proc/meminfo: memFree=27098040/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=20368 CPUtime=0 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 486 0 0 0 0 0 0 0 20 0 1 0 344510269 20856832 439 33554432000 134512640 137136520 4291176080 4291174432 136575102 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2783/statm: 5092 439 192 641 0 4189 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 20368
[startup+0.100131 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 2783
/proc/meminfo: memFree=27098040/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=16724 CPUtime=0.09 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 1994 0 0 0 9 0 0 0 20 0 1 0 344510269 17125376 1688 33554432000 134512640 137136520 4291176080 4290987676 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2783/statm: 4181 1688 189 641 0 3537 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16724
[startup+0.300105 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 2783
/proc/meminfo: memFree=27098040/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=16724 CPUtime=0.29 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 1999 0 0 0 29 0 0 0 20 0 1 0 344510269 17125376 1693 33554432000 134512640 137136520 4291176080 4290987676 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2783/statm: 4181 1693 189 641 0 3537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16724
[startup+0.7001 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 2783
/proc/meminfo: memFree=27098040/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=16724 CPUtime=0.69 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 2000 0 0 0 69 0 0 0 20 0 1 0 344510269 17125376 1694 33554432000 134512640 137136520 4291176080 4290987676 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2783/statm: 4181 1694 189 641 0 3537 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16724
[startup+1.5001 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2784
/proc/meminfo: memFree=27091708/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=16724 CPUtime=1.49 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 2000 0 0 0 149 0 0 0 20 0 1 0 344510269 17125376 1694 33554432000 134512640 137136520 4291176080 4290987676 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2783/statm: 4181 1694 189 641 0 3537 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16724
[startup+3.10013 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2784
/proc/meminfo: memFree=27090468/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=16724 CPUtime=3.09 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 2002 0 0 0 309 0 0 0 20 0 1 0 344510269 17125376 1696 33554432000 134512640 137136520 4291176080 4290987676 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2783/statm: 4181 1696 189 641 0 3537 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16724
[startup+6.30018 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2784
/proc/meminfo: memFree=27087124/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=16724 CPUtime=6.29 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 2004 0 0 0 628 1 0 0 20 0 1 0 344510269 17125376 1698 33554432000 134512640 137136520 4291176080 4290987488 134543921 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2783/statm: 4181 1698 189 641 0 3537 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16724
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2784
/proc/meminfo: memFree=27070408/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=27256 CPUtime=12.68 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 4785 0 0 0 1249 19 0 0 20 0 1 0 344510269 27910144 4357 33554432000 134512640 137136520 4291176080 4291174848 134575473 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 6814 4357 198 641 0 6170 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27256
[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2784
/proc/meminfo: memFree=27035308/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=45356 CPUtime=25.48 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 9328 0 0 0 2502 46 0 0 20 0 1 0 344510269 46444544 8900 33554432000 134512640 137136520 4291176080 4291175008 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 11339 8900 198 641 0 10695 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45356
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 2784
/proc/meminfo: memFree=26971772/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=86732 CPUtime=51.08 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 19670 0 0 0 5043 65 0 0 20 0 1 0 344510269 88813568 19242 33554432000 134512640 137136520 4291176080 4291174848 134573545 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 21683 19242 198 641 0 21039 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86732
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2784
/proc/meminfo: memFree=26841544/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=184336 CPUtime=102.28 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 44122 0 0 0 10151 77 0 0 20 0 1 0 344510269 188760064 43657 33554432000 134512640 137136520 4291176080 4291175196 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 46084 43657 198 641 0 45440 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 184336
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2784
/proc/meminfo: memFree=26700380/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=286192 CPUtime=162.23 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 69742 0 0 0 16131 92 0 0 20 0 1 0 344510269 293060608 69111 33554432000 134512640 137136520 4291176080 4291175008 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 71548 69111 198 641 0 70904 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 286192
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2785
/proc/meminfo: memFree=26586444/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=363396 CPUtime=222.19 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 89086 0 0 0 22103 116 0 0 20 0 1 0 344510269 372117504 88412 33554432000 134512640 137136520 4291176080 4291175196 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 90849 88412 198 641 0 90205 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 363396
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2785
/proc/meminfo: memFree=26469052/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=452276 CPUtime=282.15 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 111356 0 0 0 28081 134 0 0 20 0 1 0 344510269 463130624 110637 33554432000 134512640 137136520 4291176080 4291175008 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 113069 110637 198 641 0 112425 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 452276
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2786
/proc/meminfo: memFree=26344832/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=543924 CPUtime=342.1 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 134310 0 0 0 34066 144 0 0 20 0 1 0 344510269 556978176 133544 33554432000 134512640 137136520 4291176080 4291175008 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 135981 133544 198 641 0 135337 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 543924
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2789
/proc/meminfo: memFree=26273416/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=572016 CPUtime=402.06 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 141380 0 0 0 40035 171 0 0 20 0 1 0 344510269 585744384 140567 33554432000 134512640 137136520 4291176080 4291175008 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 143004 140567 198 641 0 142360 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 572016
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2789
/proc/meminfo: memFree=26198432/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=617488 CPUtime=462.02 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 152807 0 0 0 46018 184 0 0 20 0 1 0 344510269 632307712 151946 33554432000 134512640 137136520 4291176080 4291174608 134600245 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 154372 151946 198 641 0 153728 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 617488
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2789
/proc/meminfo: memFree=26151672/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=645664 CPUtime=522.01 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 159868 0 0 0 51998 203 0 0 20 0 1 0 344510269 661159936 159001 33554432000 134512640 137136520 4291176080 4291175008 134544245 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 161416 159001 198 641 0 160772 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 645664
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2789
/proc/meminfo: memFree=26070384/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=691168 CPUtime=582 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 171254 0 0 0 57986 214 0 0 20 0 1 0 344510269 707756032 170387 33554432000 134512640 137136520 4291176080 4291175008 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 172792 170387 198 641 0 172148 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 691168
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25348900/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1132968 CPUtime=1061.92 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 281681 0 0 0 105911 281 0 0 20 0 1 0 344510269 1160159232 280814 33554432000 134512640 137136520 4291176080 4291174720 134606755 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 283242 280814 198 641 0 282598 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 1132968
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2794
/proc/meminfo: memFree=25256272/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1179016 CPUtime=1121.92 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 293199 0 0 0 111905 287 0 0 20 0 1 0 344510269 1207312384 292332 33554432000 134512640 137136520 4291176080 4291175008 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 294754 292332 198 641 0 294110 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1179016
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2794
/proc/meminfo: memFree=25197868/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1206760 CPUtime=1181.91 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 300120 0 0 0 117895 296 0 0 20 0 1 0 344510269 1235722240 299253 33554432000 134512640 137136520 4291176080 4291175008 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 301690 299253 198 641 0 301046 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 1206760
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2795
/proc/meminfo: memFree=25133808/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1246016 CPUtime=1241.88 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 309969 0 0 0 123883 305 0 0 20 0 1 0 344510269 1275920384 309067 33554432000 134512640 137136520 4291176080 4291174976 134544125 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 311504 309067 198 641 0 310860 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1246016
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2795
/proc/meminfo: memFree=25063280/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1290500 CPUtime=1301.86 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 321162 0 0 0 129874 312 0 0 20 0 1 0 344510269 1321472000 320220 33554432000 134512640 137136520 4291176080 4291175196 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 322625 320220 198 641 0 321981 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1290500
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2795
/proc/meminfo: memFree=25017924/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1315716 CPUtime=1361.83 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 327470 0 0 0 135861 322 0 0 20 0 1 0 344510269 1347293184 326492 33554432000 134512640 137136520 4291176080 4291175008 134544245 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 328929 326492 198 641 0 328285 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1315716
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2795
/proc/meminfo: memFree=24960912/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1353016 CPUtime=1421.8 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 336860 0 0 0 141851 329 0 0 20 0 1 0 344510269 1385488384 335844 33554432000 134512640 137136520 4291176080 4291175008 134543918 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 338254 335844 198 641 0 337610 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1353016
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2795
/proc/meminfo: memFree=24888652/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1399488 CPUtime=1481.77 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 348502 0 0 0 147843 334 0 0 20 0 1 0 344510269 1433075712 347455 33554432000 134512640 137136520 4291176080 4291174720 134606752 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 349872 347455 198 641 0 349228 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1399488
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2796
/proc/meminfo: memFree=24819612/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1438684 CPUtime=1541.74 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 358309 0 0 0 153834 340 0 0 20 0 1 0 344510269 1473212416 357234 33554432000 134512640 137136520 4291176080 4291175008 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 359671 357234 198 641 0 359027 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1438684
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 2799
/proc/meminfo: memFree=24759484/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1463392 CPUtime=1601.71 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 364527 0 0 0 159823 348 0 0 20 0 1 0 344510269 1498513408 363411 33554432000 134512640 137136520 4291176080 4291175008 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 365848 363411 198 641 0 365204 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1463392
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 2799
/proc/meminfo: memFree=24685616/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1513576 CPUtime=1661.68 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 377141 0 0 0 165815 353 0 0 20 0 1 0 344510269 1549901824 375986 33554432000 134512640 137136520 4291176080 4291175008 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2783/statm: 378394 375986 198 641 0 377750 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1513576
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2799
/proc/meminfo: memFree=24580368/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1580024 CPUtime=1721.64 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 393796 0 0 0 171806 358 0 0 20 0 1 0 344510269 1617944576 392597 33554432000 134512640 137136520 4291176080 4291175008 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2783/statm: 395006 392597 198 641 0 394362 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 1580024
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 2847
/proc/meminfo: memFree=25496360/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1620532 CPUtime=1781.61 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 403965 0 0 0 177799 362 0 0 20 0 1 0 344510269 1659424768 402727 33554432000 134512640 137136520 4291176080 4291174976 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2783/statm: 405133 402727 198 641 0 404489 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 1620532
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2847
/proc/meminfo: memFree=25483076/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1624960 CPUtime=1791.2 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 405051 0 0 0 178758 362 0 0 20 0 1 0 344510269 1663959040 403807 33554432000 134512640 137136520 4291176080 4291174672 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2783/statm: 406240 403807 198 641 0 405596 0
Current children cumulated CPU time (s) 1791.2
Current children cumulated vsize (KiB) 1624960
[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2847
/proc/meminfo: memFree=25478240/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1627128 CPUtime=1794.41 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 405606 0 0 0 179078 363 0 0 20 0 1 0 344510269 1666179072 404362 33554432000 134512640 137136520 4291176080 4291175008 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2783/statm: 406782 404362 198 641 0 406138 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (KiB) 1627128
[startup+1796.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2847
/proc/meminfo: memFree=25474768/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1629156 CPUtime=1796 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 406116 0 0 0 179237 363 0 0 20 0 1 0 344510269 1668255744 404872 33554432000 134512640 137136520 4291176080 4291174720 134606783 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2783/statm: 407289 404872 198 641 0 406645 0
Current children cumulated CPU time (s) 1796
Current children cumulated vsize (KiB) 1629156
[startup+1797.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2847
/proc/meminfo: memFree=25469188/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1629588 CPUtime=1796.8 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 406216 0 0 0 179317 363 0 0 20 0 1 0 344510269 1668698112 404972 33554432000 134512640 137136520 4291176080 4291175008 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2783/statm: 407397 404972 198 641 0 406753 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 1629588
[startup+1798.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2847
/proc/meminfo: memFree=25469188/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1629880 CPUtime=1797.6 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 406283 0 0 0 179397 363 0 0 20 0 1 0 344510269 1668997120 405039 33554432000 134512640 137136520 4291176080 4291174848 134573541 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2783/statm: 407470 405039 198 641 0 406826 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 1629880
[startup+1798.7 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 2847
/proc/meminfo: memFree=25468320/32873648 swapFree=6860/6860
[pid=2783] ppid=2781 vsize=1630020 CPUtime=1798 cores=0,2,4,6
/proc/2783/stat : 2783 (bsolo) R 2781 2783 2050 0 -1 4202496 406325 0 0 0 179437 363 0 0 20 0 1 0 344510269 1669140480 405081 33554432000 134512640 137136520 4291176080 4291175008 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2783/statm: 407505 405081 198 641 0 406861 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 1630020
Child status: 0
Real time (s): 1798.76
CPU time (s): 1798.07
CPU user time (s): 1794.42
CPU system time (s): 3.64245
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 1630020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.42
system time used= 3.64245
maximum resident set size= 1620328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 406327
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= 666
involuntary context switches= 1891
runsolver used 2.6176 second user time and 7.27989 second system time
The end