Trace number 3299748

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095UNSAT 4234.46 1072.31

General information on the benchmark

NameSAT03/industrial/schuppan/l2s/
bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
MD5SUMf16626953757fdd1326f2a14f01adca9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1015.28
Satisfiable
(Un)Satisfiability was proved
Number of variables435701
Number of clauses1379987
Sum of the clauses size3544455
Maximum clause length304
Minimum clause length1
Number of clauses of size 1142
Number of clauses of size 2654099
Number of clauses of size 3705129
Number of clauses of size 412732
Number of clauses of size 54852
Number of clauses of size over 53033

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...102382/instance-3299748-1304102382.cnf
3.09/7.43	c Solving...
4234.44/1072.30	s UNSATISFIABLE
4234.44/1072.30	
4234.44/1072.30	c Models        : 0     
4234.44/1072.30	c Time          : 1071.490s (Solving: 1064.05s 1st Model: 0.00s Unsat: 1064.05s)
4234.44/1072.30	c CPU Time      : 4233.640s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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-3299748-1304102382/watcher-3299748-1304102382 -o /tmp/evaluation-result-3299748-1304102382/solver-3299748-1304102382 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299748-1304102382.cnf 

running on 4 cores: 1,3,5,7

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.99 7.88 8.01 2/172 26217
/proc/meminfo: memFree=30819200/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=76196 CPUtime=0 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 697 0 0 0 0 0 0 0 21 0 1 0 521838027 78024704 626 33554432000 4194304 4964704 140734400163040 18446744073709551615 4686261 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26217/statm: 19049 626 374 189 0 13923 0

[startup+0.0186979 s]
/proc/loadavg: 6.99 7.88 8.01 2/172 26217
/proc/meminfo: memFree=30819200/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=76196 CPUtime=0 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 5255 0 0 0 0 0 0 0 21 0 1 0 521838027 78024704 5184 33554432000 4194304 4964704 140734400163040 18446744073709551615 4700332 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26217/statm: 19049 5199 375 189 0 13923 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 76196

[startup+0.100688 s]
/proc/loadavg: 6.99 7.88 8.01 2/172 26217
/proc/meminfo: memFree=30819200/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=110864 CPUtime=0.09 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 26258 0 0 0 7 2 0 0 21 0 1 0 521838027 113524736 22492 33554432000 4194304 4964704 140734400163040 18446744073709551615 274664469189 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26217/statm: 27716 22493 388 189 0 22590 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 110864

[startup+0.300645 s]
/proc/loadavg: 6.99 7.88 8.01 2/172 26217
/proc/meminfo: memFree=30819200/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=138712 CPUtime=0.29 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 35576 0 0 0 26 3 0 0 22 0 1 0 521838027 142041088 29432 33554432000 4194304 4964704 140734400163040 18446744073709551615 274664469189 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26217/statm: 34711 29435 388 189 0 29585 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 138712

[startup+0.700569 s]
/proc/loadavg: 6.99 7.88 8.01 2/172 26217
/proc/meminfo: memFree=30819200/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=212292 CPUtime=0.69 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 61062 0 0 0 62 7 0 0 24 0 1 0 521838027 217387008 47138 33554432000 4194304 4964704 140734400163040 18446744073709551615 274664469189 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26217/statm: 53073 47140 399 189 0 47947 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 212292

[startup+1.50047 s]
/proc/loadavg: 6.99 7.88 8.01 3/173 26218
/proc/meminfo: memFree=30594860/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=240596 CPUtime=1.49 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 67699 0 0 0 141 8 0 0 25 0 1 0 521838027 246370304 53775 33554432000 4194304 4964704 140734400163040 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26217/statm: 60149 53775 399 189 0 55023 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 240596

[startup+3.10015 s]
/proc/loadavg: 6.99 7.88 8.01 3/171 26218
/proc/meminfo: memFree=30556120/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=242840 CPUtime=3.09 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 68534 0 0 0 301 8 0 0 25 0 1 0 521838027 248668160 54610 33554432000 4194304 4964704 140734400163040 18446744073709551615 4624165 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26217/statm: 60710 54610 403 189 0 55584 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 242840

[startup+22.4598 s]
/proc/loadavg: 7.83 8.00 8.04 12/182 26231
/proc/meminfo: memFree=29557712/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=494744 CPUtime=52.28 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 124165 0 0 0 5203 25 0 0 25 0 4 0 521838027 506617856 92796 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 123686 92796 458 189 0 118035 0
[pid=26217/tid=26225] ppid=26215 vsize=494744 CPUtime=8.15 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 11477 0 0 0 813 2 0 0 25 0 4 0 521838771 506617856 92796 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=494744 CPUtime=14.99 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 16870 0 0 0 1493 6 0 0 25 0 4 0 521838771 506617856 92796 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=494744 CPUtime=14.98 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 16736 0 0 0 1492 6 0 0 25 0 4 0 521838771 506617856 92796 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 52.28
Current children cumulated vsize (KiB) 494744

[startup+22.5068 s]
/proc/loadavg: 7.83 8.00 8.04 12/182 26231
/proc/meminfo: memFree=29557712/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=494744 CPUtime=52.41 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 124170 0 0 0 5216 25 0 0 25 0 4 0 521838027 506617856 92801 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670419 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 123686 92801 458 189 0 118035 0
[pid=26217/tid=26225] ppid=26215 vsize=494744 CPUtime=8.19 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 11477 0 0 0 817 2 0 0 25 0 4 0 521838771 506617856 92801 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=494744 CPUtime=15.03 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 16873 0 0 0 1497 6 0 0 25 0 4 0 521838771 506617856 92801 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=494744 CPUtime=15.02 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 16738 0 0 0 1496 6 0 0 25 0 4 0 521838771 506617856 92801 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 52.41
Current children cumulated vsize (KiB) 494744

[startup+25.5003 s]
/proc/loadavg: 8.24 8.08 8.07 12/182 26231
/proc/meminfo: memFree=29553496/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=494744 CPUtime=61.38 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 124890 0 0 0 6112 26 0 0 25 0 4 0 521838027 506617856 93521 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668635 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 123686 93521 458 189 0 118035 0
[pid=26217/tid=26225] ppid=26215 vsize=494744 CPUtime=9.68 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 11477 0 0 0 966 2 0 0 25 0 4 0 521838771 506617856 93521 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668609 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=494744 CPUtime=18.02 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 17482 0 0 0 1796 6 0 0 25 0 4 0 521838771 506617856 93521 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=494744 CPUtime=18.01 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 16849 0 0 0 1795 6 0 0 25 0 4 0 521838771 506617856 93521 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668693 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 61.38
Current children cumulated vsize (KiB) 494744

[startup+51.1068 s]
/proc/loadavg: 8.57 8.18 8.10 9/182 26232
/proc/meminfo: memFree=29539920/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=494744 CPUtime=158.86 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 128722 0 0 0 15837 49 0 0 25 0 4 0 521838027 506617856 97353 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668632 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 123686 97353 458 189 0 118035 0
[pid=26217/tid=26225] ppid=26215 vsize=494744 CPUtime=32.81 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 11556 0 0 0 3267 14 0 0 25 0 4 0 521838771 506617856 97353 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668934 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=494744 CPUtime=43.62 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 20126 0 0 0 4350 12 0 0 25 0 4 0 521838771 506617856 97353 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=494744 CPUtime=43.45 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 17935 0 0 0 4334 11 0 0 25 0 4 0 521838771 506617856 97353 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 158.86
Current children cumulated vsize (KiB) 494744

[startup+102.301 s]
/proc/loadavg: 8.32 8.17 8.10 9/182 26233
/proc/meminfo: memFree=29506464/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=495404 CPUtime=363.32 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 136092 0 0 0 36265 67 0 0 25 0 4 0 521838027 507293696 104723 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 123851 104723 458 189 0 118200 0
[pid=26217/tid=26225] ppid=26215 vsize=495404 CPUtime=83.99 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 11915 0 0 0 8384 15 0 0 25 0 4 0 521838771 507293696 104724 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668622 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=495404 CPUtime=94.82 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 25068 0 0 0 9461 21 0 0 25 0 4 0 521838771 507293696 104724 33554432000 4194304 4964704 140734400163040 18446744073709551615 274664469537 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=495404 CPUtime=94.6 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 19584 0 0 0 9442 18 0 0 25 0 4 0 521838771 507293696 104724 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668693 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 363.32
Current children cumulated vsize (KiB) 495404

[startup+162.301 s]
/proc/loadavg: 8.18 8.15 8.09 9/182 26234
/proc/meminfo: memFree=29433784/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=578316 CPUtime=602.99 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 150478 0 0 0 60213 86 0 0 25 0 4 0 521838027 592195584 119109 33554432000 4194304 4964704 140734400163040 18446744073709551615 4653154 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 144579 119109 460 189 0 138928 0
[pid=26217/tid=26225] ppid=26215 vsize=578316 CPUtime=144 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 12829 0 0 0 14383 17 0 0 25 0 4 0 521838771 592195584 119109 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668693 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=578316 CPUtime=154.82 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 34795 0 0 0 15447 35 0 0 25 0 4 0 521838771 592195584 119109 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668635 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=578316 CPUtime=154.6 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 22659 0 0 0 15439 21 0 0 25 0 4 0 521838771 592195584 119109 33554432000 4194304 4964704 140734400163040 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 602.99
Current children cumulated vsize (KiB) 578316

[startup+222.3 s]
/proc/loadavg: 8.13 8.14 8.09 9/182 26236
/proc/meminfo: memFree=29364580/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=599188 CPUtime=842.66 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 164476 0 0 0 84163 103 0 0 25 0 4 0 521838027 613568512 133107 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 149797 133107 460 189 0 144146 0
[pid=26217/tid=26225] ppid=26215 vsize=599188 CPUtime=203.99 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 13870 0 0 0 20381 18 0 0 25 0 4 0 521838771 613568512 133107 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=599188 CPUtime=214.82 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 44809 0 0 0 21436 46 0 0 25 0 4 0 521838771 613568512 133107 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=599188 CPUtime=214.6 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 24734 0 0 0 21436 24 0 0 25 0 4 0 521838771 613568512 133107 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 842.66
Current children cumulated vsize (KiB) 599188

[startup+282.301 s]
/proc/loadavg: 8.17 8.14 8.09 9/182 26238
/proc/meminfo: memFree=29250236/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=686356 CPUtime=1082.33 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 178893 0 0 0 108111 122 0 0 25 0 4 0 521838027 702828544 147524 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 171589 147524 460 189 0 165938 0
[pid=26217/tid=26225] ppid=26215 vsize=686356 CPUtime=263.99 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 15291 0 0 0 26379 20 0 0 25 0 4 0 521838771 702828544 147524 33554432000 4194304 4964704 140734400163040 18446744073709551615 4660364 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=686356 CPUtime=274.82 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 53874 0 0 0 27423 59 0 0 25 0 4 0 521838771 702828544 147524 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=686356 CPUtime=274.6 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 27502 0 0 0 27433 27 0 0 25 0 4 0 521838771 702828544 147524 33554432000 4194304 4964704 140734400163040 18446744073709551615 4332616 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1082.33

################
# More data... #
################

Current children cumulated CPU time (s) 2520.39
Current children cumulated vsize (KiB) 897920

[startup+702.306 s]
/proc/loadavg: 8.03 8.08 8.08 9/182 26249
/proc/meminfo: memFree=28728568/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=980388 CPUtime=2760.08 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 251346 0 0 0 275789 219 0 0 25 0 4 0 521838027 1003917312 219977 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 245097 219977 460 189 0 239446 0
[pid=26217/tid=26225] ppid=26215 vsize=980388 CPUtime=683.99 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 25229 0 0 0 68368 31 0 0 25 0 4 0 521838771 1003917312 219977 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668673 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=980388 CPUtime=694.83 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 98112 0 0 0 69365 118 0 0 25 0 4 0 521838771 1003917312 219977 33554432000 4194304 4964704 140734400163040 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=980388 CPUtime=694.6 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 39107 0 0 0 69417 43 0 0 25 0 4 0 521838771 1003917312 219977 33554432000 4194304 4964704 140734400163040 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2760.08
Current children cumulated vsize (KiB) 980388

[startup+762.301 s]
/proc/loadavg: 8.01 8.07 8.08 9/182 26250
/proc/meminfo: memFree=28648692/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=1048172 CPUtime=2999.74 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 261745 0 0 0 299737 237 0 0 25 0 4 0 521838027 1073328128 230375 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 262043 230375 460 189 0 256392 0
[pid=26217/tid=26225] ppid=26215 vsize=1048172 CPUtime=743.99 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 26455 0 0 0 74366 33 0 0 25 0 4 0 521838771 1073328128 230375 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=1048172 CPUtime=754.83 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 105031 0 0 0 75352 131 0 0 25 0 4 0 521838771 1073328128 230375 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668603 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=1048172 CPUtime=754.6 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 40626 0 0 0 75414 46 0 0 25 0 4 0 521838771 1073328128 230375 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2999.74
Current children cumulated vsize (KiB) 1048172

[startup+822.301 s]
/proc/loadavg: 8.00 8.05 8.07 9/182 26252
/proc/meminfo: memFree=28569564/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=1056640 CPUtime=3239.41 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 272438 0 0 0 323690 251 0 0 25 0 4 0 521838027 1081999360 241063 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 264160 241063 460 189 0 258509 0
[pid=26217/tid=26225] ppid=26215 vsize=1056640 CPUtime=803.99 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 27250 0 0 0 80365 34 0 0 25 0 4 0 521838771 1081999360 241063 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=1056640 CPUtime=814.83 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 111797 0 0 0 81344 139 0 0 25 0 4 0 521838771 1081999360 241063 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=1056640 CPUtime=814.6 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 42701 0 0 0 81411 49 0 0 25 0 4 0 521838771 1081999360 241063 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3239.41
Current children cumulated vsize (KiB) 1056640

[startup+882.3 s]
/proc/loadavg: 8.00 8.04 8.06 9/182 26254
/proc/meminfo: memFree=28496264/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=1140276 CPUtime=3479.08 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 282363 0 0 0 347644 264 0 0 25 0 4 0 521838027 1167642624 250988 33554432000 4194304 4964704 140734400163040 18446744073709551615 4627263 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 285069 250988 460 189 0 279418 0
[pid=26217/tid=26225] ppid=26215 vsize=1140276 CPUtime=863.99 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 29818 0 0 0 86361 38 0 0 25 0 4 0 521838771 1167642624 250988 33554432000 4194304 4964704 140734400163040 18446744073709551615 4669270 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=1140276 CPUtime=874.83 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 116072 0 0 0 87339 144 0 0 25 0 4 0 521838771 1167642624 250988 33554432000 4194304 4964704 140734400163040 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=1140276 CPUtime=874.6 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 44516 0 0 0 87408 52 0 0 25 0 4 0 521838771 1167642624 250988 33554432000 4194304 4964704 140734400163040 18446744073709551615 4669893 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3479.08
Current children cumulated vsize (KiB) 1140276

[startup+942.301 s]
/proc/loadavg: 8.00 8.03 8.06 9/182 26255
/proc/meminfo: memFree=28434248/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=1148212 CPUtime=3718.75 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 286412 0 0 0 371604 271 0 0 25 0 4 0 521838027 1175769088 255031 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668488 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 287053 255031 460 189 0 281402 0
[pid=26217/tid=26225] ppid=26215 vsize=1148212 CPUtime=923.98 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 30234 0 0 0 92360 38 0 0 25 0 4 0 521838771 1175769088 255031 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=1148212 CPUtime=934.84 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 119118 0 0 0 93335 149 0 0 25 0 4 0 521838771 1175769088 255031 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=1148212 CPUtime=934.6 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 44902 0 0 0 93407 53 0 0 25 0 4 0 521838771 1175769088 255031 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668488 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3718.75
Current children cumulated vsize (KiB) 1148212

[startup+1002.3 s]
/proc/loadavg: 8.00 8.02 8.05 9/182 26257
/proc/meminfo: memFree=28401620/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=1149036 CPUtime=3958.43 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 287245 0 0 0 395571 272 0 0 25 0 4 0 521838027 1176612864 255864 33554432000 4194304 4964704 140734400163040 18446744073709551615 4669270 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 287259 255864 460 189 0 281608 0
[pid=26217/tid=26225] ppid=26215 vsize=1149036 CPUtime=983.99 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 30431 0 0 0 98360 39 0 0 25 0 4 0 521838771 1176612864 255864 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668693 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=1149036 CPUtime=994.84 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 119421 0 0 0 99335 149 0 0 25 0 4 0 521838771 1176612864 255864 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668673 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=1149036 CPUtime=994.6 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 44984 0 0 0 99407 53 0 0 25 0 4 0 521838771 1176612864 255864 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3958.43
Current children cumulated vsize (KiB) 1149036

[startup+1062.3 s]
/proc/loadavg: 8.12 8.05 8.06 9/182 26258
/proc/meminfo: memFree=28375316/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=1149180 CPUtime=4198.1 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 288703 0 0 0 419535 275 0 0 25 0 4 0 521838027 1176760320 257314 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668654 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 287295 257314 460 189 0 281644 0
[pid=26217/tid=26225] ppid=26215 vsize=1149180 CPUtime=1043.99 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 30850 0 0 0 104359 40 0 0 25 0 4 0 521838771 1176760320 257314 33554432000 4194304 4964704 140734400163040 18446744073709551615 4654508 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=1149180 CPUtime=1054.84 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 119934 0 0 0 105334 150 0 0 25 0 4 0 521838771 1176760320 257314 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=1149180 CPUtime=1054.6 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 45007 0 0 0 105407 53 0 0 25 0 4 0 521838771 1176760320 257314 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4198.1
Current children cumulated vsize (KiB) 1149180

Solver just ended. Dumping a history of the last processes samples

[startup+1068.7 s]
/proc/loadavg: 8.11 8.05 8.06 9/182 26258
/proc/meminfo: memFree=28369612/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=1149180 CPUtime=4223.67 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 288703 0 0 0 422092 275 0 0 25 0 4 0 521838027 1176760320 257314 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670100 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 287295 257314 460 189 0 281644 0
[pid=26217/tid=26225] ppid=26215 vsize=1149180 CPUtime=1050.39 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 30850 0 0 0 104999 40 0 0 25 0 4 0 521838771 1176760320 257314 33554432000 4194304 4964704 140734400163040 18446744073709551615 4670100 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=1149180 CPUtime=1061.24 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 119934 0 0 0 105974 150 0 0 25 0 4 0 521838771 1176760320 257314 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=1149180 CPUtime=1061 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 45007 0 0 0 106047 53 0 0 25 0 4 0 521838771 1176760320 257314 33554432000 4194304 4964704 140734400163040 18446744073709551615 4361293 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4223.67
Current children cumulated vsize (KiB) 1149180

[startup+1070.3 s]
/proc/loadavg: 8.10 8.05 8.06 9/182 26258
/proc/meminfo: memFree=28368740/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=1149180 CPUtime=4230.06 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 288703 0 0 0 422731 275 0 0 25 0 4 0 521838027 1176760320 257314 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668632 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 287295 257314 460 189 0 281644 0
[pid=26217/tid=26225] ppid=26215 vsize=1149180 CPUtime=1051.99 cores=1,3,5,7
/proc/26217/task/26225/stat : 26225 (claspmt) R 26215 26217 25415 0 -1 4202560 30850 0 0 0 105159 40 0 0 25 0 4 0 521838771 1176760320 257314 33554432000 4194304 4964704 140734400163040 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=26217/tid=26226] ppid=26215 vsize=1149180 CPUtime=1062.84 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 119934 0 0 0 106134 150 0 0 25 0 4 0 521838771 1176760320 257314 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668632 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=1149180 CPUtime=1062.6 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 45007 0 0 0 106207 53 0 0 25 0 4 0 521838771 1176760320 257314 33554432000 4194304 4964704 140734400163040 18446744073709551615 4668654 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4230.06
Current children cumulated vsize (KiB) 1149180

[startup+1071.1 s]
/proc/loadavg: 8.10 8.05 8.06 9/182 26258
/proc/meminfo: memFree=28367624/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=1149180 CPUtime=4233.22 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) S 26215 26217 25415 0 -1 4202496 288704 0 0 0 423047 275 0 0 25 0 3 0 521838027 1176760320 257315 33554432000 4194304 4964704 140734400163040 18446744073709551615 274676611045 0 0 4096 18946 18446744073709551615 0 0 17 7 0 0 0
/proc/26217/statm: 287295 257315 461 189 0 281644 0
[pid=26217/tid=26226] ppid=26215 vsize=1149180 CPUtime=1063.64 cores=1,3,5,7
/proc/26217/task/26226/stat : 26226 (claspmt) R 26215 26217 25415 0 -1 4202560 119934 0 0 0 106214 150 0 0 25 0 3 0 521838771 1176760320 257315 33554432000 4194304 4964704 140734400163040 18446744073709551615 4313970 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=26217/tid=26227] ppid=26215 vsize=1149180 CPUtime=1063.4 cores=1,3,5,7
/proc/26217/task/26227/stat : 26227 (claspmt) R 26215 26217 25415 0 -1 4202560 45007 0 0 0 106287 53 0 0 25 0 3 0 521838771 1176760320 257315 33554432000 4194304 4964704 140734400163040 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4233.22
Current children cumulated vsize (KiB) 1149180

[startup+1071.91 s]
/proc/loadavg: 8.10 8.05 8.06 6/179 26259
/proc/meminfo: memFree=28421216/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=1094288 CPUtime=4234.05 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 288713 0 0 0 423130 275 0 0 22 0 1 0 521838027 1120550912 243601 33554432000 4194304 4964704 140734400163040 18446744073709551615 274664457608 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26217/statm: 273572 243601 470 189 0 267921 0
Current children cumulated CPU time (s) 4234.05
Current children cumulated vsize (KiB) 1094288

[startup+1072.3 s]
/proc/loadavg: 8.10 8.05 8.06 6/179 26259
/proc/meminfo: memFree=28421216/32951132 swapFree=67111356/67111528
[pid=26217] ppid=26215 vsize=410116 CPUtime=4234.44 cores=1,3,5,7
/proc/26217/stat : 26217 (claspmt) R 26215 26217 25415 0 -1 4202496 288714 0 0 0 423166 278 0 0 25 0 1 0 521838027 419958784 64151 33554432000 4194304 4964704 140734400163040 18446744073709551615 274664851591 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/26217/statm: 102529 64151 471 189 0 96878 0
Current children cumulated CPU time (s) 4234.44
Current children cumulated vsize (KiB) 410116

Child status: 20
Real time (s): 1072.31
CPU time (s): 4234.46
CPU user time (s): 4231.66
CPU system time (s): 2.79957
CPU usage (%): 394.891
Max. virtual memory (cumulated for all children) (KiB): 1149180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4231.66
system time used= 2.79957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288715
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= 1680
involuntary context switches= 28583

runsolver used 1.56376 second user time and 4.18136 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 20:39:44
IDJOB=3299748
IDBENCH=84246
IDSOLVER=1683
FILE ID=node131/3299748-1304102382
RUNJOBID= node131-1304102382-26204
PBS_JOBID= 13170594
Free space on /tmp= 71332 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT03/industrial/schuppan/l2s/bc57-sensors-1-k303-unsat.shuffled-as.sat03-406.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3299748-1304102382/watcher-3299748-1304102382 -o /tmp/evaluation-result-3299748-1304102382/solver-3299748-1304102382 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299748-1304102382.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= f16626953757fdd1326f2a14f01adca9
RANDOM SEED=2124927167

node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30819232 kB
Buffers:        198304 kB
Cached:        1555364 kB
SwapCached:        168 kB
Active:         177540 kB
Inactive:      1645964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30819232 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           57328 kB
Writeback:           0 kB
AnonPages:       69376 kB
Mapped:          14716 kB
Slab:           244040 kB
PageTables:       4740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   193864 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71296 MiB
End job on node131 at 2011-04-29 20:57:36