runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3463202-1307175453/watcher-3463202-1307175453 -o /tmp/evaluation-result-3463202-1307175453/solver-3463202-1307175453 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463202-1307175453.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.10 1.99 1.98 3/453 24808
/proc/meminfo: memFree=31172008/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/24808/stat : 24808 (runsolver) R 24806 24808 23433 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 829143209 12079104 51 33554432000 4194304 5432328 140736288052240 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/24808/statm: 2949 51 31 303 0 2643 0
[startup+0.026873 s]
/proc/loadavg: 2.10 1.99 1.98 3/453 24808
/proc/meminfo: memFree=31172008/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=11520 CPUtime=0.01 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 427 0 0 0 1 0 0 0 25 0 1 0 829143209 11796480 382 33554432000 134512640 137138936 4292927616 18446744073709551615 136660568 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 2880 382 211 642 0 2156 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11520
[startup+0.100904 s]
/proc/loadavg: 2.10 1.99 1.98 3/453 24808
/proc/meminfo: memFree=31172008/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=12408 CPUtime=0.08 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 781 0 0 0 8 0 0 0 25 0 1 0 829143209 12705792 656 33554432000 134512640 137138936 4292927616 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 3102 656 185 642 0 2458 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12408
[startup+0.300878 s]
/proc/loadavg: 2.10 1.99 1.98 3/453 24808
/proc/meminfo: memFree=31172008/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=17712 CPUtime=0.28 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 12850 0 0 0 27 1 0 0 25 0 1 0 829143209 18137088 1460 33554432000 134512640 137138936 4292927616 18446744073709551615 135358656 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 4428 1460 277 642 0 3784 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 17712
[startup+0.700751 s]
/proc/loadavg: 2.10 1.99 1.98 3/453 24808
/proc/meminfo: memFree=31172008/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=20320 CPUtime=0.67 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 14206 0 0 0 66 1 0 0 25 0 1 0 829143209 20807680 1809 33554432000 134512640 137138936 4292927616 18446744073709551615 135080802 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 5080 1810 278 642 0 4436 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 20320
[startup+1.50065 s]
/proc/loadavg: 2.10 1.99 1.98 3/454 24809
/proc/meminfo: memFree=31165796/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=20452 CPUtime=1.48 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 20471 0 0 0 146 2 0 0 25 0 1 0 829143209 20942848 1428 33554432000 134512640 137138936 4292927616 18446744073709551615 135457881 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 5113 1428 282 642 0 4469 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20452
[startup+3.10035 s]
/proc/loadavg: 2.10 1.99 1.98 3/454 24809
/proc/meminfo: memFree=31166416/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=20460 CPUtime=3.07 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 42771 0 0 0 303 4 0 0 25 0 1 0 829143209 20951040 1520 33554432000 134512640 137138936 4292927616 18446744073709551615 134730882 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 5115 1520 283 642 0 4471 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 20460
[startup+6.30074 s]
/proc/loadavg: 2.09 1.99 1.98 3/454 24810
/proc/meminfo: memFree=31165484/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=19652 CPUtime=6.28 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 91054 0 0 0 618 10 0 0 25 0 1 0 829143209 20123648 1409 33554432000 134512640 137138936 4292927616 18446744073709551615 135470058 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 4913 1409 283 642 0 4269 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19652
[startup+12.7006 s]
/proc/loadavg: 2.09 1.99 1.98 3/451 24813
/proc/meminfo: memFree=31722376/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=20420 CPUtime=12.68 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 299187 0 0 0 1234 34 0 0 25 0 1 0 829143209 20910080 1460 33554432000 134512640 137138936 4292927616 18446744073709551615 135457157 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 5105 1460 284 642 0 4461 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20420
[startup+25.5003 s]
/proc/loadavg: 2.07 1.99 1.98 3/451 24813
/proc/meminfo: memFree=31722880/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=20164 CPUtime=25.48 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 581599 0 0 0 2483 65 0 0 25 0 1 0 829143209 20647936 1488 33554432000 134512640 137138936 4292927616 18446744073709551615 135457104 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 5041 1488 284 642 0 4397 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20164
[startup+51.1006 s]
/proc/loadavg: 2.04 1.99 1.98 3/454 24838
/proc/meminfo: memFree=31802468/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=20276 CPUtime=51.08 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 1128852 0 0 0 4982 126 0 0 25 0 1 0 829143209 20762624 1639 33554432000 134512640 137138936 4292927616 18446744073709551615 135457926 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 5069 1639 288 642 0 4425 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20276
[startup+102.316 s]
/proc/loadavg: 2.02 1.99 1.98 3/454 24839
/proc/meminfo: memFree=31749272/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=25880 CPUtime=102.3 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 2408827 0 0 0 9959 271 0 0 25 0 1 0 829143209 26501120 3087 33554432000 134512640 137138936 4292927616 18446744073709551615 135457640 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 6470 3087 288 642 0 5826 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 25880
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/454 24841
/proc/meminfo: memFree=31724088/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=42516 CPUtime=162.28 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 4864736 0 0 0 15679 549 0 0 25 0 1 0 829143209 43536384 7261 33554432000 134512640 137138936 4292927616 18446744073709551615 135333088 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 10629 7261 288 642 0 9985 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 42516
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.98 3/454 24842
/proc/meminfo: memFree=31694676/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=47044 CPUtime=222.28 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 6592591 0 0 0 21481 747 0 0 25 0 1 0 829143209 48173056 8463 33554432000 134512640 137138936 4292927616 18446744073709551615 134731561 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 11761 8463 288 642 0 11117 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 47044
[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.98 3/454 24844
/proc/meminfo: memFree=31678400/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=54940 CPUtime=282.29 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 10000321 0 0 0 27092 1137 0 0 25 0 1 0 829143209 56258560 10582 33554432000 134512640 137138936 4292927616 18446744073709551615 134733978 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 13735 10585 288 642 0 13091 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 54940
[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.98 3/454 24846
/proc/meminfo: memFree=31647868/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=66820 CPUtime=342.29 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 13024478 0 0 0 32766 1463 0 0 25 0 1 0 829143209 68423680 13706 33554432000 134512640 137138936 4292927616 18446744073709551615 134733978 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 16705 13714 288 642 0 16061 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 66820
[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.98 3/454 24847
/proc/meminfo: memFree=31645368/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=63708 CPUtime=402.3 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 14760117 0 0 0 38566 1664 0 0 25 0 1 0 829143209 65236992 13569 33554432000 134512640 137138936 4292927616 18446744073709551615 134925887 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 16597 13574 288 642 0 15953 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 63708
[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.98 3/454 24850
/proc/meminfo: memFree=31644108/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=66852 CPUtime=462.3 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 15604164 0 0 0 44453 1777 0 0 25 0 1 0 829143209 68456448 13582 33554432000 134512640 137138936 4292927616 18446744073709551615 134848000 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 16713 13582 288 642 0 16069 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 66852
[startup+522.301 s]
/proc/loadavg: 2.09 2.01 1.99 3/454 24851
/proc/meminfo: memFree=31644332/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=65820 CPUtime=522.3 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 16220449 0 0 0 50364 1866 0 0 25 0 1 0 829143209 67399680 13577 33554432000 134512640 137138936 4292927616 18446744073709551615 135389514 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 16632 13579 288 642 0 15988 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 65820
[startup+582.301 s]
/proc/loadavg: 2.03 2.01 1.99 3/454 24853
/proc/meminfo: memFree=31634512/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=69248 CPUtime=582.3 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 17466113 0 0 0 56212 2018 0 0 25 0 1 0 829143209 70909952 14067 33554432000 134512640 137138936 4292927616 18446744073709551615 134731546 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 17312 14067 288 642 0 16668 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 69248
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=31584876/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=92548 CPUtime=1122.31 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 30981875 0 0 0 108583 3648 0 0 25 0 1 0 829143209 94769152 20018 33554432000 134512640 137138936 4292927616 18446744073709551615 134850624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 23137 20018 288 642 0 22493 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 92548
[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/454 24869
/proc/meminfo: memFree=31556340/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=92608 CPUtime=1182.31 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 31667862 0 0 0 114492 3739 0 0 25 0 1 0 829143209 94830592 20016 33554432000 134512640 137138936 4292927616 18446744073709551615 135332430 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 23152 20016 288 642 0 22508 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 92608
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 24871
/proc/meminfo: memFree=31554964/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=95064 CPUtime=1242.32 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 32325316 0 0 0 120400 3832 0 0 25 0 1 0 829143209 97345536 20161 33554432000 134512640 137138936 4292927616 18446744073709551615 135470059 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 23766 20161 288 642 0 23122 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 95064
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 24872
/proc/meminfo: memFree=31555196/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=92872 CPUtime=1302.33 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 32908586 0 0 0 126319 3914 0 0 25 0 1 0 829143209 95100928 20025 33554432000 134512640 137138936 4292927616 18446744073709551615 134840834 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 23218 20025 288 642 0 22574 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 92872
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/454 24874
/proc/meminfo: memFree=31555556/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=92888 CPUtime=1362.31 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 33639204 0 0 0 132222 4009 0 0 25 0 1 0 829143209 95117312 20028 33554432000 134512640 137138936 4292927616 18446744073709551615 134849389 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 23222 20028 288 642 0 22578 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 92888
[startup+1422.32 s]
/proc/loadavg: 2.05 2.02 2.00 3/454 24875
/proc/meminfo: memFree=31555656/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=92544 CPUtime=1422.34 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 34338203 0 0 0 138123 4111 0 0 25 0 1 0 829143209 94765056 20022 33554432000 134512640 137138936 4292927616 18446744073709551615 135251280 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 23136 20022 288 642 0 22492 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 92544
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/454 24877
/proc/meminfo: memFree=31555384/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=91716 CPUtime=1482.32 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 35014399 0 0 0 144029 4203 0 0 25 0 1 0 829143209 93917184 20009 33554432000 134512640 137138936 4292927616 18446744073709551615 135404683 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 22929 20015 288 642 0 22285 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 91716
[startup+1542.3 s]
/proc/loadavg: 2.21 2.06 2.02 3/454 24879
/proc/meminfo: memFree=31555620/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=91740 CPUtime=1542.33 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 35648805 0 0 0 149948 4285 0 0 25 0 1 0 829143209 93941760 20013 33554432000 134512640 137138936 4292927616 18446744073709551615 135379651 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 22935 20013 288 642 0 22291 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 91740
[startup+1602.3 s]
/proc/loadavg: 2.23 2.09 2.03 3/454 24880
/proc/meminfo: memFree=31555600/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=89180 CPUtime=1602.32 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 36298959 0 0 0 155860 4372 0 0 25 0 1 0 829143209 91320320 19969 33554432000 134512640 137138936 4292927616 18446744073709551615 134745125 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 22295 19969 288 642 0 21651 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 89180
[startup+1662.3 s]
/proc/loadavg: 2.12 2.09 2.02 3/454 24882
/proc/meminfo: memFree=31555696/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=92928 CPUtime=1662.32 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 36936191 0 0 0 161771 4461 0 0 25 0 1 0 829143209 95158272 20049 33554432000 134512640 137138936 4292927616 18446744073709551615 134730880 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 23232 20049 288 642 0 22588 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 92928
[startup+1722.3 s]
/proc/loadavg: 2.08 2.08 2.02 3/454 24883
/proc/meminfo: memFree=31555800/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=92656 CPUtime=1722.33 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 37621260 0 0 0 167680 4553 0 0 25 0 1 0 829143209 94879744 20023 33554432000 134512640 137138936 4292927616 18446744073709551615 134850655 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 23164 20023 288 642 0 22520 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 92656
[startup+1782.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/454 24885
/proc/meminfo: memFree=31555276/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=92844 CPUtime=1782.33 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 38248360 0 0 0 173594 4639 0 0 25 0 1 0 829143209 95072256 20074 33554432000 134512640 137138936 4292927616 18446744073709551615 135463737 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 23211 20074 288 642 0 22567 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 92844
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.10 2.09 2.03 3/454 24885
/proc/meminfo: memFree=31555648/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=92928 CPUtime=1785.53 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 38282346 0 0 0 173909 4644 0 0 25 0 1 0 829143209 95158272 20054 33554432000 134512640 137138936 4292927616 18446744073709551615 135457386 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 23232 20054 288 642 0 22588 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 92928
[startup+1791.92 s]
/proc/loadavg: 2.10 2.09 2.03 3/454 24885
/proc/meminfo: memFree=31555276/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=89180 CPUtime=1791.94 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 38349087 0 0 0 174541 4653 0 0 25 0 1 0 829143209 91320320 19969 33554432000 134512640 137138936 4292927616 18446744073709551615 134745067 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 22295 19969 288 642 0 21651 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 89180
[startup+1795.1 s]
/proc/loadavg: 2.09 2.09 2.03 3/454 24885
/proc/meminfo: memFree=31555276/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=92600 CPUtime=1795.15 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 38387930 0 0 0 174856 4659 0 0 25 0 1 0 829143209 94822400 20022 33554432000 134512640 137138936 4292927616 18446744073709551615 135251828 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 23150 20022 288 642 0 22506 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 92600
[startup+1796.7 s]
/proc/loadavg: 2.09 2.09 2.03 3/454 24885
/proc/meminfo: memFree=31555276/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=92576 CPUtime=1796.73 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 38406718 0 0 0 175012 4661 0 0 25 0 1 0 829143209 94797824 20023 33554432000 134512640 137138936 4292927616 18446744073709551615 135251329 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 23144 20023 288 642 0 22500 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 92576
[startup+1797.5 s]
/proc/loadavg: 2.09 2.09 2.03 3/454 24885
/proc/meminfo: memFree=31555276/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=91536 CPUtime=1797.53 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 38416187 0 0 0 175091 4662 0 0 25 0 1 0 829143209 93732864 19996 33554432000 134512640 137138936 4292927616 18446744073709551615 135412428 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 22884 19996 288 642 0 22240 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 91536
[startup+1797.9 s]
/proc/loadavg: 2.09 2.09 2.03 3/454 24885
/proc/meminfo: memFree=31555276/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=89180 CPUtime=1797.94 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 38421094 0 0 0 175131 4663 0 0 25 0 1 0 829143209 91320320 19969 33554432000 134512640 137138936 4292927616 18446744073709551615 135783823 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 22295 19969 288 642 0 21651 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 89180
[startup+1798 s]
/proc/loadavg: 2.09 2.09 2.03 3/454 24885
/proc/meminfo: memFree=31555276/32951124 swapFree=55639044/67111528
[pid=24808] ppid=24806 vsize=92476 CPUtime=1798.03 cores=0,2,4,6
/proc/24808/stat : 24808 (bsolo) R 24806 24808 23433 0 -1 4202496 38422290 0 0 0 175140 4663 0 0 25 0 1 0 829143209 94695424 20019 33554432000 134512640 137138936 4292927616 18446744073709551615 135251096 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/24808/statm: 23119 20019 288 642 0 22475 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 92476
Child status: 0
Real time (s): 1798.1
CPU time (s): 1798.14
CPU user time (s): 1751.5
CPU system time (s): 46.6359
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 96056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1751.5
system time used= 46.6359
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38423302
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= 6
involuntary context switches= 1907
runsolver used 8.37773 second user time and 17.7803 second system time
The end