runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3299497-1304049474/watcher-3299497-1304049474 -o /tmp/evaluation-result-3299497-1304049474/solver-3299497-1304049474 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299497-1304049474.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.98 7.86 8.01 2/176 27362
/proc/meminfo: memFree=14538244/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=21676 CPUtime=0 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 710 0 0 0 0 0 0 0 18 0 1 0 595178059 22196224 632 33554432000 4194304 4964704 140734907507008 18446744073709551615 218880564992 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27362/statm: 5419 632 385 189 0 293 0
[startup+0.0218911 s]
/proc/loadavg: 6.98 7.86 8.01 2/176 27362
/proc/meminfo: memFree=14538244/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=24664 CPUtime=0.02 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 1622 0 0 0 2 0 0 0 18 0 1 0 595178059 25255936 1365 33554432000 4194304 4964704 140734907507008 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27362/statm: 6166 1365 396 189 0 1040 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 24664
[startup+0.100866 s]
/proc/loadavg: 6.98 7.86 8.01 2/176 27362
/proc/meminfo: memFree=14538244/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=24928 CPUtime=0.09 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 1724 0 0 0 9 0 0 0 18 0 1 0 595178059 25526272 1467 33554432000 4194304 4964704 140734907507008 18446744073709551615 218880225989 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/27362/statm: 6232 1467 399 189 0 1106 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24928
[startup+0.300719 s]
/proc/loadavg: 6.98 7.86 8.01 2/176 27362
/proc/meminfo: memFree=14538244/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=171808 CPUtime=0.66 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 2715 0 0 0 66 0 0 0 18 0 4 0 595178059 175931392 2329 33554432000 4194304 4964704 140734907507008 18446744073709551615 4627259 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 42952 2329 458 189 0 37301 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 171808
[startup+0.700651 s]
/proc/loadavg: 6.98 7.86 8.01 2/176 27362
/proc/meminfo: memFree=14538244/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=173872 CPUtime=2.26 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 4439 0 0 0 225 1 0 0 18 0 4 0 595178059 178044928 4053 33554432000 4194304 4964704 140734907507008 18446744073709551615 4627362 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 43468 4053 458 189 0 37817 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 173872
[startup+1.50051 s]
/proc/loadavg: 7.06 7.87 8.01 10/184 27370
/proc/meminfo: memFree=14507448/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=240992 CPUtime=5.45 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 6064 0 0 0 544 1 0 0 19 0 4 0 595178059 246775808 5678 33554432000 4194304 4964704 140734907507008 18446744073709551615 4653294 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 60248 5678 458 189 0 54597 0
[pid=27362/tid=27368] ppid=27357 vsize=240992 CPUtime=1.31 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 946 0 0 0 131 0 0 0 19 0 4 0 595178077 246775808 5678 33554432000 4194304 4964704 140734907507008 18446744073709551615 4627536 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=240992 CPUtime=1.31 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 1334 0 0 0 131 0 0 0 19 0 4 0 595178077 246775808 5678 33554432000 4194304 4964704 140734907507008 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=240992 CPUtime=1.32 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 986 0 0 0 132 0 0 0 23 0 4 0 595178077 246775808 5678 33554432000 4194304 4964704 140734907507008 18446744073709551615 4632289 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 240992
[startup+3.10023 s]
/proc/loadavg: 7.06 7.87 8.01 10/184 27370
/proc/meminfo: memFree=14494556/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=241288 CPUtime=11.84 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 7461 0 0 0 1183 1 0 0 24 0 4 0 595178059 247078912 7075 33554432000 4194304 4964704 140734907507008 18446744073709551615 4325336 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 60322 7075 460 189 0 54671 0
[pid=27362/tid=27368] ppid=27357 vsize=241288 CPUtime=2.91 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 1589 0 0 0 291 0 0 0 25 0 4 0 595178077 247078912 7075 33554432000 4194304 4964704 140734907507008 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=241288 CPUtime=2.91 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 1492 0 0 0 291 0 0 0 25 0 4 0 595178077 247078912 7075 33554432000 4194304 4964704 140734907507008 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=241288 CPUtime=2.92 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 1467 0 0 0 292 0 0 0 25 0 4 0 595178077 247078912 7075 33554432000 4194304 4964704 140734907507008 18446744073709551615 4332393 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.84
Current children cumulated vsize (KiB) 241288
[startup+6.30067 s]
/proc/loadavg: 7.06 7.87 8.01 10/184 27370
/proc/meminfo: memFree=14478492/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=241692 CPUtime=24.63 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 9102 0 0 0 2461 2 0 0 25 0 4 0 595178059 247492608 8716 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 60423 8716 460 189 0 54772 0
[pid=27362/tid=27368] ppid=27357 vsize=241692 CPUtime=6.11 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 1871 0 0 0 611 0 0 0 25 0 4 0 595178077 247492608 8716 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=241692 CPUtime=6.11 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 1927 0 0 0 611 0 0 0 25 0 4 0 595178077 247492608 8716 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670179 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=241692 CPUtime=6.12 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 1883 0 0 0 612 0 0 0 25 0 4 0 595178077 247492608 8716 33554432000 4194304 4964704 140734907507008 18446744073709551615 4627540 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.63
Current children cumulated vsize (KiB) 241692
[startup+12.7006 s]
/proc/loadavg: 6.97 7.82 7.99 9/184 27400
/proc/meminfo: memFree=14452600/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=248780 CPUtime=50.2 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 14032 0 0 0 5015 5 0 0 25 0 4 0 595178059 254750720 13643 33554432000 4194304 4964704 140734907507008 18446744073709551615 4627365 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 62195 13643 460 189 0 56544 0
[pid=27362/tid=27368] ppid=27357 vsize=248780 CPUtime=12.52 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 3683 0 0 0 1251 1 0 0 25 0 4 0 595178077 254750720 13643 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=248780 CPUtime=12.51 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 3283 0 0 0 1251 0 0 0 25 0 4 0 595178077 254750720 13643 33554432000 4194304 4964704 140734907507008 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=248780 CPUtime=12.51 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 2417 0 0 0 1251 0 0 0 25 0 4 0 595178077 254750720 13643 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.2
Current children cumulated vsize (KiB) 248780
[startup+25.5003 s]
/proc/loadavg: 7.13 7.83 7.99 9/184 27400
/proc/meminfo: memFree=14366764/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=250632 CPUtime=101.33 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 17862 0 0 0 10126 7 0 0 25 0 4 0 595178059 256647168 17472 33554432000 4194304 4964704 140734907507008 18446744073709551615 4312137 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 62658 17472 460 189 0 57007 0
[pid=27362/tid=27368] ppid=27357 vsize=250632 CPUtime=25.31 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 5601 0 0 0 2529 2 0 0 25 0 4 0 595178077 256647168 17472 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=250632 CPUtime=25.32 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 3979 0 0 0 2531 1 0 0 25 0 4 0 595178077 256647168 17472 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=250632 CPUtime=25.31 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 2701 0 0 0 2531 0 0 0 25 0 4 0 595178077 256647168 17472 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 250632
[startup+51.1009 s]
/proc/loadavg: 7.42 7.84 7.99 9/184 27401
/proc/meminfo: memFree=14269392/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=258648 CPUtime=203.6 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 25512 0 0 0 20347 13 0 0 25 0 4 0 595178059 264855552 24917 33554432000 4194304 4964704 140734907507008 18446744073709551615 4668918 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 64662 24917 460 189 0 59011 0
[pid=27362/tid=27368] ppid=27357 vsize=258648 CPUtime=50.91 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 8253 0 0 0 5087 4 0 0 25 0 4 0 595178077 264855552 24917 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670454 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=258648 CPUtime=50.92 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 7200 0 0 0 5089 3 0 0 25 0 4 0 595178077 264855552 24917 33554432000 4194304 4964704 140734907507008 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=258648 CPUtime=50.91 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 4074 0 0 0 5089 2 0 0 25 0 4 0 595178077 264855552 24917 33554432000 4194304 4964704 140734907507008 18446744073709551615 4660075 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.6
Current children cumulated vsize (KiB) 258648
[startup+102.307 s]
/proc/loadavg: 7.80 7.88 8.00 9/184 27403
/proc/meminfo: memFree=14153584/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=266764 CPUtime=408.14 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 35638 0 0 0 40793 21 0 0 25 0 4 0 595178059 273166336 34611 33554432000 4194304 4964704 140734907507008 18446744073709551615 4684030 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 66691 34611 460 189 0 61040 0
[pid=27362/tid=27368] ppid=27357 vsize=266764 CPUtime=102.11 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 10127 0 0 0 10206 5 0 0 25 0 4 0 595178077 273166336 34611 33554432000 4194304 4964704 140734907507008 18446744073709551615 4660129 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=266764 CPUtime=102.12 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 9531 0 0 0 10208 4 0 0 25 0 4 0 595178077 273166336 34611 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670269 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=266764 CPUtime=102.11 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 8104 0 0 0 10205 6 0 0 25 0 4 0 595178077 273166336 34611 33554432000 4194304 4964704 140734907507008 18446744073709551615 4321013 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.14
Current children cumulated vsize (KiB) 266764
[startup+162.3 s]
/proc/loadavg: 7.93 7.90 8.00 9/184 27404
/proc/meminfo: memFree=14058692/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=275708 CPUtime=647.8 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 40949 0 0 0 64754 26 0 0 25 0 4 0 595178059 282324992 39732 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670241 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 68927 39732 460 189 0 63276 0
[pid=27362/tid=27368] ppid=27357 vsize=275708 CPUtime=162.1 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 11900 0 0 0 16204 6 0 0 25 0 4 0 595178077 282324992 39732 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=275708 CPUtime=162.12 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 9934 0 0 0 16207 5 0 0 25 0 4 0 595178077 282324992 39732 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=275708 CPUtime=162.1 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 10470 0 0 0 16202 8 0 0 25 0 4 0 595178077 282324992 39732 33554432000 4194304 4964704 140734907507008 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 647.8
Current children cumulated vsize (KiB) 275708
[startup+222.301 s]
/proc/loadavg: 7.97 7.91 8.00 9/184 27415
/proc/meminfo: memFree=13982440/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=279416 CPUtime=887.46 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 47060 0 0 0 88714 32 0 0 25 0 4 0 595178059 286121984 45843 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670241 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 69854 45843 460 189 0 64203 0
[pid=27362/tid=27368] ppid=27357 vsize=279416 CPUtime=222.1 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 14891 0 0 0 22201 9 0 0 25 0 4 0 595178077 286121984 45843 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=279416 CPUtime=222.11 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 12693 0 0 0 22203 8 0 0 25 0 4 0 595178077 286121984 45843 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=279416 CPUtime=222.09 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 10500 0 0 0 22201 8 0 0 25 0 4 0 595178077 286121984 45843 33554432000 4194304 4964704 140734907507008 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 887.46
Current children cumulated vsize (KiB) 279416
[startup+282.301 s]
################
# More data... #
################
/proc/27362/statm: 71653 54473 460 189 0 66002 0
[pid=27362/tid=27368] ppid=27357 vsize=286612 CPUtime=342.09 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 16340 0 0 0 34199 10 0 0 25 0 4 0 595178077 293490688 54473 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=286612 CPUtime=342.11 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 14716 0 0 0 34203 8 0 0 25 0 4 0 595178077 293490688 54473 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=286612 CPUtime=342.08 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 14985 0 0 0 34194 14 0 0 25 0 4 0 595178077 293490688 54473 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1366.81
Current children cumulated vsize (KiB) 286612
[startup+402.301 s]
/proc/loadavg: 8.10 7.99 8.00 9/184 27420
/proc/meminfo: memFree=13822904/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=289116 CPUtime=1606.49 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 57298 0 0 0 160607 42 0 0 25 0 4 0 595178059 296054784 55373 33554432000 4194304 4964704 140734907507008 18446744073709551615 4342144 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 72279 55373 460 189 0 66628 0
[pid=27362/tid=27368] ppid=27357 vsize=289116 CPUtime=402.08 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 16682 0 0 0 40198 10 0 0 25 0 4 0 595178077 296054784 55373 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=289116 CPUtime=402.11 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 15145 0 0 0 40203 8 0 0 25 0 4 0 595178077 296054784 55373 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=289116 CPUtime=402.08 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 15138 0 0 0 40193 15 0 0 25 0 4 0 595178077 296054784 55373 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1606.49
Current children cumulated vsize (KiB) 289116
[startup+462.3 s]
/proc/loadavg: 8.14 8.02 8.01 9/184 27421
/proc/meminfo: memFree=13781584/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=294040 CPUtime=1846.16 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 59198 0 0 0 184573 43 0 0 25 0 4 0 595178059 301096960 57081 33554432000 4194304 4964704 140734907507008 18446744073709551615 4342232 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 73510 57081 460 189 0 67859 0
[pid=27362/tid=27368] ppid=27357 vsize=294040 CPUtime=462.08 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 16992 0 0 0 46198 10 0 0 25 0 4 0 595178077 301096960 57081 33554432000 4194304 4964704 140734907507008 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=294040 CPUtime=462.11 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 15520 0 0 0 46202 9 0 0 25 0 4 0 595178077 301096960 57081 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=294040 CPUtime=462.08 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 15186 0 0 0 46193 15 0 0 25 0 4 0 595178077 301096960 57081 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1846.16
Current children cumulated vsize (KiB) 294040
[startup+522.301 s]
/proc/loadavg: 8.14 8.04 8.01 9/184 27423
/proc/meminfo: memFree=13735936/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=298084 CPUtime=2085.82 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 61457 0 0 0 208538 44 0 0 25 0 4 0 595178059 305238016 59193 33554432000 4194304 4964704 140734907507008 18446744073709551615 4669056 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 74521 59193 460 189 0 68870 0
[pid=27362/tid=27368] ppid=27357 vsize=298084 CPUtime=522.07 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 17408 0 0 0 52197 10 0 0 25 0 4 0 595178077 305238016 59193 33554432000 4194304 4964704 140734907507008 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=298084 CPUtime=522.11 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 16035 0 0 0 52202 9 0 0 25 0 4 0 595178077 305238016 59193 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=298084 CPUtime=522.07 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 16167 0 0 0 52192 15 0 0 25 0 4 0 595178077 305238016 59193 33554432000 4194304 4964704 140734907507008 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2085.82
Current children cumulated vsize (KiB) 298084
Solver just ended. Dumping a history of the last processes samples
[startup+524.706 s]
/proc/loadavg: 8.14 8.04 8.01 9/184 27423
/proc/meminfo: memFree=13734324/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=298084 CPUtime=2095.43 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 61492 0 0 0 209499 44 0 0 25 0 4 0 595178059 305238016 59228 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 74521 59228 460 189 0 68870 0
[pid=27362/tid=27368] ppid=27357 vsize=298084 CPUtime=524.47 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 17408 0 0 0 52437 10 0 0 25 0 4 0 595178077 305238016 59228 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670250 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=298084 CPUtime=524.52 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 16068 0 0 0 52443 9 0 0 25 0 4 0 595178077 305238016 59228 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670193 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=298084 CPUtime=524.47 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 16167 0 0 0 52432 15 0 0 25 0 4 0 595178077 305238016 59228 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2095.43
Current children cumulated vsize (KiB) 298084
[startup+531.1 s]
/proc/loadavg: 8.21 8.06 8.02 9/184 27423
/proc/meminfo: memFree=13729844/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=298400 CPUtime=2120.97 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 61524 0 0 0 212053 44 0 0 25 0 4 0 595178059 305561600 59260 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670230 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 74600 59260 460 189 0 68949 0
[pid=27362/tid=27368] ppid=27357 vsize=298400 CPUtime=530.87 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 17440 0 0 0 53077 10 0 0 25 0 4 0 595178077 305561600 59260 33554432000 4194304 4964704 140734907507008 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=298400 CPUtime=530.91 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 16068 0 0 0 53082 9 0 0 25 0 4 0 595178077 305561600 59260 33554432000 4194304 4964704 140734907507008 18446744073709551615 4660077 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=298400 CPUtime=530.87 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 16167 0 0 0 53072 15 0 0 25 0 4 0 595178077 305561600 59260 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2120.97
Current children cumulated vsize (KiB) 298400
[startup+537.501 s]
/proc/loadavg: 8.18 8.05 8.02 9/184 27423
/proc/meminfo: memFree=13722280/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=298400 CPUtime=2146.54 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 62174 0 0 0 214609 45 0 0 25 0 4 0 595178059 305561600 59910 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670252 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 74600 59910 460 189 0 68949 0
[pid=27362/tid=27368] ppid=27357 vsize=298400 CPUtime=537.27 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 17445 0 0 0 53717 10 0 0 25 0 4 0 595178077 305561600 59910 33554432000 4194304 4964704 140734907507008 18446744073709551615 4659143 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=298400 CPUtime=537.31 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 16069 0 0 0 53722 9 0 0 25 0 4 0 595178077 305561600 59910 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=298400 CPUtime=537.26 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 16168 0 0 0 53711 15 0 0 25 0 4 0 595178077 305561600 59910 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2146.54
Current children cumulated vsize (KiB) 298400
[startup+540.701 s]
/proc/loadavg: 8.18 8.05 8.02 9/184 27423
/proc/meminfo: memFree=13718064/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=298400 CPUtime=2159.33 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 62597 0 0 0 215887 46 0 0 25 0 4 0 595178059 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 74600 60333 460 189 0 68949 0
[pid=27362/tid=27368] ppid=27357 vsize=298400 CPUtime=540.47 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 17452 0 0 0 54037 10 0 0 25 0 4 0 595178077 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=298400 CPUtime=540.51 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 16071 0 0 0 54042 9 0 0 25 0 4 0 595178077 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670419 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=298400 CPUtime=540.46 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 16168 0 0 0 54031 15 0 0 25 0 4 0 595178077 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2159.33
Current children cumulated vsize (KiB) 298400
[startup+541.5 s]
/proc/loadavg: 8.16 8.05 8.02 9/184 27423
/proc/meminfo: memFree=13716576/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=298400 CPUtime=2162.52 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 62597 0 0 0 216206 46 0 0 25 0 4 0 595178059 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670184 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 74600 60333 460 189 0 68949 0
[pid=27362/tid=27368] ppid=27357 vsize=298400 CPUtime=541.27 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 17452 0 0 0 54117 10 0 0 25 0 4 0 595178077 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=298400 CPUtime=541.31 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 16071 0 0 0 54122 9 0 0 25 0 4 0 595178077 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=298400 CPUtime=541.26 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 16168 0 0 0 54111 15 0 0 25 0 4 0 595178077 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670266 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2162.52
Current children cumulated vsize (KiB) 298400
[startup+541.9 s]
/proc/loadavg: 8.16 8.05 8.02 9/184 27423
/proc/meminfo: memFree=13716576/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=298400 CPUtime=2164.12 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 62597 0 0 0 216366 46 0 0 25 0 4 0 595178059 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4362228 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 74600 60333 460 189 0 68949 0
[pid=27362/tid=27368] ppid=27357 vsize=298400 CPUtime=541.67 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 17452 0 0 0 54157 10 0 0 25 0 4 0 595178077 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=298400 CPUtime=541.71 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 16071 0 0 0 54162 9 0 0 25 0 4 0 595178077 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670277 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=298400 CPUtime=541.66 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 16168 0 0 0 54151 15 0 0 25 0 4 0 595178077 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2164.12
Current children cumulated vsize (KiB) 298400
[startup+542.306 s]
/proc/loadavg: 8.16 8.05 8.02 9/184 27423
/proc/meminfo: memFree=13715212/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=298400 CPUtime=2165.74 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 62597 0 0 0 216528 46 0 0 25 0 4 0 595178059 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4627263 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/27362/statm: 74600 60333 460 189 0 68949 0
[pid=27362/tid=27368] ppid=27357 vsize=298400 CPUtime=542.07 cores=0,2,4,6
/proc/27362/task/27368/stat : 27368 (claspmt) R 27357 27362 26812 0 -1 4202560 17452 0 0 0 54197 10 0 0 25 0 4 0 595178077 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670255 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=27362/tid=27369] ppid=27357 vsize=298400 CPUtime=542.12 cores=0,2,4,6
/proc/27362/task/27369/stat : 27369 (claspmt) R 27357 27362 26812 0 -1 4202560 16071 0 0 0 54203 9 0 0 25 0 4 0 595178077 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=27362/tid=27370] ppid=27357 vsize=298400 CPUtime=542.07 cores=0,2,4,6
/proc/27362/task/27370/stat : 27370 (claspmt) R 27357 27362 26812 0 -1 4202560 16168 0 0 0 54192 15 0 0 25 0 4 0 595178077 305561600 60333 33554432000 4194304 4964704 140734907507008 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2165.74
Current children cumulated vsize (KiB) 298400
[startup+542.4 s]
/proc/loadavg: 8.16 8.05 8.02 9/184 27423
/proc/meminfo: memFree=13715212/32950928 swapFree=67111528/67111528
[pid=27362] ppid=27357 vsize=296776 CPUtime=2166.02 cores=0,2,4,6
/proc/27362/stat : 27362 (claspmt) R 27357 27362 26812 0 -1 4202496 62607 0 0 0 216556 46 0 0 25 0 1 0 595178059 303898624 59971 33554432000 4194304 4964704 140734907507008 18446744073709551615 218880221339 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/27362/statm: 74194 59971 470 189 0 68543 0
Current children cumulated CPU time (s) 2166.02
Current children cumulated vsize (KiB) 296776
Child status: 10
Real time (s): 542.431
CPU time (s): 2166.05
CPU user time (s): 2165.58
CPU system time (s): 0.473927
CPU usage (%): 399.324
Max. virtual memory (cumulated for all children) (KiB): 298400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2165.58
system time used= 0.473927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62609
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2776
involuntary context switches= 10808
runsolver used 0.892864 second user time and 1.9697 second system time
The end