runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3725141-1338634456/watcher-3725141-1338634456 -o /tmp/evaluation-result-3725141-1338634456/solver-3725141-1338634456 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725141-1338634456.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.00 2.00 1.88 3/176 4692
/proc/meminfo: memFree=27508516/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 329571679 6373376 727 33554432000 4194304 8989770 140736531838704 140735241894264 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 1556 731 428 1171 0 333 0
[startup+0.100606 s]
/proc/loadavg: 2.00 2.00 1.88 3/176 4692
/proc/meminfo: memFree=27508516/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=13392 CPUtime=0.09 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 2625 0 0 0 9 0 0 0 20 0 1 0 329571679 13713408 2545 33554432000 4194304 8989770 140736531838704 140735241894264 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 3348 2545 430 1171 0 2125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13392
[startup+0.200198 s]
/proc/loadavg: 2.00 2.00 1.88 3/176 4692
/proc/meminfo: memFree=27508516/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=21584 CPUtime=0.18 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 4562 0 0 0 18 0 0 0 20 0 1 0 329571679 22102016 4482 33554432000 4194304 8989770 140736531838704 140735241894264 4598530 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 5396 4482 430 1171 0 4173 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 21584
[startup+0.300197 s]
/proc/loadavg: 2.00 2.00 1.88 3/176 4692
/proc/meminfo: memFree=27508516/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=27728 CPUtime=0.29 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 6209 0 0 0 28 1 0 0 20 0 1 0 329571679 28393472 6129 33554432000 4194304 8989770 140736531838704 140735241894264 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 6932 6129 430 1171 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27728
[startup+0.700175 s]
/proc/loadavg: 2.00 2.00 1.88 3/176 4692
/proc/meminfo: memFree=27508516/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=36944 CPUtime=0.69 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 8559 0 0 0 67 2 0 0 20 0 1 0 329571679 37830656 8479 33554432000 4194304 8989770 140736531838704 140735241894264 6586468 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 9236 8479 470 1171 0 8013 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36944
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 4693
/proc/meminfo: memFree=27476112/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=40016 CPUtime=1.49 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 9076 0 0 0 147 2 0 0 20 0 1 0 329571679 40976384 8996 33554432000 4194304 8989770 140736531838704 140736531836672 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 10004 8996 470 1171 0 8781 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40016
[startup+3.10016 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 4693
/proc/meminfo: memFree=27468672/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=51280 CPUtime=3.08 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 12082 0 0 0 305 3 0 0 20 0 1 0 329571679 52510720 12002 33554432000 4194304 8989770 140736531838704 140736531838200 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 12820 12002 470 1171 0 11597 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 51280
[startup+6.30014 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 4693
/proc/meminfo: memFree=27445520/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=70736 CPUtime=6.29 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 16890 0 0 0 623 6 0 0 20 0 1 0 329571679 72433664 16810 33554432000 4194304 8989770 140736531838704 140736531838200 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 17684 16810 470 1171 0 16461 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 70736
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 4693
/proc/meminfo: memFree=27411980/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=106576 CPUtime=12.68 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 25896 0 0 0 1258 10 0 0 20 0 1 0 329571679 109133824 25816 33554432000 4194304 8989770 140736531838704 140736531838200 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 26644 25816 470 1171 0 25421 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 106576
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 1.89 3/177 4693
/proc/meminfo: memFree=27347632/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=159824 CPUtime=25.49 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 39255 0 0 0 2532 17 0 0 20 0 1 0 329571679 163659776 39175 33554432000 4194304 8989770 140736531838704 140736531837968 4469522 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 39956 39175 470 1171 0 38733 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 159824
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 1.89 3/177 4693
/proc/meminfo: memFree=27257476/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=244816 CPUtime=51.08 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 60477 0 0 0 5082 26 0 0 20 0 1 0 329571679 250691584 60397 33554432000 4194304 8989770 140736531838704 140736531838200 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 61204 60397 470 1171 0 59981 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 244816
[startup+102.3 s]
/proc/loadavg: 2.05 2.02 1.90 3/177 4693
/proc/meminfo: memFree=27139688/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=362576 CPUtime=102.25 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 89826 0 0 0 10182 43 0 0 20 0 1 0 329571679 371277824 89718 33554432000 4194304 8989770 140736531838704 140736531838200 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 90644 89718 470 1171 0 89421 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 362576
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 1.91 3/177 4693
/proc/meminfo: memFree=27026228/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=460880 CPUtime=162.21 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 114586 0 0 0 16163 58 0 0 20 0 1 0 329571679 471941120 114430 33554432000 4194304 8989770 140736531838704 140736531837968 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 115220 114430 470 1171 0 113997 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 460880
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 1.91 3/176 4693
/proc/meminfo: memFree=26967488/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=520272 CPUtime=222.16 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 129272 0 0 0 22150 66 0 0 20 0 1 0 329571679 532758528 129069 33554432000 4194304 8989770 140736531838704 140736531837968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 130068 129069 470 1171 0 128845 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 520272
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 4694
/proc/meminfo: memFree=26919772/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=567376 CPUtime=282.11 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 141339 0 0 0 28134 77 0 0 20 0 1 0 329571679 580993024 141089 33554432000 4194304 8989770 140736531838704 140736531837968 4469772 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 141844 141089 472 1171 0 140621 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 567376
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4694
/proc/meminfo: memFree=26911404/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=567376 CPUtime=342.07 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 141387 0 0 0 34123 84 0 0 20 0 1 0 329571679 580993024 141090 33554432000 4194304 8989770 140736531838704 140736531837968 7748696 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 141844 141090 472 1171 0 140621 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 567376
[startup+402.3 s]
/proc/loadavg: 2.06 2.01 1.91 3/178 4697
/proc/meminfo: memFree=26911056/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=567376 CPUtime=402.05 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 141415 0 0 0 40114 91 0 0 20 0 1 0 329571679 580993024 141090 33554432000 4194304 8989770 140736531838704 140736531837968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 141844 141090 472 1171 0 140621 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 567376
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/178 4720
/proc/meminfo: memFree=26882724/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=608336 CPUtime=462.04 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 151566 0 0 0 46106 98 0 0 20 0 1 0 329571679 622936064 151241 33554432000 4194304 8989770 140736531838704 140736531837968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 152084 151241 472 1171 0 150861 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 608336
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4720
/proc/meminfo: memFree=26836092/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=655440 CPUtime=522.02 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 163339 0 0 0 52099 103 0 0 20 0 1 0 329571679 671170560 163014 33554432000 4194304 8989770 140736531838704 140736531837968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 163860 163014 472 1171 0 162637 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 655440
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4721
/proc/meminfo: memFree=26787704/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=707664 CPUtime=582.02 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 176295 0 0 0 58092 110 0 0 20 0 1 0 329571679 724647936 175970 33554432000 4194304 8989770 140736531838704 140736531837968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 176916 175970 472 1171 0 175693 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 707664
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 4762
/proc/meminfo: memFree=26859372/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=707664 CPUtime=821.98 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 176487 0 0 0 82062 136 0 0 20 0 1 0 329571679 724647936 176162 33554432000 4194304 8989770 140736531838704 140736531837968 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 176916 176162 472 1171 0 175693 0
Current children cumulated CPU time (s) 821.98
Current children cumulated vsize (KiB) 707664
[startup+882.306 s]
/proc/loadavg: 2.06 2.02 1.92 3/177 4763
/proc/meminfo: memFree=26853944/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=707664 CPUtime=881.96 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 176519 0 0 0 88054 142 0 0 20 0 1 0 329571679 724647936 176162 33554432000 4194304 8989770 140736531838704 140736531837968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 176916 176162 472 1171 0 175693 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 707664
[startup+942.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 4763
/proc/meminfo: memFree=26849624/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=707664 CPUtime=941.95 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 176519 0 0 0 94048 147 0 0 20 0 1 0 329571679 724647936 176162 33554432000 4194304 8989770 140736531838704 140736531837968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 176916 176162 472 1171 0 175693 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 707664
[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/178 4766
/proc/meminfo: memFree=26845380/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=707664 CPUtime=1001.93 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 176519 0 0 0 100042 151 0 0 20 0 1 0 329571679 724647936 176162 33554432000 4194304 8989770 140736531838704 140736531837968 4204605 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 176916 176162 472 1171 0 175693 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 707664
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 4766
/proc/meminfo: memFree=26841296/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=707664 CPUtime=1061.92 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 176519 0 0 0 106037 155 0 0 20 0 1 0 329571679 724647936 176162 33554432000 4194304 8989770 140736531838704 140736531837968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 176916 176162 472 1171 0 175693 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 707664
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 4766
/proc/meminfo: memFree=26838324/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=707664 CPUtime=1121.92 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 176519 0 0 0 112032 160 0 0 20 0 1 0 329571679 724647936 176162 33554432000 4194304 8989770 140736531838704 140736531837968 7697335 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 176916 176162 472 1171 0 175693 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 707664
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4767
/proc/meminfo: memFree=26834232/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=707664 CPUtime=1181.9 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 176519 0 0 0 118026 164 0 0 20 0 1 0 329571679 724647936 176162 33554432000 4194304 8989770 140736531838704 140736531837968 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 176916 176162 472 1171 0 175693 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 707664
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4767
/proc/meminfo: memFree=26806580/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=730192 CPUtime=1241.89 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 181958 0 0 0 124020 169 0 0 20 0 1 0 329571679 747716608 181601 33554432000 4194304 8989770 140736531838704 140736531837968 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 182548 181601 472 1171 0 181325 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 730192
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4767
/proc/meminfo: memFree=26778432/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=754768 CPUtime=1301.89 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 188129 0 0 0 130016 173 0 0 20 0 1 0 329571679 772882432 187772 33554432000 4194304 8989770 140736531838704 140736531837968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 188692 187772 472 1171 0 187469 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 754768
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4767
/proc/meminfo: memFree=26728204/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=799824 CPUtime=1361.88 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 199560 0 0 0 136006 182 0 0 20 0 1 0 329571679 819019776 199202 33554432000 4194304 8989770 140736531838704 140736531837968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 199956 199202 472 1171 0 198733 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 799824
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4767
/proc/meminfo: memFree=26722976/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=799824 CPUtime=1421.87 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 199561 0 0 0 142002 185 0 0 20 0 1 0 329571679 819019776 199202 33554432000 4194304 8989770 140736531838704 140736531837968 4452218 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 199956 199202 472 1171 0 198733 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 799824
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4768
/proc/meminfo: memFree=26720620/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=799824 CPUtime=1481.86 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 199561 0 0 0 147996 190 0 0 20 0 1 0 329571679 819019776 199202 33554432000 4194304 8989770 140736531838704 140736531837968 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 199956 199202 472 1171 0 198733 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 799824
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4768
/proc/meminfo: memFree=26716156/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=799824 CPUtime=1541.85 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 199561 0 0 0 153990 195 0 0 20 0 1 0 329571679 819019776 199202 33554432000 4194304 8989770 140736531838704 140736531837968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 199956 199202 472 1171 0 198733 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 799824
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 4771
/proc/meminfo: memFree=26722848/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=791632 CPUtime=1601.84 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 199561 0 0 0 159981 203 0 0 20 0 1 0 329571679 810631168 197154 33554432000 4194304 8989770 140736531838704 140736531837968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 197908 197154 472 1171 0 196685 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 791632
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 4771
/proc/meminfo: memFree=26717772/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=791632 CPUtime=1661.83 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 199561 0 0 0 165974 209 0 0 20 0 1 0 329571679 810631168 197154 33554432000 4194304 8989770 140736531838704 140736531837968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 197908 197154 472 1171 0 196685 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 791632
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/177 4771
/proc/meminfo: memFree=26713556/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=791632 CPUtime=1721.82 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 199561 0 0 0 171968 214 0 0 20 0 1 0 329571679 810631168 197154 33554432000 4194304 8989770 140736531838704 140736531837968 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 197908 197154 472 1171 0 196685 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 791632
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/177 4772
/proc/meminfo: memFree=26709340/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=791632 CPUtime=1781.81 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 199561 0 0 0 177962 219 0 0 20 0 1 0 329571679 810631168 197154 33554432000 4194304 8989770 140736531838704 140736531837968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 197908 197154 472 1171 0 196685 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 791632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 4772
/proc/meminfo: memFree=26707480/32873648 swapFree=6860/6860
[pid=4692] ppid=4690 vsize=791632 CPUtime=1800.02 cores=1,3,5,7
/proc/4692/stat : 4692 (toysat) R 4690 4692 4467 0 -1 4202496 199561 0 0 0 179781 221 0 0 20 0 1 0 329571679 810631168 197154 33554432000 4194304 8989770 140736531838704 140736531837968 7697332 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4692/statm: 197908 197154 472 1171 0 196685 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 791632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1797.82
CPU system time (s): 2.21266
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 799824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.82
system time used= 2.21266
maximum resident set size= 796808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 199561
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= 282
involuntary context switches= 1840
runsolver used 3.19251 second user time and 8.47171 second system time
The end