runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3438893-1306900159/watcher-3438893-1306900159 -o /tmp/evaluation-result-3438893-1306900159/solver-3438893-1306900159 -C 5000 -W 5100 -M 15500 SApperloT2010 HOME/instance-3438893-1306900159.cnf
running on 4 cores: 0,2,4,6
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.00 1.12 1.50 3/412 19213
/proc/meminfo: memFree=3715932/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=13944 CPUtime=0.01 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 877 0 0 0 1 0 0 0 23 0 1 0 257625306 14278656 816 33554432000 4194304 4394578 140733824309600 18446744073709551615 218880225989 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 3486 816 247 49 0 627 0
[startup+0.110508 s]
/proc/loadavg: 1.00 1.12 1.50 3/412 19213
/proc/meminfo: memFree=3715932/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=18852 CPUtime=0.1 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 2125 0 0 0 10 0 0 0 24 0 1 0 257625306 19304448 2063 33554432000 4194304 4394578 140733824309600 18446744073709551615 4316256 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 4713 2063 267 49 0 1854 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18852
[startup+0.200494 s]
/proc/loadavg: 1.00 1.12 1.50 3/412 19213
/proc/meminfo: memFree=3715932/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=20452 CPUtime=0.19 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 2544 0 0 0 19 0 0 0 24 0 1 0 257625306 20942848 2482 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298333 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 5113 2482 267 49 0 2254 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 20452
[startup+0.300476 s]
/proc/loadavg: 1.00 1.12 1.50 3/412 19213
/proc/meminfo: memFree=3715932/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=21244 CPUtime=0.29 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 2732 0 0 0 29 0 0 0 25 0 1 0 257625306 21753856 2670 33554432000 4194304 4394578 140733824309600 18446744073709551615 4287227 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 5311 2671 267 49 0 2452 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21244
[startup+0.700405 s]
/proc/loadavg: 1.00 1.12 1.50 3/412 19213
/proc/meminfo: memFree=3715932/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=23752 CPUtime=0.69 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 3357 0 0 0 69 0 0 0 25 0 1 0 257625306 24322048 3295 33554432000 4194304 4394578 140733824309600 18446744073709551615 218880225989 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 5938 3295 267 49 0 3079 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23752
[startup+1.50026 s]
/proc/loadavg: 1.00 1.12 1.50 3/416 19220
/proc/meminfo: memFree=3694084/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=28376 CPUtime=1.49 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 4510 0 0 0 149 0 0 0 25 0 1 0 257625306 29057024 4448 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298333 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 7094 4448 267 49 0 4235 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28376
[startup+3.10099 s]
/proc/loadavg: 1.00 1.12 1.50 3/416 19220
/proc/meminfo: memFree=3687388/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=34092 CPUtime=3.08 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 5906 0 0 0 308 0 0 0 25 0 1 0 257625306 34910208 5844 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298333 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 8523 5844 267 49 0 5664 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 34092
[startup+6.30042 s]
/proc/loadavg: 1.08 1.14 1.50 3/416 19220
/proc/meminfo: memFree=3676888/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=41988 CPUtime=6.29 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 7808 0 0 0 628 1 0 0 25 0 1 0 257625306 42995712 7746 33554432000 4194304 4394578 140733824309600 18446744073709551615 4285625 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 10497 7746 267 49 0 7638 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41988
[startup+12.7003 s]
/proc/loadavg: 1.15 1.15 1.51 3/416 19220
/proc/meminfo: memFree=3664600/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=52228 CPUtime=12.69 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 10174 0 0 0 1268 1 0 0 25 0 1 0 257625306 53481472 10112 33554432000 4194304 4394578 140733824309600 18446744073709551615 218880223543 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 13057 10112 267 49 0 10198 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52228
[startup+25.5011 s]
/proc/loadavg: 1.34 1.19 1.51 3/416 19247
/proc/meminfo: memFree=3649988/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=65100 CPUtime=25.49 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 13106 0 0 0 2547 2 0 0 25 0 1 0 257625306 66662400 13044 33554432000 4194304 4394578 140733824309600 18446744073709551615 218880589719 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 16275 13044 267 49 0 13416 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65100
[startup+51.1006 s]
/proc/loadavg: 1.56 1.25 1.53 3/416 19248
/proc/meminfo: memFree=3624084/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=87428 CPUtime=51.09 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 17989 0 0 0 5105 4 0 0 25 0 1 0 257625306 89526272 17927 33554432000 4194304 4394578 140733824309600 18446744073709551615 4327709 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 21857 17927 267 49 0 18998 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87428
[startup+102.301 s]
/proc/loadavg: 1.81 1.37 1.55 3/416 19250
/proc/meminfo: memFree=3595808/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=115352 CPUtime=102.3 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 24110 0 0 0 10225 5 0 0 25 0 1 0 257625306 118120448 24048 33554432000 4194304 4394578 140733824309600 18446744073709551615 4315276 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 28838 24048 267 49 0 25979 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 115352
[startup+162.301 s]
/proc/loadavg: 2.08 1.51 1.58 3/416 19251
/proc/meminfo: memFree=3568264/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=145844 CPUtime=162.29 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 30484 0 0 0 16223 6 0 0 25 0 1 0 257625306 149344256 30402 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298947 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 36461 30402 267 49 0 33602 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 145844
[startup+222.315 s]
/proc/loadavg: 2.09 1.61 1.61 3/416 19253
/proc/meminfo: memFree=3549148/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=166364 CPUtime=222.31 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 34939 0 0 0 22223 8 0 0 25 0 1 0 257625306 170356736 34857 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298358 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 41591 34857 267 49 0 38732 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 166364
[startup+282.301 s]
/proc/loadavg: 2.03 1.68 1.64 3/416 19254
/proc/meminfo: memFree=3537968/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=179752 CPUtime=282.29 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 37772 0 0 0 28221 8 0 0 25 0 1 0 257625306 184066048 37690 33554432000 4194304 4394578 140733824309600 18446744073709551615 4291300 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 44938 37690 267 49 0 42079 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 179752
[startup+342.3 s]
/proc/loadavg: 2.06 1.75 1.66 3/416 19256
/proc/meminfo: memFree=3529164/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=188832 CPUtime=342.29 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 39717 0 0 0 34220 9 0 0 25 0 1 0 257625306 193363968 39635 33554432000 4194304 4394578 140733824309600 18446744073709551615 4291300 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 47208 39635 267 49 0 44349 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 188832
[startup+402.301 s]
/proc/loadavg: 2.09 1.81 1.68 3/416 19312
/proc/meminfo: memFree=3532232/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=198596 CPUtime=402.3 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 41709 0 0 0 40220 10 0 0 25 0 1 0 257625306 203362304 41616 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298333 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 49649 41616 267 49 0 46790 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 198596
[startup+462.301 s]
/proc/loadavg: 2.14 1.87 1.71 3/416 19340
/proc/meminfo: memFree=3536444/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=207096 CPUtime=462.29 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 43456 0 0 0 46219 10 0 0 25 0 1 0 257625306 212066304 43363 33554432000 4194304 4394578 140733824309600 18446744073709551615 4327612 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 51774 43363 267 49 0 48915 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 207096
[startup+522.301 s]
/proc/loadavg: 2.05 1.89 1.73 3/416 19341
/proc/meminfo: memFree=3530488/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=213024 CPUtime=522.3 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 44688 0 0 0 52218 12 0 0 25 0 1 0 257625306 218136576 44595 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298673 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 53256 44595 267 49 0 50397 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 213024
[startup+582.3 s]
/proc/loadavg: 2.02 1.91 1.74 3/416 19397
/proc/meminfo: memFree=3519968/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=218660 CPUtime=582.3 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 45827 0 0 0 58218 12 0 0 25 0 1 0 257625306 223907840 45734 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298673 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 54665 45734 267 49 0 51806 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 218660
[startup+642.301 s]
################
# More data... #
################
[startup+4002.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/416 19555
/proc/meminfo: memFree=3392292/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=367864 CPUtime=4002.39 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 75800 0 0 0 400204 35 0 0 25 0 1 0 257625306 376692736 75578 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298837 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 91966 75578 267 49 0 89107 0
Current children cumulated CPU time (s) 4002.39
Current children cumulated vsize (KiB) 367864
[startup+4062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 19556
/proc/meminfo: memFree=3389780/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=370968 CPUtime=4062.4 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 76415 0 0 0 406204 36 0 0 25 0 1 0 257625306 379871232 76190 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298358 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 92742 76190 267 49 0 89883 0
Current children cumulated CPU time (s) 4062.4
Current children cumulated vsize (KiB) 370968
[startup+4122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 19557
/proc/meminfo: memFree=3388536/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=372568 CPUtime=4122.39 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 76690 0 0 0 412203 36 0 0 25 0 1 0 257625306 381509632 76465 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298923 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 93142 76465 267 49 0 90283 0
Current children cumulated CPU time (s) 4122.39
Current children cumulated vsize (KiB) 372568
[startup+4182.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 19559
/proc/meminfo: memFree=3387376/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=373916 CPUtime=4182.4 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 76965 0 0 0 418204 36 0 0 25 0 1 0 257625306 382889984 76740 33554432000 4194304 4394578 140733824309600 18446744073709551615 218880214220 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 93479 76740 267 49 0 90620 0
Current children cumulated CPU time (s) 4182.4
Current children cumulated vsize (KiB) 373916
[startup+4242.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/416 19561
/proc/meminfo: memFree=3386976/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=374492 CPUtime=4242.4 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 77081 0 0 0 424203 37 0 0 25 0 1 0 257625306 383479808 76856 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298673 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 93623 76856 267 49 0 90764 0
Current children cumulated CPU time (s) 4242.4
Current children cumulated vsize (KiB) 374492
[startup+4302.3 s]
/proc/loadavg: 2.18 2.07 2.02 4/421 19572
/proc/meminfo: memFree=3385520/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=375804 CPUtime=4302.39 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 77366 0 0 0 430202 37 0 0 25 0 1 0 257625306 384823296 77140 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298985 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 93951 77140 267 49 0 91092 0
Current children cumulated CPU time (s) 4302.39
Current children cumulated vsize (KiB) 375804
[startup+4362.3 s]
/proc/loadavg: 2.10 2.07 2.02 3/416 19573
/proc/meminfo: memFree=3385344/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=377084 CPUtime=4362.39 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 77623 0 0 0 436201 38 0 0 25 0 1 0 257625306 386134016 77397 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298698 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 94271 77397 267 49 0 91412 0
Current children cumulated CPU time (s) 4362.39
Current children cumulated vsize (KiB) 377084
[startup+4422.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/416 19574
/proc/meminfo: memFree=3384340/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=378268 CPUtime=4422.39 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 77887 0 0 0 442201 38 0 0 25 0 1 0 257625306 387346432 77615 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298673 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 94567 77615 267 49 0 91708 0
Current children cumulated CPU time (s) 4422.39
Current children cumulated vsize (KiB) 378268
[startup+4482.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/416 19576
/proc/meminfo: memFree=3383808/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=379040 CPUtime=4482.39 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 78062 0 0 0 448201 38 0 0 25 0 1 0 257625306 388136960 77790 33554432000 4194304 4394578 140733824309600 18446744073709551615 4287332 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 94760 77790 267 49 0 91901 0
Current children cumulated CPU time (s) 4482.39
Current children cumulated vsize (KiB) 379040
[startup+4542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/416 19578
/proc/meminfo: memFree=3382412/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=380580 CPUtime=4542.4 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 78404 0 0 0 454201 39 0 0 25 0 1 0 257625306 389713920 78132 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298673 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 95145 78132 267 49 0 92286 0
Current children cumulated CPU time (s) 4542.4
Current children cumulated vsize (KiB) 380580
[startup+4602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 19580
/proc/meminfo: memFree=3380656/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=381604 CPUtime=4602.4 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 78655 0 0 0 460201 39 0 0 25 0 1 0 257625306 390762496 78383 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298816 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 95401 78383 267 49 0 92542 0
Current children cumulated CPU time (s) 4602.4
Current children cumulated vsize (KiB) 381604
[startup+4662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 19581
/proc/meminfo: memFree=3380888/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=382376 CPUtime=4662.4 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 78834 0 0 0 466201 39 0 0 25 0 1 0 257625306 391553024 78562 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298364 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 95594 78562 267 49 0 92735 0
Current children cumulated CPU time (s) 4662.4
Current children cumulated vsize (KiB) 382376
[startup+4722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 19583
/proc/meminfo: memFree=3380508/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=382888 CPUtime=4722.41 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 78929 0 0 0 472202 39 0 0 25 0 1 0 257625306 392077312 78657 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298373 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 95722 78657 267 49 0 92863 0
Current children cumulated CPU time (s) 4722.41
Current children cumulated vsize (KiB) 382888
[startup+4782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 19584
/proc/meminfo: memFree=3379988/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=383724 CPUtime=4782.41 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 79104 0 0 0 478201 40 0 0 25 0 1 0 257625306 392933376 78809 33554432000 4194304 4394578 140733824309600 18446744073709551615 4299019 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 95931 78809 267 49 0 93072 0
Current children cumulated CPU time (s) 4782.41
Current children cumulated vsize (KiB) 383724
[startup+4842.32 s]
/proc/loadavg: 2.16 2.06 2.02 3/416 19586
/proc/meminfo: memFree=3379080/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=384588 CPUtime=4842.42 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 79275 0 0 0 484202 40 0 0 25 0 1 0 257625306 393818112 78980 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298340 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 96147 78980 267 49 0 93288 0
Current children cumulated CPU time (s) 4842.42
Current children cumulated vsize (KiB) 384588
[startup+4902.3 s]
/proc/loadavg: 2.14 2.07 2.02 3/416 19588
/proc/meminfo: memFree=3378304/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=385932 CPUtime=4902.4 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 79516 0 0 0 490199 41 0 0 25 0 1 0 257625306 395194368 79221 33554432000 4194304 4394578 140733824309600 18446744073709551615 4327696 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 96483 79221 267 49 0 93624 0
Current children cumulated CPU time (s) 4902.4
Current children cumulated vsize (KiB) 385932
[startup+4962.3 s]
/proc/loadavg: 2.05 2.06 2.02 3/416 19589
/proc/meminfo: memFree=3377652/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=386316 CPUtime=4962.41 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 79643 0 0 0 496200 41 0 0 25 0 1 0 257625306 395587584 79348 33554432000 4194304 4394578 140733824309600 18446744073709551615 4316124 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 96579 79348 267 49 0 93720 0
Current children cumulated CPU time (s) 4962.41
Current children cumulated vsize (KiB) 386316
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.02 2.05 2.01 3/416 19590
/proc/meminfo: memFree=3376780/32950928 swapFree=52006644/67111528
[pid=19213] ppid=19211 vsize=387120 CPUtime=5000.02 cores=0,2,4,6
/proc/19213/stat : 19213 (SApperloT2010) R 19211 19213 16236 0 -1 4202496 79806 0 0 0 499960 42 0 0 25 0 1 0 257625306 396410880 79511 33554432000 4194304 4394578 140733824309600 18446744073709551615 4298333 0 0 4096 6 0 0 0 17 4 0 0 0
/proc/19213/statm: 96780 79511 267 49 0 93921 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 387120
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): 4999.93
CPU time (s): 5000.05
CPU user time (s): 4999.61
CPU system time (s): 0.437933
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 387120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.61
system time used= 0.437933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79806
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= 11
involuntary context switches= 12362
runsolver used 21.6477 second user time and 45.3431 second system time
The end