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-3741442-1338778693/watcher-3741442-1338778693 -o /tmp/evaluation-result-3741442-1338778693/solver-3741442-1338778693 -C 1800 -W 1900 -M 15500 pbclasp instance-3741442-1338778693.opb HOME/temp
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: 1.48 1.34 1.36 3/178 12801
/proc/meminfo: memFree=25969864/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25724 CPUtime=0 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) R 12799 12801 14893 0 -1 4202496 579 0 0 0 0 0 0 0 20 0 1 0 343997868 26341376 509 33554432000 4194304 4198148 140736047093888 140737033676472 218226490633 0 0 4224 16384 0 0 0 17 1 0 0 0 0 0
/proc/12801/statm: 6431 509 361 1 0 226 0
[startup+0.0807321 s]
/proc/loadavg: 1.48 1.34 1.36 3/178 12801
/proc/meminfo: memFree=25969864/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25724 CPUtime=0 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 626 0 0 0 0 0 0 0 20 0 1 0 343997868 26341376 539 33554432000 4194304 4198148 140736047093888 140736047092776 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12801/statm: 6431 539 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.100269 s]
/proc/loadavg: 1.48 1.34 1.36 3/178 12801
/proc/meminfo: memFree=25969864/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25724 CPUtime=0 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 626 0 0 0 0 0 0 0 20 0 1 0 343997868 26341376 539 33554432000 4194304 4198148 140736047093888 140736047092776 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12801/statm: 6431 539 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.300221 s]
/proc/loadavg: 1.48 1.34 1.36 3/178 12801
/proc/meminfo: memFree=25969864/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25724 CPUtime=0 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 626 0 0 0 0 0 0 0 20 0 1 0 343997868 26341376 539 33554432000 4194304 4198148 140736047093888 140736047092776 218217112816 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12801/statm: 6431 539 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.700244 s]
/proc/loadavg: 1.48 1.34 1.36 3/178 12801
/proc/meminfo: memFree=25969864/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=0.53 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 739 2091 0 0 0 0 53 0 20 0 1 0 343997868 26476544 573 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12801/statm: 6464 573 387 1 0 259 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 25856
[startup+1.50022 s]
/proc/loadavg: 1.48 1.34 1.36 4/181 12835
/proc/meminfo: memFree=25963632/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=0.98 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1276 15719 0 0 1 0 93 4 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 25856
[startup+3.1003 s]
/proc/loadavg: 1.48 1.34 1.36 3/181 12843
/proc/meminfo: memFree=25960084/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=0.98 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1276 15719 0 0 1 0 93 4 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12841] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12841/stat : 12841 (sh) S 12801 12801 14893 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 343997973 9367552 264 33554432000 4194304 5064252 140734730783376 140734730781632 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12841/statm: 2287 264 223 213 0 72 0
[pid=12843] ppid=12841 vsize=10324 CPUtime=2.04 cores=1,3,5,7
/proc/12843/stat : 12843 (clasp-1.0) R 12841 12801 14893 0 -1 4202496 2170 0 0 0 204 0 0 0 20 0 1 0 343997973 10571776 2068 33554432000 134512640 134847168 4294381120 4294379796 134784500 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12843/statm: 2581 2068 272 82 0 1822 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 45328
[startup+6.30031 s]
/proc/loadavg: 1.52 1.35 1.37 3/181 12843
/proc/meminfo: memFree=25958604/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=0.98 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1276 15719 0 0 1 0 93 4 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12841] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12841/stat : 12841 (sh) S 12801 12801 14893 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 343997973 9367552 264 33554432000 4194304 5064252 140734730783376 140734730781632 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12841/statm: 2287 264 223 213 0 72 0
[pid=12843] ppid=12841 vsize=12188 CPUtime=5.24 cores=1,3,5,7
/proc/12843/stat : 12843 (clasp-1.0) R 12841 12801 14893 0 -1 4202496 2633 0 0 0 524 0 0 0 20 0 1 0 343997973 12480512 2531 33554432000 134512640 134847168 4294381120 4294379804 134715903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12843/statm: 3047 2531 272 82 0 2288 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 47192
[startup+12.7003 s]
/proc/loadavg: 1.56 1.36 1.37 4/181 12843
/proc/meminfo: memFree=25955248/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=0.98 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1276 15719 0 0 1 0 93 4 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12841] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12841/stat : 12841 (sh) S 12801 12801 14893 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 343997973 9367552 264 33554432000 4194304 5064252 140734730783376 140734730781632 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12841/statm: 2287 264 223 213 0 72 0
[pid=12843] ppid=12841 vsize=13664 CPUtime=11.64 cores=1,3,5,7
/proc/12843/stat : 12843 (clasp-1.0) R 12841 12801 14893 0 -1 4202496 2983 0 0 0 1164 0 0 0 20 0 1 0 343997973 13991936 2881 33554432000 134512640 134847168 4294381120 4294379748 134616350 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12843/statm: 3416 2881 272 82 0 2657 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 48668
[startup+25.5003 s]
/proc/loadavg: 1.66 1.39 1.38 3/181 12843
/proc/meminfo: memFree=25948984/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=0.98 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1276 15719 0 0 1 0 93 4 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12841] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12841/stat : 12841 (sh) S 12801 12801 14893 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 343997973 9367552 264 33554432000 4194304 5064252 140734730783376 140734730781632 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12841/statm: 2287 264 223 213 0 72 0
[pid=12843] ppid=12841 vsize=16072 CPUtime=24.43 cores=1,3,5,7
/proc/12843/stat : 12843 (clasp-1.0) R 12841 12801 14893 0 -1 4202496 3573 0 0 0 2443 0 0 0 20 0 1 0 343997973 16457728 3462 33554432000 134512640 134847168 4294381120 4294379804 134789696 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12843/statm: 4018 3462 272 82 0 3259 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 51076
[startup+51.1003 s]
/proc/loadavg: 1.77 1.44 1.39 3/181 12843
/proc/meminfo: memFree=25931240/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=0.98 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1276 15719 0 0 1 0 93 4 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12841] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12841/stat : 12841 (sh) S 12801 12801 14893 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 343997973 9367552 264 33554432000 4194304 5064252 140734730783376 140734730781632 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12841/statm: 2287 264 223 213 0 72 0
[pid=12843] ppid=12841 vsize=17884 CPUtime=50.03 cores=1,3,5,7
/proc/12843/stat : 12843 (clasp-1.0) R 12841 12801 14893 0 -1 4202496 4043 0 0 0 5003 0 0 0 20 0 1 0 343997973 18313216 3916 33554432000 134512640 134847168 4294381120 4294379796 134784581 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12843/statm: 4471 3916 272 82 0 3712 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 52888
[startup+102.307 s]
/proc/loadavg: 1.90 1.52 1.42 3/181 12843
/proc/meminfo: memFree=25871524/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=0.98 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1276 15719 0 0 1 0 93 4 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12841] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12841/stat : 12841 (sh) S 12801 12801 14893 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 343997973 9367552 264 33554432000 4194304 5064252 140734730783376 140734730781632 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12841/statm: 2287 264 223 213 0 72 0
[pid=12843] ppid=12841 vsize=21284 CPUtime=101.22 cores=1,3,5,7
/proc/12843/stat : 12843 (clasp-1.0) R 12841 12801 14893 0 -1 4202496 4923 0 0 0 10122 0 0 0 20 0 1 0 343997973 21794816 4796 33554432000 134512640 134847168 4294381120 4294379888 134617498 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12843/statm: 5321 4796 272 82 0 4562 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 56288
[startup+162.3 s]
/proc/loadavg: 1.96 1.61 1.46 3/182 12846
/proc/meminfo: memFree=25849936/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=0.98 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1276 15719 0 0 1 0 93 4 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12841] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12841/stat : 12841 (sh) S 12801 12801 14893 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 343997973 9367552 264 33554432000 4194304 5064252 140734730783376 140734730781632 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12841/statm: 2287 264 223 213 0 72 0
[pid=12843] ppid=12841 vsize=23408 CPUtime=161.2 cores=1,3,5,7
/proc/12843/stat : 12843 (clasp-1.0) R 12841 12801 14893 0 -1 4202496 5440 0 0 0 16120 0 0 0 20 0 1 0 343997973 23969792 5334 33554432000 134512640 134847168 4294381120 4294379804 134789696 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12843/statm: 5852 5334 272 82 0 5093 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 58412
[startup+222.3 s]
/proc/loadavg: 1.98 1.68 1.49 3/182 12885
/proc/meminfo: memFree=25824176/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=198.55 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1552 26740 0 0 1 0 19847 7 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12883] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12883/stat : 12883 (sh) S 12801 12801 14893 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 344017735 9367552 263 33554432000 4194304 5064252 140733886176720 140733886174976 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12883/statm: 2287 263 223 213 0 72 0
[pid=12885] ppid=12883 vsize=15180 CPUtime=23.61 cores=1,3,5,7
/proc/12885/stat : 12885 (clasp-1.0) R 12883 12801 14893 0 -1 4202496 3359 0 0 0 2361 0 0 0 20 0 1 0 344017735 15544320 3257 33554432000 134512640 134847168 4291315392 4291314032 134782472 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12885/statm: 3795 3257 272 82 0 3036 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 50184
[startup+282.3 s]
/proc/loadavg: 1.99 1.73 1.52 3/181 12886
/proc/meminfo: memFree=25800560/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=198.55 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1552 26740 0 0 1 0 19847 7 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12883] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/12901/stat : 12901 (sh) S 12801 12801 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 344045007 9367552 263 33554432000 4194304 5064252 140737275728736 140737275726992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12901/statm: 2287 263 223 213 0 72 0
[pid=12905] ppid=12901 vsize=40456 CPUtime=950.75 cores=1,3,5,7
/proc/12905/stat : 12905 (clasp-1.0) R 12901 12801 14893 0 -1 4202496 10294 0 0 0 95071 4 0 0 20 0 1 0 344045007 41426944 9546 33554432000 134512640 134847168 4291953312 4291952016 134616720 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12905/statm: 10114 9546 272 82 0 9355 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 75460
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/180 13037
/proc/meminfo: memFree=25858572/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=471.22 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1657 35420 0 0 1 0 47111 10 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12901] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12901/stat : 12901 (sh) S 12801 12801 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 344045007 9367552 263 33554432000 4194304 5064252 140737275728736 140737275726992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12901/statm: 2287 263 223 213 0 72 0
[pid=12905] ppid=12901 vsize=40972 CPUtime=1010.73 cores=1,3,5,7
/proc/12905/stat : 12905 (clasp-1.0) R 12901 12801 14893 0 -1 4202496 10417 0 0 0 101069 4 0 0 20 0 1 0 344045007 41955328 9628 33554432000 134512640 134847168 4291953312 4291951992 134789717 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12905/statm: 10243 9628 272 82 0 9484 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 75976
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/181 13038
/proc/meminfo: memFree=25857820/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=471.22 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1657 35420 0 0 1 0 47111 10 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12901] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12901/stat : 12901 (sh) S 12801 12801 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 344045007 9367552 263 33554432000 4194304 5064252 140737275728736 140737275726992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12901/statm: 2287 263 223 213 0 72 0
[pid=12905] ppid=12901 vsize=41032 CPUtime=1070.72 cores=1,3,5,7
/proc/12905/stat : 12905 (clasp-1.0) R 12901 12801 14893 0 -1 4202496 10532 0 0 0 107068 4 0 0 20 0 1 0 344045007 42016768 9669 33554432000 134512640 134847168 4291953312 4291951936 134784634 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12905/statm: 10258 9669 272 82 0 9499 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 76036
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/181 13038
/proc/meminfo: memFree=25854844/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=471.22 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1657 35420 0 0 1 0 47111 10 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12901] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12901/stat : 12901 (sh) S 12801 12801 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 344045007 9367552 263 33554432000 4194304 5064252 140737275728736 140737275726992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12901/statm: 2287 263 223 213 0 72 0
[pid=12905] ppid=12901 vsize=41188 CPUtime=1130.72 cores=1,3,5,7
/proc/12905/stat : 12905 (clasp-1.0) R 12901 12801 14893 0 -1 4202496 10681 0 0 0 113067 5 0 0 20 0 1 0 344045007 42176512 9701 33554432000 134512640 134847168 4291953312 4291951940 134616350 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12905/statm: 10297 9701 272 82 0 9538 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 76192
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/181 13038
/proc/meminfo: memFree=25853664/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=471.22 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1657 35420 0 0 1 0 47111 10 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12901] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12901/stat : 12901 (sh) S 12801 12801 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 344045007 9367552 263 33554432000 4194304 5064252 140737275728736 140737275726992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12901/statm: 2287 263 223 213 0 72 0
[pid=12905] ppid=12901 vsize=41380 CPUtime=1190.71 cores=1,3,5,7
/proc/12905/stat : 12905 (clasp-1.0) R 12901 12801 14893 0 -1 4202496 10724 0 0 0 119066 5 0 0 20 0 1 0 344045007 42373120 9722 33554432000 134512640 134847168 4291953312 4291952048 134741082 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12905/statm: 10345 9722 272 82 0 9586 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 76384
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/181 13038
/proc/meminfo: memFree=25849384/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=471.22 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1657 35420 0 0 1 0 47111 10 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12901] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12901/stat : 12901 (sh) S 12801 12801 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 344045007 9367552 263 33554432000 4194304 5064252 140737275728736 140737275726992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12901/statm: 2287 263 223 213 0 72 0
[pid=12905] ppid=12901 vsize=44272 CPUtime=1250.69 cores=1,3,5,7
/proc/12905/stat : 12905 (clasp-1.0) R 12901 12801 14893 0 -1 4202496 11467 0 0 0 125064 5 0 0 20 0 1 0 344045007 45334528 10464 33554432000 134512640 134847168 4291953312 4291952016 134616608 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12905/statm: 11068 10464 272 82 0 10309 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 79276
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/181 13038
/proc/meminfo: memFree=25846960/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=471.22 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1657 35420 0 0 1 0 47111 10 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12901] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12901/stat : 12901 (sh) S 12801 12801 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 344045007 9367552 263 33554432000 4194304 5064252 140737275728736 140737275726992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12901/statm: 2287 263 223 213 0 72 0
[pid=12905] ppid=12901 vsize=44832 CPUtime=1310.68 cores=1,3,5,7
/proc/12905/stat : 12905 (clasp-1.0) R 12901 12801 14893 0 -1 4202496 11631 0 0 0 131063 5 0 0 20 0 1 0 344045007 45907968 10629 33554432000 134512640 134847168 4291953312 4291952004 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12905/statm: 11208 10629 272 82 0 10449 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 79836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 1.99 1.87 3/181 13039
/proc/meminfo: memFree=25846092/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=471.22 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1657 35420 0 0 1 0 47111 10 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=12901] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12901/stat : 12901 (sh) S 12801 12801 14893 0 -1 4202496 369 219 0 0 0 0 0 0 20 0 1 0 344045007 9367552 263 33554432000 4194304 5064252 140737275728736 140737275726992 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12901/statm: 2287 263 223 213 0 72 0
[pid=12905] ppid=12901 vsize=45312 CPUtime=1328.79 cores=1,3,5,7
/proc/12905/stat : 12905 (clasp-1.0) R 12901 12801 14893 0 -1 4202496 11764 0 0 0 132874 5 0 0 20 0 1 0 344045007 46399488 10726 33554432000 134512640 134847168 4291953312 4291951936 134784714 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12905/statm: 11328 10726 272 82 0 10569 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 80316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12801
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 1.99 1.87 3/182 13058
/proc/meminfo: memFree=25985540/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=1800.04 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1825 49960 0 0 1 0 179985 18 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=13049] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13049/stat : 13049 (sh) S 12801 12801 14893 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 344177911 9367552 263 33554432000 4194304 5064252 140736921461056 140736921459312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13049/statm: 2287 263 223 213 0 72 0
[pid=13052] ppid=13049 vsize=9496 CPUtime=0.95 cores=1,3,5,7
/proc/13052/stat : 13052 (clasp-1.0) R 13049 12801 14893 0 -1 4202496 1951 0 0 0 95 0 0 0 20 0 1 0 344177911 9723904 1849 33554432000 134512640 134847168 4294169376 4294168060 134715846 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13052/statm: 2374 1849 272 82 0 1615 0
Current children cumulated CPU time (s) 1800.99
Current children cumulated vsize (KiB) 44500
[startup+1802.2 s]
/proc/loadavg: 2.00 1.99 1.87 3/182 13058
/proc/meminfo: memFree=25980612/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=1800.04 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1825 49960 0 0 1 0 179985 18 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=13049] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13049/stat : 13049 (sh) S 12801 12801 14893 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 344177911 9367552 263 33554432000 4194304 5064252 140736921461056 140736921459312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13049/statm: 2287 263 223 213 0 72 0
[pid=13052] ppid=13049 vsize=9884 CPUtime=1.75 cores=1,3,5,7
/proc/13052/stat : 13052 (clasp-1.0) R 13049 12801 14893 0 -1 4202496 2048 0 0 0 175 0 0 0 20 0 1 0 344177911 10121216 1946 33554432000 134512640 134847168 4294169376 4294168068 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13052/statm: 2471 1946 272 82 0 1712 0
Current children cumulated CPU time (s) 1801.79
Current children cumulated vsize (KiB) 44888
[startup+1802.4 s]
/proc/loadavg: 2.00 1.99 1.87 3/182 13058
/proc/meminfo: memFree=25980612/32873844 swapFree=7628/7628
[pid=12801] ppid=12799 vsize=25856 CPUtime=1800.04 cores=1,3,5,7
/proc/12801/stat : 12801 (pbclasp) S 12799 12801 14893 0 -1 4202496 1825 49960 0 0 1 0 179985 18 20 0 1 0 343997868 26476544 578 33554432000 4194304 4198148 140736047093888 140736047092816 218217115678 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12801/statm: 6464 578 387 1 0 259 0
[pid=13049] ppid=12801 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13049/stat : 13049 (sh) S 12801 12801 14893 0 -1 4202496 371 220 0 0 0 0 0 0 20 0 1 0 344177911 9367552 263 33554432000 4194304 5064252 140736921461056 140736921459312 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13049/statm: 2287 263 223 213 0 72 0
[pid=13052] ppid=13049 vsize=9884 CPUtime=1.95 cores=1,3,5,7
/proc/13052/stat : 13052 (clasp-1.0) R 13049 12801 14893 0 -1 4202496 2048 0 0 0 195 0 0 0 20 0 1 0 344177911 10121216 1946 33554432000 134512640 134847168 4294169376 4294168068 134616619 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13052/statm: 2471 1946 272 82 0 1712 0
Current children cumulated CPU time (s) 1801.99
Current children cumulated vsize (KiB) 44888
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.05
CPU user time (s): 1801.85
CPU system time (s): 0.19697
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 80316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.85
system time used= 0.19697
maximum resident set size= 42904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54582
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1301
involuntary context switches= 2089
runsolver used 3.18751 second user time and 8.24675 second system time
The end