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-3741946-1338778445/watcher-3741946-1338778445 -o /tmp/evaluation-result-3741946-1338778445/solver-3741946-1338778445 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741946-1338778445.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.07 2.06 2.00 4/176 2355
/proc/meminfo: memFree=26271652/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=11612 CPUtime=0 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 408 0 0 0 0 0 0 0 20 0 1 0 343970585 11890688 361 33554432000 134512640 137136520 4292716944 4292715336 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 2903 361 190 641 0 2159 0
[startup+0.0689799 s]
/proc/loadavg: 2.07 2.06 2.00 4/176 2355
/proc/meminfo: memFree=26271652/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=13040 CPUtime=0.06 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 971 0 0 0 6 0 0 0 20 0 1 0 343970585 13352960 824 33554432000 134512640 137136520 4292716944 4292638940 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 3260 824 189 641 0 2616 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13040
[startup+0.100201 s]
/proc/loadavg: 2.07 2.06 2.00 4/176 2355
/proc/meminfo: memFree=26271652/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=13040 CPUtime=0.09 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 971 0 0 0 9 0 0 0 20 0 1 0 343970585 13352960 824 33554432000 134512640 137136520 4292716944 4292638940 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 3260 824 189 641 0 2616 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13040
[startup+0.300178 s]
/proc/loadavg: 2.07 2.06 2.00 4/176 2355
/proc/meminfo: memFree=26271652/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=13040 CPUtime=0.29 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 972 0 0 0 29 0 0 0 20 0 1 0 343970585 13352960 825 33554432000 134512640 137136520 4292716944 4292638940 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 3260 825 189 641 0 2616 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13040
[startup+0.700176 s]
/proc/loadavg: 2.07 2.06 2.00 4/176 2355
/proc/meminfo: memFree=26271652/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=13040 CPUtime=0.69 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 972 0 0 0 69 0 0 0 20 0 1 0 343970585 13352960 825 33554432000 134512640 137136520 4292716944 4292638940 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 3260 825 189 641 0 2616 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13040
[startup+1.50018 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 2356
/proc/meminfo: memFree=26268296/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=13656 CPUtime=1.49 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 1249 0 0 0 146 3 0 0 20 0 1 0 343970585 13983744 997 33554432000 134512640 137136520 4292716944 4292716060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 3414 997 198 641 0 2770 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13656
[startup+3.10011 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 2356
/proc/meminfo: memFree=26265196/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=18340 CPUtime=3.09 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 2424 0 0 0 302 7 0 0 20 0 1 0 343970585 18780160 2172 33554432000 134512640 137136520 4292716944 4292715840 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 4585 2172 198 641 0 3941 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18340
[startup+6.30015 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 2356
/proc/meminfo: memFree=26252408/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=29100 CPUtime=6.29 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 5106 0 0 0 618 11 0 0 20 0 1 0 343970585 29798400 4849 33554432000 134512640 137136520 4292716944 4292715536 134616680 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 7275 4849 198 641 0 6631 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29100
[startup+12.7002 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 2356
/proc/meminfo: memFree=26223068/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=52132 CPUtime=12.69 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 10954 0 0 0 1252 17 0 0 20 0 1 0 343970585 53383168 10606 33554432000 134512640 137136520 4292716944 4292716060 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 13033 10606 198 641 0 12389 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52132
[startup+25.5002 s]
/proc/loadavg: 2.04 2.06 2.00 3/177 2356
/proc/meminfo: memFree=26167736/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=95884 CPUtime=25.48 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 21934 0 0 0 2523 25 0 0 20 0 1 0 343970585 98185216 21560 33554432000 134512640 137136520 4292716944 4292715700 136500521 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 23971 21560 198 641 0 23327 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95884
[startup+51.1003 s]
/proc/loadavg: 2.08 2.07 2.00 3/177 2356
/proc/meminfo: memFree=26098760/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=143692 CPUtime=51.08 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 33890 0 0 0 5070 38 0 0 20 0 1 0 343970585 147140608 33506 33554432000 134512640 137136520 4292716944 4292715712 134574491 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 35923 33506 198 641 0 35279 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 143692
[startup+102.306 s]
/proc/loadavg: 2.09 2.07 2.00 3/177 2356
/proc/meminfo: memFree=25924956/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=242712 CPUtime=102.28 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 58865 0 0 0 10169 59 0 0 20 0 1 0 343970585 248537088 58247 33554432000 134512640 137136520 4292716944 4292715872 134544530 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 60678 58247 198 641 0 60034 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 242712
[startup+162.3 s]
/proc/loadavg: 2.10 2.07 2.00 3/177 2356
/proc/meminfo: memFree=25784376/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=334320 CPUtime=162.27 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 83105 0 0 0 16159 68 0 0 20 0 1 0 343970585 342343680 81169 33554432000 134512640 137136520 4292716944 4292715712 134574477 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 83580 81169 198 641 0 82936 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 334320
[startup+222.3 s]
/proc/loadavg: 2.10 2.07 2.00 3/177 2357
/proc/meminfo: memFree=25673304/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=413988 CPUtime=222.26 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 105396 0 0 0 22148 78 0 0 20 0 1 0 343970585 423923712 101074 33554432000 134512640 137136520 4292716944 4292715872 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 103497 101074 198 641 0 102853 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 413988
[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 2357
/proc/meminfo: memFree=25563096/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=490380 CPUtime=282.24 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 126425 0 0 0 28140 84 0 0 20 0 1 0 343970585 502149120 120175 33554432000 134512640 137136520 4292716944 4292715536 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 122595 120175 198 641 0 121951 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 490380
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 2357
/proc/meminfo: memFree=25406020/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=595740 CPUtime=342.24 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 154316 0 0 0 34129 95 0 0 20 0 1 0 343970585 610037760 146523 33554432000 134512640 137136520 4292716944 4292715536 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 148935 146523 198 641 0 148291 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 595740
[startup+402.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/178 2360
/proc/meminfo: memFree=25286868/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=661340 CPUtime=402.23 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 172326 0 0 0 40116 107 0 0 20 0 1 0 343970585 677212160 162918 33554432000 134512640 137136520 4292716944 4292715872 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 165335 162918 198 641 0 164691 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 661340
[startup+462.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/178 2383
/proc/meminfo: memFree=25181528/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=713688 CPUtime=462.21 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 185624 0 0 0 46105 116 0 0 20 0 1 0 343970585 730816512 176007 33554432000 134512640 137136520 4292716944 4292715872 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 178422 176007 198 641 0 177778 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 713688
[startup+522.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 2384
/proc/meminfo: memFree=25086208/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=763960 CPUtime=522.21 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 198233 0 0 0 52096 125 0 0 20 0 1 0 343970585 782295040 188566 33554432000 134512640 137136520 4292716944 4292715872 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 190990 188566 198 641 0 190346 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 763960
[startup+582.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 2384
/proc/meminfo: memFree=24971164/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=808024 CPUtime=582.2 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 209298 0 0 0 58086 134 0 0 20 0 1 0 343970585 827416576 199595 33554432000 134512640 137136520 4292716944 4292715872 134544066 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 202006 199595 198 641 0 201362 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 808024
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25719608/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1197508 CPUtime=1122.06 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 307783 0 0 0 112031 175 0 0 20 0 1 0 343970585 1226248192 296962 33554432000 134512640 137136520 4292716944 4292715872 134544140 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 299377 296962 198 641 0 298733 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 1197508
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 2437
/proc/meminfo: memFree=25553600/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1228204 CPUtime=1182.02 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 315538 0 0 0 118024 178 0 0 20 0 1 0 343970585 1257680896 304629 33554432000 134512640 137136520 4292716944 4292715872 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 307051 304629 198 641 0 306407 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 1228204
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2437
/proc/meminfo: memFree=25404584/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1261836 CPUtime=1241.98 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 324030 0 0 0 124017 181 0 0 20 0 1 0 343970585 1292120064 313050 33554432000 134512640 137136520 4292716944 4292715584 134606731 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 315459 313050 198 641 0 314815 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1261836
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 2437
/proc/meminfo: memFree=25261892/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1290856 CPUtime=1301.95 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 331375 0 0 0 130011 184 0 0 20 0 1 0 343970585 1321836544 320310 33554432000 134512640 137136520 4292716944 4292715620 136501957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 322714 320310 198 641 0 322070 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1290856
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 2437
/proc/meminfo: memFree=25114732/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1319496 CPUtime=1361.92 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 338591 0 0 0 136005 187 0 0 20 0 1 0 343970585 1351163904 327472 33554432000 134512640 137136520 4292716944 4292715872 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 329874 327472 198 641 0 329230 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1319496
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 2438
/proc/meminfo: memFree=24995596/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1347544 CPUtime=1421.89 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 345686 0 0 0 142000 189 0 0 20 0 1 0 343970585 1379885056 334478 33554432000 134512640 137136520 4292716944 4292715472 134600588 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 336886 334478 198 641 0 336242 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1347544
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2438
/proc/meminfo: memFree=24903616/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1376520 CPUtime=1481.85 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 353001 0 0 0 147993 192 0 0 20 0 1 0 343970585 1409556480 341726 33554432000 134512640 137136520 4292716944 4292715872 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 344130 341726 198 641 0 343486 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1376520
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 2438
/proc/meminfo: memFree=24801220/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1408716 CPUtime=1541.82 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 361109 0 0 0 153986 196 0 0 20 0 1 0 343970585 1442525184 349776 33554432000 134512640 137136520 4292716944 4292715496 136502148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 352179 349776 198 641 0 351535 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1408716
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2441
/proc/meminfo: memFree=24691980/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1435688 CPUtime=1601.77 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 367939 0 0 0 159979 198 0 0 20 0 1 0 343970585 1470144512 356520 33554432000 134512640 137136520 4292716944 4292715872 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 358922 356520 198 641 0 358278 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1435688
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 2441
/proc/meminfo: memFree=24593812/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1463868 CPUtime=1661.73 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 375081 0 0 0 165971 202 0 0 20 0 1 0 343970585 1499000832 363552 33554432000 134512640 137136520 4292716944 4292715872 134543927 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 365967 363552 198 641 0 365323 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1463868
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 2441
/proc/meminfo: memFree=24498320/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1490832 CPUtime=1721.7 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 381915 0 0 0 171966 204 0 0 20 0 1 0 343970585 1526611968 370291 33554432000 134512640 137136520 4292716944 4292715584 134606757 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 372708 370291 198 641 0 372064 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1490832
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25537740/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1517980 CPUtime=1781.67 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 388750 0 0 0 177961 206 0 0 20 0 1 0 343970585 1554411520 377082 33554432000 134512640 137136520 4292716944 4292715872 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 379495 377082 198 641 0 378851 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1517980
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25523836/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1521584 CPUtime=1791.28 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 389682 0 0 0 178921 207 0 0 20 0 1 0 343970585 1558102016 377990 33554432000 134512640 137136520 4292716944 4292715872 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 380396 377990 198 641 0 379752 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 1521584
[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25516628/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1523052 CPUtime=1794.47 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 390052 0 0 0 179240 207 0 0 20 0 1 0 343970585 1559605248 378350 33554432000 134512640 137136520 4292716944 4292715872 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 380763 378350 198 641 0 380119 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 1523052
[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25513652/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1523712 CPUtime=1796.06 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 390214 0 0 0 179399 207 0 0 20 0 1 0 343970585 1560281088 378511 33554432000 134512640 137136520 4292716944 4292715864 135982505 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 380928 378511 198 641 0 380284 0
Current children cumulated CPU time (s) 1796.06
Current children cumulated vsize (KiB) 1523712
[startup+1797.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25511668/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1523936 CPUtime=1796.86 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 390266 0 0 0 179479 207 0 0 20 0 1 0 343970585 1560510464 378563 33554432000 134512640 137136520 4292716944 4292715872 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 380984 378563 198 641 0 380340 0
Current children cumulated CPU time (s) 1796.86
Current children cumulated vsize (KiB) 1523936
[startup+1798.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25511668/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1524260 CPUtime=1797.66 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 390365 0 0 0 179559 207 0 0 20 0 1 0 343970585 1560842240 378662 33554432000 134512640 137136520 4292716944 4292715872 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 381065 378662 198 641 0 380421 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 1524260
[startup+1798.51 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25509932/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1524368 CPUtime=1797.87 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 390383 0 0 0 179580 207 0 0 20 0 1 0 343970585 1560952832 378680 33554432000 134512640 137136520 4292716944 4292715872 134543951 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 381092 378680 198 641 0 380448 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 1524368
[startup+1798.6 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 2490
/proc/meminfo: memFree=25509932/32873648 swapFree=6860/6860
[pid=2355] ppid=2353 vsize=1524368 CPUtime=1797.96 cores=0,2,4,6
/proc/2355/stat : 2355 (bsolo) R 2353 2355 2050 0 -1 4202496 390383 0 0 0 179589 207 0 0 20 0 1 0 343970585 1560952832 378680 33554432000 134512640 137136520 4292716944 4292715872 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/2355/statm: 381092 378680 198 641 0 380448 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 1524368
Child status: 0
Real time (s): 1798.65
CPU time (s): 1798.02
CPU user time (s): 1795.92
CPU system time (s): 2.09568
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 1524368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.92
system time used= 2.09568
maximum resident set size= 1514720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390384
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= 553
involuntary context switches= 1906
runsolver used 2.53062 second user time and 7.28689 second system time
The end