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-3479159-1307446572/watcher-3479159-1307446572 -o /tmp/evaluation-result-3479159-1307446572/solver-3479159-1307446572 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3479159-1307446572.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 1.72 1/448 16831
/proc/meminfo: memFree=31608712/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=11376 CPUtime=0.01 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 371 0 0 0 1 0 0 0 25 0 1 0 856255056 11649024 325 33554432000 134512640 137138936 4288023040 18446744073709551615 134538746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 2844 326 198 642 0 2122 0
[startup+0.0957399 s]
/proc/loadavg: 2.01 2.02 1.72 1/448 16831
/proc/meminfo: memFree=31608712/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=12392 CPUtime=0.09 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 767 0 0 0 9 0 0 0 25 0 1 0 856255056 12689408 643 33554432000 134512640 137138936 4288023040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 3098 643 185 642 0 2454 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12392
[startup+0.100739 s]
/proc/loadavg: 2.01 2.02 1.72 1/448 16831
/proc/meminfo: memFree=31608712/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=12392 CPUtime=0.09 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 767 0 0 0 9 0 0 0 25 0 1 0 856255056 12689408 643 33554432000 134512640 137138936 4288023040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 3098 643 185 642 0 2454 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12392
[startup+0.300702 s]
/proc/loadavg: 2.01 2.02 1.72 1/448 16831
/proc/meminfo: memFree=31608712/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=12392 CPUtime=0.29 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 767 0 0 0 28 1 0 0 25 0 1 0 856255056 12689408 643 33554432000 134512640 137138936 4288023040 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 3098 643 185 642 0 2454 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12392
[startup+0.700629 s]
/proc/loadavg: 2.01 2.02 1.72 1/448 16831
/proc/meminfo: memFree=31608712/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=22696 CPUtime=0.69 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 6562 0 0 0 68 1 0 0 25 0 1 0 856255056 23240704 1858 33554432000 134512640 137138936 4288023040 18446744073709551615 134720962 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 5674 1858 278 642 0 5030 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22696
[startup+1.50049 s]
/proc/loadavg: 2.01 2.02 1.72 3/454 16842
/proc/meminfo: memFree=31592924/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=22560 CPUtime=1.49 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 26920 0 0 0 147 2 0 0 25 0 1 0 856255056 23101440 1525 33554432000 134512640 137138936 4288023040 18446744073709551615 135457640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 5640 1525 282 642 0 4996 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22560
[startup+3.10019 s]
/proc/loadavg: 2.01 2.02 1.72 3/451 16845
/proc/meminfo: memFree=31597784/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=22252 CPUtime=3.09 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 88903 0 0 0 300 9 0 0 25 0 1 0 856255056 22786048 1428 33554432000 134512640 137138936 4288023040 18446744073709551615 134730880 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 5563 1428 282 642 0 4919 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22252
[startup+6.30062 s]
/proc/loadavg: 2.01 2.02 1.72 3/454 16869
/proc/meminfo: memFree=31588548/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=22656 CPUtime=6.29 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 179411 0 0 0 610 19 0 0 25 0 1 0 856255056 23199744 1643 33554432000 134512640 137138936 4288023040 18446744073709551615 135465253 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 5664 1643 283 642 0 5020 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22656
[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 1.72 3/454 16870
/proc/meminfo: memFree=31583072/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=20472 CPUtime=12.69 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 387140 0 0 0 1229 40 0 0 25 0 1 0 856255056 20963328 1426 33554432000 134512640 137138936 4288023040 18446744073709551615 135457104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 5118 1426 287 642 0 4474 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20472
[startup+25.5001 s]
/proc/loadavg: 2.00 2.02 1.72 3/454 16870
/proc/meminfo: memFree=31579112/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=22408 CPUtime=25.49 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 595575 0 0 0 2484 65 0 0 25 0 1 0 856255056 22945792 1708 33554432000 134512640 137138936 4288023040 18446744073709551615 135466079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 5602 1708 287 642 0 4958 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22408
[startup+51.1005 s]
/proc/loadavg: 2.00 2.02 1.73 3/454 16871
/proc/meminfo: memFree=31576924/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=22092 CPUtime=51.1 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 897359 0 0 0 5012 98 0 0 25 0 1 0 856255056 22622208 1708 33554432000 134512640 137138936 4288023040 18446744073709551615 135082961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 5523 1708 287 642 0 4879 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 22092
[startup+102.317 s]
/proc/loadavg: 2.00 2.01 1.74 3/454 16872
/proc/meminfo: memFree=31571316/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=22928 CPUtime=102.31 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 1359758 0 0 0 10082 149 0 0 25 0 1 0 856255056 23478272 1912 33554432000 134512640 137138936 4288023040 18446744073709551615 135457640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 5732 1912 287 642 0 5088 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 22928
[startup+162.3 s]
/proc/loadavg: 2.12 2.04 1.76 3/454 16874
/proc/meminfo: memFree=31568940/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=24180 CPUtime=162.29 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 1846629 0 0 0 16024 205 0 0 25 0 1 0 856255056 24760320 2077 33554432000 134512640 137138936 4288023040 18446744073709551615 135456389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6045 2077 287 642 0 5401 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 24180
[startup+222.3 s]
/proc/loadavg: 2.09 2.04 1.78 3/454 16875
/proc/meminfo: memFree=31569656/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=23556 CPUtime=222.3 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 2346727 0 0 0 21968 262 0 0 25 0 1 0 856255056 24121344 2081 33554432000 134512640 137138936 4288023040 18446744073709551615 135333088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 5889 2081 287 642 0 5245 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23556
[startup+282.3 s]
/proc/loadavg: 2.16 2.06 1.80 3/454 16877
/proc/meminfo: memFree=31569508/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=23932 CPUtime=282.3 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 2906773 0 0 0 27907 323 0 0 25 0 1 0 856255056 24506368 2302 33554432000 134512640 137138936 4288023040 18446744073709551615 135466056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 5983 2302 287 642 0 5339 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 23932
[startup+342.301 s]
/proc/loadavg: 2.27 2.10 1.83 3/454 16905
/proc/meminfo: memFree=31501296/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=25360 CPUtime=342.3 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 3696010 0 0 0 33822 408 0 0 25 0 1 0 856255056 25968640 2620 33554432000 134512640 137138936 4288023040 18446744073709551615 135457167 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6340 2620 287 642 0 5696 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 25360
[startup+402.301 s]
/proc/loadavg: 2.10 2.08 1.84 3/454 16907
/proc/meminfo: memFree=31416332/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=25992 CPUtime=402.3 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 4313121 0 0 0 39753 477 0 0 25 0 1 0 856255056 26615808 2770 33554432000 134512640 137138936 4288023040 18446744073709551615 135457104 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6498 2770 287 642 0 5854 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 25992
[startup+462.301 s]
/proc/loadavg: 2.07 2.08 1.85 3/454 16909
/proc/meminfo: memFree=31339924/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=25796 CPUtime=462.31 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 4822601 0 0 0 45696 535 0 0 25 0 1 0 856255056 26415104 2705 33554432000 134512640 137138936 4288023040 18446744073709551615 135457360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6449 2705 287 642 0 5805 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 25796
[startup+522.301 s]
/proc/loadavg: 2.06 2.07 1.86 3/454 16910
/proc/meminfo: memFree=31272448/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=25696 CPUtime=522.3 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 5405109 0 0 0 51633 597 0 0 25 0 1 0 856255056 26312704 2602 33554432000 134512640 137138936 4288023040 18446744073709551615 135441076 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6424 2602 287 642 0 5780 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 25696
[startup+582.301 s]
/proc/loadavg: 2.02 2.06 1.86 3/454 16912
/proc/meminfo: memFree=31212392/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=25920 CPUtime=582.31 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 6003384 0 0 0 57567 664 0 0 25 0 1 0 856255056 26542080 2635 33554432000 134512640 137138936 4288023040 18446744073709551615 135457629 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6480 2635 287 642 0 5836 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 25920
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30809352/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=25780 CPUtime=1062.33 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 10754634 0 0 0 105032 1201 0 0 25 0 1 0 856255056 26398720 2994 33554432000 134512640 137138936 4288023040 18446744073709551615 135440921 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6445 2994 287 642 0 5801 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 25780
[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 1.92 3/454 16926
/proc/meminfo: memFree=30765556/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=26248 CPUtime=1122.32 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 11309285 0 0 0 110965 1267 0 0 25 0 1 0 856255056 26877952 2796 33554432000 134512640 137138936 4288023040 18446744073709551615 135441031 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6562 2796 287 642 0 5918 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 26248
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 1.92 3/454 16928
/proc/meminfo: memFree=30724612/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=26144 CPUtime=1182.32 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 11937563 0 0 0 116890 1342 0 0 25 0 1 0 856255056 26771456 3077 33554432000 134512640 137138936 4288023040 18446744073709551615 135456383 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6536 3077 287 642 0 5892 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 26144
[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 1.92 3/454 16929
/proc/meminfo: memFree=30680820/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=26376 CPUtime=1242.32 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 12646435 0 0 0 122812 1420 0 0 25 0 1 0 856255056 27009024 2956 33554432000 134512640 137138936 4288023040 18446744073709551615 135463892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6594 2956 287 642 0 5950 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 26376
[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.92 3/454 16931
/proc/meminfo: memFree=30633312/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=25932 CPUtime=1302.34 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 13248776 0 0 0 128743 1491 0 0 25 0 1 0 856255056 26554368 3063 33554432000 134512640 137138936 4288023040 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6483 3063 287 642 0 5839 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 25932
[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 1.93 3/454 16933
/proc/meminfo: memFree=30601556/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=26244 CPUtime=1362.33 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 13834388 0 0 0 134674 1559 0 0 25 0 1 0 856255056 26873856 2687 33554432000 134512640 137138936 4288023040 18446744073709551615 135457386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6561 2687 287 642 0 5917 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 26244
[startup+1422.32 s]
/proc/loadavg: 2.18 2.08 1.95 3/454 16934
/proc/meminfo: memFree=30577484/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=25192 CPUtime=1422.35 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 14559494 0 0 0 140595 1640 0 0 25 0 1 0 856255056 25796608 2780 33554432000 134512640 137138936 4288023040 18446744073709551615 135080902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6298 2780 287 642 0 5654 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 25192
[startup+1482.3 s]
/proc/loadavg: 2.17 2.10 1.96 3/454 16936
/proc/meminfo: memFree=30553904/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=18512 CPUtime=1482.33 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 15170447 0 0 0 146526 1707 0 0 25 0 1 0 856255056 18956288 2260 33554432000 134512640 137138936 4288023040 18446744073709551615 134713063 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 4664 2275 287 642 0 4020 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 18512
[startup+1542.3 s]
/proc/loadavg: 2.20 2.11 1.97 3/454 16946
/proc/meminfo: memFree=30554516/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=25644 CPUtime=1542.33 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 15715484 0 0 0 152467 1766 0 0 25 0 1 0 856255056 26259456 2707 33554432000 134512640 137138936 4288023040 18446744073709551615 135457640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6411 2707 287 642 0 5767 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 25644
[startup+1602.3 s]
/proc/loadavg: 2.13 2.10 1.97 3/454 16948
/proc/meminfo: memFree=30554244/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=26508 CPUtime=1602.34 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 16361943 0 0 0 158397 1837 0 0 25 0 1 0 856255056 27144192 2889 33554432000 134512640 137138936 4288023040 18446744073709551615 135071667 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6627 2889 287 642 0 5983 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 26508
[startup+1662.3 s]
/proc/loadavg: 2.05 2.08 1.97 3/454 16950
/proc/meminfo: memFree=30552984/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=26796 CPUtime=1662.34 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 16961997 0 0 0 164330 1904 0 0 25 0 1 0 856255056 27439104 2906 33554432000 134512640 137138936 4288023040 18446744073709551615 135457396 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6699 2906 287 642 0 6055 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 26796
[startup+1722.3 s]
/proc/loadavg: 2.02 2.06 1.97 3/454 16954
/proc/meminfo: memFree=30554200/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=26660 CPUtime=1722.34 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 17558432 0 0 0 170260 1974 0 0 25 0 1 0 856255056 27299840 3086 33554432000 134512640 137138936 4288023040 18446744073709551615 135466056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6665 3086 287 642 0 6021 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 26660
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 1.97 3/454 16956
/proc/meminfo: memFree=30553564/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=26508 CPUtime=1782.34 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 18125890 0 0 0 176197 2037 0 0 25 0 1 0 856255056 27144192 2774 33554432000 134512640 137138936 4288023040 18446744073709551615 135443929 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6627 2774 287 642 0 5983 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 26508
Solver just ended. Dumping a history of the last processes samples
[startup+1791.92 s]
/proc/loadavg: 2.00 2.05 1.97 3/454 16956
/proc/meminfo: memFree=30553808/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=26220 CPUtime=1791.96 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 18222555 0 0 0 177148 2048 0 0 25 0 1 0 856255056 26849280 2756 33554432000 134512640 137138936 4288023040 18446744073709551615 135340232 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6555 2756 287 642 0 5911 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 26220
[startup+1795.1 s]
/proc/loadavg: 2.00 2.05 1.97 3/454 16956
/proc/meminfo: memFree=30553312/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=26608 CPUtime=1795.15 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 18249635 0 0 0 177465 2050 0 0 25 0 1 0 856255056 27246592 2742 33554432000 134512640 137138936 4288023040 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6652 2742 287 642 0 6008 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 26608
[startup+1796.7 s]
/proc/loadavg: 2.00 2.05 1.97 3/454 16956
/proc/meminfo: memFree=30554552/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=26732 CPUtime=1796.75 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 18270005 0 0 0 177622 2053 0 0 25 0 1 0 856255056 27373568 2867 33554432000 134512640 137138936 4288023040 18446744073709551615 135440857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6683 2867 287 642 0 6039 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 26732
[startup+1797.5 s]
/proc/loadavg: 2.00 2.05 1.97 3/454 16956
/proc/meminfo: memFree=30554304/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=26776 CPUtime=1797.54 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 18274644 0 0 0 177701 2053 0 0 25 0 1 0 856255056 27418624 2990 33554432000 134512640 137138936 4288023040 18446744073709551615 134734941 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6694 2990 287 642 0 6050 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 26776
[startup+1797.9 s]
/proc/loadavg: 2.00 2.05 1.97 3/454 16956
/proc/meminfo: memFree=30554304/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=26876 CPUtime=1797.95 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 18277000 0 0 0 177741 2054 0 0 25 0 1 0 856255056 27521024 3040 33554432000 134512640 137138936 4288023040 18446744073709551615 135071004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6719 3040 287 642 0 6075 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 26876
[startup+1798.1 s]
/proc/loadavg: 2.00 2.05 1.97 3/454 16956
/proc/meminfo: memFree=30554304/32951124 swapFree=55639044/67111528
[pid=16831] ppid=16829 vsize=26932 CPUtime=1798.14 cores=1,3,5,7
/proc/16831/stat : 16831 (bsolo) R 16829 16831 16701 0 -1 4202496 18278490 0 0 0 177760 2054 0 0 25 0 1 0 856255056 27578368 3009 33554432000 134512640 137138936 4288023040 18446744073709551615 135456741 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16831/statm: 6733 3009 287 642 0 6089 0
Current children cumulated CPU time (s) 1798.14
Current children cumulated vsize (KiB) 26932
Child status: 0
Real time (s): 1798.17
CPU time (s): 1798.22
CPU user time (s): 1777.67
CPU system time (s): 20.5469
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 27856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.67
system time used= 20.5469
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18278948
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= 1179
runsolver used 7.42987 second user time and 18.7292 second system time
The end