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-3462414-1307184617/watcher-3462414-1307184617 -o /tmp/evaluation-result-3462414-1307184617/solver-3462414-1307184617 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462414-1307184617.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.05 2.05 2.00 2/453 25949
/proc/meminfo: memFree=31768500/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=12392 CPUtime=0.01 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 665 0 0 0 1 0 0 0 25 0 1 0 830059604 12689408 620 33554432000 134512640 137138936 4287372688 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 3098 620 187 642 0 2434 0
[startup+0.0748429 s]
/proc/loadavg: 2.05 2.05 2.00 2/453 25949
/proc/meminfo: memFree=31768500/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=14024 CPUtime=0.07 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 1135 0 0 0 7 0 0 0 25 0 1 0 830059604 14360576 1070 33554432000 134512640 137138936 4287372688 18446744073709551615 135984558 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 3506 1070 185 642 0 2862 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14024
[startup+0.100826 s]
/proc/loadavg: 2.05 2.05 2.00 2/453 25949
/proc/meminfo: memFree=31768500/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=14024 CPUtime=0.09 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 1135 0 0 0 9 0 0 0 25 0 1 0 830059604 14360576 1070 33554432000 134512640 137138936 4287372688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 3506 1070 185 642 0 2862 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14024
[startup+0.300766 s]
/proc/loadavg: 2.05 2.05 2.00 2/453 25949
/proc/meminfo: memFree=31768500/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=14024 CPUtime=0.29 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 1136 0 0 0 29 0 0 0 25 0 1 0 830059604 14360576 1071 33554432000 134512640 137138936 4287372688 18446744073709551615 134543403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 3506 1071 185 642 0 2862 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14024
[startup+0.700717 s]
/proc/loadavg: 2.05 2.05 2.00 2/453 25949
/proc/meminfo: memFree=31768500/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=14024 CPUtime=0.69 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 1136 0 0 0 69 0 0 0 25 0 1 0 830059604 14360576 1071 33554432000 134512640 137138936 4287372688 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 3506 1071 185 642 0 2862 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14024
[startup+1.50055 s]
/proc/loadavg: 2.05 2.05 2.00 3/454 25950
/proc/meminfo: memFree=31764400/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=14024 CPUtime=1.49 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 1137 0 0 0 149 0 0 0 25 0 1 0 830059604 14360576 1072 33554432000 134512640 137138936 4287372688 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 3506 1072 185 642 0 2862 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14024
[startup+3.10028 s]
/proc/loadavg: 2.05 2.05 2.00 3/454 25950
/proc/meminfo: memFree=31763656/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=14024 CPUtime=3.09 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 1137 0 0 0 309 0 0 0 25 0 1 0 830059604 14360576 1072 33554432000 134512640 137138936 4287372688 18446744073709551615 134566410 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 3506 1072 185 642 0 2862 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14024
[startup+6.30068 s]
/proc/loadavg: 2.05 2.05 2.00 3/454 25950
/proc/meminfo: memFree=31763292/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=14024 CPUtime=6.29 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 1137 0 0 0 629 0 0 0 25 0 1 0 830059604 14360576 1072 33554432000 134512640 137138936 4287372688 18446744073709551615 136520933 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 3506 1072 185 642 0 2862 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14024
[startup+12.7005 s]
/proc/loadavg: 2.04 2.05 2.00 3/454 25950
/proc/meminfo: memFree=31746536/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=31816 CPUtime=12.69 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 5848 0 0 0 1264 5 0 0 25 0 1 0 830059604 32579584 5521 33554432000 134512640 137138936 4287372688 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 7954 5521 192 642 0 7310 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31816
[startup+25.5012 s]
/proc/loadavg: 2.03 2.05 2.00 3/454 25950
/proc/meminfo: memFree=31720260/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=56596 CPUtime=25.49 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 12059 0 0 0 2538 11 0 0 25 0 1 0 830059604 57954304 11732 33554432000 134512640 137138936 4287372688 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 14149 11732 192 642 0 13505 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 56596
[startup+51.1006 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 25951
/proc/meminfo: memFree=31673092/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=92648 CPUtime=51.09 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 21076 0 0 0 5090 19 0 0 25 0 1 0 830059604 94871552 20749 33554432000 134512640 137138936 4287372688 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 23162 20749 192 642 0 22518 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 92648
[startup+102.317 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 25953
/proc/meminfo: memFree=31580072/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=142128 CPUtime=102.31 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 33440 0 0 0 10201 30 0 0 25 0 1 0 830059604 145539072 33113 33554432000 134512640 137138936 4287372688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 35532 33113 192 642 0 34888 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 142128
[startup+162.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/454 25954
/proc/meminfo: memFree=31455424/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=179416 CPUtime=162.3 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 42767 0 0 0 16192 38 0 0 25 0 1 0 830059604 183721984 42440 33554432000 134512640 137138936 4287372688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 44854 42440 192 642 0 44210 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 179416
[startup+222.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/454 25956
/proc/meminfo: memFree=31362764/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=216012 CPUtime=222.29 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 51914 0 0 0 22185 44 0 0 25 0 1 0 830059604 221196288 51587 33554432000 134512640 137138936 4287372688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 54003 51587 192 642 0 53359 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 216012
[startup+282.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/454 25957
/proc/meminfo: memFree=31279904/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=245232 CPUtime=282.3 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 59218 0 0 0 28180 50 0 0 25 0 1 0 830059604 251117568 58891 33554432000 134512640 137138936 4287372688 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 61308 58891 192 642 0 60664 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 245232
[startup+342.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/454 25959
/proc/meminfo: memFree=31192704/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=274232 CPUtime=342.3 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 66453 0 0 0 34174 56 0 0 25 0 1 0 830059604 280813568 66126 33554432000 134512640 137138936 4287372688 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 68558 66126 192 642 0 67914 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 274232
[startup+402.301 s]
/proc/loadavg: 2.09 2.06 2.01 3/454 25960
/proc/meminfo: memFree=31116916/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=296840 CPUtime=402.31 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 72103 0 0 0 40169 62 0 0 25 0 1 0 830059604 303964160 71776 33554432000 134512640 137138936 4287372688 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 74210 71776 192 642 0 73566 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 296840
[startup+462.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/454 25962
/proc/meminfo: memFree=31060460/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=320384 CPUtime=462.3 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 77991 0 0 0 46164 66 0 0 25 0 1 0 830059604 328073216 77664 33554432000 134512640 137138936 4287372688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 80096 77664 192 642 0 79452 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 320384
[startup+522.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/454 25964
/proc/meminfo: memFree=31006256/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=338892 CPUtime=522.31 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 82631 0 0 0 52161 70 0 0 25 0 1 0 830059604 347025408 82304 33554432000 134512640 137138936 4287372688 18446744073709551615 134542941 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 84723 82304 192 642 0 84079 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 338892
[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 25965
/proc/meminfo: memFree=30948428/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=354860 CPUtime=582.31 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 86609 0 0 0 58158 73 0 0 25 0 1 0 830059604 363376640 86282 33554432000 134512640 137138936 4287372688 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 88715 86282 192 642 0 88071 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 354860
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30623072/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=464872 CPUtime=1062.32 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 114127 0 0 0 106134 98 0 0 25 0 1 0 830059604 476028928 113800 33554432000 134512640 137138936 4287372688 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 116218 113800 192 642 0 115574 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 464872
[startup+1122.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/454 25996
/proc/meminfo: memFree=30585732/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=480752 CPUtime=1122.32 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 118082 0 0 0 112131 101 0 0 25 0 1 0 830059604 492290048 117755 33554432000 134512640 137138936 4287372688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 120188 117755 192 642 0 119544 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 480752
[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/454 25997
/proc/meminfo: memFree=30546272/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=495232 CPUtime=1182.32 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 121702 0 0 0 118128 104 0 0 25 0 1 0 830059604 507117568 121375 33554432000 134512640 137138936 4287372688 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 123808 121375 192 642 0 123164 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 495232
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/454 25999
/proc/meminfo: memFree=30500244/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=510340 CPUtime=1242.33 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 125493 0 0 0 124125 108 0 0 25 0 1 0 830059604 522588160 125166 33554432000 134512640 137138936 4287372688 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 127585 125166 192 642 0 126941 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 510340
[startup+1302.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/454 26001
/proc/meminfo: memFree=30460796/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=524284 CPUtime=1302.34 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 128965 0 0 0 130124 110 0 0 25 0 1 0 830059604 536866816 128638 33554432000 134512640 137138936 4287372688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 131071 128638 192 642 0 130427 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 524284
[startup+1362.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/454 26002
/proc/meminfo: memFree=30427028/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=537872 CPUtime=1362.33 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 132376 0 0 0 136120 113 0 0 25 0 1 0 830059604 550780928 132049 33554432000 134512640 137138936 4287372688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 134468 132049 192 642 0 133824 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 537872
[startup+1422.32 s]
/proc/loadavg: 2.03 2.04 2.00 3/454 26004
/proc/meminfo: memFree=30390552/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=550872 CPUtime=1422.35 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 135627 0 0 0 142119 116 0 0 25 0 1 0 830059604 564092928 135300 33554432000 134512640 137138936 4287372688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 137718 135300 192 642 0 137074 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 550872
[startup+1482.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/454 26005
/proc/meminfo: memFree=30357412/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=562980 CPUtime=1482.33 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 138639 0 0 0 148115 118 0 0 25 0 1 0 830059604 576491520 138312 33554432000 134512640 137138936 4287372688 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 140745 138312 192 642 0 140101 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 562980
[startup+1542.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/454 26007
/proc/meminfo: memFree=30331216/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=573448 CPUtime=1542.34 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 141261 0 0 0 154114 120 0 0 25 0 1 0 830059604 587210752 140934 33554432000 134512640 137138936 4287372688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 143362 140934 192 642 0 142718 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 573448
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/454 26008
/proc/meminfo: memFree=30303668/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=583336 CPUtime=1602.34 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 143729 0 0 0 160113 121 0 0 25 0 1 0 830059604 597336064 143402 33554432000 134512640 137138936 4287372688 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 145834 143402 192 642 0 145190 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 583336
[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 4/454 26045
/proc/meminfo: memFree=31160732/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=593664 CPUtime=1662.34 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 146311 0 0 0 166111 123 0 0 25 0 1 0 830059604 607911936 145984 33554432000 134512640 137138936 4287372688 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 148416 145984 192 642 0 147772 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 593664
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/454 26047
/proc/meminfo: memFree=31146696/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=607812 CPUtime=1722.34 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 149861 0 0 0 172108 126 0 0 25 0 1 0 830059604 622399488 149534 33554432000 134512640 137138936 4287372688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 151953 149534 192 642 0 151309 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 607812
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/454 26048
/proc/meminfo: memFree=31132776/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=619416 CPUtime=1782.34 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 152761 0 0 0 178106 128 0 0 25 0 1 0 830059604 634281984 152434 33554432000 134512640 137138936 4287372688 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 154854 152434 192 642 0 154210 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 619416
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.02 2.00 4/454 26048
/proc/meminfo: memFree=31131908/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=620060 CPUtime=1785.54 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 152924 0 0 0 178426 128 0 0 25 0 1 0 830059604 634941440 152597 33554432000 134512640 137138936 4287372688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 155015 152597 192 642 0 154371 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 620060
[startup+1791.92 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 26050
/proc/meminfo: memFree=31131036/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=621192 CPUtime=1791.96 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 153211 0 0 0 179068 128 0 0 25 0 1 0 830059604 636100608 152884 33554432000 134512640 137138936 4287372688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 155298 152884 192 642 0 154654 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 621192
[startup+1795.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 26050
/proc/meminfo: memFree=31130416/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=621676 CPUtime=1795.15 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 153326 0 0 0 179387 128 0 0 25 0 1 0 830059604 636596224 152999 33554432000 134512640 137138936 4287372688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 155419 152999 192 642 0 154775 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 621676
[startup+1796.7 s]
/proc/loadavg: 2.00 2.02 2.00 4/454 26050
/proc/meminfo: memFree=31130044/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=621896 CPUtime=1796.74 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 153370 0 0 0 179546 128 0 0 25 0 1 0 830059604 636821504 153043 33554432000 134512640 137138936 4287372688 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 155474 153043 192 642 0 154830 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 621896
[startup+1797.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 26050
/proc/meminfo: memFree=31129920/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=622016 CPUtime=1797.54 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 153411 0 0 0 179626 128 0 0 25 0 1 0 830059604 636944384 153084 33554432000 134512640 137138936 4287372688 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 155504 153084 192 642 0 154860 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 622016
[startup+1797.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/454 26050
/proc/meminfo: memFree=31129920/32951124 swapFree=55639044/67111528
[pid=25949] ppid=25947 vsize=622124 CPUtime=1797.94 cores=0,2,4,6
/proc/25949/stat : 25949 (bsolo) R 25947 25949 23433 0 -1 4202496 153429 0 0 0 179666 128 0 0 25 0 1 0 830059604 637054976 153102 33554432000 134512640 137138936 4287372688 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/25949/statm: 155531 153102 192 642 0 154887 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 622124
Child status: 0
Real time (s): 1797.98
CPU time (s): 1798.03
CPU user time (s): 1796.71
CPU system time (s): 1.3148
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 622124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.71
system time used= 1.3148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153442
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= 4
involuntary context switches= 1216
runsolver used 8.30474 second user time and 18.1312 second system time
The end