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-3731041-1338686973/watcher-3731041-1338686973 -o /tmp/evaluation-result-3731041-1338686973/solver-3731041-1338686973 -C 1800 -W 1900 -M 15500 pbclasp instance-3731041-1338686973.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 2.00 3/177 25028
/proc/meminfo: memFree=28907216/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) R 25026 25028 22814 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 334825718 26071040 439 33554432000 4194304 4198148 140736576132496 140736576129944 226354341612 0 0 4224 0 0 0 0 17 1 0 0 0 0 0
/proc/25028/statm: 6365 439 343 1 0 160 0
[startup+0.0951929 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25028
/proc/meminfo: memFree=28907216/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=0.05 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 663 2099 0 0 0 0 5 0 20 0 1 0 334825718 26206208 513 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25028/statm: 6398 513 387 1 0 193 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25592
[startup+0.100286 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25028
/proc/meminfo: memFree=28907216/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=0.05 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 663 2099 0 0 0 0 5 0 20 0 1 0 334825718 26206208 513 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25028/statm: 6398 513 387 1 0 193 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25592
[startup+0.300233 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25028
/proc/meminfo: memFree=28907216/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=0.05 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 663 2099 0 0 0 0 5 0 20 0 1 0 334825718 26206208 513 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25028/statm: 6398 513 387 1 0 193 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25592
[startup+0.700111 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25028
/proc/meminfo: memFree=28907216/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=0.44 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 783 4668 0 0 0 0 44 0 20 0 1 0 334825718 26206208 517 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 517 387 1 0 193 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 25592
[startup+1.50011 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25046
/proc/meminfo: memFree=28904828/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=1.23 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 904 7275 0 0 0 0 122 1 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 25592
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25054
/proc/meminfo: memFree=28904720/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=1.23 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 904 7275 0 0 0 0 122 1 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25052] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25028 25028 22814 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 334825844 9367552 264 33554432000 4194304 5064252 140735031071696 140735031069952 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25052/statm: 2287 264 223 213 0 72 0
[pid=25054] ppid=25052 vsize=4384 CPUtime=1.82 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25028 22814 0 -1 4202496 693 0 0 0 182 0 0 0 20 0 1 0 334825844 4489216 591 33554432000 134512640 134847168 4288900432 4288899116 134715815 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25054/statm: 1096 591 272 82 0 337 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 39124
[startup+6.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25054
/proc/meminfo: memFree=28904480/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=1.23 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 904 7275 0 0 0 0 122 1 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25052] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25052/stat : 25052 (sh) S 25028 25028 22814 0 -1 4202496 372 220 0 0 0 0 0 0 20 0 1 0 334825844 9367552 264 33554432000 4194304 5064252 140735031071696 140735031069952 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25052/statm: 2287 264 223 213 0 72 0
[pid=25054] ppid=25052 vsize=4636 CPUtime=5.02 cores=1,3,5,7
/proc/25054/stat : 25054 (clasp-1.0) R 25052 25028 22814 0 -1 4202496 758 0 0 0 502 0 0 0 20 0 1 0 334825844 4747264 656 33554432000 134512640 134847168 4288900432 4288899200 134737260 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25054/statm: 1159 656 272 82 0 400 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 39376
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.01 3/180 25062
/proc/meminfo: memFree=28904032/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=10.48 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1025 10028 0 0 0 0 1046 2 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25060] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25060/stat : 25060 (sh) S 25028 25028 22814 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 334826769 9367552 264 33554432000 4194304 5064252 140733927159840 140733927158096 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25060/statm: 2287 264 223 213 0 72 0
[pid=25062] ppid=25060 vsize=4388 CPUtime=2.18 cores=1,3,5,7
/proc/25062/stat : 25062 (clasp-1.0) R 25060 25028 22814 0 -1 4202496 687 0 0 0 218 0 0 0 20 0 1 0 334826769 4493312 584 33554432000 134512640 134847168 4293688736 4293687360 134784576 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25062/statm: 1097 584 270 82 0 338 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 39128
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 25062
/proc/meminfo: memFree=28903164/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=10.48 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1025 10028 0 0 0 0 1046 2 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25060] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25060/stat : 25060 (sh) S 25028 25028 22814 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 334826769 9367552 264 33554432000 4194304 5064252 140733927159840 140733927158096 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25060/statm: 2287 264 223 213 0 72 0
[pid=25062] ppid=25060 vsize=5172 CPUtime=14.97 cores=1,3,5,7
/proc/25062/stat : 25062 (clasp-1.0) R 25060 25028 22814 0 -1 4202496 885 0 0 0 1497 0 0 0 20 0 1 0 334826769 5296128 782 33554432000 134512640 134847168 4293688736 4293687420 134715788 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25062/statm: 1293 782 270 82 0 534 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 39912
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 25065
/proc/meminfo: memFree=28902536/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=10.48 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1025 10028 0 0 0 0 1046 2 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25060] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25060/stat : 25060 (sh) S 25028 25028 22814 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 334826769 9367552 264 33554432000 4194304 5064252 140733927159840 140733927158096 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25060/statm: 2287 264 223 213 0 72 0
[pid=25062] ppid=25060 vsize=5568 CPUtime=40.57 cores=1,3,5,7
/proc/25062/stat : 25062 (clasp-1.0) R 25060 25028 22814 0 -1 4202496 989 0 0 0 4057 0 0 0 20 0 1 0 334826769 5701632 886 33554432000 134512640 134847168 4293688736 4293687484 134737613 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25062/statm: 1392 886 270 82 0 633 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 40308
[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 25065
/proc/meminfo: memFree=28900064/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=10.48 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1025 10028 0 0 0 0 1046 2 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25060] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25060/stat : 25060 (sh) S 25028 25028 22814 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 334826769 9367552 264 33554432000 4194304 5064252 140733927159840 140733927158096 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25060/statm: 2287 264 223 213 0 72 0
[pid=25062] ppid=25060 vsize=6236 CPUtime=91.77 cores=1,3,5,7
/proc/25062/stat : 25062 (clasp-1.0) R 25060 25028 22814 0 -1 4202496 1145 0 0 0 9177 0 0 0 20 0 1 0 334826769 6385664 1042 33554432000 134512640 134847168 4293688736 4293687420 134715812 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25062/statm: 1559 1042 270 82 0 800 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 40976
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25081
/proc/meminfo: memFree=28895188/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=151.15 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1267 16072 0 0 0 0 15112 3 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25079] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25079/stat : 25079 (sh) S 25028 25028 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 334840841 9367552 264 33554432000 4194304 5064252 140735058282752 140735058281008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25079/statm: 2287 264 223 213 0 72 0
[pid=25081] ppid=25079 vsize=5024 CPUtime=11.06 cores=1,3,5,7
/proc/25081/stat : 25081 (clasp-1.0) R 25079 25028 22814 0 -1 4202496 834 0 0 0 1106 0 0 0 20 0 1 0 334840841 5144576 731 33554432000 134512640 134847168 4292823872 4292822512 134782437 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25081/statm: 1256 731 270 82 0 497 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 39764
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 25082
/proc/meminfo: memFree=28894072/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=151.15 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1267 16072 0 0 0 0 15112 3 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25079] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25079/stat : 25079 (sh) S 25028 25028 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 334840841 9367552 264 33554432000 4194304 5064252 140735058282752 140735058281008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25079/statm: 2287 264 223 213 0 72 0
[pid=25081] ppid=25079 vsize=5936 CPUtime=71.04 cores=1,3,5,7
/proc/25081/stat : 25081 (clasp-1.0) R 25079 25028 22814 0 -1 4202496 1069 0 0 0 7104 0 0 0 20 0 1 0 334840841 6078464 966 33554432000 134512640 134847168 4292823872 4292822612 134737633 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25081/statm: 1484 966 270 82 0 725 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 40676
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25228
/proc/meminfo: memFree=29146176/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=151.15 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1267 16072 0 0 0 0 15112 3 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25079] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/25079/stat : 25079 (sh) S 25028 25028 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 334840841 9367552 264 33554432000 4194304 5064252 140735058282752 140735058281008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25079/statm: 2287 264 223 213 0 72 0
[pid=25081] ppid=25079 vsize=9500 CPUtime=1270.85 cores=1,3,5,7
/proc/25081/stat : 25081 (clasp-1.0) R 25079 25028 22814 0 -1 4202496 1946 0 0 0 127085 0 0 0 20 0 1 0 334840841 9728000 1870 33554432000 134512640 134847168 4292823872 4292822592 134741346 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25081/statm: 2375 1870 270 82 0 1616 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 44240
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25263
/proc/meminfo: memFree=29139980/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=151.15 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1267 16072 0 0 0 0 15112 3 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25079] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25079/stat : 25079 (sh) S 25028 25028 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 334840841 9367552 264 33554432000 4194304 5064252 140735058282752 140735058281008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25079/statm: 2287 264 223 213 0 72 0
[pid=25081] ppid=25079 vsize=9500 CPUtime=1330.83 cores=1,3,5,7
/proc/25081/stat : 25081 (clasp-1.0) R 25079 25028 22814 0 -1 4202496 1946 0 0 0 133083 0 0 0 20 0 1 0 334840841 9728000 1870 33554432000 134512640 134847168 4292823872 4292822388 134689333 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25081/statm: 2375 1870 270 82 0 1616 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 44240
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 25263
/proc/meminfo: memFree=29140104/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=151.15 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1267 16072 0 0 0 0 15112 3 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25079] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25079/stat : 25079 (sh) S 25028 25028 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 334840841 9367552 264 33554432000 4194304 5064252 140735058282752 140735058281008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25079/statm: 2287 264 223 213 0 72 0
[pid=25081] ppid=25079 vsize=9656 CPUtime=1390.82 cores=1,3,5,7
/proc/25081/stat : 25081 (clasp-1.0) R 25079 25028 22814 0 -1 4202496 1955 0 0 0 139082 0 0 0 20 0 1 0 334840841 9887744 1879 33554432000 134512640 134847168 4292823872 4292822448 134715031 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25081/statm: 2414 1879 270 82 0 1655 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 44396
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25263
/proc/meminfo: memFree=29139980/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=151.15 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1267 16072 0 0 0 0 15112 3 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25079] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25079/stat : 25079 (sh) S 25028 25028 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 334840841 9367552 264 33554432000 4194304 5064252 140735058282752 140735058281008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25079/statm: 2287 264 223 213 0 72 0
[pid=25081] ppid=25079 vsize=9656 CPUtime=1450.81 cores=1,3,5,7
/proc/25081/stat : 25081 (clasp-1.0) R 25079 25028 22814 0 -1 4202496 1967 0 0 0 145081 0 0 0 20 0 1 0 334840841 9887744 1891 33554432000 134512640 134847168 4292823872 4292822512 134782479 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25081/statm: 2414 1891 270 82 0 1655 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 44396
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25263
/proc/meminfo: memFree=29139732/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=151.15 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1267 16072 0 0 0 0 15112 3 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25079] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25079/stat : 25079 (sh) S 25028 25028 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 334840841 9367552 264 33554432000 4194304 5064252 140735058282752 140735058281008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25079/statm: 2287 264 223 213 0 72 0
[pid=25081] ppid=25079 vsize=9812 CPUtime=1510.8 cores=1,3,5,7
/proc/25081/stat : 25081 (clasp-1.0) R 25079 25028 22814 0 -1 4202496 1987 0 0 0 151080 0 0 0 20 0 1 0 334840841 10047488 1911 33554432000 134512640 134847168 4292823872 4292822412 134713616 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25081/statm: 2453 1911 270 82 0 1694 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 44552
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25264
/proc/meminfo: memFree=29139608/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=151.15 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1267 16072 0 0 0 0 15112 3 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25079] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25079/stat : 25079 (sh) S 25028 25028 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 334840841 9367552 264 33554432000 4194304 5064252 140735058282752 140735058281008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25079/statm: 2287 264 223 213 0 72 0
[pid=25081] ppid=25079 vsize=9812 CPUtime=1570.79 cores=1,3,5,7
/proc/25081/stat : 25081 (clasp-1.0) R 25079 25028 22814 0 -1 4202496 2004 0 0 0 157079 0 0 0 20 0 1 0 334840841 10047488 1928 33554432000 134512640 134847168 4292823872 4292822336 134713648 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25081/statm: 2453 1928 270 82 0 1694 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 44552
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 25264
/proc/meminfo: memFree=29139608/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=151.15 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1267 16072 0 0 0 0 15112 3 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25079] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25079/stat : 25079 (sh) S 25028 25028 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 334840841 9367552 264 33554432000 4194304 5064252 140735058282752 140735058281008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25079/statm: 2287 264 223 213 0 72 0
[pid=25081] ppid=25079 vsize=9812 CPUtime=1630.78 cores=1,3,5,7
/proc/25081/stat : 25081 (clasp-1.0) R 25079 25028 22814 0 -1 4202496 2015 0 0 0 163078 0 0 0 20 0 1 0 334840841 10047488 1939 33554432000 134512640 134847168 4292823872 4292822556 134715846 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25081/statm: 2453 1939 270 82 0 1694 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 44552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 25264
/proc/meminfo: memFree=29139484/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=151.15 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1267 16072 0 0 0 0 15112 3 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25079] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25079/stat : 25079 (sh) S 25028 25028 22814 0 -1 4202496 372 221 0 0 0 0 0 0 20 0 1 0 334840841 9367552 264 33554432000 4194304 5064252 140735058282752 140735058281008 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25079/statm: 2287 264 223 213 0 72 0
[pid=25081] ppid=25079 vsize=9932 CPUtime=1648.88 cores=1,3,5,7
/proc/25081/stat : 25081 (clasp-1.0) R 25079 25028 22814 0 -1 4202496 2023 0 0 0 164888 0 0 0 20 0 1 0 334840841 10170368 1947 33554432000 134512640 134847168 4292823872 4292822512 134782472 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25081/statm: 2483 1947 270 82 0 1724 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 44672
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -25028
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 25283
/proc/meminfo: memFree=29146960/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=1800.08 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1429 20867 0 1 0 1 180002 5 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25275] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25275/stat : 25275 (sh) S 25028 25028 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335005763 9367552 263 33554432000 4194304 5064252 140735941980864 140735941979120 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25275/statm: 2287 263 223 213 0 72 0
[pid=25278] ppid=25275 vsize=4252 CPUtime=0.94 cores=1,3,5,7
/proc/25278/stat : 25278 (clasp-1.0) R 25275 25028 22814 0 -1 4202496 649 0 0 0 94 0 0 0 20 0 1 0 335005763 4354048 547 33554432000 134512640 134847168 4292201984 4292200560 134714844 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25278/statm: 1063 547 270 82 0 304 0
Current children cumulated CPU time (s) 1801.02
Current children cumulated vsize (KiB) 38992
[startup+1802.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 25283
/proc/meminfo: memFree=29146852/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=1800.08 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1429 20867 0 1 0 1 180002 5 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25275] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25275/stat : 25275 (sh) S 25028 25028 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335005763 9367552 263 33554432000 4194304 5064252 140735941980864 140735941979120 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25275/statm: 2287 263 223 213 0 72 0
[pid=25278] ppid=25275 vsize=4380 CPUtime=1.74 cores=1,3,5,7
/proc/25278/stat : 25278 (clasp-1.0) R 25275 25028 22814 0 -1 4202496 696 0 0 0 174 0 0 0 20 0 1 0 335005763 4485120 594 33554432000 134512640 134847168 4292201984 4292200560 134714266 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25278/statm: 1095 594 270 82 0 336 0
Current children cumulated CPU time (s) 1801.82
Current children cumulated vsize (KiB) 39120
[startup+1802.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 25283
/proc/meminfo: memFree=29146852/32873844 swapFree=6088/6088
[pid=25028] ppid=25026 vsize=25592 CPUtime=1800.08 cores=1,3,5,7
/proc/25028/stat : 25028 (pbclasp) S 25026 25028 22814 0 -1 4202496 1429 20867 0 1 0 1 180002 5 20 0 1 0 334825718 26206208 518 33554432000 4194304 4198148 140736576132496 140736576131424 226333093918 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25028/statm: 6398 518 387 1 0 193 0
[pid=25275] ppid=25028 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25275/stat : 25275 (sh) S 25028 25028 22814 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 335005763 9367552 263 33554432000 4194304 5064252 140735941980864 140735941979120 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25275/statm: 2287 263 223 213 0 72 0
[pid=25278] ppid=25275 vsize=4512 CPUtime=1.94 cores=1,3,5,7
/proc/25278/stat : 25278 (clasp-1.0) R 25275 25028 22814 0 -1 4202496 698 0 0 0 194 0 0 0 20 0 1 0 335005763 4620288 596 33554432000 134512640 134847168 4292201984 4292200724 134737633 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25278/statm: 1128 596 270 82 0 369 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 39252
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.05
CPU user time (s): 1801.99
CPU system time (s): 0.06499
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 44672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.99
system time used= 0.06499
maximum resident set size= 7788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23688
page faults= 1
swaps= 0
block input operations= 32
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 232
involuntary context switches= 2822
runsolver used 6.98394 second user time and 17.2564 second system time
The end