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-3737652-1338736939/watcher-3737652-1338736939 -o /tmp/evaluation-result-3737652-1338736939/solver-3737652-1338736939 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737652-1338736939.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.01 2.39 2.27 4/176 1542
/proc/meminfo: memFree=31140696/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=11060 CPUtime=0 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 381 0 0 0 0 0 0 0 20 0 1 0 339822467 11325440 322 33554432000 134512640 137136520 4291012480 4291002184 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 2765 322 189 641 0 2121 0
[startup+0.078752 s]
/proc/loadavg: 2.01 2.39 2.27 4/176 1542
/proc/meminfo: memFree=31140696/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=11192 CPUtime=0.07 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 418 0 0 0 7 0 0 0 20 0 1 0 339822467 11460608 359 33554432000 134512640 137136520 4291012480 4291011596 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 2798 359 197 641 0 2154 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11192
[startup+0.100297 s]
/proc/loadavg: 2.01 2.39 2.27 4/176 1542
/proc/meminfo: memFree=31140696/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=11320 CPUtime=0.09 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 449 0 0 0 9 0 0 0 20 0 1 0 339822467 11591680 390 33554432000 134512640 137136520 4291012480 4291011596 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 2830 390 198 641 0 2186 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11320
[startup+0.30022 s]
/proc/loadavg: 2.01 2.39 2.27 4/176 1542
/proc/meminfo: memFree=31140696/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=12684 CPUtime=0.29 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 802 0 0 0 29 0 0 0 20 0 1 0 339822467 12988416 743 33554432000 134512640 137136520 4291012480 4291011596 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 3171 743 198 641 0 2527 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12684
[startup+0.700228 s]
/proc/loadavg: 2.01 2.39 2.27 4/176 1542
/proc/meminfo: memFree=31140696/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=14804 CPUtime=0.69 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 1330 0 0 0 69 0 0 0 20 0 1 0 339822467 15159296 1271 33554432000 134512640 137136520 4291012480 4291011596 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 3701 1271 198 641 0 3057 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14804
[startup+1.50023 s]
/proc/loadavg: 2.01 2.39 2.27 3/177 1543
/proc/meminfo: memFree=31129700/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=18056 CPUtime=1.49 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 2147 0 0 0 149 0 0 0 20 0 1 0 339822467 18489344 2088 33554432000 134512640 137136520 4291012480 4291011596 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 4514 2089 198 641 0 3870 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18056
[startup+3.10024 s]
/proc/loadavg: 2.01 2.39 2.27 3/177 1543
/proc/meminfo: memFree=31122384/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=22912 CPUtime=3.09 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 3341 0 0 0 308 1 0 0 20 0 1 0 339822467 23461888 3282 33554432000 134512640 137136520 4291012480 4291011000 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 5728 3282 198 641 0 5084 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22912
[startup+6.3003 s]
/proc/loadavg: 2.01 2.38 2.27 3/177 1543
/proc/meminfo: memFree=31103536/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=29432 CPUtime=6.29 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 4977 0 0 0 627 2 0 0 20 0 1 0 339822467 30138368 4918 33554432000 134512640 137136520 4291012480 4291011596 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 7358 4918 198 641 0 6714 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29432
[startup+12.7003 s]
/proc/loadavg: 2.01 2.37 2.27 3/177 1543
/proc/meminfo: memFree=31074280/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=32000 CPUtime=12.69 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 5633 0 0 0 1266 3 0 0 20 0 1 0 339822467 32768000 5574 33554432000 134512640 137136520 4291012480 4291011596 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 8000 5574 198 641 0 7356 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32000
[startup+25.5002 s]
/proc/loadavg: 2.00 2.36 2.26 3/177 1543
/proc/meminfo: memFree=31027392/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=36700 CPUtime=25.48 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 6814 0 0 0 2543 5 0 0 20 0 1 0 339822467 37580800 6755 33554432000 134512640 137136520 4291012480 4291011520 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 9175 6755 198 641 0 8531 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36700
[startup+51.1004 s]
/proc/loadavg: 2.00 2.33 2.26 3/177 1543
/proc/meminfo: memFree=30949596/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=36696 CPUtime=51.08 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 6814 0 0 0 5097 11 0 0 20 0 1 0 339822467 37576704 6755 33554432000 134512640 137136520 4291012480 4291011408 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 9174 6755 198 641 0 8530 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36696
[startup+102.307 s]
/proc/loadavg: 2.00 2.27 2.24 3/177 1543
/proc/meminfo: memFree=30809272/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=40728 CPUtime=102.28 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 7881 0 0 0 10209 19 0 0 20 0 1 0 339822467 41705472 7750 33554432000 134512640 137136520 4291012480 4291011596 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 10182 7750 198 641 0 9538 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 40728
[startup+162.3 s]
/proc/loadavg: 2.00 2.22 2.22 3/177 1543
/proc/meminfo: memFree=30672528/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=44588 CPUtime=162.27 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 8869 0 0 0 16200 27 0 0 20 0 1 0 339822467 45658112 8697 33554432000 134512640 137136520 4291012480 4291011596 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 11147 8697 198 641 0 10503 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 44588
[startup+222.3 s]
/proc/loadavg: 2.00 2.18 2.21 3/177 1543
/proc/meminfo: memFree=30527228/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=47836 CPUtime=222.26 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 9726 0 0 0 22191 35 0 0 20 0 1 0 339822467 48984064 9509 33554432000 134512640 137136520 4291012480 4291011408 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 11959 9509 198 641 0 11315 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 47836
[startup+282.3 s]
/proc/loadavg: 2.07 2.16 2.19 3/177 1544
/proc/meminfo: memFree=30407968/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=47536 CPUtime=282.25 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 9726 0 0 0 28186 39 0 0 20 0 1 0 339822467 48676864 9466 33554432000 134512640 137136520 4291012480 4291011596 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 11884 9466 198 641 0 11240 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 47536
[startup+342.3 s]
/proc/loadavg: 2.02 2.13 2.18 3/177 1544
/proc/meminfo: memFree=30289328/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=47536 CPUtime=342.24 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 9726 0 0 0 34178 46 0 0 20 0 1 0 339822467 48676864 9466 33554432000 134512640 137136520 4291012480 4291011520 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 11884 9466 198 641 0 11240 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 47536
[startup+402.3 s]
/proc/loadavg: 2.01 2.10 2.17 3/177 1544
/proc/meminfo: memFree=30185072/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=47536 CPUtime=402.23 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 9726 0 0 0 40170 53 0 0 20 0 1 0 339822467 48676864 9466 33554432000 134512640 137136520 4291012480 4291011408 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 11884 9466 198 641 0 11240 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 47536
[startup+462.3 s]
/proc/loadavg: 2.00 2.08 2.15 3/177 1544
/proc/meminfo: memFree=30080940/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=51628 CPUtime=462.22 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 10794 0 0 0 46162 60 0 0 20 0 1 0 339822467 52867072 10488 33554432000 134512640 137136520 4291012480 4291011596 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 12907 10488 198 641 0 12263 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 51628
[startup+522.3 s]
/proc/loadavg: 2.00 2.06 2.14 3/178 1550
/proc/meminfo: memFree=29974196/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=51948 CPUtime=522.21 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 10843 0 0 0 52155 66 0 0 20 0 1 0 339822467 53194752 10537 33554432000 134512640 137136520 4291012480 4291011408 134543983 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 12987 10537 198 641 0 12343 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 51948
[startup+582.3 s]
/proc/loadavg: 2.00 2.05 2.13 3/177 1551
/proc/meminfo: memFree=29866104/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=51948 CPUtime=582.2 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 10843 0 0 0 58149 71 0 0 20 0 1 0 339822467 53194752 10537 33554432000 134512640 137136520 4291012480 4291011408 134544101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 12987 10537 198 641 0 12343 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 51948
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29113296/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=58776 CPUtime=1122.12 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 12715 0 0 0 112092 120 0 0 20 0 1 0 339822467 60186624 12244 33554432000 134512640 137136520 4291012480 4291011408 134543869 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 14694 12244 198 641 0 14050 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 58776
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 1556
/proc/meminfo: memFree=29022440/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=59876 CPUtime=1182.11 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 12990 0 0 0 118086 125 0 0 20 0 1 0 339822467 61313024 12519 33554432000 134512640 137136520 4291012480 4291011596 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 14969 12519 198 641 0 14325 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 59876
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 1556
/proc/meminfo: memFree=28945092/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=61164 CPUtime=1242.11 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 13312 0 0 0 124081 130 0 0 20 0 1 0 339822467 62631936 12841 33554432000 134512640 137136520 4291012480 4291011408 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 15291 12841 198 641 0 14647 0
Current children cumulated CPU time (s) 1242.11
Current children cumulated vsize (KiB) 61164
[startup+1302.3 s]
/proc/loadavg: 2.12 2.03 2.05 3/177 1556
/proc/meminfo: memFree=28866132/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=61680 CPUtime=1302.1 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 13441 0 0 0 130075 135 0 0 20 0 1 0 339822467 63160320 12970 33554432000 134512640 137136520 4291012480 4291011520 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 15420 12970 198 641 0 14776 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 61680
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/177 1556
/proc/meminfo: memFree=28786056/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=64416 CPUtime=1362.08 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 14125 0 0 0 136069 139 0 0 20 0 1 0 339822467 65961984 13654 33554432000 134512640 137136520 4291012480 4291011520 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 16104 13654 198 641 0 15460 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 64416
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.04 3/177 1556
/proc/meminfo: memFree=28699532/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=64416 CPUtime=1422.09 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 14126 0 0 0 142065 144 0 0 20 0 1 0 339822467 65961984 13655 33554432000 134512640 137136520 4291012480 4291011408 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 16104 13655 198 641 0 15460 0
Current children cumulated CPU time (s) 1422.09
Current children cumulated vsize (KiB) 64416
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/178 1558
/proc/meminfo: memFree=28624160/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=64436 CPUtime=1482.06 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 14132 0 0 0 148058 148 0 0 20 0 1 0 339822467 65982464 13661 33554432000 134512640 137136520 4291012480 4291011596 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 16109 13661 198 641 0 15465 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 64436
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/177 1615
/proc/meminfo: memFree=31491512/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=64436 CPUtime=1542.03 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 14242 0 0 0 154050 153 0 0 20 0 1 0 339822467 65982464 13679 33554432000 134512640 137136520 4291012480 4291011408 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 16109 13679 198 641 0 15465 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 64436
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 1615
/proc/meminfo: memFree=31477412/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=66708 CPUtime=1602.03 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 14790 0 0 0 160043 160 0 0 20 0 1 0 339822467 68308992 14227 33554432000 134512640 137136520 4291012480 4291011408 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 16677 14227 198 641 0 16033 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 66708
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 1616
/proc/meminfo: memFree=31473000/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=66712 CPUtime=1662.01 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 14792 0 0 0 166034 167 0 0 20 0 1 0 339822467 68313088 14228 33554432000 134512640 137136520 4291012480 4291011596 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 16678 14228 198 641 0 16034 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 66712
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/178 1618
/proc/meminfo: memFree=31471996/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=67812 CPUtime=1722.01 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 15067 0 0 0 172027 174 0 0 20 0 1 0 339822467 69439488 14503 33554432000 134512640 137136520 4291012480 4291011596 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 16953 14503 198 641 0 16309 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 67812
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 1619
/proc/meminfo: memFree=31467292/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=67812 CPUtime=1782 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 15067 0 0 0 178019 181 0 0 20 0 1 0 339822467 69439488 14503 33554432000 134512640 137136520 4291012480 4291011408 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 16953 14503 198 641 0 16309 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 67812
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.07 2.02 2.01 3/177 1619
/proc/meminfo: memFree=31466544/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=67812 CPUtime=1791.6 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 15067 0 0 0 178979 181 0 0 20 0 1 0 339822467 69439488 14503 33554432000 134512640 137136520 4291012480 4291011408 134544034 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 16953 14503 198 641 0 16309 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 67812
[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 2.01 3/177 1619
/proc/meminfo: memFree=31466668/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=67812 CPUtime=1794.8 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 15067 0 0 0 179298 182 0 0 20 0 1 0 339822467 69439488 14503 33554432000 134512640 137136520 4291012480 4291011408 134543869 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 16953 14503 198 641 0 16309 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 67812
[startup+1796.7 s]
/proc/loadavg: 2.07 2.02 2.01 3/177 1619
/proc/meminfo: memFree=31466668/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=67812 CPUtime=1796.4 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 15067 0 0 0 179458 182 0 0 20 0 1 0 339822467 69439488 14503 33554432000 134512640 137136520 4291012480 4291011408 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 16953 14503 198 641 0 16309 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 67812
[startup+1797.5 s]
/proc/loadavg: 2.07 2.02 2.01 3/177 1619
/proc/meminfo: memFree=31466668/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=67812 CPUtime=1797.2 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 15067 0 0 0 179538 182 0 0 20 0 1 0 339822467 69439488 14503 33554432000 134512640 137136520 4291012480 4291011408 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 16953 14503 198 641 0 16309 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 67812
[startup+1797.9 s]
/proc/loadavg: 2.07 2.02 2.01 3/177 1619
/proc/meminfo: memFree=31466668/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=67812 CPUtime=1797.59 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 15067 0 0 0 179577 182 0 0 20 0 1 0 339822467 69439488 14503 33554432000 134512640 137136520 4291012480 4291011408 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 16953 14503 198 641 0 16309 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 67812
[startup+1798.1 s]
/proc/loadavg: 2.07 2.02 2.01 3/177 1619
/proc/meminfo: memFree=31466668/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=67812 CPUtime=1797.79 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 15067 0 0 0 179597 182 0 0 20 0 1 0 339822467 69439488 14503 33554432000 134512640 137136520 4291012480 4291011408 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 16953 14503 198 641 0 16309 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 67812
[startup+1798.2 s]
/proc/loadavg: 2.07 2.02 2.01 3/177 1619
/proc/meminfo: memFree=31466668/32873844 swapFree=7116/7116
[pid=1542] ppid=1540 vsize=67812 CPUtime=1797.89 cores=1,3,5,7
/proc/1542/stat : 1542 (bsolo) R 1540 1542 30350 0 -1 4202496 15067 0 0 0 179607 182 0 0 20 0 1 0 339822467 69439488 14503 33554432000 134512640 137136520 4291012480 4291011408 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1542/statm: 16953 14503 198 641 0 16309 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 67812
Child status: 0
Real time (s): 1798.3
CPU time (s): 1798
CPU user time (s): 1796.18
CPU system time (s): 1.82772
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 67812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.18
system time used= 1.82772
maximum resident set size= 58016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15069
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= 28
involuntary context switches= 1852
runsolver used 6.43202 second user time and 14.6198 second system time
The end