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-3741398-1338778033/watcher-3741398-1338778033 -o /tmp/evaluation-result-3741398-1338778033/solver-3741398-1338778033 -C 1800 -W 1900 -M 15500 pbclasp instance-3741398-1338778033.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.01 2.00 3/179 5303
/proc/meminfo: memFree=27312568/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25460 CPUtime=0 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) D 5301 5303 4306 0 -1 4202496 432 0 0 0 0 0 0 0 20 0 1 0 343929361 26071040 362 33554432000 4194304 4198148 140734273810160 140734273807608 251032059573 0 0 4224 0 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/5303/statm: 6365 362 277 1 0 160 0
[startup+0.0955419 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5303
/proc/meminfo: memFree=27312568/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=0.04 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 729 2097 0 0 0 0 4 0 20 0 1 0 343929361 26476544 570 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5303/statm: 6464 570 387 1 0 259 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 25856
[startup+0.100174 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5303
/proc/meminfo: memFree=27312568/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=0.07 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 826 3493 0 0 1 0 6 0 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809048 251035444464 0 0 4224 16384 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 25856
[startup+0.30012 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5303
/proc/meminfo: memFree=27312568/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=0.23 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 1111 9728 0 0 1 0 20 2 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 25856
[startup+0.700115 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 5303
/proc/meminfo: memFree=27312568/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=0.43 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 1238 12289 0 0 1 0 40 2 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 25856
[startup+1.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 5345
/proc/meminfo: memFree=27272348/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=1.41 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 1365 14916 0 0 1 0 137 3 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 25856
[startup+3.1003 s]
/proc/loadavg: 2.00 2.01 2.00 4/182 5369
/proc/meminfo: memFree=27229620/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=1.69 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 1616 20034 0 0 1 0 164 4 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5367] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5367/stat : 5367 (sh) S 5303 5303 4306 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 343929534 9367552 263 33554432000 4194304 5064252 140735279934304 140735279932560 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5367/statm: 2287 263 223 213 0 72 0
[pid=5369] ppid=5367 vsize=4412 CPUtime=1.3 cores=1,3,5,7
/proc/5369/stat : 5369 (clasp-1.0) D 5367 5303 4306 0 -1 4202496 703 0 0 0 130 0 0 0 20 0 1 0 343929534 4517888 601 33554432000 134512640 134847168 4289838416 4289837040 12579888 0 0 4096 0 18446744071580543392 0 0 17 3 0 0 0 0 0
/proc/5369/statm: 1103 601 270 82 0 344 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 39416
[startup+6.3062 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 5396
/proc/meminfo: memFree=27352408/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=4.04 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 1843 25299 0 0 1 0 397 6 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5391] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5391/stat : 5391 (sh) S 5303 5303 4306 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 343929862 9367552 263 33554432000 4194304 5064252 140736402013616 140736402011872 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5391/statm: 2287 263 223 213 0 72 0
[pid=5393] ppid=5391 vsize=4412 CPUtime=1.28 cores=1,3,5,7
/proc/5393/stat : 5393 (clasp-1.0) R 5391 5303 4306 0 -1 4202496 698 0 0 0 128 0 0 0 20 0 1 0 343929862 4517888 596 33554432000 134512640 134847168 4291712992 4291711760 134617504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5393/statm: 1103 596 272 82 0 344 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 39416
[startup+12.7003 s]
/proc/loadavg: 2.16 2.04 2.01 3/176 5411
/proc/meminfo: memFree=27405164/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=6.48 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 1966 28018 0 0 1 0 640 7 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5409] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5409/stat : 5409 (sh) S 5303 5303 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343930107 9367552 264 33554432000 4194304 5064252 140733857303168 140733857301424 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5409/statm: 2287 264 223 213 0 72 0
[pid=5411] ppid=5409 vsize=5080 CPUtime=5.23 cores=1,3,5,7
/proc/5411/stat : 5411 (clasp-1.0) R 5409 5303 4306 0 -1 4202496 853 0 0 0 523 0 0 0 20 0 1 0 343930107 5201920 751 33554432000 134512640 134847168 4290476928 4290475568 134715280 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5411/statm: 1270 751 272 82 0 511 0
Current children cumulated CPU time (s) 11.71
Current children cumulated vsize (KiB) 40084
[startup+25.5003 s]
/proc/loadavg: 2.28 2.07 2.02 3/181 5485
/proc/meminfo: memFree=27546856/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=17.4 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 2343 36243 0 0 1 1 1731 7 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5433] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5433/stat : 5433 (sh) S 5303 5303 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343931202 9367552 264 33554432000 4194304 5064252 140735239241664 140735239239920 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5433/statm: 2287 264 223 213 0 72 0
[pid=5435] ppid=5433 vsize=5204 CPUtime=7.07 cores=1,3,5,7
/proc/5435/stat : 5435 (clasp-1.0) R 5433 5303 4306 0 -1 4202496 894 0 0 0 707 0 0 0 20 0 1 0 343931202 5328896 792 33554432000 134512640 134847168 4288919792 4288918560 134737597 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5435/statm: 1301 792 270 82 0 542 0
Current children cumulated CPU time (s) 24.47
Current children cumulated vsize (KiB) 40208
[startup+51.1002 s]
/proc/loadavg: 2.18 2.07 2.02 3/181 5517
/proc/meminfo: memFree=27544168/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=46.65 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 2827 47471 0 0 1 1 4653 10 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5515] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5515/stat : 5515 (sh) S 5303 5303 4306 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 343934129 9367552 263 33554432000 4194304 5064252 140736742460992 140736742459248 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5515/statm: 2287 263 223 213 0 72 0
[pid=5517] ppid=5515 vsize=4676 CPUtime=3.41 cores=1,3,5,7
/proc/5517/stat : 5517 (clasp-1.0) R 5515 5303 4306 0 -1 4202496 769 0 0 0 341 0 0 0 20 0 1 0 343934129 4788224 667 33554432000 134512640 134847168 4292264752 4292263448 134616823 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5517/statm: 1169 667 270 82 0 410 0
Current children cumulated CPU time (s) 50.06
Current children cumulated vsize (KiB) 39680
[startup+102.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/181 5517
/proc/meminfo: memFree=27538212/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=46.65 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 2827 47471 0 0 1 1 4653 10 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5515] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5515/stat : 5515 (sh) S 5303 5303 4306 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 343934129 9367552 263 33554432000 4194304 5064252 140736742460992 140736742459248 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5515/statm: 2287 263 223 213 0 72 0
[pid=5517] ppid=5515 vsize=7528 CPUtime=54.6 cores=1,3,5,7
/proc/5517/stat : 5517 (clasp-1.0) R 5515 5303 4306 0 -1 4202496 1465 0 0 0 5460 0 0 0 20 0 1 0 343934129 7708672 1366 33554432000 134512640 134847168 4292264752 4292263376 134784622 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5517/statm: 1882 1366 270 82 0 1123 0
Current children cumulated CPU time (s) 101.25
Current children cumulated vsize (KiB) 42532
[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/181 5517
/proc/meminfo: memFree=27534860/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=46.65 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 2827 47471 0 0 1 1 4653 10 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5515] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5515/stat : 5515 (sh) S 5303 5303 4306 0 -1 4202496 369 220 0 0 0 0 0 0 20 0 1 0 343934129 9367552 263 33554432000 4194304 5064252 140736742460992 140736742459248 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5515/statm: 2287 263 223 213 0 72 0
[pid=5517] ppid=5515 vsize=9200 CPUtime=114.59 cores=1,3,5,7
/proc/5517/stat : 5517 (clasp-1.0) R 5515 5303 4306 0 -1 4202496 1855 0 0 0 11459 0 0 0 20 0 1 0 343934129 9420800 1767 33554432000 134512640 134847168 4292264752 4292263376 134784798 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5517/statm: 2300 1767 270 82 0 1541 0
Current children cumulated CPU time (s) 161.24
Current children cumulated vsize (KiB) 44204
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/182 5536
/proc/meminfo: memFree=27534476/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=183.6 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 3067 53928 0 0 1 1 18345 13 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5534] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5534/stat : 5534 (sh) S 5303 5303 4306 0 -1 4202496 370 220 0 0 0 0 0 0 20 0 1 0 343947827 9367552 264 33554432000 4194304 5064252 140733691488960 140733691487216 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5534/statm: 2287 264 223 213 0 72 0
[pid=5536] ppid=5534 vsize=7108 CPUtime=37.63 cores=1,3,5,7
/proc/5536/stat : 5536 (clasp-1.0) R 5534 5303 4306 0 -1 4202496 1358 0 0 0 3763 0 0 0 20 0 1 0 343947827 7278592 1256 33554432000 134512640 134847168 4290434976 4290433660 134789696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5536/statm: 1777 1256 272 82 0 1018 0
Current children cumulated CPU time (s) 221.23
Current children cumulated vsize (KiB) 42112
[startup+282.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/181 5552
/proc/meminfo: memFree=27534980/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=267.06 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 3304 60452 0 0 1 1 26689 15 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5550] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/182 5593
/proc/meminfo: memFree=27510148/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=286.53 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 3420 63488 0 0 1 1 28636 15 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5558] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5558/stat : 5558 (sh) S 5303 5303 4306 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 343958124 9367552 264 33554432000 4194304 5064252 140733586126864 140733586125120 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5558/statm: 2287 264 223 213 0 72 0
[pid=5560] ppid=5558 vsize=16508 CPUtime=1134.48 cores=1,3,5,7
/proc/5560/stat : 5560 (clasp-1.0) R 5558 5303 4306 0 -1 4202496 3553 0 0 0 113448 0 0 0 20 0 1 0 343958124 16904192 3583 33554432000 134512640 134847168 4292986464 4292985148 134784496 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5560/statm: 4127 3583 270 82 0 3368 0
Current children cumulated CPU time (s) 1421.01
Current children cumulated vsize (KiB) 51512
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5593
/proc/meminfo: memFree=27509784/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=286.53 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 3420 63488 0 0 1 1 28636 15 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5558] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5558/stat : 5558 (sh) S 5303 5303 4306 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 343958124 9367552 264 33554432000 4194304 5064252 140733586126864 140733586125120 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5558/statm: 2287 264 223 213 0 72 0
[pid=5560] ppid=5558 vsize=16816 CPUtime=1194.47 cores=1,3,5,7
/proc/5560/stat : 5560 (clasp-1.0) R 5558 5303 4306 0 -1 4202496 3603 0 0 0 119447 0 0 0 20 0 1 0 343958124 17219584 3633 33554432000 134512640 134847168 4292986464 4292985104 134782435 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5560/statm: 4204 3633 270 82 0 3445 0
Current children cumulated CPU time (s) 1481
Current children cumulated vsize (KiB) 51820
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5594
/proc/meminfo: memFree=27509100/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=286.53 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 3420 63488 0 0 1 1 28636 15 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5558] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5558/stat : 5558 (sh) S 5303 5303 4306 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 343958124 9367552 264 33554432000 4194304 5064252 140733586126864 140733586125120 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5558/statm: 2287 264 223 213 0 72 0
[pid=5560] ppid=5558 vsize=17084 CPUtime=1254.46 cores=1,3,5,7
/proc/5560/stat : 5560 (clasp-1.0) R 5558 5303 4306 0 -1 4202496 3683 0 0 0 125446 0 0 0 20 0 1 0 343958124 17494016 3758 33554432000 134512640 134847168 4292986464 4292985088 134784711 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5560/statm: 4271 3758 270 82 0 3512 0
Current children cumulated CPU time (s) 1540.99
Current children cumulated vsize (KiB) 52088
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5594
/proc/meminfo: memFree=27508788/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=286.53 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 3420 63488 0 0 1 1 28636 15 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5558] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5558/stat : 5558 (sh) S 5303 5303 4306 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 343958124 9367552 264 33554432000 4194304 5064252 140733586126864 140733586125120 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5558/statm: 2287 264 223 213 0 72 0
[pid=5560] ppid=5558 vsize=17392 CPUtime=1314.45 cores=1,3,5,7
/proc/5560/stat : 5560 (clasp-1.0) R 5558 5303 4306 0 -1 4202496 3726 0 0 0 131445 0 0 0 20 0 1 0 343958124 17809408 3801 33554432000 134512640 134847168 4292986464 4292985140 134784581 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5560/statm: 4348 3801 270 82 0 3589 0
Current children cumulated CPU time (s) 1600.98
Current children cumulated vsize (KiB) 52396
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5594
/proc/meminfo: memFree=27508044/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=286.53 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 3420 63488 0 0 1 1 28636 15 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5558] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5558/stat : 5558 (sh) S 5303 5303 4306 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 343958124 9367552 264 33554432000 4194304 5064252 140733586126864 140733586125120 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5558/statm: 2287 264 223 213 0 72 0
[pid=5560] ppid=5558 vsize=17540 CPUtime=1374.44 cores=1,3,5,7
/proc/5560/stat : 5560 (clasp-1.0) R 5558 5303 4306 0 -1 4202496 3768 0 0 0 137444 0 0 0 20 0 1 0 343958124 17960960 3843 33554432000 134512640 134847168 4292986464 4292985088 134784656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5560/statm: 4385 3843 270 82 0 3626 0
Current children cumulated CPU time (s) 1660.97
Current children cumulated vsize (KiB) 52544
[startup+1722.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5594
/proc/meminfo: memFree=27507672/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=286.53 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 3420 63488 0 0 1 1 28636 15 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5558] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5558/stat : 5558 (sh) S 5303 5303 4306 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 343958124 9367552 264 33554432000 4194304 5064252 140733586126864 140733586125120 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5558/statm: 2287 264 223 213 0 72 0
[pid=5560] ppid=5558 vsize=17692 CPUtime=1434.43 cores=1,3,5,7
/proc/5560/stat : 5560 (clasp-1.0) R 5558 5303 4306 0 -1 4202496 3817 0 0 0 143443 0 0 0 20 0 1 0 343958124 18116608 3892 33554432000 134512640 134847168 4292986464 4292984928 134713707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5560/statm: 4423 3892 270 82 0 3664 0
Current children cumulated CPU time (s) 1720.96
Current children cumulated vsize (KiB) 52696
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5594
/proc/meminfo: memFree=27506804/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=286.53 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 3420 63488 0 0 1 1 28636 15 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5558] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5558/stat : 5558 (sh) S 5303 5303 4306 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 343958124 9367552 264 33554432000 4194304 5064252 140733586126864 140733586125120 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5558/statm: 2287 264 223 213 0 72 0
[pid=5560] ppid=5558 vsize=18024 CPUtime=1494.42 cores=1,3,5,7
/proc/5560/stat : 5560 (clasp-1.0) R 5558 5303 4306 0 -1 4202496 3892 0 0 0 149442 0 0 0 20 0 1 0 343958124 18456576 3967 33554432000 134512640 134847168 4292986464 4292985148 134789696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5560/statm: 4506 3967 270 82 0 3747 0
Current children cumulated CPU time (s) 1780.95
Current children cumulated vsize (KiB) 53028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5594
/proc/meminfo: memFree=27506432/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=286.53 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 3420 63488 0 0 1 1 28636 15 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 3 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5558] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5558/stat : 5558 (sh) S 5303 5303 4306 0 -1 4202496 371 221 0 0 0 0 0 0 20 0 1 0 343958124 9367552 264 33554432000 4194304 5064252 140733586126864 140733586125120 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5558/statm: 2287 264 223 213 0 72 0
[pid=5560] ppid=5558 vsize=18172 CPUtime=1513.53 cores=1,3,5,7
/proc/5560/stat : 5560 (clasp-1.0) R 5558 5303 4306 0 -1 4202496 3908 0 0 0 151353 0 0 0 20 0 1 0 343958124 18608128 3983 33554432000 134512640 134847168 4292986464 4292985088 134784608 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5560/statm: 4543 3983 270 82 0 3784 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 53176
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5303
Solver just ended. Dumping a history of the last processes samples
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5594
/proc/meminfo: memFree=27506432/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=1800.1 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 3585 70166 0 0 1 2 179990 17 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 25856
[startup+1803 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 5613
/proc/meminfo: memFree=27547872/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=1800.1 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 3585 70166 0 0 1 2 179990 17 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5604] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5604/stat : 5604 (sh) S 5303 5303 4306 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 344109504 9367552 264 33554432000 4194304 5064252 140736778573328 140736778571584 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5604/statm: 2287 264 223 213 0 72 0
[pid=5607] ppid=5604 vsize=4412 CPUtime=1.56 cores=1,3,5,7
/proc/5607/stat : 5607 (clasp-1.0) R 5604 5303 4306 0 -1 4202496 703 0 0 0 156 0 0 0 20 0 1 0 344109504 4517888 600 33554432000 134512640 134847168 4289532816 4289531584 134737223 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5607/statm: 1103 600 270 82 0 344 0
Current children cumulated CPU time (s) 1801.66
Current children cumulated vsize (KiB) 39416
[startup+1803.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 5613
/proc/meminfo: memFree=27547872/32873844 swapFree=7372/7372
[pid=5303] ppid=5301 vsize=25856 CPUtime=1800.1 cores=1,3,5,7
/proc/5303/stat : 5303 (pbclasp) S 5301 5303 4306 0 -1 4202496 3585 70166 0 0 1 2 179990 17 20 0 1 0 343929361 26476544 572 33554432000 4194304 4198148 140734273810160 140734273809088 251035447326 0 0 4230 16384 18446744071579302229 0 0 17 1 0 0 51 0 0
/proc/5303/statm: 6464 572 387 1 0 259 0
[pid=5604] ppid=5303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5604/stat : 5604 (sh) S 5303 5303 4306 0 -1 4202496 373 221 0 0 0 0 0 0 20 0 1 0 344109504 9367552 264 33554432000 4194304 5064252 140736778573328 140736778571584 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5604/statm: 2287 264 223 213 0 72 0
[pid=5607] ppid=5604 vsize=4552 CPUtime=1.96 cores=1,3,5,7
/proc/5607/stat : 5607 (clasp-1.0) R 5604 5303 4306 0 -1 4202496 722 0 0 0 196 0 0 0 20 0 1 0 344109504 4661248 619 33554432000 134512640 134847168 4289532816 4289531440 134784656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5607/statm: 1138 619 270 82 0 379 0
Current children cumulated CPU time (s) 1802.06
Current children cumulated vsize (KiB) 39556
Child status: 0
Real time (s): 1803.42
CPU time (s): 1802.11
CPU user time (s): 1801.9
CPU system time (s): 0.202969
CPU usage (%): 99.927
Max. virtual memory (cumulated for all children) (KiB): 53176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.9
system time used= 0.202969
maximum resident set size= 15932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75218
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 636
involuntary context switches= 2301
runsolver used 2.71859 second user time and 7.17991 second system time
The end