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-3733868-1338716510/watcher-3733868-1338716510 -o /tmp/evaluation-result-3733868-1338716510/solver-3733868-1338716510 -C 1800 -W 1900 -M 15500 pbclasp instance-3733868-1338716510.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.10 2.22 1.52 2/172 18556
/proc/meminfo: memFree=23387136/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=25872 CPUtime=0 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) R 18554 18556 27890 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 337779584 26492928 539 33554432000 4194304 4198148 140734237706416 140735983762888 235374350228 0 0 4224 16384 0 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6468 539 355 1 0 263 0
[startup+0.0863301 s]
/proc/loadavg: 2.10 2.22 1.52 2/172 18556
/proc/meminfo: memFree=23387136/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 677 0 0 0 0 0 0 0 20 0 1 0 337779584 26628096 588 33554432000 4194304 4198148 140734237706416 140734237705304 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 588 369 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+0.100147 s]
/proc/loadavg: 2.10 2.22 1.52 2/172 18556
/proc/meminfo: memFree=23387136/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 677 0 0 0 0 0 0 0 20 0 1 0 337779584 26628096 588 33554432000 4194304 4198148 140734237706416 140734237705304 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 588 369 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+0.300069 s]
/proc/loadavg: 2.10 2.22 1.52 2/172 18556
/proc/meminfo: memFree=23387136/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 677 0 0 0 0 0 0 0 20 0 1 0 337779584 26628096 588 33554432000 4194304 4198148 140734237706416 140734237705304 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 588 369 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+0.700067 s]
/proc/loadavg: 2.10 2.22 1.52 2/172 18556
/proc/meminfo: memFree=23387136/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 677 0 0 0 0 0 0 0 20 0 1 0 337779584 26628096 588 33554432000 4194304 4198148 140734237706416 140734237705304 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 588 369 1 0 296 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26004
[startup+1.50025 s]
/proc/loadavg: 2.10 2.22 1.52 3/175 18566
/proc/meminfo: memFree=23386680/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 677 0 0 0 0 0 0 0 20 0 1 0 337779584 26628096 588 33554432000 4194304 4198148 140734237706416 140734237705304 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 588 369 1 0 296 0
[pid=18558] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18558/stat : 18558 (sh) S 18556 18556 27890 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 337779585 9367552 267 33554432000 4194304 5064252 140735094356320 140735094355200 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18558/statm: 2287 267 226 213 0 72 0
[pid=18559] ppid=18558 vsize=25592 CPUtime=1.48 cores=0,2,4,6
/proc/18559/stat : 18559 (pb2clasp1) R 18558 18556 27890 0 -1 4202496 601 0 0 0 148 0 0 0 20 0 1 0 337779585 26206208 511 33554432000 4194304 4198148 140734493059424 140734493049960 235387125392 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/18559/statm: 6398 511 378 1 0 193 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 60744
[startup+3.10025 s]
/proc/loadavg: 2.10 2.22 1.52 3/175 18569
/proc/meminfo: memFree=23385572/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=0 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 677 0 0 0 0 0 0 0 20 0 1 0 337779584 26628096 588 33554432000 4194304 4198148 140734237706416 140734237705304 235378107632 0 0 4224 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 588 369 1 0 296 0
[pid=18558] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18558/stat : 18558 (sh) S 18556 18556 27890 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 337779585 9367552 267 33554432000 4194304 5064252 140735094356320 140735094355200 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/18558/statm: 2287 267 226 213 0 72 0
[pid=18559] ppid=18558 vsize=25592 CPUtime=3.08 cores=0,2,4,6
/proc/18559/stat : 18559 (pb2clasp1) R 18558 18556 27890 0 -1 4202496 601 0 0 0 307 1 0 0 20 0 1 0 337779585 26206208 511 33554432000 4194304 4198148 140734493059424 140734493049960 235386637488 0 0 4224 0 0 0 0 17 0 0 0 0 0 0
/proc/18559/statm: 6398 511 378 1 0 193 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 60744
[startup+6.30032 s]
/proc/loadavg: 2.09 2.21 1.52 3/175 18579
/proc/meminfo: memFree=23340888/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=3.67 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 755 2095 0 0 0 0 365 2 20 0 1 0 337779584 26628096 606 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 606 387 1 0 296 0
[pid=18577] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18577/stat : 18577 (sh) S 18556 18556 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337779953 9367552 264 33554432000 4194304 5064252 140737467622448 140737467620704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18577/statm: 2287 264 223 213 0 72 0
[pid=18579] ppid=18577 vsize=34672 CPUtime=2.59 cores=0,2,4,6
/proc/18579/stat : 18579 (clasp-1.0) R 18577 18556 27890 0 -1 4202496 8395 0 0 0 258 1 0 0 20 0 1 0 337779953 35504128 8135 33554432000 134512640 134847168 4290177984 4290176668 134715803 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18579/statm: 8668 8135 270 82 0 7909 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 69824
[startup+12.7003 s]
/proc/loadavg: 2.09 2.21 1.52 3/179 18623
/proc/meminfo: memFree=23356048/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=3.67 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 755 2095 0 0 0 0 365 2 20 0 1 0 337779584 26628096 606 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 606 387 1 0 296 0
[pid=18577] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18577/stat : 18577 (sh) S 18556 18556 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337779953 9367552 264 33554432000 4194304 5064252 140737467622448 140737467620704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18577/statm: 2287 264 223 213 0 72 0
[pid=18579] ppid=18577 vsize=34672 CPUtime=8.99 cores=0,2,4,6
/proc/18579/stat : 18579 (clasp-1.0) R 18577 18556 27890 0 -1 4202496 8412 0 0 0 898 1 0 0 20 0 1 0 337779953 35504128 8145 33554432000 134512640 134847168 4290177984 4290176668 134715962 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18579/statm: 8668 8145 270 82 0 7909 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 69824
[startup+25.5003 s]
/proc/loadavg: 2.07 2.20 1.53 3/179 18623
/proc/meminfo: memFree=23355264/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=3.67 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 755 2095 0 0 0 0 365 2 20 0 1 0 337779584 26628096 606 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 606 387 1 0 296 0
[pid=18577] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18577/stat : 18577 (sh) S 18556 18556 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337779953 9367552 264 33554432000 4194304 5064252 140737467622448 140737467620704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18577/statm: 2287 264 223 213 0 72 0
[pid=18579] ppid=18577 vsize=36588 CPUtime=21.79 cores=0,2,4,6
/proc/18579/stat : 18579 (clasp-1.0) R 18577 18556 27890 0 -1 4202496 8875 0 0 0 2177 2 0 0 20 0 1 0 337779953 37466112 8634 33554432000 134512640 134847168 4290177984 4290176544 134714980 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18579/statm: 9147 8634 270 82 0 8388 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 71740
[startup+51.1004 s]
/proc/loadavg: 2.04 2.18 1.54 3/179 18639
/proc/meminfo: memFree=23351684/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=3.67 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 755 2095 0 0 0 0 365 2 20 0 1 0 337779584 26628096 606 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 606 387 1 0 296 0
[pid=18577] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18577/stat : 18577 (sh) S 18556 18556 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337779953 9367552 264 33554432000 4194304 5064252 140737467622448 140737467620704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18577/statm: 2287 264 223 213 0 72 0
[pid=18579] ppid=18577 vsize=40036 CPUtime=47.38 cores=0,2,4,6
/proc/18579/stat : 18579 (clasp-1.0) R 18577 18556 27890 0 -1 4202496 9699 0 0 0 4736 2 0 0 20 0 1 0 337779953 40996864 9484 33554432000 134512640 134847168 4290177984 4290176668 134715803 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18579/statm: 10009 9484 270 82 0 9250 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 75188
[startup+102.306 s]
/proc/loadavg: 2.08 2.17 1.57 3/179 18655
/proc/meminfo: memFree=23343368/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=3.67 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 755 2095 0 0 0 0 365 2 20 0 1 0 337779584 26628096 606 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 606 387 1 0 296 0
[pid=18577] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18577/stat : 18577 (sh) S 18556 18556 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337779953 9367552 264 33554432000 4194304 5064252 140737467622448 140737467620704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18577/statm: 2287 264 223 213 0 72 0
[pid=18579] ppid=18577 vsize=44796 CPUtime=98.58 cores=0,2,4,6
/proc/18579/stat : 18579 (clasp-1.0) R 18577 18556 27890 0 -1 4202496 10843 0 0 0 9856 2 0 0 20 0 1 0 337779953 45871104 10643 33554432000 134512640 134847168 4290177984 4290176668 134715803 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18579/statm: 11199 10643 270 82 0 10440 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 79948
[startup+162.3 s]
/proc/loadavg: 2.03 2.13 1.59 3/179 18679
/proc/meminfo: memFree=23342840/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=3.67 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 755 2095 0 0 0 0 365 2 20 0 1 0 337779584 26628096 606 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 606 387 1 0 296 0
[pid=18577] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18577/stat : 18577 (sh) S 18556 18556 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337779953 9367552 264 33554432000 4194304 5064252 140737467622448 140737467620704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18577/statm: 2287 264 223 213 0 72 0
[pid=18579] ppid=18577 vsize=46816 CPUtime=158.56 cores=0,2,4,6
/proc/18579/stat : 18579 (clasp-1.0) R 18577 18556 27890 0 -1 4202496 11355 0 0 0 15854 2 0 0 20 0 1 0 337779953 47939584 11174 33554432000 134512640 134847168 4290177984 4290176704 134741423 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18579/statm: 11704 11174 270 82 0 10945 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 81968
[startup+222.3 s]
/proc/loadavg: 2.01 2.11 1.62 3/180 18681
/proc/meminfo: memFree=23337900/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=3.67 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 755 2095 0 0 0 0 365 2 20 0 1 0 337779584 26628096 606 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 606 387 1 0 296 0
[pid=18577] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18577/stat : 18577 (sh) S 18556 18556 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337779953 9367552 264 33554432000 4194304 5064252 140737467622448 140737467620704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18577/statm: 2287 264 223 213 0 72 0
[pid=18579] ppid=18577 vsize=48300 CPUtime=218.56 cores=0,2,4,6
/proc/18579/stat : 18579 (clasp-1.0) R 18577 18556 27890 0 -1 4202496 11698 0 0 0 21853 3 0 0 20 0 1 0 337779953 49459200 11517 33554432000 134512640 134847168 4290177984 4290176688 134616639 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18579/statm: 12075 11517 270 82 0 11316 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 83452
[startup+282.3 s]
################
# More data... #
################
/proc/18577/stat : 18577 (sh) S 18556 18556 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337779953 9367552 264 33554432000 4194304 5064252 140737467622448 140737467620704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18577/statm: 2287 264 223 213 0 72 0
[pid=18579] ppid=18577 vsize=69304 CPUtime=1418.37 cores=0,2,4,6
/proc/18579/stat : 18579 (clasp-1.0) R 18577 18556 27890 0 -1 4202496 16597 0 0 0 141832 5 0 0 20 0 1 0 337779953 70967296 16756 33554432000 134512640 134847168 4290177984 4290176560 134714478 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18579/statm: 17326 16756 270 82 0 16567 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 104456
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 1.88 3/179 18730
/proc/meminfo: memFree=23307116/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=3.67 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 755 2095 0 0 0 0 365 2 20 0 1 0 337779584 26628096 606 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 606 387 1 0 296 0
[pid=18577] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18577/stat : 18577 (sh) S 18556 18556 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337779953 9367552 264 33554432000 4194304 5064252 140737467622448 140737467620704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18577/statm: 2287 264 223 213 0 72 0
[pid=18579] ppid=18577 vsize=72520 CPUtime=1478.35 cores=0,2,4,6
/proc/18579/stat : 18579 (clasp-1.0) R 18577 18556 27890 0 -1 4202496 17297 0 0 0 147830 5 0 0 20 0 1 0 337779953 74260480 17483 33554432000 134512640 134847168 4290177984 4290176676 134616619 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18579/statm: 18130 17483 270 82 0 17371 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 107672
[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 1.89 3/179 18730
/proc/meminfo: memFree=23304944/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=3.67 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 755 2095 0 0 0 0 365 2 20 0 1 0 337779584 26628096 606 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 606 387 1 0 296 0
[pid=18577] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18577/stat : 18577 (sh) S 18556 18556 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337779953 9367552 264 33554432000 4194304 5064252 140737467622448 140737467620704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18577/statm: 2287 264 223 213 0 72 0
[pid=18579] ppid=18577 vsize=73108 CPUtime=1538.34 cores=0,2,4,6
/proc/18579/stat : 18579 (clasp-1.0) R 18577 18556 27890 0 -1 4202496 17416 0 0 0 153829 5 0 0 20 0 1 0 337779953 74862592 17647 33554432000 134512640 134847168 4290177984 4290176560 134714368 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18579/statm: 18277 17647 270 82 0 17518 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 108260
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 1.90 3/179 18730
/proc/meminfo: memFree=23304200/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=3.67 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 755 2095 0 0 0 0 365 2 20 0 1 0 337779584 26628096 606 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 606 387 1 0 296 0
[pid=18577] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18577/stat : 18577 (sh) S 18556 18556 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337779953 9367552 264 33554432000 4194304 5064252 140737467622448 140737467620704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18577/statm: 2287 264 223 213 0 72 0
[pid=18579] ppid=18577 vsize=73508 CPUtime=1598.33 cores=0,2,4,6
/proc/18579/stat : 18579 (clasp-1.0) R 18577 18556 27890 0 -1 4202496 17521 0 0 0 159828 5 0 0 20 0 1 0 337779953 75272192 17752 33554432000 134512640 134847168 4290177984 4290176752 134737666 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18579/statm: 18377 17752 270 82 0 17618 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 108660
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 1.91 3/179 18730
/proc/meminfo: memFree=23302276/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=3.67 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 755 2095 0 0 0 0 365 2 20 0 1 0 337779584 26628096 606 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 606 387 1 0 296 0
[pid=18577] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18577/stat : 18577 (sh) S 18556 18556 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337779953 9367552 264 33554432000 4194304 5064252 140737467622448 140737467620704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18577/statm: 2287 264 223 213 0 72 0
[pid=18579] ppid=18577 vsize=74864 CPUtime=1658.32 cores=0,2,4,6
/proc/18579/stat : 18579 (clasp-1.0) R 18577 18556 27890 0 -1 4202496 17832 0 0 0 165826 6 0 0 20 0 1 0 337779953 76660736 18115 33554432000 134512640 134847168 4290177984 4290176560 134714243 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18579/statm: 18716 18115 270 82 0 17957 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 110016
[startup+1722.3 s]
/proc/loadavg: 2.07 2.05 1.91 3/180 18734
/proc/meminfo: memFree=23302144/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=3.67 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 755 2095 0 0 0 0 365 2 20 0 1 0 337779584 26628096 606 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 606 387 1 0 296 0
[pid=18577] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18577/stat : 18577 (sh) S 18556 18556 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337779953 9367552 264 33554432000 4194304 5064252 140737467622448 140737467620704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18577/statm: 2287 264 223 213 0 72 0
[pid=18579] ppid=18577 vsize=74864 CPUtime=1718.31 cores=0,2,4,6
/proc/18579/stat : 18579 (clasp-1.0) R 18577 18556 27890 0 -1 4202496 17833 0 0 0 171825 6 0 0 20 0 1 0 337779953 76660736 18116 33554432000 134512640 134847168 4290177984 4290176608 134784800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18579/statm: 18716 18116 270 82 0 17957 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 110016
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 1.91 3/179 18734
/proc/meminfo: memFree=23301656/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=3.67 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 755 2095 0 0 0 0 365 2 20 0 1 0 337779584 26628096 606 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 606 387 1 0 296 0
[pid=18577] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18577/stat : 18577 (sh) S 18556 18556 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337779953 9367552 264 33554432000 4194304 5064252 140737467622448 140737467620704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18577/statm: 2287 264 223 213 0 72 0
[pid=18579] ppid=18577 vsize=75244 CPUtime=1778.3 cores=0,2,4,6
/proc/18579/stat : 18579 (clasp-1.0) R 18577 18556 27890 0 -1 4202496 17892 0 0 0 177824 6 0 0 20 0 1 0 337779953 77049856 18175 33554432000 134512640 134847168 4290177984 4290176560 134714321 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18579/statm: 18811 18175 270 82 0 18052 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 110396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.03 1.91 3/179 18734
/proc/meminfo: memFree=23300912/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=3.67 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 755 2095 0 0 0 0 365 2 20 0 1 0 337779584 26628096 606 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 606 387 1 0 296 0
[pid=18577] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18577/stat : 18577 (sh) S 18556 18556 27890 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 337779953 9367552 264 33554432000 4194304 5064252 140737467622448 140737467620704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18577/statm: 2287 264 223 213 0 72 0
[pid=18579] ppid=18577 vsize=75528 CPUtime=1796.41 cores=0,2,4,6
/proc/18579/stat : 18579 (clasp-1.0) R 18577 18556 27890 0 -1 4202496 17955 0 0 0 179635 6 0 0 20 0 1 0 337779953 77340672 18238 33554432000 134512640 134847168 4290177984 4290176560 134714154 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/18579/statm: 18882 18238 270 82 0 18123 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 110680
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -18556
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.02 2.03 1.91 4/181 18753
/proc/meminfo: memFree=23385324/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=1800.11 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 916 22814 0 0 0 0 180001 10 20 0 1 0 337779584 26628096 609 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 609 387 1 0 296 0
[pid=18748] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18748/stat : 18748 (sh) S 18556 18556 27890 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 337959627 9367552 264 33554432000 4194304 5064252 140735691947856 140735691946112 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18748/statm: 2287 264 223 213 0 72 0
[pid=18752] ppid=18748 vsize=34672 CPUtime=0.95 cores=0,2,4,6
/proc/18752/stat : 18752 (clasp-1.0) R 18748 18556 27890 0 -1 4202496 8394 0 0 0 94 1 0 0 20 0 1 0 337959627 35504128 8134 33554432000 134512640 134847168 4293468560 4293467136 134714254 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18752/statm: 8668 8134 270 82 0 7909 0
Current children cumulated CPU time (s) 1801.06
Current children cumulated vsize (KiB) 69824
[startup+1802.2 s]
/proc/loadavg: 2.02 2.03 1.91 3/180 18753
/proc/meminfo: memFree=23357316/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=1800.11 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 916 22814 0 0 0 0 180001 10 20 0 1 0 337779584 26628096 609 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 609 387 1 0 296 0
[pid=18748] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18748/stat : 18748 (sh) S 18556 18556 27890 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 337959627 9367552 264 33554432000 4194304 5064252 140735691947856 140735691946112 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18748/statm: 2287 264 223 213 0 72 0
[pid=18752] ppid=18748 vsize=34672 CPUtime=1.75 cores=0,2,4,6
/proc/18752/stat : 18752 (clasp-1.0) R 18748 18556 27890 0 -1 4202496 8395 0 0 0 174 1 0 0 20 0 1 0 337959627 35504128 8135 33554432000 134512640 134847168 4293468560 4293467136 134714467 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18752/statm: 8668 8135 270 82 0 7909 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 69824
[startup+1802.4 s]
/proc/loadavg: 2.02 2.03 1.91 3/180 18753
/proc/meminfo: memFree=23357316/32873844 swapFree=7112/7112
[pid=18556] ppid=18554 vsize=26004 CPUtime=1800.11 cores=0,2,4,6
/proc/18556/stat : 18556 (pbclasp) S 18554 18556 27890 0 -1 4202496 916 22814 0 0 0 0 180001 10 20 0 1 0 337779584 26628096 609 33554432000 4194304 4198148 140734237706416 140734237705344 235378110494 0 0 4230 16384 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18556/statm: 6501 609 387 1 0 296 0
[pid=18748] ppid=18556 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/18748/stat : 18748 (sh) S 18556 18556 27890 0 -1 4202496 372 219 0 0 0 0 0 0 20 0 1 0 337959627 9367552 264 33554432000 4194304 5064252 140735691947856 140735691946112 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/18748/statm: 2287 264 223 213 0 72 0
[pid=18752] ppid=18748 vsize=34672 CPUtime=1.95 cores=0,2,4,6
/proc/18752/stat : 18752 (clasp-1.0) R 18748 18556 27890 0 -1 4202496 8395 0 0 0 194 1 0 0 20 0 1 0 337959627 35504128 8135 33554432000 134512640 134847168 4293468560 4293467328 134737595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18752/statm: 8668 8135 270 82 0 7909 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 69824
Child status: 0
Real time (s): 1802.42
CPU time (s): 1802.12
CPU user time (s): 1801.98
CPU system time (s): 0.134979
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 110680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.98
system time used= 0.134979
maximum resident set size= 72952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32886
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2128
involuntary context switches= 1893
runsolver used 2.79757 second user time and 7.04093 second system time
The end