runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3490638-1307763592/watcher-3490638-1307763592 -o /tmp/evaluation-result-3490638-1307763592/solver-3490638-1307763592 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490638-1307763592.opb --verbosity=0 --format=opb --randomseed=2091583336
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.02 2.01 1.99 2/177 10581
/proc/meminfo: memFree=30756712/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=7576 CPUtime=0 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 401 0 0 0 0 0 0 0 25 0 1 0 887961569 7757824 353 33554432000 4194304 6720400 140735103157584 18446744073709551615 5885600 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/10581/statm: 1894 354 232 617 0 1268 0
[startup+0.093199 s]
/proc/loadavg: 2.02 2.01 1.99 2/177 10581
/proc/meminfo: memFree=30756712/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=15952 CPUtime=0.08 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 2526 0 0 0 8 0 0 0 25 0 1 0 887961569 16334848 2477 33554432000 4194304 6720400 140735103157584 18446744073709551615 4803381 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/10581/statm: 3988 2477 263 617 0 3362 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15952
[startup+0.10121 s]
/proc/loadavg: 2.02 2.01 1.99 2/177 10581
/proc/meminfo: memFree=30756712/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=15952 CPUtime=0.09 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 2528 0 0 0 9 0 0 0 25 0 1 0 887961569 16334848 2479 33554432000 4194304 6720400 140735103157584 18446744073709551615 4806507 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/10581/statm: 3988 2479 263 617 0 3362 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15952
[startup+0.301137 s]
/proc/loadavg: 2.02 2.01 1.99 2/177 10581
/proc/meminfo: memFree=30756712/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=15956 CPUtime=0.29 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 2598 0 0 0 29 0 0 0 25 0 1 0 887961569 16338944 2544 33554432000 4194304 6720400 140735103157584 18446744073709551615 5718334 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/10581/statm: 3989 2544 265 617 0 3363 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15956
[startup+0.701061 s]
/proc/loadavg: 2.02 2.01 1.99 2/177 10581
/proc/meminfo: memFree=30756712/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=16092 CPUtime=0.69 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 3458 0 0 0 69 0 0 0 25 0 1 0 887961569 16478208 3285 33554432000 4194304 6720400 140735103157584 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/10581/statm: 4023 3285 266 617 0 3397 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16092
[startup+1.50091 s]
/proc/loadavg: 2.02 2.01 1.99 4/178 10582
/proc/meminfo: memFree=30742344/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=21812 CPUtime=1.49 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 5730 0 0 0 149 0 0 0 25 0 1 0 887961569 22335488 4565 33554432000 4194304 6720400 140735103157584 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/10581/statm: 5453 4565 266 617 0 4827 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21812
[startup+3.10064 s]
/proc/loadavg: 2.02 2.01 1.99 4/178 10582
/proc/meminfo: memFree=30742200/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=24516 CPUtime=3.09 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 9141 0 0 0 308 1 0 0 25 0 1 0 887961569 25104384 5118 33554432000 4194304 6720400 140735103157584 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/10581/statm: 6129 5118 266 617 0 5503 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24516
[startup+6.30104 s]
/proc/loadavg: 2.02 2.01 1.99 4/178 10582
/proc/meminfo: memFree=30737488/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=27460 CPUtime=6.29 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 11456 0 0 0 628 1 0 0 25 0 1 0 887961569 28119040 5019 33554432000 4194304 6720400 140735103157584 18446744073709551615 4811734 0 0 4096 17571 0 0 0 17 4 0 0 0
/proc/10581/statm: 6865 5019 266 617 0 6239 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27460
[startup+12.7008 s]
/proc/loadavg: 2.01 2.01 1.99 4/178 10582
/proc/meminfo: memFree=30728932/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=30208 CPUtime=12.69 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 13581 0 0 0 1267 2 0 0 25 0 1 0 887961569 30932992 7099 33554432000 4194304 6720400 140735103157584 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 7552 7099 266 617 0 6926 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30208
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 1.99 4/178 10583
/proc/meminfo: memFree=30722088/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=39016 CPUtime=25.49 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 17295 0 0 0 2547 2 0 0 25 0 1 0 887961569 39952384 8884 33554432000 4194304 6720400 140735103157584 18446744073709551615 4617319 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 9754 8884 266 617 0 9128 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39016
[startup+51.1006 s]
/proc/loadavg: 2.01 2.00 1.99 4/178 10583
/proc/meminfo: memFree=30719912/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=39016 CPUtime=51.09 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 17741 0 0 0 5107 2 0 0 25 0 1 0 887961569 39952384 9317 33554432000 4194304 6720400 140735103157584 18446744073709551615 4805680 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 9754 9317 266 617 0 9128 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 39016
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.99 4/178 10585
/proc/meminfo: memFree=30715900/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=50708 CPUtime=102.29 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 23020 0 0 0 10227 2 0 0 25 0 1 0 887961569 51924992 10396 33554432000 4194304 6720400 140735103157584 18446744073709551615 5722441 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 12677 10396 266 617 0 12051 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 50708
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10625
/proc/meminfo: memFree=31517568/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=50708 CPUtime=162.29 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 23500 0 0 0 16227 2 0 0 25 0 1 0 887961569 51924992 10863 33554432000 4194304 6720400 140735103157584 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 12677 10863 266 617 0 12051 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 50708
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10627
/proc/meminfo: memFree=31484836/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=62312 CPUtime=222.3 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 36774 0 0 0 22225 5 0 0 25 0 1 0 887961569 63807488 15105 33554432000 4194304 6720400 140735103157584 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 15578 15105 266 617 0 14952 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 62312
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10628
/proc/meminfo: memFree=31464340/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=81028 CPUtime=282.3 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 37850 0 0 0 28224 6 0 0 25 0 1 0 887961569 82972672 16126 33554432000 4194304 6720400 140735103157584 18446744073709551615 4616636 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 20257 16126 266 617 0 19631 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 81028
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10630
/proc/meminfo: memFree=31416932/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=81028 CPUtime=342.3 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 38086 0 0 0 34224 6 0 0 25 0 1 0 887961569 82972672 16356 33554432000 4194304 6720400 140735103157584 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 20257 16356 266 617 0 19631 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 81028
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10632
/proc/meminfo: memFree=31443432/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=81028 CPUtime=402.29 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 43437 0 0 0 40223 6 0 0 25 0 1 0 887961569 82972672 16926 33554432000 4194304 6720400 140735103157584 18446744073709551615 4617315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 20257 16926 266 617 0 19631 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 81028
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10633
/proc/meminfo: memFree=31443508/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=81028 CPUtime=462.3 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 43437 0 0 0 46224 6 0 0 25 0 1 0 887961569 82972672 16926 33554432000 4194304 6720400 140735103157584 18446744073709551615 5511037 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 20257 16926 266 617 0 19631 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 81028
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10635
/proc/meminfo: memFree=31402788/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=81028 CPUtime=522.3 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 43438 0 0 0 52224 6 0 0 25 0 1 0 887961569 82972672 16927 33554432000 4194304 6720400 140735103157584 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 20257 16927 266 617 0 19631 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 81028
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 10636
/proc/meminfo: memFree=31400744/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=81028 CPUtime=582.3 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 43438 0 0 0 58224 6 0 0 25 0 1 0 887961569 82972672 16927 33554432000 4194304 6720400 140735103157584 18446744073709551615 4616694 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 20257 16927 266 617 0 19631 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 81028
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 10643
/proc/meminfo: memFree=31351052/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=99880 CPUtime=822.32 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 51276 0 0 0 82224 8 0 0 25 0 1 0 887961569 102277120 24522 33554432000 4194304 6720400 140735103157584 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 24970 24522 266 617 0 24344 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 99880
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10644
/proc/meminfo: memFree=31391564/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=100388 CPUtime=882.32 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 61180 0 0 0 88222 10 0 0 25 0 1 0 887961569 102797312 22391 33554432000 4194304 6720400 140735103157584 18446744073709551615 4819040 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 25097 22391 266 617 0 24471 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 100388
[startup+942.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 10646
/proc/meminfo: memFree=31332624/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=100388 CPUtime=942.32 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 61790 0 0 0 94222 10 0 0 25 0 1 0 887961569 102797312 22978 33554432000 4194304 6720400 140735103157584 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 25097 22978 266 617 0 24471 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 100388
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 10648
/proc/meminfo: memFree=31348320/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=100388 CPUtime=1002.32 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 61832 0 0 0 100222 10 0 0 25 0 1 0 887961569 102797312 23018 33554432000 4194304 6720400 140735103157584 18446744073709551615 4803417 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 25097 23018 266 617 0 24471 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 100388
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 10649
/proc/meminfo: memFree=31341084/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=100388 CPUtime=1062.32 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 61858 0 0 0 106222 10 0 0 25 0 1 0 887961569 102797312 23043 33554432000 4194304 6720400 140735103157584 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 25097 23043 266 617 0 24471 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 100388
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10651
/proc/meminfo: memFree=31328016/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=100388 CPUtime=1122.33 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 62575 0 0 0 112223 10 0 0 25 0 1 0 887961569 102797312 23744 33554432000 4194304 6720400 140735103157584 18446744073709551615 4813180 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 25097 23744 266 617 0 24471 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 100388
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10652
/proc/meminfo: memFree=31338504/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=100388 CPUtime=1182.33 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 62575 0 0 0 118223 10 0 0 25 0 1 0 887961569 102797312 23744 33554432000 4194304 6720400 140735103157584 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 25097 23744 266 617 0 24471 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 100388
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10654
/proc/meminfo: memFree=31304372/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=100388 CPUtime=1242.33 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 62575 0 0 0 124223 10 0 0 25 0 1 0 887961569 102797312 23744 33554432000 4194304 6720400 140735103157584 18446744073709551615 4617312 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 25097 23744 266 617 0 24471 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 100388
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10665
/proc/meminfo: memFree=31306268/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=100388 CPUtime=1302.33 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 62575 0 0 0 130223 10 0 0 25 0 1 0 887961569 102797312 23744 33554432000 4194304 6720400 140735103157584 18446744073709551615 4616608 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 25097 23744 266 617 0 24471 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 100388
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10666
/proc/meminfo: memFree=31385088/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=100388 CPUtime=1362.33 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 62575 0 0 0 136223 10 0 0 25 0 1 0 887961569 102797312 23744 33554432000 4194304 6720400 140735103157584 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 25097 23744 266 617 0 24471 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 100388
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10670
/proc/meminfo: memFree=31324388/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=100388 CPUtime=1422.34 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 62575 0 0 0 142224 10 0 0 25 0 1 0 887961569 102797312 23744 33554432000 4194304 6720400 140735103157584 18446744073709551615 5722476 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 25097 23744 266 617 0 24471 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 100388
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 10672
/proc/meminfo: memFree=31317000/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=100388 CPUtime=1482.34 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 63488 0 0 0 148223 11 0 0 25 0 1 0 887961569 102797312 24607 33554432000 4194304 6720400 140735103157584 18446744073709551615 4595062 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 25097 24607 266 617 0 24471 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 100388
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 10674
/proc/meminfo: memFree=31373360/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=107460 CPUtime=1542.33 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 65278 0 0 0 154222 11 0 0 25 0 1 0 887961569 110039040 26375 33554432000 4194304 6720400 140735103157584 18446744073709551615 4803939 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 26865 26375 266 617 0 26239 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 107460
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10676
/proc/meminfo: memFree=31373304/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=107460 CPUtime=1602.34 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 65278 0 0 0 160223 11 0 0 25 0 1 0 887961569 110039040 26375 33554432000 4194304 6720400 140735103157584 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 26865 26375 266 617 0 26239 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 107460
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10677
/proc/meminfo: memFree=31373108/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=107460 CPUtime=1662.34 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 65283 0 0 0 166223 11 0 0 25 0 1 0 887961569 110039040 26380 33554432000 4194304 6720400 140735103157584 18446744073709551615 4803427 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 26865 26380 266 617 0 26239 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 107460
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10679
/proc/meminfo: memFree=31281808/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=107460 CPUtime=1722.34 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 65283 0 0 0 172223 11 0 0 25 0 1 0 887961569 110039040 26380 33554432000 4194304 6720400 140735103157584 18446744073709551615 4616694 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 26865 26380 266 617 0 26239 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 107460
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10680
/proc/meminfo: memFree=31280892/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=107460 CPUtime=1782.34 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 65283 0 0 0 178223 11 0 0 25 0 1 0 887961569 110039040 26380 33554432000 4194304 6720400 140735103157584 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 26865 26380 266 617 0 26239 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 107460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 10681
/proc/meminfo: memFree=31342996/32951124 swapFree=67050520/67111528
[pid=10581] ppid=10579 vsize=107460 CPUtime=1800.05 cores=0,2,4,6
/proc/10581/stat : 10581 (minisatid) R 10579 10581 8206 0 -1 4202496 65283 0 0 0 179994 11 0 0 25 0 1 0 887961569 110039040 26380 33554432000 4194304 6720400 140735103157584 18446744073709551615 4616675 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/10581/statm: 26865 26380 266 617 0 26239 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 107460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1799.94
CPU system time (s): 0.122981
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 130232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65288
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= 5
involuntary context switches= 22013
runsolver used 2.74258 second user time and 5.55116 second system time
The end