runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3219248-1303237085/watcher-3219248-1303237085 -o /tmp/evaluation-result-3219248-1303237085/solver-3219248-1303237085 -C 5000 -W 5000 -M 15500 MPhaseSAT_M HOME/instance-3219248-1303237085.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5000 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: 1.90 1.97 1.99 2/177 26471
/proc/meminfo: memFree=23499656/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=5116 CPUtime=0 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 435308352 5238784 273 33554432000 134512640 134829744 4294530496 18446744073709551615 4294960144 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 1279 273 225 78 0 565 0
[startup+0.0949621 s]
/proc/loadavg: 1.90 1.97 1.99 2/177 26471
/proc/meminfo: memFree=23499656/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=5116 CPUtime=0.09 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 784 0 0 0 9 0 0 0 23 0 1 0 435308352 5238784 725 33554432000 134512640 134829744 4294530496 18446744073709551615 8176670 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 1279 725 225 78 0 565 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5116
[startup+0.100963 s]
/proc/loadavg: 1.90 1.97 1.99 2/177 26471
/proc/meminfo: memFree=23499656/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=5344 CPUtime=0.09 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 925 0 0 0 9 0 0 0 23 0 1 0 435308352 5472256 841 33554432000 134512640 134829744 4294530496 18446744073709551615 134575100 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 1336 841 230 78 0 622 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5344
[startup+0.300922 s]
/proc/loadavg: 1.90 1.97 1.99 2/177 26471
/proc/meminfo: memFree=23499656/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=19892 CPUtime=0.29 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 7062 0 0 0 29 0 0 0 25 0 1 0 435308352 20369408 4456 33554432000 134512640 134829744 4294530496 18446744073709551615 8283644 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 4973 4458 256 78 0 4259 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19892
[startup+0.700847 s]
/proc/loadavg: 1.90 1.97 1.99 2/177 26471
/proc/meminfo: memFree=23499656/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=24756 CPUtime=0.69 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 8639 0 0 0 69 0 0 0 25 0 1 0 435308352 25350144 5680 33554432000 134512640 134829744 4294530496 18446744073709551615 8024402 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 6189 5680 273 78 0 5475 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24756
[startup+1.50069 s]
/proc/loadavg: 1.90 1.97 1.99 3/178 26472
/proc/meminfo: memFree=23477220/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=24756 CPUtime=1.49 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 8639 0 0 0 149 0 0 0 25 0 1 0 435308352 25350144 5680 33554432000 134512640 134829744 4294530496 18446744073709551615 134661081 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 6189 5680 273 78 0 5475 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24756
[startup+3.10033 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 26472
/proc/meminfo: memFree=23476848/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=27536 CPUtime=3.09 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 9342 0 0 0 309 0 0 0 25 0 1 0 435308352 28196864 6383 33554432000 134512640 134829744 4294530496 18446744073709551615 8023806 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 6884 6383 273 78 0 6170 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27536
[startup+6.30078 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 26472
/proc/meminfo: memFree=23468764/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=35084 CPUtime=6.29 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 11234 0 0 0 629 0 0 0 25 0 1 0 435308352 35926016 8275 33554432000 134512640 134829744 4294530496 18446744073709551615 134661375 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 8771 8275 273 78 0 8057 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35084
[startup+12.7005 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 26472
/proc/meminfo: memFree=23460928/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=41064 CPUtime=12.69 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 12716 0 0 0 1268 1 0 0 25 0 1 0 435308352 42049536 9757 33554432000 134512640 134829744 4294530496 18446744073709551615 134678266 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 10266 9757 273 78 0 9552 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41064
[startup+25.5011 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 26472
/proc/meminfo: memFree=23457832/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=44940 CPUtime=25.49 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 13679 0 0 0 2548 1 0 0 25 0 1 0 435308352 46018560 10720 33554432000 134512640 134829744 4294530496 18446744073709551615 134661446 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 11235 10720 273 78 0 10521 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44940
[startup+51.1002 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 26473
/proc/meminfo: memFree=23462328/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=41340 CPUtime=51.09 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 33417 0 0 0 5105 4 0 0 25 0 1 0 435308352 42332160 9824 33554432000 134512640 134829744 4294530496 18446744073709551615 8023847 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 10335 9824 279 78 0 9621 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41340
[startup+102.306 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 26474
/proc/meminfo: memFree=23444808/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=56808 CPUtime=102.3 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 37953 0 0 0 10225 5 0 0 25 0 1 0 435308352 58171392 13680 33554432000 134512640 134829744 4294530496 18446744073709551615 134723915 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 14202 13680 279 78 0 13488 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 56808
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 26476
/proc/meminfo: memFree=23444040/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=58236 CPUtime=162.29 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 39128 0 0 0 16224 5 0 0 25 0 1 0 435308352 59633664 14005 33554432000 134512640 134829744 4294530496 18446744073709551615 134725740 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 14559 14005 279 78 0 13845 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 58236
[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 26478
/proc/meminfo: memFree=23443872/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=58236 CPUtime=222.3 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 39128 0 0 0 22225 5 0 0 25 0 1 0 435308352 59633664 14005 33554432000 134512640 134829744 4294530496 18446744073709551615 134661405 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 14559 14005 279 78 0 13845 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 58236
[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 26479
/proc/meminfo: memFree=23439744/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=62704 CPUtime=282.3 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 40563 0 0 0 28225 5 0 0 25 0 1 0 435308352 64208896 15183 33554432000 134512640 134829744 4294530496 18446744073709551615 134624965 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 15676 15183 279 78 0 14962 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 62704
[startup+342.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 26481
/proc/meminfo: memFree=23436880/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=64380 CPUtime=342.31 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 41665 0 0 0 34225 6 0 0 25 0 1 0 435308352 65925120 15604 33554432000 134512640 134829744 4294530496 18446744073709551615 134658112 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 16095 15604 279 78 0 15381 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 64380
[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 26482
/proc/meminfo: memFree=23435092/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=66984 CPUtime=402.3 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 42531 0 0 0 40224 6 0 0 25 0 1 0 435308352 68591616 16237 33554432000 134512640 134829744 4294530496 18446744073709551615 134661632 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 16746 16237 279 78 0 16032 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 66984
[startup+462.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 26484
/proc/meminfo: memFree=23409768/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=92372 CPUtime=462.3 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 48893 0 0 0 46223 7 0 0 25 0 1 0 435308352 94588928 22599 33554432000 134512640 134829744 4294530496 18446744073709551615 134661614 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 23093 22599 279 78 0 22379 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 92372
[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 26486
/proc/meminfo: memFree=23409736/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=92372 CPUtime=522.31 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 48893 0 0 0 52224 7 0 0 25 0 1 0 435308352 94588928 22599 33554432000 134512640 134829744 4294530496 18446744073709551615 134623421 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 23093 22599 279 78 0 22379 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 92372
[startup+582.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 26487
/proc/meminfo: memFree=23409464/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=92372 CPUtime=582.31 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 48893 0 0 0 58224 7 0 0 25 0 1 0 435308352 94588928 22599 33554432000 134512640 134829744 4294530496 18446744073709551615 134725229 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 23093 22599 279 78 0 22379 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 92372
[startup+642.3 s]
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 26620
/proc/meminfo: memFree=23343376/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4062.44 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 406231 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134633006 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4062.44
Current children cumulated vsize (KiB) 169616
[startup+4122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 26622
/proc/meminfo: memFree=23343232/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4122.44 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 412231 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 8023907 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4122.44
Current children cumulated vsize (KiB) 169616
[startup+4182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 26623
/proc/meminfo: memFree=23342824/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4182.44 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 418231 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134725792 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4182.44
Current children cumulated vsize (KiB) 169616
[startup+4242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26625
/proc/meminfo: memFree=23342188/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4242.45 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 424232 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134723533 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4242.45
Current children cumulated vsize (KiB) 169616
[startup+4302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26626
/proc/meminfo: memFree=23338188/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4302.45 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 430232 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134722430 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4302.45
Current children cumulated vsize (KiB) 169616
[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26628
/proc/meminfo: memFree=23338032/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4362.45 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 436232 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134661614 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4362.45
Current children cumulated vsize (KiB) 169616
[startup+4422.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 26630
/proc/meminfo: memFree=23338240/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4422.45 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 442232 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134661405 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4422.45
Current children cumulated vsize (KiB) 169616
[startup+4482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 26631
/proc/meminfo: memFree=23338332/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4482.46 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 448233 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134661405 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4482.46
Current children cumulated vsize (KiB) 169616
[startup+4542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 26633
/proc/meminfo: memFree=23337928/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4542.46 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 454233 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134723595 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4542.46
Current children cumulated vsize (KiB) 169616
[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26634
/proc/meminfo: memFree=23338384/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4602.47 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 460234 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134661081 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4602.47
Current children cumulated vsize (KiB) 169616
[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26636
/proc/meminfo: memFree=23337860/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4662.46 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 466233 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134624903 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4662.46
Current children cumulated vsize (KiB) 169616
[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26638
/proc/meminfo: memFree=23337960/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4722.47 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 472234 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134670019 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4722.47
Current children cumulated vsize (KiB) 169616
[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26639
/proc/meminfo: memFree=23338060/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4782.47 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 478234 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134633356 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4782.47
Current children cumulated vsize (KiB) 169616
[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26641
/proc/meminfo: memFree=23338028/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4842.47 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 484234 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134722641 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4842.47
Current children cumulated vsize (KiB) 169616
[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26642
/proc/meminfo: memFree=23338004/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4902.47 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 490234 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134720838 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4902.47
Current children cumulated vsize (KiB) 169616
[startup+4962.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 26644
/proc/meminfo: memFree=23338344/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=4962.47 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 496234 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134719552 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 4962.47
Current children cumulated vsize (KiB) 169616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 26645
/proc/meminfo: memFree=23337700/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=5000.08 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 499995 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134661446 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 169616
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+4999.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 26645
/proc/meminfo: memFree=23337700/32950928 swapFree=67111524/67111528
[pid=26471] ppid=26469 vsize=169616 CPUtime=5000.08 cores=1,3,5,7
/proc/26471/stat : 26471 (MPhaseSAT_M) R 26469 26471 26123 0 -1 4202496 68547 0 0 0 499995 13 0 0 25 0 1 0 435308352 173686784 41913 33554432000 134512640 134829744 4294530496 18446744073709551615 134661446 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/26471/statm: 42404 41913 279 78 0 41690 0
Current children cumulated CPU time (s) 5000.08
Current children cumulated vsize (KiB) 169616
Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.91
CPU time (s): 5000.1
CPU user time (s): 4999.95
CPU system time (s): 0.143978
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 170296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.95
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68547
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= 10
involuntary context switches= 8175
runsolver used 7.39088 second user time and 16.8634 second system time
The end