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-3707411-1338140912/watcher-3707411-1338140912 -o /tmp/evaluation-result-3707411-1338140912/solver-3707411-1338140912 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707411-1338140912.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.00 2.00 1.91 3/176 14047
/proc/meminfo: memFree=29977872/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=12276 CPUtime=0 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 280215295 12570624 283 33554432000 134512640 137138936 4289311200 4289309724 136396434 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 3069 283 180 642 0 2090 0
[startup+0.052406 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 14047
/proc/meminfo: memFree=29977872/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=14600 CPUtime=0.04 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 1056 0 0 0 4 0 0 0 20 0 1 0 280215295 14950400 1010 33554432000 134512640 137138936 4289311200 4289309712 136577166 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 3650 1011 337 642 0 2671 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14600
[startup+0.100221 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 14047
/proc/meminfo: memFree=29977872/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=16116 CPUtime=0.09 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 1970 0 0 0 9 0 0 0 20 0 1 0 280215295 16502784 1589 33554432000 134512640 137138936 4289311200 4289309880 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 4062 1592 182 642 0 3418 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16116
[startup+0.300217 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 14047
/proc/meminfo: memFree=29977872/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=19812 CPUtime=0.29 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 2899 0 0 0 28 1 0 0 20 0 1 0 280215295 20287488 2518 33554432000 134512640 137138936 4289311200 4289297468 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 4953 2518 185 642 0 4309 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19812
[startup+0.700198 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 14047
/proc/meminfo: memFree=29977872/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=19816 CPUtime=0.69 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 3386 0 0 0 67 2 0 0 20 0 1 0 280215295 20291584 2512 33554432000 134512640 137138936 4289311200 4289309932 136295499 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 4954 2512 192 642 0 4310 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19816
[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14048
/proc/meminfo: memFree=29965448/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=25624 CPUtime=1.49 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 4838 0 0 0 146 3 0 0 20 0 1 0 280215295 26238976 3960 33554432000 134512640 137138936 4289311200 4289310128 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 6406 3960 192 642 0 5762 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25624
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14048
/proc/meminfo: memFree=29957516/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=34916 CPUtime=3.09 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 7151 0 0 0 305 4 0 0 20 0 1 0 280215295 35753984 6273 33554432000 134512640 137138936 4289311200 4289309744 134607598 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 8729 6273 192 642 0 8085 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34916
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14086
/proc/meminfo: memFree=29908548/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=48564 CPUtime=6.29 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 10592 0 0 0 623 6 0 0 20 0 1 0 280215295 49729536 9714 33554432000 134512640 137138936 4289311200 4289310080 136297633 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 12141 9714 192 642 0 11497 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48564
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14086
/proc/meminfo: memFree=29883984/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=69064 CPUtime=12.68 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 15691 0 0 0 1260 8 0 0 20 0 1 0 280215295 70721536 15257 33554432000 134512640 137138936 4289311200 4289310316 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 17266 15257 192 642 0 16622 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 69064
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14086
/proc/meminfo: memFree=29818424/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=97564 CPUtime=25.48 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 22889 0 0 0 2537 11 0 0 20 0 1 0 280215295 99905536 22409 33554432000 134512640 137138936 4289311200 4289310128 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 24391 22409 192 642 0 23747 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 97564
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14086
/proc/meminfo: memFree=29755548/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=109348 CPUtime=51.08 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 25857 0 0 0 5094 14 0 0 20 0 1 0 280215295 111972352 25327 33554432000 134512640 137138936 4289311200 4289310128 134542322 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 27337 25327 192 642 0 26693 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 109348
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 14089
/proc/meminfo: memFree=29671472/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=121004 CPUtime=102.27 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 28850 0 0 0 10207 20 0 0 20 0 1 0 280215295 123908096 28265 33554432000 134512640 137138936 4289311200 4289310128 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 30251 28265 192 642 0 29607 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 121004
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14090
/proc/meminfo: memFree=29589184/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=133704 CPUtime=162.26 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 32086 0 0 0 16200 26 0 0 20 0 1 0 280215295 136912896 31441 33554432000 134512640 137138936 4289311200 4289309744 134607574 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 33426 31441 192 642 0 32782 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 133704
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14090
/proc/meminfo: memFree=29563180/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=152476 CPUtime=222.22 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 36892 0 0 0 22192 30 0 0 20 0 1 0 280215295 156135424 36138 33554432000 134512640 137138936 4289311200 4289310128 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 38119 36138 192 642 0 37475 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 152476
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14090
/proc/meminfo: memFree=29563456/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=154596 CPUtime=282.19 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 37433 0 0 0 28187 32 0 0 20 0 1 0 280215295 158306304 36658 33554432000 134512640 137138936 4289311200 4289310128 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 38649 36658 192 642 0 38005 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 154596
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14090
/proc/meminfo: memFree=29544612/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=164092 CPUtime=342.18 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 39785 0 0 0 34183 35 0 0 20 0 1 0 280215295 168030208 39010 33554432000 134512640 137138936 4289311200 4289310128 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 41023 39010 192 642 0 40379 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 164092
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 14090
/proc/meminfo: memFree=29478892/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=178640 CPUtime=402.17 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 43517 0 0 0 40178 39 0 0 20 0 1 0 280215295 182927360 42669 33554432000 134512640 137138936 4289311200 4289310128 134543082 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 44660 42669 192 642 0 44016 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 178640
[startup+462.3 s]
/proc/loadavg: 2.06 2.02 1.91 3/177 14091
/proc/meminfo: memFree=29467472/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=179016 CPUtime=462.16 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 43589 0 0 0 46174 42 0 0 20 0 1 0 280215295 183312384 42741 33554432000 134512640 137138936 4289311200 4289310128 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 44754 42741 192 642 0 44110 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 179016
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 14091
/proc/meminfo: memFree=29467596/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=179016 CPUtime=522.15 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 43589 0 0 0 52170 45 0 0 20 0 1 0 280215295 183312384 42741 33554432000 134512640 137138936 4289311200 4289310128 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 44754 42741 192 642 0 44110 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 179016
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 14091
/proc/meminfo: memFree=29464248/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=182252 CPUtime=582.14 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 44413 0 0 0 58165 49 0 0 20 0 1 0 280215295 186626048 43550 33554432000 134512640 137138936 4289311200 4289310128 134542202 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 45563 43550 192 642 0 44919 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 182252
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29428152/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=188044 CPUtime=1062.06 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 45945 0 0 0 106137 69 0 0 20 0 1 0 280215295 192557056 44999 33554432000 134512640 137138936 4289311200 4289309956 136502585 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 47011 44999 192 642 0 46367 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 188044
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 14119
/proc/meminfo: memFree=29428080/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=188044 CPUtime=1122.05 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 45945 0 0 0 112134 71 0 0 20 0 1 0 280215295 192557056 44999 33554432000 134512640 137138936 4289311200 4289310128 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 47011 44999 192 642 0 46367 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 188044
[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/177 14119
/proc/meminfo: memFree=29428080/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=188044 CPUtime=1182.04 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 45945 0 0 0 118130 74 0 0 20 0 1 0 280215295 192557056 44999 33554432000 134512640 137138936 4289311200 4289310128 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 47011 44999 192 642 0 46367 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 188044
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 14119
/proc/meminfo: memFree=29408160/32873648 swapFree=7372/7372
[pid=14047] ppid=14045 vsize=206404 CPUtime=1242.02 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 50651 0 0 0 124124 78 0 0 20 0 1 0 280215295 211357696 49608 33554432000 134512640 137138936 4289311200 4289310128 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 51601 49608 192 642 0 50957 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 206404
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/178 14122
/proc/meminfo: memFree=29381736/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=206404 CPUtime=1302.02 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 50651 0 0 0 130122 80 0 0 20 0 1 0 280215295 211357696 49608 33554432000 134512640 137138936 4289311200 4289310128 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 51601 49608 192 642 0 50957 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 206404
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14123
/proc/meminfo: memFree=29382060/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=206404 CPUtime=1362.01 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 50651 0 0 0 136119 82 0 0 20 0 1 0 280215295 211357696 49608 33554432000 134512640 137138936 4289311200 4289309912 136504212 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 51601 49608 192 642 0 50957 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 206404
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14123
/proc/meminfo: memFree=29381812/32873648 swapFree=7372/7372
[pid=14047] ppid=14045 vsize=206832 CPUtime=1422 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 50738 0 0 0 142116 84 0 0 20 0 1 0 280215295 211795968 49695 33554432000 134512640 137138936 4289311200 4289310128 134542978 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 51708 49695 192 642 0 51064 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 206832
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 14123
/proc/meminfo: memFree=29381848/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=206832 CPUtime=1481.99 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 50738 0 0 0 148113 86 0 0 20 0 1 0 280215295 211795968 49695 33554432000 134512640 137138936 4289311200 4289309744 134607604 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 51708 49695 192 642 0 51064 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 206832
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 14123
/proc/meminfo: memFree=29382220/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=206832 CPUtime=1541.98 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 50738 0 0 0 154111 87 0 0 20 0 1 0 280215295 211795968 49695 33554432000 134512640 137138936 4289311200 4289310124 135984576 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 51708 49695 192 642 0 51064 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 206832
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/177 14123
/proc/meminfo: memFree=29380984/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=208284 CPUtime=1601.96 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 51124 0 0 0 160108 88 0 0 20 0 1 0 280215295 213282816 50081 33554432000 134512640 137138936 4289311200 4289309704 136504417 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 52071 50081 192 642 0 51427 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 208284
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14124
/proc/meminfo: memFree=29373544/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=215536 CPUtime=1661.96 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 52914 0 0 0 166103 93 0 0 20 0 1 0 280215295 220708864 51871 33554432000 134512640 137138936 4289311200 4289310128 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 53884 51871 192 642 0 53240 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 215536
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14124
/proc/meminfo: memFree=29373544/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=215536 CPUtime=1721.95 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 52914 0 0 0 172099 96 0 0 20 0 1 0 280215295 220708864 51871 33554432000 134512640 137138936 4289311200 4289310128 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 53884 51871 192 642 0 53240 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 215536
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14124
/proc/meminfo: memFree=29373048/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=215536 CPUtime=1781.94 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 52914 0 0 0 178096 98 0 0 20 0 1 0 280215295 220708864 51871 33554432000 134512640 137138936 4289311200 4289310128 134542031 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 53884 51871 192 642 0 53240 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 215536
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14124
/proc/meminfo: memFree=29373172/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=215536 CPUtime=1791.54 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 52914 0 0 0 179056 98 0 0 20 0 1 0 280215295 220708864 51871 33554432000 134512640 137138936 4289311200 4289310128 134542793 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 53884 51871 192 642 0 53240 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 215536
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14124
/proc/meminfo: memFree=29373048/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=215536 CPUtime=1794.75 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 52914 0 0 0 179376 99 0 0 20 0 1 0 280215295 220708864 51871 33554432000 134512640 137138936 4289311200 4289310128 134542766 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 53884 51871 192 642 0 53240 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 215536
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14124
/proc/meminfo: memFree=29373048/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=215536 CPUtime=1796.34 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 52914 0 0 0 179535 99 0 0 20 0 1 0 280215295 220708864 51871 33554432000 134512640 137138936 4289311200 4289310128 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 53884 51871 192 642 0 53240 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (KiB) 215536
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14124
/proc/meminfo: memFree=29373048/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=215536 CPUtime=1797.14 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 52914 0 0 0 179615 99 0 0 20 0 1 0 280215295 220708864 51871 33554432000 134512640 137138936 4289311200 4289310128 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 53884 51871 192 642 0 53240 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 215536
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14124
/proc/meminfo: memFree=29373048/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=215536 CPUtime=1797.54 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 52914 0 0 0 179655 99 0 0 20 0 1 0 280215295 220708864 51871 33554432000 134512640 137138936 4289311200 4289310128 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 53884 51871 192 642 0 53240 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 215536
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14124
/proc/meminfo: memFree=29373048/32873648 swapFree=7368/7368
[pid=14047] ppid=14045 vsize=215536 CPUtime=1797.94 cores=0,2,4,6
/proc/14047/stat : 14047 (bsolo) R 14045 14047 11017 0 -1 4202496 52914 0 0 0 179695 99 0 0 20 0 1 0 280215295 220708864 51871 33554432000 134512640 137138936 4289311200 4289310120 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14047/statm: 53884 51871 192 642 0 53240 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 215536
Child status: 0
Real time (s): 1798.36
CPU time (s): 1798.01
CPU user time (s): 1797.02
CPU system time (s): 0.992849
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 215536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.02
system time used= 0.992849
maximum resident set size= 207484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52914
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= 99
involuntary context switches= 2073
runsolver used 2.70859 second user time and 7.10692 second system time
The end