runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3394297-1306075675/watcher-3394297-1306075675 -o /tmp/evaluation-result-3394297-1306075675/solver-3394297-1306075675 -C 5000 -W 5100 -M 15500 MPhaseSAT64 HOME/instance-3394297-1306075675.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): 5100 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.98 2.00 2.00 3/481 6811
/proc/meminfo: memFree=7434580/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=17876 CPUtime=0 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 434 0 0 0 0 0 0 0 25 0 1 0 719167236 18305024 376 33554432000 4194304 4479436 140733695113376 18446744073709551615 4213885 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 4469 376 267 70 0 1589 0

[startup+0.0446171 s]
/proc/loadavg: 1.98 2.00 2.00 3/481 6811
/proc/meminfo: memFree=7434580/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=17876 CPUtime=0.04 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 733 0 0 0 4 0 0 0 25 0 1 0 719167236 18305024 675 33554432000 4194304 4479436 140733695113376 18446744073709551615 208080232192 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 4469 676 267 70 0 1589 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17876

[startup+0.100607 s]
/proc/loadavg: 1.98 2.00 2.00 3/481 6811
/proc/meminfo: memFree=7434580/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=17876 CPUtime=0.09 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 1222 0 0 0 9 0 0 0 25 0 1 0 719167236 18305024 1164 33554432000 4194304 4479436 140733695113376 18446744073709551615 208079636012 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 4469 1165 267 70 0 1589 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17876

[startup+0.300574 s]
/proc/loadavg: 1.98 2.00 2.00 3/481 6811
/proc/meminfo: memFree=7434580/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=25488 CPUtime=0.29 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 10694 0 0 0 28 1 0 0 25 0 1 0 719167236 26099712 3720 33554432000 4194304 4479436 140733695113376 18446744073709551615 4244222 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 6372 3720 477 70 0 3492 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25488

[startup+0.700498 s]
/proc/loadavg: 1.98 2.00 2.00 3/481 6811
/proc/meminfo: memFree=7434580/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=42428 CPUtime=0.69 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 16842 0 0 0 67 2 0 0 25 0 1 0 719167236 43446272 7975 33554432000 4194304 4479436 140733695113376 18446744073709551615 4341280 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 10607 7975 497 70 0 7727 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 42428

[startup+1.50035 s]
/proc/loadavg: 1.98 2.00 2.00 3/482 6812
/proc/meminfo: memFree=7408284/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=38144 CPUtime=1.49 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 20005 0 0 0 147 2 0 0 25 0 1 0 719167236 39059456 6913 33554432000 4194304 4479436 140733695113376 18446744073709551615 4397970 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 9536 6913 506 70 0 6656 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38144

[startup+3.10104 s]
/proc/loadavg: 1.98 2.00 2.00 3/482 6812
/proc/meminfo: memFree=7407416/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=50712 CPUtime=3.08 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 23159 0 0 0 306 2 0 0 25 0 1 0 719167236 51929088 10067 33554432000 4194304 4479436 140733695113376 18446744073709551615 4313515 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 12678 10067 512 70 0 9798 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 50712

[startup+6.30043 s]
/proc/loadavg: 1.98 2.00 2.00 3/482 6812
/proc/meminfo: memFree=7382984/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=44100 CPUtime=6.29 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 28313 0 0 0 626 3 0 0 25 0 1 0 719167236 45158400 8417 33554432000 4194304 4479436 140733695113376 18446744073709551615 4382432 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 11025 8417 515 70 0 8145 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44100

[startup+12.7002 s]
/proc/loadavg: 1.98 2.00 2.00 3/482 6812
/proc/meminfo: memFree=7404732/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=41468 CPUtime=12.69 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 31809 0 0 0 1266 3 0 0 25 0 1 0 719167236 42463232 7759 33554432000 4194304 4479436 140733695113376 18446744073709551615 4305063 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 10367 7759 515 70 0 7487 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41468

[startup+25.5008 s]
/proc/loadavg: 1.99 2.00 2.00 3/482 6812
/proc/meminfo: memFree=7386008/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=58664 CPUtime=25.49 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 45050 0 0 0 2544 5 0 0 25 0 1 0 719167236 60071936 12058 33554432000 4194304 4479436 140733695113376 18446744073709551615 4330574 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 14666 12058 515 70 0 11786 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58664

[startup+51.1009 s]
/proc/loadavg: 1.99 2.00 2.00 3/482 6813
/proc/meminfo: memFree=7386212/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=58664 CPUtime=51.1 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 62257 0 0 0 5103 7 0 0 25 0 1 0 719167236 60071936 12058 33554432000 4194304 4479436 140733695113376 18446744073709551615 4450986 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 14666 12058 515 70 0 11786 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 58664

[startup+102.318 s]
/proc/loadavg: 1.99 2.00 2.00 3/482 6814
/proc/meminfo: memFree=7382832/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=62760 CPUtime=102.31 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 107734 0 0 0 10220 11 0 0 25 0 1 0 719167236 64266240 13082 33554432000 4194304 4479436 140733695113376 18446744073709551615 4450936 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15690 13082 515 70 0 12810 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 62760

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/482 6816
/proc/meminfo: memFree=7380824/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=63288 CPUtime=162.3 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 164406 0 0 0 16212 18 0 0 25 0 1 0 719167236 64806912 13214 33554432000 4194304 4479436 140733695113376 18446744073709551615 4304370 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15822 13214 515 70 0 12942 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 63288

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/482 6818
/proc/meminfo: memFree=7385752/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=58664 CPUtime=222.29 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 212823 0 0 0 22206 23 0 0 25 0 1 0 719167236 60071936 12058 33554432000 4194304 4479436 140733695113376 18446744073709551615 4456012 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 14666 12058 515 70 0 11786 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 58664

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/482 6819
/proc/meminfo: memFree=7386216/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=58664 CPUtime=282.3 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 259324 0 0 0 28201 29 0 0 25 0 1 0 719167236 60071936 12058 33554432000 4194304 4479436 140733695113376 18446744073709551615 4451008 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 14666 12058 515 70 0 11786 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 58664

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 6821
/proc/meminfo: memFree=7381728/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=62760 CPUtime=342.3 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 317912 0 0 0 34195 35 0 0 25 0 1 0 719167236 64266240 13082 33554432000 4194304 4479436 140733695113376 18446744073709551615 4385008 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15690 13082 515 70 0 12810 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 62760

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 6822
/proc/meminfo: memFree=7382440/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=62760 CPUtime=402.3 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 365437 0 0 0 40190 40 0 0 25 0 1 0 719167236 64266240 13082 33554432000 4194304 4479436 140733695113376 18446744073709551615 4451967 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15690 13082 515 70 0 12810 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 62760

[startup+462.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/482 6824
/proc/meminfo: memFree=7381664/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=63288 CPUtime=462.3 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 422109 0 0 0 46184 46 0 0 25 0 1 0 719167236 64806912 13214 33554432000 4194304 4479436 140733695113376 18446744073709551615 4407389 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15822 13214 515 70 0 12942 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 63288

[startup+522.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/482 6825
/proc/meminfo: memFree=7382376/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=58664 CPUtime=522.31 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 470526 0 0 0 52179 52 0 0 25 0 1 0 719167236 60071936 12058 33554432000 4194304 4479436 140733695113376 18446744073709551615 4451282 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 14666 12058 515 70 0 11786 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 58664

[startup+582.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 6827
/proc/meminfo: memFree=7385816/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=62760 CPUtime=582.31 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 518051 0 0 0 58173 58 0 0 25 0 1 0 719167236 64266240 13082 33554432000 4194304 4479436 140733695113376 18446744073709551615 4452026 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15690 13082 515 70 0 12810 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 62760

[startup+642.3 s]

################
# More data... #
################

[startup+4062.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 6959
/proc/meminfo: memFree=7757236/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=62760 CPUtime=4062.46 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 3516461 0 0 0 405875 371 0 0 25 0 1 0 719167236 64266240 13082 33554432000 4194304 4479436 140733695113376 18446744073709551615 4339580 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15690 13082 515 70 0 12810 0
Current children cumulated CPU time (s) 4062.46
Current children cumulated vsize (KiB) 62760

[startup+4122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 6960
/proc/meminfo: memFree=7757204/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=62760 CPUtime=4122.44 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 3563986 0 0 0 411868 376 0 0 25 0 1 0 719167236 64266240 13082 33554432000 4194304 4479436 140733695113376 18446744073709551615 4451926 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15690 13082 515 70 0 12810 0
Current children cumulated CPU time (s) 4122.44
Current children cumulated vsize (KiB) 62760

[startup+4182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 6962
/proc/meminfo: memFree=7756916/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=63288 CPUtime=4182.45 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 3620658 0 0 0 417863 382 0 0 25 0 1 0 719167236 64806912 13214 33554432000 4194304 4479436 140733695113376 18446744073709551615 4404836 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15822 13214 515 70 0 12942 0
Current children cumulated CPU time (s) 4182.45
Current children cumulated vsize (KiB) 63288

[startup+4242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 6964
/proc/meminfo: memFree=7757132/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=58664 CPUtime=4242.46 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 3669075 0 0 0 423859 387 0 0 25 0 1 0 719167236 60071936 12058 33554432000 4194304 4479436 140733695113376 18446744073709551615 4452093 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 14666 12058 515 70 0 11786 0
Current children cumulated CPU time (s) 4242.46
Current children cumulated vsize (KiB) 58664

[startup+4302.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/482 6965
/proc/meminfo: memFree=7760696/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=58664 CPUtime=4302.45 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 3715576 0 0 0 429854 391 0 0 25 0 1 0 719167236 60071936 12058 33554432000 4194304 4479436 140733695113376 18446744073709551615 4450994 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 14666 12058 515 70 0 11786 0
Current children cumulated CPU time (s) 4302.45
Current children cumulated vsize (KiB) 58664

[startup+4362.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/482 6967
/proc/meminfo: memFree=7748136/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=62760 CPUtime=4362.46 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 3774164 0 0 0 435848 398 0 0 25 0 1 0 719167236 64266240 13082 33554432000 4194304 4479436 140733695113376 18446744073709551615 4307262 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15690 13082 515 70 0 12810 0
Current children cumulated CPU time (s) 4362.46
Current children cumulated vsize (KiB) 62760

[startup+4422.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/482 6977
/proc/meminfo: memFree=7755968/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=62760 CPUtime=4422.46 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 3821689 0 0 0 441842 404 0 0 25 0 1 0 719167236 64266240 13082 33554432000 4194304 4479436 140733695113376 18446744073709551615 4451184 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15690 13082 515 70 0 12810 0
Current children cumulated CPU time (s) 4422.46
Current children cumulated vsize (KiB) 62760

[startup+4482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 6979
/proc/meminfo: memFree=7764208/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=63288 CPUtime=4482.47 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 3878361 0 0 0 447837 410 0 0 25 0 1 0 719167236 64806912 13214 33554432000 4194304 4479436 140733695113376 18446744073709551615 4327657 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15822 13214 515 70 0 12942 0
Current children cumulated CPU time (s) 4482.47
Current children cumulated vsize (KiB) 63288

[startup+4542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 6981
/proc/meminfo: memFree=7752772/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=58664 CPUtime=4542.47 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 3926778 0 0 0 453832 415 0 0 25 0 1 0 719167236 60071936 12058 33554432000 4194304 4479436 140733695113376 18446744073709551615 4363240 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 14666 12058 515 70 0 11786 0
Current children cumulated CPU time (s) 4542.47
Current children cumulated vsize (KiB) 58664

[startup+4602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 6985
/proc/meminfo: memFree=7755924/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=58664 CPUtime=4602.48 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 3973279 0 0 0 459829 419 0 0 25 0 1 0 719167236 60071936 12058 33554432000 4194304 4479436 140733695113376 18446744073709551615 4450912 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 14666 12058 515 70 0 11786 0
Current children cumulated CPU time (s) 4602.48
Current children cumulated vsize (KiB) 58664

[startup+4662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 6987
/proc/meminfo: memFree=7750780/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=62760 CPUtime=4662.47 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 4031867 0 0 0 465822 425 0 0 25 0 1 0 719167236 64266240 13082 33554432000 4194304 4479436 140733695113376 18446744073709551615 4450996 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15690 13082 515 70 0 12810 0
Current children cumulated CPU time (s) 4662.47
Current children cumulated vsize (KiB) 62760

[startup+4722.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 6989
/proc/meminfo: memFree=7751976/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=62760 CPUtime=4722.49 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 4079392 0 0 0 471819 430 0 0 25 0 1 0 719167236 64266240 13082 33554432000 4194304 4479436 140733695113376 18446744073709551615 4451201 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15690 13082 515 70 0 12810 0
Current children cumulated CPU time (s) 4722.49
Current children cumulated vsize (KiB) 62760

[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 6990
/proc/meminfo: memFree=7744880/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=63288 CPUtime=4782.47 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 4136064 0 0 0 477812 435 0 0 25 0 1 0 719167236 64806912 13214 33554432000 4194304 4479436 140733695113376 18446744073709551615 4404853 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15822 13214 515 70 0 12942 0
Current children cumulated CPU time (s) 4782.47
Current children cumulated vsize (KiB) 63288

[startup+4842.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/482 6992
/proc/meminfo: memFree=7756604/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=58664 CPUtime=4842.48 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 4184481 0 0 0 483809 439 0 0 25 0 1 0 719167236 60071936 12058 33554432000 4194304 4479436 140733695113376 18446744073709551615 4381680 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 14666 12058 515 70 0 11786 0
Current children cumulated CPU time (s) 4842.48
Current children cumulated vsize (KiB) 58664

[startup+4902.3 s]
/proc/loadavg: 2.18 2.06 2.02 3/482 6993
/proc/meminfo: memFree=7749256/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=62760 CPUtime=4902.48 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 4232006 0 0 0 489804 444 0 0 25 0 1 0 719167236 64266240 13082 33554432000 4194304 4479436 140733695113376 18446744073709551615 4451126 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15690 13082 515 70 0 12810 0
Current children cumulated CPU time (s) 4902.48
Current children cumulated vsize (KiB) 62760

[startup+4962.3 s]
/proc/loadavg: 2.12 2.06 2.02 3/482 6995
/proc/meminfo: memFree=7752816/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=62760 CPUtime=4962.49 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 4289570 0 0 0 495799 450 0 0 25 0 1 0 719167236 64266240 13082 33554432000 4194304 4479436 140733695113376 18446744073709551615 4339545 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15690 13082 515 70 0 12810 0
Current children cumulated CPU time (s) 4962.49
Current children cumulated vsize (KiB) 62760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.07 2.06 2.01 3/482 6996
/proc/meminfo: memFree=7753292/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=62760 CPUtime=5000.09 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 4320912 0 0 0 499556 453 0 0 25 0 1 0 719167236 64266240 13082 33554432000 4194304 4479436 140733695113376 18446744073709551615 4450918 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15690 13082 515 70 0 12810 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 62760

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.07 2.06 2.01 3/482 6996
/proc/meminfo: memFree=7753292/32950928 swapFree=56454908/67111528
[pid=6811] ppid=6809 vsize=62760 CPUtime=5000.09 cores=1,3,5,7
/proc/6811/stat : 6811 (MPhaseSAT64) R 6809 6811 6445 0 -1 4202496 4320912 0 0 0 499556 453 0 0 25 0 1 0 719167236 64266240 13082 33554432000 4194304 4479436 140733695113376 18446744073709551615 4450918 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/6811/statm: 15690 13082 515 70 0 12810 0
Current children cumulated CPU time (s) 5000.09
Current children cumulated vsize (KiB) 62760

Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.92
CPU time (s): 5000.11
CPU user time (s): 4995.57
CPU system time (s): 4.53831
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 70952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4995.57
system time used= 4.53831
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4320912
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= 7
involuntary context switches= 6581

runsolver used 22.5956 second user time and 54.6007 second system time

The end