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-3731440-1338691739/watcher-3731440-1338691739 -o /tmp/evaluation-result-3731440-1338691739/solver-3731440-1338691739 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3731440-1338691739.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31909
/proc/meminfo: memFree=31329772/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=10924 CPUtime=0 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 351 0 0 0 0 0 0 0 20 0 1 0 335300866 11186176 293 33554432000 134512640 137136520 4288252752 4288245532 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 2731 293 189 641 0 2087 0
[startup+0.0878151 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31909
/proc/meminfo: memFree=31329772/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=12544 CPUtime=0.08 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 749 0 0 0 8 0 0 0 20 0 1 0 335300866 12845056 657 33554432000 134512640 137136520 4288252752 4288250600 135464201 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 3136 657 284 641 0 2492 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12544
[startup+0.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31909
/proc/meminfo: memFree=31329772/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=12544 CPUtime=0.09 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 767 0 0 0 9 0 0 0 20 0 1 0 335300866 12845056 675 33554432000 134512640 137136520 4288252752 4288250600 135464065 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 3136 675 284 641 0 2492 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12544
[startup+0.300227 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31909
/proc/meminfo: memFree=31329772/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=13316 CPUtime=0.29 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 1219 0 0 0 29 0 0 0 20 0 1 0 335300866 13635584 762 33554432000 134512640 137136520 4288252752 4288250440 135442575 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 3329 762 284 641 0 2685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13316
[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31909
/proc/meminfo: memFree=31329772/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=13332 CPUtime=0.69 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 2272 0 0 0 69 0 0 0 20 0 1 0 335300866 13651968 700 33554432000 134512640 137136520 4288252752 4288249784 135364455 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 3333 700 289 641 0 2689 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13332
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31910
/proc/meminfo: memFree=31328664/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=13472 CPUtime=1.49 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 7672 0 0 0 148 1 0 0 20 0 1 0 335300866 13795328 660 33554432000 134512640 137136520 4288252752 4288250512 135448333 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 3368 660 289 641 0 2724 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13472
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31910
/proc/meminfo: memFree=31327656/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=13468 CPUtime=3.08 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 21013 0 0 0 306 2 0 0 20 0 1 0 335300866 13791232 555 33554432000 134512640 137136520 4288252752 4288250512 135447705 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 3367 555 289 641 0 2723 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13468
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31910
/proc/meminfo: memFree=31328052/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=14200 CPUtime=6.29 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 48596 0 0 0 622 7 0 0 20 0 1 0 335300866 14540800 748 33554432000 134512640 137136520 4288252752 4288250440 135442568 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 3550 748 295 641 0 2906 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14200
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31910
/proc/meminfo: memFree=31325728/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=15884 CPUtime=12.69 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 125130 0 0 0 1249 20 0 0 20 0 1 0 335300866 16265216 1226 33554432000 134512640 137136520 4288252752 4288250800 135342036 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 3971 1226 296 641 0 3327 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15884
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31910
/proc/meminfo: memFree=31318536/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=22916 CPUtime=25.49 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 312785 0 0 0 2503 46 0 0 20 0 1 0 335300866 23465984 2814 33554432000 134512640 137136520 4288252752 4288250512 135447705 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 5729 2814 296 641 0 5085 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22916
[startup+51.1002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31910
/proc/meminfo: memFree=31309236/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=33752 CPUtime=51.08 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 659975 0 0 0 5011 97 0 0 20 0 1 0 335300866 34562048 5602 33554432000 134512640 137136520 4288252752 4288250440 135442568 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 8438 5602 296 641 0 7794 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33752
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 31913
/proc/meminfo: memFree=31277584/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=65088 CPUtime=102.27 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 1513344 0 0 0 9989 238 0 0 20 0 1 0 335300866 66650112 13168 33554432000 134512640 137136520 4288252752 4288250512 135448314 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 16272 13168 296 641 0 15628 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 65088
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31913
/proc/meminfo: memFree=31262772/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=78036 CPUtime=162.26 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 2248457 0 0 0 15821 405 0 0 20 0 1 0 335300866 79908864 16600 33554432000 134512640 137136520 4288252752 4288250580 134728570 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 19509 16600 296 641 0 18865 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 78036
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31913
/proc/meminfo: memFree=31247604/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=87144 CPUtime=222.23 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 3035448 0 0 0 21631 592 0 0 20 0 1 0 335300866 89235456 18925 33554432000 134512640 137136520 4288252752 4288250112 135434605 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 21786 18926 296 641 0 21142 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 87144
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31913
/proc/meminfo: memFree=31235072/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=92744 CPUtime=282.23 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 3857454 0 0 0 27423 800 0 0 20 0 1 0 335300866 94969856 20452 33554432000 134512640 137136520 4288252752 4288250872 134731460 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 23262 20453 296 641 0 22618 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 92744
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31914
/proc/meminfo: memFree=31220048/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=104356 CPUtime=342.22 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 4726273 0 0 0 33201 1021 0 0 20 0 1 0 335300866 106860544 23838 33554432000 134512640 137136520 4288252752 4288250872 134731460 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 26165 23840 296 641 0 25521 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 104356
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31914
/proc/meminfo: memFree=31207888/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=116304 CPUtime=402.21 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 5594560 0 0 0 38972 1249 0 0 20 0 1 0 335300866 119095296 26778 33554432000 134512640 137136520 4288252752 4288250396 136698750 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 29042 26784 296 641 0 28398 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 116304
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31914
/proc/meminfo: memFree=31206008/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=116536 CPUtime=462.19 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 6442253 0 0 0 44738 1481 0 0 20 0 1 0 335300866 119332864 27303 33554432000 134512640 137136520 4288252752 4288250356 136571827 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 29556 27309 296 641 0 28912 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 116536
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31914
/proc/meminfo: memFree=31200304/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=122116 CPUtime=522.18 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 7294001 0 0 0 50513 1705 0 0 20 0 1 0 335300866 125046784 28698 33554432000 134512640 137136520 4288252752 4288250656 135566005 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 30941 28704 296 641 0 30297 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 122116
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31914
/proc/meminfo: memFree=31200304/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=122100 CPUtime=582.17 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 8028517 0 0 0 56295 1922 0 0 20 0 1 0 335300866 125030400 28694 33554432000 134512640 137136520 4288252752 4288251432 136502553 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 30525 28694 296 641 0 29881 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 122100
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31136876/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=154680 CPUtime=1062.08 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 14102357 0 0 0 102594 3614 0 0 20 0 1 0 335300866 158392320 36291 33554432000 134512640 137136520 4288252752 4288250688 135249216 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 38670 36292 296 641 0 38026 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 154680
[startup+1122.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31942
/proc/meminfo: memFree=31126212/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=163176 CPUtime=1122.08 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 14867340 0 0 0 108379 3829 0 0 20 0 1 0 335300866 167092224 38963 33554432000 134512640 137136520 4288252752 4288250780 136698750 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 40794 38963 296 641 0 40150 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 163176
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31942
/proc/meminfo: memFree=31114100/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=177676 CPUtime=1182.06 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 15657183 0 0 0 114164 4042 0 0 20 0 1 0 335300866 181940224 41984 33554432000 134512640 137136520 4288252752 4288250580 134728608 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 44419 41984 296 641 0 43775 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 177676
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31943
/proc/meminfo: memFree=31114100/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=177696 CPUtime=1242.05 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 16360295 0 0 0 119962 4243 0 0 20 0 1 0 335300866 181960704 41978 33554432000 134512640 137136520 4288252752 4288250688 135249196 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 44424 41978 296 641 0 43780 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 177696
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31946
/proc/meminfo: memFree=31100884/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=177536 CPUtime=1302.05 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 17016410 0 0 0 125779 4426 0 0 20 0 1 0 335300866 181796864 41978 33554432000 134512640 137136520 4288252752 4288251104 135471110 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 44384 41978 296 641 0 43740 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 177536
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31946
/proc/meminfo: memFree=31097852/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=177716 CPUtime=1362.03 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 17718847 0 0 0 131581 4622 0 0 20 0 1 0 335300866 181981184 42178 33554432000 134512640 137136520 4288252752 4288250600 134731460 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 44623 42182 296 641 0 43979 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 177716
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31946
/proc/meminfo: memFree=31095868/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=178476 CPUtime=1422.03 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 18429837 0 0 0 137382 4821 0 0 20 0 1 0 335300866 182759424 42179 33554432000 134512640 137136520 4288252752 4288250552 136504572 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 44001 42170 296 641 0 43357 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 178476
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31994
/proc/meminfo: memFree=31245476/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=175988 CPUtime=1482.02 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 19169460 0 0 0 143183 5019 0 0 20 0 1 0 335300866 180211712 42166 33554432000 134512640 137136520 4288252752 4288251304 136502143 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 43997 42166 296 641 0 43353 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 175988
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31995
/proc/meminfo: memFree=31198356/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=178464 CPUtime=1542.01 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 19893293 0 0 0 148977 5224 0 0 20 0 1 0 335300866 182747136 42177 33554432000 134512640 137136520 4288252752 4288250440 135443262 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 44422 42171 296 641 0 43778 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 178464
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31995
/proc/meminfo: memFree=31159656/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=189180 CPUtime=1601.99 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 20679559 0 0 0 154777 5422 0 0 20 0 1 0 335300866 193720320 44867 33554432000 134512640 137136520 4288252752 4288250672 134845954 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 46689 44858 296 641 0 46045 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 189180
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31995
/proc/meminfo: memFree=31159528/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=186748 CPUtime=1661.99 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 21398386 0 0 0 160568 5631 0 0 20 0 1 0 335300866 191229952 44856 33554432000 134512640 137136520 4288252752 4288250780 136698750 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 46687 44856 296 641 0 46043 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 186748
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31995
/proc/meminfo: memFree=31159648/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=187192 CPUtime=1721.98 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 22137789 0 0 0 166356 5842 0 0 20 0 1 0 335300866 191684608 44967 33554432000 134512640 137136520 4288252752 4288251680 134543819 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 46798 44967 296 641 0 46154 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 187192
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 31995
/proc/meminfo: memFree=31157472/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=187988 CPUtime=1781.97 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 22885003 0 0 0 172147 6050 0 0 20 0 1 0 335300866 192499712 45166 33554432000 134512640 137136520 4288252752 4288251680 134544112 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 46997 45166 296 641 0 46353 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 187988
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 31995
/proc/meminfo: memFree=31157408/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=187988 CPUtime=1791.57 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 22997959 0 0 0 173077 6080 0 0 20 0 1 0 335300866 192499712 45166 33554432000 134512640 137136520 4288252752 4288250780 136698750 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 46997 45166 296 641 0 46353 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 187988
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31995
/proc/meminfo: memFree=31157408/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=190424 CPUtime=1794.77 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 23037021 0 0 0 173386 6091 0 0 20 0 1 0 335300866 194994176 45176 33554432000 134512640 137136520 4288252752 4288250552 136504572 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 47606 45176 296 641 0 46962 0
Current children cumulated CPU time (s) 1794.77
Current children cumulated vsize (KiB) 190424
[startup+1796.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31995
/proc/meminfo: memFree=31157408/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=187988 CPUtime=1796.37 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 23055810 0 0 0 173541 6096 0 0 20 0 1 0 335300866 192499712 45166 33554432000 134512640 137136520 4288252752 4288251680 134543831 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 46997 45166 296 641 0 46353 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 187988
[startup+1797.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31995
/proc/meminfo: memFree=31157408/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=190428 CPUtime=1797.17 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 23065557 0 0 0 173618 6099 0 0 20 0 1 0 335300866 194998272 45176 33554432000 134512640 137136520 4288252752 4288250824 136504572 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 47607 45176 296 641 0 46963 0
Current children cumulated CPU time (s) 1797.17
Current children cumulated vsize (KiB) 190428
[startup+1797.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31995
/proc/meminfo: memFree=31157408/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=190432 CPUtime=1797.57 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 23070623 0 0 0 173657 6100 0 0 20 0 1 0 335300866 195002368 45176 33554432000 134512640 137136520 4288252752 4288250672 134847224 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 47608 45176 296 641 0 46964 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 190432
[startup+1798.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31995
/proc/meminfo: memFree=31157408/32873844 swapFree=7116/7116
[pid=31909] ppid=31907 vsize=190436 CPUtime=1797.97 cores=1,3,5,7
/proc/31909/stat : 31909 (bsolo) R 31907 31909 29538 0 -1 4202496 23075701 0 0 0 173695 6102 0 0 20 0 1 0 335300866 195006464 45175 33554432000 134512640 137136520 4288252752 4288250580 134728600 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/31909/statm: 47609 45175 296 641 0 46965 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 190436
Child status: 0
Real time (s): 1798.33
CPU time (s): 1798.01
CPU user time (s): 1736.99
CPU system time (s): 61.0227
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 190464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1736.99
system time used= 61.0227
maximum resident set size= 180868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23076043
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= 107
involuntary context switches= 2744
runsolver used 4.04638 second user time and 9.70053 second system time
The end