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-3734638-1338719260/watcher-3734638-1338719260 -o /tmp/evaluation-result-3734638-1338719260/solver-3734638-1338719260 -C 1800 -W 1900 -M 15500 pbclasp instance-3734638-1338719260.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: 2.00 2.00 1.95 3/178 15024
/proc/meminfo: memFree=28945932/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25592 CPUtime=0 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) R 15022 15024 22179 0 -1 4202496 530 0 0 0 0 0 0 0 20 0 1 0 338051574 26206208 461 33554432000 4194304 4198148 140734407439216 140734407436664 214369275796 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/15024/statm: 6398 462 345 1 0 193 0
[startup+0.0663739 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 15024
/proc/meminfo: memFree=28945932/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25856 CPUtime=0.01 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 660 0 0 0 1 0 0 0 20 0 1 0 338051574 26476544 573 33554432000 4194304 4198148 140734407439216 140734407438104 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15024/statm: 6464 573 368 1 0 259 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25856
[startup+0.100225 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 15024
/proc/meminfo: memFree=28945932/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25856 CPUtime=0.01 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 660 0 0 0 1 0 0 0 20 0 1 0 338051574 26476544 573 33554432000 4194304 4198148 140734407439216 140734407438104 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15024/statm: 6464 573 368 1 0 259 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25856
[startup+0.300177 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 15024
/proc/meminfo: memFree=28945932/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25856 CPUtime=0.01 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 660 0 0 0 1 0 0 0 20 0 1 0 338051574 26476544 573 33554432000 4194304 4198148 140734407439216 140734407438104 214373033200 0 0 4224 16384 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15024/statm: 6464 573 368 1 0 259 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 25856
[startup+0.700111 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 15024
/proc/meminfo: memFree=28945932/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=0.38 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 947 5145 0 0 1 0 36 1 20 0 1 0 338051574 26611712 618 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 618 387 1 0 292 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 25988
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15042
/proc/meminfo: memFree=28938556/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=0.38 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 947 5145 0 0 1 0 36 1 20 0 1 0 338051574 26611712 618 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 618 387 1 0 292 0
[pid=15040] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15040/stat : 15040 (sh) S 15024 15024 22179 0 -1 4202496 373 220 0 0 0 0 0 0 20 0 1 0 338051614 9367552 264 33554432000 4194304 5064252 140736567090896 140736567089152 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15040/statm: 2287 264 223 213 0 72 0
[pid=15042] ppid=15040 vsize=7236 CPUtime=1.08 cores=1,3,5,7
/proc/15042/stat : 15042 (clasp-1.0) R 15040 15024 22179 0 -1 4202496 1367 0 0 0 108 0 0 0 20 0 1 0 338051614 7409664 1265 33554432000 134512640 134847168 4291077296 4291076064 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15042/statm: 1809 1265 270 82 0 1050 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 42372
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15050
/proc/meminfo: memFree=28936936/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=1.56 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1094 8463 0 0 1 0 152 3 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=15048] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15048/stat : 15048 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338051733 9367552 263 33554432000 4194304 5064252 140736484704976 140736484703232 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15048/statm: 2287 263 223 213 0 72 0
[pid=15050] ppid=15048 vsize=7448 CPUtime=1.5 cores=1,3,5,7
/proc/15050/stat : 15050 (clasp-1.0) R 15048 15024 22179 0 -1 4202496 1434 0 0 0 150 0 0 0 20 0 1 0 338051733 7626752 1332 33554432000 134512640 134847168 4287813296 4287811920 134784628 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15050/statm: 1862 1332 272 82 0 1103 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 42584
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15050
/proc/meminfo: memFree=28930760/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=1.56 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1094 8463 0 0 1 0 152 3 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=15048] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15048/stat : 15048 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338051733 9367552 263 33554432000 4194304 5064252 140736484704976 140736484703232 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15048/statm: 2287 263 223 213 0 72 0
[pid=15050] ppid=15048 vsize=8360 CPUtime=4.7 cores=1,3,5,7
/proc/15050/stat : 15050 (clasp-1.0) R 15048 15024 22179 0 -1 4202496 1671 0 0 0 470 0 0 0 20 0 1 0 338051733 8560640 1569 33554432000 134512640 134847168 4287813296 4287812064 134617515 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15050/statm: 2090 1569 272 82 0 1331 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 43496
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15050
/proc/meminfo: memFree=28924500/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=1.56 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1094 8463 0 0 1 0 152 3 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=15048] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15048/stat : 15048 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338051733 9367552 263 33554432000 4194304 5064252 140736484704976 140736484703232 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15048/statm: 2287 263 223 213 0 72 0
[pid=15050] ppid=15048 vsize=9408 CPUtime=11.1 cores=1,3,5,7
/proc/15050/stat : 15050 (clasp-1.0) R 15048 15024 22179 0 -1 4202496 1922 0 0 0 1110 0 0 0 20 0 1 0 338051733 9633792 1820 33554432000 134512640 134847168 4287813296 4287811976 134789714 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15050/statm: 2352 1820 272 82 0 1593 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 44544
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15050
/proc/meminfo: memFree=28911604/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=1.56 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1094 8463 0 0 1 0 152 3 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=15048] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15048/stat : 15048 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338051733 9367552 263 33554432000 4194304 5064252 140736484704976 140736484703232 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15048/statm: 2287 263 223 213 0 72 0
[pid=15050] ppid=15048 vsize=10148 CPUtime=23.89 cores=1,3,5,7
/proc/15050/stat : 15050 (clasp-1.0) R 15048 15024 22179 0 -1 4202496 2121 0 0 0 2389 0 0 0 20 0 1 0 338051733 10391552 2019 33554432000 134512640 134847168 4287813296 4287811988 134616619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15050/statm: 2537 2019 272 82 0 1778 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 45284
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15050
/proc/meminfo: memFree=28905072/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=1.56 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1094 8463 0 0 1 0 152 3 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=15048] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15048/stat : 15048 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338051733 9367552 263 33554432000 4194304 5064252 140736484704976 140736484703232 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15048/statm: 2287 263 223 213 0 72 0
[pid=15050] ppid=15048 vsize=12040 CPUtime=49.49 cores=1,3,5,7
/proc/15050/stat : 15050 (clasp-1.0) R 15048 15024 22179 0 -1 4202496 2571 0 0 0 4949 0 0 0 20 0 1 0 338051733 12328960 2469 33554432000 134512640 134847168 4287813296 4287811920 134784651 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15050/statm: 3010 2469 272 82 0 2251 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 47176
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15050
/proc/meminfo: memFree=28879460/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=1.56 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1094 8463 0 0 1 0 152 3 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=15048] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15048/stat : 15048 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338051733 9367552 263 33554432000 4194304 5064252 140736484704976 140736484703232 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15048/statm: 2287 263 223 213 0 72 0
[pid=15050] ppid=15048 vsize=13520 CPUtime=100.69 cores=1,3,5,7
/proc/15050/stat : 15050 (clasp-1.0) R 15048 15024 22179 0 -1 4202496 2944 0 0 0 10068 1 0 0 20 0 1 0 338051733 13844480 2860 33554432000 134512640 134847168 4287813296 4287812000 134616639 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15050/statm: 3380 2860 272 82 0 2621 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 48656
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/182 15053
/proc/meminfo: memFree=28814280/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=1.56 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1094 8463 0 0 1 0 152 3 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=15048] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15048/stat : 15048 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338051733 9367552 263 33554432000 4194304 5064252 140736484704976 140736484703232 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15048/statm: 2287 263 223 213 0 72 0
[pid=15050] ppid=15048 vsize=15188 CPUtime=160.67 cores=1,3,5,7
/proc/15050/stat : 15050 (clasp-1.0) R 15048 15024 22179 0 -1 4202496 3436 0 0 0 16066 1 0 0 20 0 1 0 338051733 15552512 3298 33554432000 134512640 134847168 4287813296 4287811920 134784690 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15050/statm: 3797 3298 272 82 0 3038 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 50324
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 15053
/proc/meminfo: memFree=28813296/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=1.56 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1094 8463 0 0 1 0 152 3 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=15048] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15048/stat : 15048 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338051733 9367552 263 33554432000 4194304 5064252 140736484704976 140736484703232 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15048/statm: 2287 263 223 213 0 72 0
[pid=15050] ppid=15048 vsize=16404 CPUtime=220.66 cores=1,3,5,7
/proc/15050/stat : 15050 (clasp-1.0) R 15048 15024 22179 0 -1 4202496 3736 0 0 0 22065 1 0 0 20 0 1 0 338051733 16797696 3598 33554432000 134512640 134847168 4287813296 4287811920 134784714 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15050/statm: 4101 3598 272 82 0 3342 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 51540
[startup+282.3 s]
################
# More data... #
################
/proc/15068/stat : 15068 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338109832 9367552 263 33554432000 4194304 5064252 140733390647568 140733390645824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15068/statm: 2287 263 223 213 0 72 0
[pid=15070] ppid=15068 vsize=22220 CPUtime=839.55 cores=1,3,5,7
/proc/15070/stat : 15070 (clasp-1.0) R 15068 15024 22179 0 -1 4202496 5536 0 0 0 83954 1 0 0 20 0 1 0 338109832 22753280 5038 33554432000 134512640 134847168 4294488640 4294487152 134780671 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15070/statm: 5555 5038 272 82 0 4796 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 57356
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17432
/proc/meminfo: memFree=28951380/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=582.46 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1200 15247 0 0 1 0 58240 5 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=15068] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15068/stat : 15068 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338109832 9367552 263 33554432000 4194304 5064252 140733390647568 140733390645824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15068/statm: 2287 263 223 213 0 72 0
[pid=15070] ppid=15068 vsize=22560 CPUtime=899.54 cores=1,3,5,7
/proc/15070/stat : 15070 (clasp-1.0) R 15068 15024 22179 0 -1 4202496 5615 0 0 0 89953 1 0 0 20 0 1 0 338109832 23101440 5117 33554432000 134512640 134847168 4294488640 4294487320 134789714 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15070/statm: 5640 5117 272 82 0 4881 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 57696
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17433
/proc/meminfo: memFree=28951256/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=582.46 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1200 15247 0 0 1 0 58240 5 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=15068] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15068/stat : 15068 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338109832 9367552 263 33554432000 4194304 5064252 140733390647568 140733390645824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15068/statm: 2287 263 223 213 0 72 0
[pid=15070] ppid=15068 vsize=22688 CPUtime=959.53 cores=1,3,5,7
/proc/15070/stat : 15070 (clasp-1.0) R 15068 15024 22179 0 -1 4202496 5760 0 0 0 95952 1 0 0 20 0 1 0 338109832 23232512 5149 33554432000 134512640 134847168 4294488640 4294487320 134789717 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15070/statm: 5672 5149 272 82 0 4913 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 57824
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/181 17433
/proc/meminfo: memFree=28951380/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=582.46 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1200 15247 0 0 1 0 58240 5 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=15068] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15068/stat : 15068 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338109832 9367552 263 33554432000 4194304 5064252 140733390647568 140733390645824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15068/statm: 2287 263 223 213 0 72 0
[pid=15070] ppid=15068 vsize=22820 CPUtime=1019.52 cores=1,3,5,7
/proc/15070/stat : 15070 (clasp-1.0) R 15068 15024 22179 0 -1 4202496 5791 0 0 0 101951 1 0 0 20 0 1 0 338109832 23367680 5180 33554432000 134512640 134847168 4294488640 4294487344 134616608 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15070/statm: 5705 5180 272 82 0 4946 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 57956
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/180 17433
/proc/meminfo: memFree=28951512/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=582.46 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1200 15247 0 0 1 0 58240 5 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=15068] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15068/stat : 15068 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338109832 9367552 263 33554432000 4194304 5064252 140733390647568 140733390645824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15068/statm: 2287 263 223 213 0 72 0
[pid=15070] ppid=15068 vsize=22964 CPUtime=1079.51 cores=1,3,5,7
/proc/15070/stat : 15070 (clasp-1.0) R 15068 15024 22179 0 -1 4202496 5823 0 0 0 107950 1 0 0 20 0 1 0 338109832 23515136 5212 33554432000 134512640 134847168 4294488640 4294487264 134784643 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15070/statm: 5741 5212 272 82 0 4982 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 58100
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17434
/proc/meminfo: memFree=28950084/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=582.46 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1200 15247 0 0 1 0 58240 5 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=15068] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15068/stat : 15068 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338109832 9367552 263 33554432000 4194304 5064252 140733390647568 140733390645824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15068/statm: 2287 263 223 213 0 72 0
[pid=15070] ppid=15068 vsize=23268 CPUtime=1139.5 cores=1,3,5,7
/proc/15070/stat : 15070 (clasp-1.0) R 15068 15024 22179 0 -1 4202496 5870 0 0 0 113949 1 0 0 20 0 1 0 338109832 23826432 5270 33554432000 134512640 134847168 4294488640 4294487332 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15070/statm: 5817 5270 272 82 0 5058 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 58404
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17434
/proc/meminfo: memFree=28949712/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=582.46 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1200 15247 0 0 1 0 58240 5 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=15068] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15068/stat : 15068 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338109832 9367552 263 33554432000 4194304 5064252 140733390647568 140733390645824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15068/statm: 2287 263 223 213 0 72 0
[pid=15070] ppid=15068 vsize=23652 CPUtime=1199.49 cores=1,3,5,7
/proc/15070/stat : 15070 (clasp-1.0) R 15068 15024 22179 0 -1 4202496 5977 0 0 0 119948 1 0 0 20 0 1 0 338109832 24219648 5377 33554432000 134512640 134847168 4294488640 4294487264 134784711 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15070/statm: 5913 5377 272 82 0 5154 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 58788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/180 17434
/proc/meminfo: memFree=28949712/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=582.46 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1200 15247 0 0 1 0 58240 5 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=15068] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15068/stat : 15068 (sh) S 15024 15024 22179 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 338109832 9367552 263 33554432000 4194304 5064252 140733390647568 140733390645824 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15068/statm: 2287 263 223 213 0 72 0
[pid=15070] ppid=15068 vsize=23432 CPUtime=1217.59 cores=1,3,5,7
/proc/15070/stat : 15070 (clasp-1.0) R 15068 15024 22179 0 -1 4202496 5977 0 0 0 121758 1 0 0 20 0 1 0 338109832 23994368 5342 33554432000 134512640 134847168 4294488640 4294487332 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15070/statm: 5858 5342 272 82 0 5099 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 58568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15024
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17453
/proc/meminfo: memFree=28967832/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=1800.08 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1369 23994 0 0 1 0 179999 8 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=17445] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17445/stat : 17445 (sh) S 15024 15024 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338231617 9367552 264 33554432000 4194304 5064252 140734957860560 140734957858816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17445/statm: 2287 264 223 213 0 72 0
[pid=17448] ppid=17445 vsize=7188 CPUtime=0.96 cores=1,3,5,7
/proc/17448/stat : 17448 (clasp-1.0) R 17445 15024 22179 0 -1 4202496 1374 0 0 0 96 0 0 0 20 0 1 0 338231617 7360512 1271 33554432000 134512640 134847168 4289970592 4289969232 134715302 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17448/statm: 1797 1271 270 82 0 1038 0
Current children cumulated CPU time (s) 1801.04
Current children cumulated vsize (KiB) 42324
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17453
/proc/meminfo: memFree=28967476/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=1800.08 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1369 23994 0 0 1 0 179999 8 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=17445] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17445/stat : 17445 (sh) S 15024 15024 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338231617 9367552 264 33554432000 4194304 5064252 140734957860560 140734957858816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17445/statm: 2287 264 223 213 0 72 0
[pid=17448] ppid=17445 vsize=7448 CPUtime=1.76 cores=1,3,5,7
/proc/17448/stat : 17448 (clasp-1.0) R 17445 15024 22179 0 -1 4202496 1433 0 0 0 176 0 0 0 20 0 1 0 338231617 7626752 1330 33554432000 134512640 134847168 4289970592 4289969360 134617496 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17448/statm: 1862 1330 270 82 0 1103 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 42584
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 17453
/proc/meminfo: memFree=28967476/32873844 swapFree=7632/7632
[pid=15024] ppid=15022 vsize=25988 CPUtime=1800.08 cores=1,3,5,7
/proc/15024/stat : 15024 (pbclasp) S 15022 15024 22179 0 -1 4202496 1369 23994 0 0 1 0 179999 8 20 0 1 0 338051574 26611712 619 33554432000 4194304 4198148 140734407439216 140734407438144 214373036062 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15024/statm: 6497 619 387 1 0 292 0
[pid=17445] ppid=15024 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17445/stat : 17445 (sh) S 15024 15024 22179 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 338231617 9367552 264 33554432000 4194304 5064252 140734957860560 140734957858816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17445/statm: 2287 264 223 213 0 72 0
[pid=17448] ppid=17445 vsize=7576 CPUtime=1.96 cores=1,3,5,7
/proc/17448/stat : 17448 (clasp-1.0) R 17445 15024 22179 0 -1 4202496 1471 0 0 0 196 0 0 0 20 0 1 0 338231617 7757824 1368 33554432000 134512640 134847168 4289970592 4289969284 134616619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17448/statm: 1894 1368 270 82 0 1135 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 42712
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.09
CPU user time (s): 1801.99
CPU system time (s): 0.099984
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 58788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.99
system time used= 0.099984
maximum resident set size= 21508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27628
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 496
involuntary context switches= 2568
runsolver used 6.47002 second user time and 17.5283 second system time
The end