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-3731404-1338694519/watcher-3731404-1338694519 -o /tmp/evaluation-result-3731404-1338694519/solver-3731404-1338694519 -C 1800 -W 1900 -M 15500 pbclasp instance-3731404-1338694519.opb HOME/temp
running on 4 cores: 0,2,4,6
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.02 2.01 1.89 3/176 30044
/proc/meminfo: memFree=29033856/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25460 CPUtime=0 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) R 30042 30044 22814 0 -1 4202496 452 0 0 0 0 0 0 0 20 0 1 0 335580351 26071040 382 33554432000 4194304 4198148 140734025302096 140734025299544 226354424306 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/30044/statm: 6365 384 291 1 0 160 0
[startup+0.030966 s]
/proc/loadavg: 2.02 2.01 1.89 3/176 30044
/proc/meminfo: memFree=29033856/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=0 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 335580351 26341376 521 33554432000 4194304 4198148 140734025302096 140734025300984 226333091056 0 0 4224 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30044/statm: 6431 521 368 1 0 226 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 25724
[startup+0.100156 s]
/proc/loadavg: 2.02 2.01 1.89 3/176 30044
/proc/meminfo: memFree=29033856/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=0.06 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 959 7040 0 0 0 0 5 1 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25724
[startup+0.300118 s]
/proc/loadavg: 2.02 2.01 1.89 3/176 30044
/proc/meminfo: memFree=29033856/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=0.19 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1218 12124 0 0 0 0 17 2 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25724
[startup+0.70011 s]
/proc/loadavg: 2.02 2.01 1.89 3/176 30044
/proc/meminfo: memFree=29033856/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=0.19 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1218 12124 0 0 0 0 17 2 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25724
[startup+1.50025 s]
/proc/loadavg: 2.02 2.01 1.89 3/179 30086
/proc/meminfo: memFree=29030816/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=0.19 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1218 12124 0 0 0 0 17 2 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30084] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30084/stat : 30084 (sh) S 30044 30044 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335580374 9367552 264 33554432000 4194304 5064252 140736802712944 140736802711200 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30084/statm: 2287 264 223 213 0 72 0
[pid=30086] ppid=30084 vsize=4976 CPUtime=1.26 cores=0,2,4,6
/proc/30086/stat : 30086 (clasp-1.0) R 30084 30044 22814 0 -1 4202496 835 0 0 0 126 0 0 0 20 0 1 0 335580374 5095424 733 33554432000 134512640 134847168 4294092544 4294091184 134715276 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30086/statm: 1244 733 270 82 0 485 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 39848
[startup+3.10024 s]
/proc/loadavg: 2.02 2.01 1.89 3/179 30086
/proc/meminfo: memFree=29030212/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=0.19 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1218 12124 0 0 0 0 17 2 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30084] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30084/stat : 30084 (sh) S 30044 30044 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335580374 9367552 264 33554432000 4194304 5064252 140736802712944 140736802711200 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30084/statm: 2287 264 223 213 0 72 0
[pid=30086] ppid=30084 vsize=5364 CPUtime=2.86 cores=0,2,4,6
/proc/30086/stat : 30086 (clasp-1.0) R 30084 30044 22814 0 -1 4202496 911 0 0 0 286 0 0 0 20 0 1 0 335580374 5492736 809 33554432000 134512640 134847168 4294092544 4294090996 134790216 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30086/statm: 1341 809 270 82 0 582 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 40236
[startup+6.30025 s]
/proc/loadavg: 2.10 2.02 1.89 3/179 30086
/proc/meminfo: memFree=29029484/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=0.19 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1218 12124 0 0 0 0 17 2 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30084] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30084/stat : 30084 (sh) S 30044 30044 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335580374 9367552 264 33554432000 4194304 5064252 140736802712944 140736802711200 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30084/statm: 2287 264 223 213 0 72 0
[pid=30086] ppid=30084 vsize=5676 CPUtime=6.06 cores=0,2,4,6
/proc/30086/stat : 30086 (clasp-1.0) R 30084 30044 22814 0 -1 4202496 1023 0 0 0 606 0 0 0 20 0 1 0 335580374 5812224 918 33554432000 134512640 134847168 4294092544 4294091228 134789696 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30086/statm: 1419 918 270 82 0 660 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 40548
[startup+12.7002 s]
/proc/loadavg: 2.09 2.02 1.89 3/179 30086
/proc/meminfo: memFree=29028500/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=0.19 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1218 12124 0 0 0 0 17 2 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30084] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30084/stat : 30084 (sh) S 30044 30044 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335580374 9367552 264 33554432000 4194304 5064252 140736802712944 140736802711200 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30084/statm: 2287 264 223 213 0 72 0
[pid=30086] ppid=30084 vsize=6164 CPUtime=12.46 cores=0,2,4,6
/proc/30086/stat : 30086 (clasp-1.0) R 30084 30044 22814 0 -1 4202496 1114 0 0 0 1246 0 0 0 20 0 1 0 335580374 6311936 1009 33554432000 134512640 134847168 4294092544 4294091168 134784711 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30086/statm: 1541 1009 270 82 0 782 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 41036
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 1.89 3/179 30086
/proc/meminfo: memFree=29027896/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=0.19 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1218 12124 0 0 0 0 17 2 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30084] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30084/stat : 30084 (sh) S 30044 30044 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335580374 9367552 264 33554432000 4194304 5064252 140736802712944 140736802711200 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30084/statm: 2287 264 223 213 0 72 0
[pid=30086] ppid=30084 vsize=6596 CPUtime=25.25 cores=0,2,4,6
/proc/30086/stat : 30086 (clasp-1.0) R 30084 30044 22814 0 -1 4202496 1235 0 0 0 2525 0 0 0 20 0 1 0 335580374 6754304 1130 33554432000 134512640 134847168 4294092544 4294091184 134715306 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30086/statm: 1649 1130 270 82 0 890 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 41468
[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 1.90 3/179 30086
/proc/meminfo: memFree=29026404/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=0.19 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1218 12124 0 0 0 0 17 2 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30084] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30084/stat : 30084 (sh) S 30044 30044 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335580374 9367552 264 33554432000 4194304 5064252 140736802712944 140736802711200 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30084/statm: 2287 264 223 213 0 72 0
[pid=30086] ppid=30084 vsize=7120 CPUtime=50.85 cores=0,2,4,6
/proc/30086/stat : 30086 (clasp-1.0) R 30084 30044 22814 0 -1 4202496 1366 0 0 0 5085 0 0 0 20 0 1 0 335580374 7290880 1260 33554432000 134512640 134847168 4294092544 4294091228 134789696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30086/statm: 1780 1260 270 82 0 1021 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 41992
[startup+102.306 s]
/proc/loadavg: 2.02 2.02 1.90 3/179 30086
/proc/meminfo: memFree=29024544/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=0.19 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1218 12124 0 0 0 0 17 2 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30084] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30084/stat : 30084 (sh) S 30044 30044 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335580374 9367552 264 33554432000 4194304 5064252 140736802712944 140736802711200 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30084/statm: 2287 264 223 213 0 72 0
[pid=30086] ppid=30084 vsize=7760 CPUtime=102.04 cores=0,2,4,6
/proc/30086/stat : 30086 (clasp-1.0) R 30084 30044 22814 0 -1 4202496 1550 0 0 0 10204 0 0 0 20 0 1 0 335580374 7946240 1422 33554432000 134512640 134847168 4294092544 4294091184 134715380 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30086/statm: 1940 1422 270 82 0 1181 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 42632
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/179 30086
/proc/meminfo: memFree=29023428/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=0.19 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1218 12124 0 0 0 0 17 2 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30084] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30084/stat : 30084 (sh) S 30044 30044 22814 0 -1 4202496 371 219 0 0 0 0 0 0 20 0 1 0 335580374 9367552 264 33554432000 4194304 5064252 140736802712944 140736802711200 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30084/statm: 2287 264 223 213 0 72 0
[pid=30086] ppid=30084 vsize=8384 CPUtime=162.03 cores=0,2,4,6
/proc/30086/stat : 30086 (clasp-1.0) R 30084 30044 22814 0 -1 4202496 1734 0 0 0 16203 0 0 0 20 0 1 0 335580374 8585216 1595 33554432000 134512640 134847168 4294092544 4294091168 134784711 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30086/statm: 2096 1595 270 82 0 1337 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 43256
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30094
/proc/meminfo: memFree=29024924/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=194.06 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1341 15878 0 0 1 0 19401 4 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30092] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30092/stat : 30092 (sh) S 30044 30044 22814 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 335599764 9367552 264 33554432000 4194304 5064252 140735969171600 140735969169856 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30092/statm: 2287 264 223 213 0 72 0
[pid=30094] ppid=30092 vsize=6712 CPUtime=28.16 cores=0,2,4,6
/proc/30094/stat : 30094 (clasp-1.0) R 30092 30044 22814 0 -1 4202496 1273 0 0 0 2816 0 0 0 20 0 1 0 335599764 6873088 1170 33554432000 134512640 134847168 4289742688 4289741368 134789714 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30094/statm: 1678 1170 272 82 0 919 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 41584
[startup+282.3 s]
################
# More data... #
################
/proc/30120/stat : 30120 (sh) S 30044 30044 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335693656 9367552 264 33554432000 4194304 5064252 140734508021824 140734508020080 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30120/statm: 2287 264 223 213 0 72 0
[pid=30122] ppid=30120 vsize=9484 CPUtime=289.19 cores=0,2,4,6
/proc/30122/stat : 30122 (clasp-1.0) R 30120 30044 22814 0 -1 4202496 1964 0 0 0 28919 0 0 0 20 0 1 0 335693656 9711616 1838 33554432000 134512640 134847168 4291048608 4291047184 134742242 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30122/statm: 2371 1838 270 82 0 1612 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 44356
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/178 30196
/proc/meminfo: memFree=29020972/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=1132.82 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1443 20349 0 0 1 0 113276 5 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30120] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30120/stat : 30120 (sh) S 30044 30044 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335693656 9367552 264 33554432000 4194304 5064252 140734508021824 140734508020080 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30120/statm: 2287 264 223 213 0 72 0
[pid=30122] ppid=30120 vsize=9628 CPUtime=349.18 cores=0,2,4,6
/proc/30122/stat : 30122 (clasp-1.0) R 30120 30044 22814 0 -1 4202496 2032 0 0 0 34918 0 0 0 20 0 1 0 335693656 9859072 1906 33554432000 134512640 134847168 4291048608 4291047292 134789696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30122/statm: 2407 1906 270 82 0 1648 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 44500
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/180 30222
/proc/meminfo: memFree=29020752/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=1132.82 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1443 20349 0 0 1 0 113276 5 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30120] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30120/stat : 30120 (sh) S 30044 30044 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335693656 9367552 264 33554432000 4194304 5064252 140734508021824 140734508020080 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30120/statm: 2287 264 223 213 0 72 0
[pid=30122] ppid=30120 vsize=9716 CPUtime=409.17 cores=0,2,4,6
/proc/30122/stat : 30122 (clasp-1.0) R 30120 30044 22814 0 -1 4202496 2060 0 0 0 40917 0 0 0 20 0 1 0 335693656 9949184 1929 33554432000 134512640 134847168 4291048608 4291047328 134741339 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30122/statm: 2429 1929 270 82 0 1670 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 44588
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30222
/proc/meminfo: memFree=29019584/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=1132.82 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1443 20349 0 0 1 0 113276 5 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30120] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30120/stat : 30120 (sh) S 30044 30044 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335693656 9367552 264 33554432000 4194304 5064252 140734508021824 140734508020080 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30120/statm: 2287 264 223 213 0 72 0
[pid=30122] ppid=30120 vsize=10240 CPUtime=469.17 cores=0,2,4,6
/proc/30122/stat : 30122 (clasp-1.0) R 30120 30044 22814 0 -1 4202496 2216 0 0 0 46916 1 0 0 20 0 1 0 335693656 10485760 2053 33554432000 134512640 134847168 4291048608 4291047292 134789696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30122/statm: 2560 2053 270 82 0 1801 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 45112
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30222
/proc/meminfo: memFree=29019468/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=1132.82 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1443 20349 0 0 1 0 113276 5 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30120] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30120/stat : 30120 (sh) S 30044 30044 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335693656 9367552 264 33554432000 4194304 5064252 140734508021824 140734508020080 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30120/statm: 2287 264 223 213 0 72 0
[pid=30122] ppid=30120 vsize=10272 CPUtime=529.16 cores=0,2,4,6
/proc/30122/stat : 30122 (clasp-1.0) R 30120 30044 22814 0 -1 4202496 2244 0 0 0 52915 1 0 0 20 0 1 0 335693656 10518528 2066 33554432000 134512640 134847168 4291048608 4291047376 134617515 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30122/statm: 2568 2066 270 82 0 1809 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 45144
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30222
/proc/meminfo: memFree=29019592/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=1132.82 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1443 20349 0 0 1 0 113276 5 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30120] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30120/stat : 30120 (sh) S 30044 30044 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335693656 9367552 264 33554432000 4194304 5064252 140734508021824 140734508020080 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30120/statm: 2287 264 223 213 0 72 0
[pid=30122] ppid=30120 vsize=10272 CPUtime=589.15 cores=0,2,4,6
/proc/30122/stat : 30122 (clasp-1.0) R 30120 30044 22814 0 -1 4202496 2244 0 0 0 58914 1 0 0 20 0 1 0 335693656 10518528 2066 33554432000 134512640 134847168 4291048608 4291047232 134784803 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30122/statm: 2568 2066 270 82 0 1809 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 45144
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30222
/proc/meminfo: memFree=29019220/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=1132.82 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1443 20349 0 0 1 0 113276 5 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30120] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30120/stat : 30120 (sh) S 30044 30044 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335693656 9367552 264 33554432000 4194304 5064252 140734508021824 140734508020080 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30120/statm: 2287 264 223 213 0 72 0
[pid=30122] ppid=30120 vsize=10292 CPUtime=649.14 cores=0,2,4,6
/proc/30122/stat : 30122 (clasp-1.0) R 30120 30044 22814 0 -1 4202496 2249 0 0 0 64913 1 0 0 20 0 1 0 335693656 10539008 2071 33554432000 134512640 134847168 4291048608 4291047324 134715744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30122/statm: 2573 2071 270 82 0 1814 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 45164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 30223
/proc/meminfo: memFree=29018724/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=1132.82 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1443 20349 0 0 1 0 113276 5 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30120] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30120/stat : 30120 (sh) S 30044 30044 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 335693656 9367552 264 33554432000 4194304 5064252 140734508021824 140734508020080 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30120/statm: 2287 264 223 213 0 72 0
[pid=30122] ppid=30120 vsize=10292 CPUtime=667.24 cores=0,2,4,6
/proc/30122/stat : 30122 (clasp-1.0) R 30120 30044 22814 0 -1 4202496 2249 0 0 0 66723 1 0 0 20 0 1 0 335693656 10539008 2071 33554432000 134512640 134847168 4291048608 4291047248 134782437 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30122/statm: 2573 2071 270 82 0 1814 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 45164
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -30044
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 30242
/proc/meminfo: memFree=29031236/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=1800.1 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1608 25365 0 0 1 1 180001 7 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30236] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30236/stat : 30236 (sh) S 30044 30044 22814 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 335760394 9367552 263 33554432000 4194304 5064252 140736977424496 140736977422752 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30236/statm: 2287 263 223 213 0 72 0
[pid=30239] ppid=30236 vsize=4884 CPUtime=0.96 cores=0,2,4,6
/proc/30239/stat : 30239 (clasp-1.0) R 30236 30044 22814 0 -1 4202496 808 0 0 0 96 0 0 0 20 0 1 0 335760394 5001216 706 33554432000 134512640 134847168 4291033568 4291032288 134741431 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30239/statm: 1221 706 272 82 0 462 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 39756
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 30242
/proc/meminfo: memFree=29030624/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=1800.1 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1608 25365 0 0 1 1 180001 7 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30236] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30236/stat : 30236 (sh) S 30044 30044 22814 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 335760394 9367552 263 33554432000 4194304 5064252 140736977424496 140736977422752 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30236/statm: 2287 263 223 213 0 72 0
[pid=30239] ppid=30236 vsize=5148 CPUtime=1.76 cores=0,2,4,6
/proc/30239/stat : 30239 (clasp-1.0) R 30236 30044 22814 0 -1 4202496 870 0 0 0 176 0 0 0 20 0 1 0 335760394 5271552 768 33554432000 134512640 134847168 4291033568 4291031836 134793596 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30239/statm: 1287 768 272 82 0 528 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 40020
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 30242
/proc/meminfo: memFree=29030624/32873844 swapFree=6088/6088
[pid=30044] ppid=30042 vsize=25724 CPUtime=1800.1 cores=0,2,4,6
/proc/30044/stat : 30044 (pbclasp) S 30042 30044 22814 0 -1 4202496 1608 25365 0 0 1 1 180001 7 20 0 1 0 335580351 26341376 554 33554432000 4194304 4198148 140734025302096 140734025301024 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30044/statm: 6431 554 387 1 0 226 0
[pid=30236] ppid=30044 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30236/stat : 30236 (sh) S 30044 30044 22814 0 -1 4202496 370 219 0 0 0 0 0 0 20 0 1 0 335760394 9367552 263 33554432000 4194304 5064252 140736977424496 140736977422752 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30236/statm: 2287 263 223 213 0 72 0
[pid=30239] ppid=30236 vsize=5148 CPUtime=1.96 cores=0,2,4,6
/proc/30239/stat : 30239 (clasp-1.0) R 30236 30044 22814 0 -1 4202496 878 0 0 0 196 0 0 0 20 0 1 0 335760394 5271552 776 33554432000 134512640 134847168 4291033568 4291032300 134734081 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30239/statm: 1287 776 272 82 0 528 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 40020
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.09
CPU user time (s): 1802
CPU system time (s): 0.089986
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 45952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1802
system time used= 0.089986
maximum resident set size= 9012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28573
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 249
involuntary context switches= 2068
runsolver used 4.09738 second user time and 9.2416 second system time
The end