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-3724521-1338640525/watcher-3724521-1338640525 -o /tmp/evaluation-result-3724521-1338640525/solver-3724521-1338640525 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724521-1338640525.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.04 2.01 1.99 3/177 4436
/proc/meminfo: memFree=29157036/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 802 0 0 0 0 0 0 0 20 0 1 0 330180950 6373376 722 33554432000 4194304 8989770 140736809709776 140735163830712 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 1556 722 427 1171 0 333 0
[startup+0.0100281 s]
/proc/loadavg: 2.04 2.01 1.99 3/177 4436
/proc/meminfo: memFree=29157036/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 901 0 0 0 0 0 0 0 20 0 1 0 330180950 7421952 821 33554432000 4194304 8989770 140736809709776 140735163830712 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 1812 821 428 1171 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7248
[startup+0.100274 s]
/proc/loadavg: 2.04 2.01 1.99 3/177 4436
/proc/meminfo: memFree=29157036/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=15440 CPUtime=0.09 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 2914 0 0 0 9 0 0 0 20 0 1 0 330180950 15810560 2834 33554432000 4194304 8989770 140736809709776 140735163830712 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 3860 2834 441 1171 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15440
[startup+0.300315 s]
/proc/loadavg: 2.04 2.01 1.99 3/177 4436
/proc/meminfo: memFree=29157036/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=28752 CPUtime=0.29 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 6493 0 0 0 28 1 0 0 20 0 1 0 330180950 29442048 6413 33554432000 4194304 8989770 140736809709776 140736809709272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 7188 6413 458 1171 0 5965 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28752
[startup+0.700324 s]
/proc/loadavg: 2.04 2.01 1.99 3/177 4436
/proc/meminfo: memFree=29157036/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=33872 CPUtime=0.69 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 7773 0 0 0 68 1 0 0 20 0 1 0 330180950 34684928 7693 33554432000 4194304 8989770 140736809709776 140736809709272 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 8468 7693 458 1171 0 7245 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33872
[startup+1.50033 s]
/proc/loadavg: 2.04 2.01 1.99 3/178 4437
/proc/meminfo: memFree=29127276/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=35920 CPUtime=1.49 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 8285 0 0 0 147 2 0 0 20 0 1 0 330180950 36782080 8205 33554432000 4194304 8989770 140736809709776 140736809709040 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 8980 8205 458 1171 0 7757 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35920
[startup+3.10034 s]
/proc/loadavg: 2.04 2.01 1.99 3/178 4437
/proc/meminfo: memFree=29124796/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=40016 CPUtime=3.08 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 9309 0 0 0 306 2 0 0 20 0 1 0 330180950 40976384 9229 33554432000 4194304 8989770 140736809709776 140736809707712 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 10004 9229 458 1171 0 8781 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 40016
[startup+6.30031 s]
/proc/loadavg: 2.04 2.01 1.99 3/178 4437
/proc/meminfo: memFree=29116652/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=48208 CPUtime=6.29 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 11357 0 0 0 626 3 0 0 20 0 1 0 330180950 49364992 11277 33554432000 4194304 8989770 140736809709776 140736809709272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 12052 11277 458 1171 0 10829 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48208
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 1.99 3/178 4437
/proc/meminfo: memFree=29102084/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=60496 CPUtime=12.69 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 14429 0 0 0 1264 5 0 0 20 0 1 0 330180950 61947904 14349 33554432000 4194304 8989770 140736809709776 140736809709272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 15124 14349 458 1171 0 13901 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 60496
[startup+25.5004 s]
/proc/loadavg: 2.03 2.01 1.99 3/178 4437
/proc/meminfo: memFree=29075444/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=87120 CPUtime=25.48 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 21085 0 0 0 2540 8 0 0 20 0 1 0 330180950 89210880 21005 33554432000 4194304 8989770 140736809709776 140736809709272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 21780 21005 458 1171 0 20557 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87120
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 4437
/proc/meminfo: memFree=29031636/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=131152 CPUtime=51.07 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 31923 0 0 0 5091 16 0 0 20 0 1 0 330180950 134299648 31844 33554432000 4194304 8989770 140736809709776 140736809709272 4438194 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 32788 31844 458 1171 0 31565 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 131152
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 4477
/proc/meminfo: memFree=27191088/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=200784 CPUtime=102.26 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 49515 0 0 0 10199 27 0 0 20 0 1 0 330180950 205602816 49431 33554432000 4194304 8989770 140736809709776 140736809709040 4438180 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 50196 49431 458 1171 0 48973 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 200784
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 4477
/proc/meminfo: memFree=26989748/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=226384 CPUtime=162.24 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 55939 0 0 0 16187 37 0 0 20 0 1 0 330180950 231817216 55833 33554432000 4194304 8989770 140736809709776 140736809709272 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 56596 55833 460 1171 0 55373 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 226384
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 4477
/proc/meminfo: memFree=26984144/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=232528 CPUtime=222.22 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 57475 0 0 0 22177 45 0 0 20 0 1 0 330180950 238108672 57369 33554432000 4194304 8989770 140736809709776 140736809709272 4451620 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 58132 57369 460 1171 0 56909 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 232528
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 4480
/proc/meminfo: memFree=26964044/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=251984 CPUtime=282.22 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 62339 0 0 0 28167 55 0 0 20 0 1 0 330180950 258031616 62233 33554432000 4194304 8989770 140736809709776 140736809709272 4438252 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 62996 62233 460 1171 0 61773 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 251984
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 4480
/proc/meminfo: memFree=26955680/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=260176 CPUtime=342.21 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 64387 0 0 0 34155 66 0 0 20 0 1 0 330180950 266420224 64281 33554432000 4194304 8989770 140736809709776 140736809709272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 65044 64281 460 1171 0 63821 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 260176
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 4481
/proc/meminfo: memFree=26904744/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=311376 CPUtime=402.2 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 77187 0 0 0 40143 77 0 0 20 0 1 0 330180950 318849024 77081 33554432000 4194304 8989770 140736809709776 140736809709272 4437660 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 77844 77081 460 1171 0 76621 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 311376
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4481
/proc/meminfo: memFree=26877256/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=336976 CPUtime=462.19 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 88707 0 0 0 46131 88 0 0 20 0 1 0 330180950 345063424 83481 33554432000 4194304 8989770 140736809709776 140736809709272 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 84244 83481 460 1171 0 83021 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 336976
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4481
/proc/meminfo: memFree=26913528/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=300112 CPUtime=522.18 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 88707 0 0 0 52120 98 0 0 20 0 1 0 330180950 307314688 74265 33554432000 4194304 8989770 140736809709776 140736809709272 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 75028 74265 460 1171 0 73805 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 300112
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4481
/proc/meminfo: memFree=26913432/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=300112 CPUtime=582.16 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 88707 0 0 0 58109 107 0 0 20 0 1 0 330180950 307314688 74265 33554432000 4194304 8989770 140736809709776 140736809709272 4438244 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 75028 74265 460 1171 0 73805 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 300112
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 4482
/proc/meminfo: memFree=26896020/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=316496 CPUtime=822.13 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 99203 0 0 0 82067 146 0 0 20 0 1 0 330180950 324091904 78361 33554432000 4194304 8989770 140736809709776 140736809709040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 79124 78361 460 1171 0 77901 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 316496
[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 4485
/proc/meminfo: memFree=26841548/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=371792 CPUtime=882.12 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 113027 0 0 0 88056 156 0 0 20 0 1 0 330180950 380715008 92185 33554432000 4194304 8989770 140736809709776 140736809707712 6855483 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 92948 92185 460 1171 0 91725 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 371792
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4485
/proc/meminfo: memFree=26949728/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=263248 CPUtime=942.12 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 113027 0 0 0 94047 165 0 0 20 0 1 0 330180950 269565952 65049 33554432000 4194304 8989770 140736809709776 140736809709272 7617738 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 65812 65049 460 1171 0 64589 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 263248
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4486
/proc/meminfo: memFree=26943432/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=271440 CPUtime=1002.1 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 115075 0 0 0 100040 170 0 0 20 0 1 0 330180950 277954560 67097 33554432000 4194304 8989770 140736809709776 140736809707712 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 67860 67097 460 1171 0 66637 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 271440
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4486
/proc/meminfo: memFree=26895224/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=318544 CPUtime=1062.09 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 126851 0 0 0 106031 178 0 0 20 0 1 0 330180950 326189056 78873 33554432000 4194304 8989770 140736809709776 140736809709040 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 79636 78873 460 1171 0 78413 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 318544
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4486
/proc/meminfo: memFree=26917780/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=296016 CPUtime=1122.09 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 126851 0 0 0 112023 186 0 0 20 0 1 0 330180950 303120384 73241 33554432000 4194304 8989770 140736809709776 140736809709272 4451620 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 74004 73241 460 1171 0 72781 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 296016
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4486
/proc/meminfo: memFree=26891892/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=322640 CPUtime=1182.08 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 133507 0 0 0 118012 196 0 0 20 0 1 0 330180950 330383360 79897 33554432000 4194304 8989770 140736809709776 140736809707712 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 80660 79897 460 1171 0 79437 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 322640
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4486
/proc/meminfo: memFree=26872584/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=341072 CPUtime=1242.07 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 140163 0 0 0 124003 204 0 0 20 0 1 0 330180950 349257728 84505 33554432000 4194304 8989770 140736809709776 140736809709272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 85268 84505 460 1171 0 84045 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 341072
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 4487
/proc/meminfo: memFree=26871744/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=341072 CPUtime=1302.06 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 140163 0 0 0 129996 210 0 0 20 0 1 0 330180950 349257728 84505 33554432000 4194304 8989770 140736809709776 140736809709272 4438168 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 85268 84505 460 1171 0 84045 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 341072
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4487
/proc/meminfo: memFree=26857040/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=356432 CPUtime=1362.05 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 144003 0 0 0 135987 218 0 0 20 0 1 0 330180950 364986368 88345 33554432000 4194304 8989770 140736809709776 140736809709272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 89108 88345 460 1171 0 87885 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 356432
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4487
/proc/meminfo: memFree=26795200/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=417872 CPUtime=1422.03 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 159380 0 0 0 141973 230 0 0 20 0 1 0 330180950 427900928 103706 33554432000 4194304 8989770 140736809709776 140736809709272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 104468 103706 460 1171 0 103245 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 417872
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4490
/proc/meminfo: memFree=26735040/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=478288 CPUtime=1482.01 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 174495 0 0 0 147959 242 0 0 20 0 1 0 330180950 489766912 118810 33554432000 4194304 8989770 140736809709776 140736809709040 4208823 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 119572 118810 460 1171 0 118349 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 478288
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 4513
/proc/meminfo: memFree=26830932/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=382032 CPUtime=1542 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 174505 0 0 0 153950 250 0 0 20 0 1 0 330180950 391200768 94746 33554432000 4194304 8989770 140736809709776 140736809709272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 95508 94746 460 1171 0 94285 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 382032
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4514
/proc/meminfo: memFree=26859448/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=353360 CPUtime=1601.97 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 174520 0 0 0 159940 257 0 0 20 0 1 0 330180950 361840640 87578 33554432000 4194304 8989770 140736809709776 140736809709272 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 88340 87578 460 1171 0 87117 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 353360
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4514
/proc/meminfo: memFree=26839608/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=373840 CPUtime=1661.96 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 179653 0 0 0 165929 267 0 0 20 0 1 0 330180950 382812160 92698 33554432000 4194304 8989770 140736809709776 140736809709272 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 93460 92698 460 1171 0 92237 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 373840
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4514
/proc/meminfo: memFree=26798192/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=415824 CPUtime=1721.95 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 190149 0 0 0 171919 276 0 0 20 0 1 0 330180950 425803776 103194 33554432000 4194304 8989770 140736809709776 140736809709272 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 103956 103194 460 1171 0 102733 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 415824
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4515
/proc/meminfo: memFree=26749212/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=463952 CPUtime=1781.94 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 202181 0 0 0 177910 284 0 0 20 0 1 0 330180950 475086848 115226 33554432000 4194304 8989770 140736809709776 140736809709272 6561596 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 115988 115226 460 1171 0 114765 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 463952
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4515
/proc/meminfo: memFree=26748964/32873844 swapFree=6872/6872
[pid=4436] ppid=4434 vsize=463952 CPUtime=1800.05 cores=1,3,5,7
/proc/4436/stat : 4436 (toysat) R 4434 4436 3386 0 -1 4202496 202181 0 0 0 179718 287 0 0 20 0 1 0 330180950 475086848 115226 33554432000 4194304 8989770 140736809709776 140736809709040 4214448 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/4436/statm: 115988 115226 460 1171 0 114765 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 463952
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.42
CPU time (s): 1800.06
CPU user time (s): 1797.18
CPU system time (s): 2.88156
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 478288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.18
system time used= 2.88156
maximum resident set size= 475240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202181
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= 104
involuntary context switches= 1869
runsolver used 3.59945 second user time and 10.0255 second system time
The end