Trace number 3373360

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-R4095-patched (fixed)? (TO) 4802.16 1208.49

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.cnf
MD5SUMe44b288003a3eaf34673a2c0fb8c6f3e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1226.02
Satisfiable
(Un)Satisfiability was proved
Number of variables131484
Number of clauses2120376
Sum of the clauses size4841016
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22046240
Number of clauses of size 35760
Number of clauses of size 426640
Number of clauses of size 511520
Number of clauses of size over 529520

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...420486/instance-3373360-1305420486.cnf
1.99/2.05	c Solving...
4800.22/1206.92	
4800.22/1206.92	*** INTERRUPTED! ***
4800.22/1206.92	*** Shutting down threads...
4802.07/1208.44	s UNKNOWN
4802.07/1208.44	
4802.07/1208.44	c INTERRUPTED   : 1
4802.07/1208.44	c Models        : 0+    
4802.07/1208.44	c Time          : 1207.972s (Solving: 1205.93s 1st Model: 0.00s Unsat: 0.00s)
4802.07/1208.44	c CPU Time      : 4801.640s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3373360-1305420486/watcher-3373360-1305420486 -o /tmp/evaluation-result-3373360-1305420486/solver-3373360-1305420486 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373360-1305420486.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: 8.29 8.80 8.40 5/285 6270
/proc/meminfo: memFree=18359948/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=37576 CPUtime=0 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 821 0 0 0 0 0 0 0 23 0 1 0 653648449 38477824 751 33554432000 4194304 4964800 140736122447984 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6270/statm: 9394 758 375 189 0 4268 0

[startup+0.048101 s]
/proc/loadavg: 8.29 8.80 8.40 5/285 6270
/proc/meminfo: memFree=18359948/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=46968 CPUtime=0.04 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 7929 0 0 0 3 1 0 0 23 0 1 0 653648449 48095232 6832 33554432000 4194304 4964800 140736122447984 18446744073709551615 4583447 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6270/statm: 11742 6832 388 189 0 6616 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 46968

[startup+0.101091 s]
/proc/loadavg: 8.29 8.80 8.40 5/285 6270
/proc/meminfo: memFree=18359948/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=49244 CPUtime=0.09 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 8689 0 0 0 8 1 0 0 23 0 1 0 653648449 50425856 7421 33554432000 4194304 4964800 140736122447984 18446744073709551615 274664469189 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6270/statm: 12311 7422 388 189 0 7185 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49244

[startup+0.301057 s]
/proc/loadavg: 8.29 8.80 8.40 5/285 6270
/proc/meminfo: memFree=18359948/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=82044 CPUtime=0.29 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 20333 0 0 0 26 3 0 0 25 0 1 0 653648449 84013056 15198 33554432000 4194304 4964800 140736122447984 18446744073709551615 274664469189 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6270/statm: 20511 15200 388 189 0 15385 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 82044

[startup+0.70099 s]
/proc/loadavg: 8.29 8.80 8.40 5/285 6270
/proc/meminfo: memFree=18359948/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=147372 CPUtime=0.69 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 42080 0 0 0 62 7 0 0 25 0 1 0 653648449 150908928 30502 33554432000 4194304 4964800 140736122447984 18446744073709551615 4615921 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6270/statm: 36843 30503 398 189 0 31717 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 147372

[startup+1.50085 s]
/proc/loadavg: 8.29 8.80 8.40 6/286 6271
/proc/meminfo: memFree=18213132/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=171924 CPUtime=1.49 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 47809 0 0 0 142 7 0 0 25 0 1 0 653648449 176050176 36231 33554432000 4194304 4964800 140736122447984 18446744073709551615 4607744 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/6270/statm: 42981 36231 402 189 0 37855 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 171924

[startup+3.10054 s]
/proc/loadavg: 8.03 8.74 8.38 7/289 6274
/proc/meminfo: memFree=18192524/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=370308 CPUtime=5.58 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 61707 0 0 0 542 16 0 0 25 0 4 0 653648449 379195392 44753 33554432000 4194304 4964800 140736122447984 18446744073709551615 4669026 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/6270/statm: 92577 44753 454 189 0 86926 0
[pid=6270/tid=6272] ppid=6268 vsize=370308 CPUtime=0.97 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 1454 0 0 0 95 2 0 0 18 0 4 0 653648654 379195392 44753 33554432000 4194304 4964800 140736122447984 18446744073709551615 4632387 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=370308 CPUtime=0.8 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 4149 0 0 0 80 0 0 0 25 0 4 0 653648654 379195392 44753 33554432000 4194304 4964800 140736122447984 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=370308 CPUtime=1.01 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 7166 0 0 0 99 2 0 0 19 0 4 0 653648654 379195392 44753 33554432000 4194304 4964800 140736122447984 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 370308

[startup+6.30098 s]
/proc/loadavg: 8.03 8.74 8.38 11/289 6274
/proc/meminfo: memFree=18165424/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=370308 CPUtime=15.15 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 62927 0 0 0 1498 17 0 0 25 0 4 0 653648449 379195392 45973 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/6270/statm: 92577 45973 458 189 0 86926 0
[pid=6270/tid=6272] ppid=6268 vsize=370308 CPUtime=4.18 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 1816 0 0 0 415 3 0 0 25 0 4 0 653648654 379195392 45973 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670194 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=370308 CPUtime=2.4 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 4152 0 0 0 240 0 0 0 25 0 4 0 653648654 379195392 45973 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=370308 CPUtime=4.19 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 7851 0 0 0 416 3 0 0 25 0 4 0 653648654 379195392 45973 33554432000 4194304 4964800 140736122447984 18446744073709551615 4668900 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 15.15
Current children cumulated vsize (KiB) 370308

[startup+12.7009 s]
/proc/loadavg: 8.64 8.84 8.42 11/289 6274
/proc/meminfo: memFree=18148468/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=370308 CPUtime=35.6 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 66159 0 0 0 3540 20 0 0 25 0 4 0 653648449 379195392 49205 33554432000 4194304 4964800 140736122447984 18446744073709551615 4660495 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/6270/statm: 92577 49205 458 189 0 86926 0
[pid=6270/tid=6272] ppid=6268 vsize=370308 CPUtime=9.57 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 2591 0 0 0 953 4 0 0 25 0 4 0 653648654 379195392 49205 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=370308 CPUtime=6.23 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 4152 0 0 0 623 0 0 0 25 0 4 0 653648654 379195392 49205 33554432000 4194304 4964800 140736122447984 18446744073709551615 4379092 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=370308 CPUtime=10.53 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 9557 0 0 0 1049 4 0 0 25 0 4 0 653648654 379195392 49205 33554432000 4194304 4964800 140736122447984 18446744073709551615 4660139 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 35.6
Current children cumulated vsize (KiB) 370308

[startup+25.5007 s]
/proc/loadavg: 8.61 8.83 8.42 9/289 6275
/proc/meminfo: memFree=18107772/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=370308 CPUtime=86.67 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 75820 0 0 0 8638 29 0 0 25 0 4 0 653648449 379195392 58866 33554432000 4194304 4964800 140736122447984 18446744073709551615 4629968 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/6270/statm: 92577 58866 458 189 0 86926 0
[pid=6270/tid=6272] ppid=6268 vsize=370308 CPUtime=22.37 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 3622 0 0 0 2232 5 0 0 25 0 4 0 653648654 379195392 58866 33554432000 4194304 4964800 140736122447984 18446744073709551615 4669033 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=370308 CPUtime=19.04 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 9358 0 0 0 1899 5 0 0 25 0 4 0 653648654 379195392 58866 33554432000 4194304 4964800 140736122447984 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=370308 CPUtime=23.33 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 12116 0 0 0 2327 6 0 0 25 0 4 0 653648654 379195392 58866 33554432000 4194304 4964800 140736122447984 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 86.67
Current children cumulated vsize (KiB) 370308

[startup+51.1002 s]
/proc/loadavg: 8.46 8.78 8.41 9/289 6275
/proc/meminfo: memFree=18002412/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=372468 CPUtime=188.82 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 91941 0 0 0 18840 42 0 0 25 0 4 0 653648449 381407232 74987 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/6270/statm: 93117 74987 458 189 0 87466 0
[pid=6270/tid=6272] ppid=6268 vsize=372468 CPUtime=47.97 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 5678 0 0 0 4790 7 0 0 25 0 4 0 653648654 381407232 74987 33554432000 4194304 4964800 140736122447984 18446744073709551615 4321272 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=372468 CPUtime=44.64 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 18390 0 0 0 4453 11 0 0 25 0 4 0 653648654 381407232 74987 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=372468 CPUtime=48.92 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 15030 0 0 0 4883 9 0 0 25 0 4 0 653648654 381407232 74987 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 188.82
Current children cumulated vsize (KiB) 372468

[startup+102.31 s]
/proc/loadavg: 8.33 8.69 8.40 9/289 6277
/proc/meminfo: memFree=17735736/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=628436 CPUtime=393.14 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 142422 0 0 0 39245 69 0 0 25 0 4 0 653648449 643518464 125468 33554432000 4194304 4964800 140736122447984 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/6270/statm: 157109 125468 460 189 0 151458 0
[pid=6270/tid=6272] ppid=6268 vsize=628436 CPUtime=99.18 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 10910 0 0 0 9907 11 0 0 25 0 4 0 653648654 643518464 125468 33554432000 4194304 4964800 140736122447984 18446744073709551615 4669280 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=628436 CPUtime=95.85 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 45838 0 0 0 9565 20 0 0 25 0 4 0 653648654 643518464 125468 33554432000 4194304 4964800 140736122447984 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=628436 CPUtime=100.11 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 30394 0 0 0 9991 20 0 0 25 0 4 0 653648654 643518464 125468 33554432000 4194304 4964800 140736122447984 18446744073709551615 4362944 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 393.14
Current children cumulated vsize (KiB) 628436

[startup+162.301 s]
/proc/loadavg: 8.22 8.59 8.38 9/289 6278
/proc/meminfo: memFree=17477316/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=855628 CPUtime=632.51 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 198747 0 0 0 63149 102 0 0 25 0 4 0 653648449 876163072 181793 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670335 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/6270/statm: 213907 181793 460 189 0 208256 0
[pid=6270/tid=6272] ppid=6268 vsize=855628 CPUtime=159.17 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 16417 0 0 0 15901 16 0 0 25 0 4 0 653648654 876163072 181793 33554432000 4194304 4964800 140736122447984 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=855628 CPUtime=155.84 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 74951 0 0 0 15554 30 0 0 25 0 4 0 653648654 876163072 181793 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=855628 CPUtime=160.07 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 46932 0 0 0 15975 32 0 0 25 0 4 0 653648654 876163072 181793 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 632.51
Current children cumulated vsize (KiB) 855628

[startup+222.301 s]
/proc/loadavg: 8.20 8.53 8.37 9/289 6280
/proc/meminfo: memFree=17192228/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=1048728 CPUtime=871.92 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 252564 0 0 0 87060 132 0 0 25 0 4 0 653648449 1073897472 235610 33554432000 4194304 4964800 140736122447984 18446744073709551615 4669496 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/6270/statm: 262182 235610 460 189 0 256531 0
[pid=6270/tid=6272] ppid=6268 vsize=1048728 CPUtime=219.17 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 21943 0 0 0 21897 20 0 0 25 0 4 0 653648654 1073897472 235610 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=1048728 CPUtime=215.83 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 98702 0 0 0 21546 37 0 0 25 0 4 0 653648654 1073897472 235614 33554432000 4194304 4964800 140736122447984 18446744073709551615 274664505099 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=1048728 CPUtime=220.06 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 66583 0 0 0 21959 47 0 0 25 0 4 0 653648654 1073897472 235614 33554432000 4194304 4964800 140736122447984 18446744073709551615 4361114 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 871.92
Current children cumulated vsize (KiB) 1048728

[startup+282.3 s]
/proc/loadavg: 8.11 8.44 8.35 9/289 6282
/proc/meminfo: memFree=16846016/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=1319952 CPUtime=1111.33 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 315873 0 0 0 110966 167 0 0 25 0 4 0 653648449 1351630848 298919 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/6270/statm: 329988 298922 460 189 0 324337 0
[pid=6270/tid=6272] ppid=6268 vsize=1319952 CPUtime=279.18 cores=0,2,4,6

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

/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 186931 0 0 0 75869 118 0 0 25 0 4 0 653648654 3043450880 702403 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3026.61
Current children cumulated vsize (KiB) 2972120

[startup+822.301 s]
/proc/loadavg: 8.17 8.19 8.24 9/289 6305
/proc/meminfo: memFree=14843372/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=3238964 CPUtime=3265.85 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 794920 0 0 0 326145 440 0 0 25 0 4 0 653648449 3316699136 777908 33554432000 4194304 4964800 140736122447984 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/6270/statm: 809741 777908 460 189 0 804090 0
[pid=6270/tid=6272] ppid=6268 vsize=3238964 CPUtime=819.16 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 86489 0 0 0 81842 74 0 0 25 0 4 0 653648654 3316699136 777908 33554432000 4194304 4964800 140736122447984 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=3238964 CPUtime=815.83 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 390981 0 0 0 81415 168 0 0 25 0 4 0 653648654 3316699136 777908 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=3238964 CPUtime=819.28 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 203484 0 0 0 81800 128 0 0 25 0 4 0 653648654 3316699136 777908 33554432000 4194304 4964800 140736122447984 18446744073709551615 4313736 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3265.85
Current children cumulated vsize (KiB) 3238964

[startup+882.3 s]
/proc/loadavg: 8.11 8.17 8.23 9/289 6307
/proc/meminfo: memFree=14589540/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=3398708 CPUtime=3505.24 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 847274 0 0 0 350061 463 0 0 25 0 4 0 653648449 3480276992 830262 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/6270/statm: 849677 830262 460 189 0 844026 0
[pid=6270/tid=6272] ppid=6268 vsize=3398708 CPUtime=879.16 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 91768 0 0 0 87837 79 0 0 25 0 4 0 653648654 3480276992 830262 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=3398708 CPUtime=875.83 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 425028 0 0 0 87405 178 0 0 25 0 4 0 653648654 3480276992 830262 33554432000 4194304 4964800 140736122447984 18446744073709551615 4362864 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=3398708 CPUtime=878.7 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 210925 0 0 0 87739 131 0 0 25 0 4 0 653648654 3480276992 830262 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3505.24
Current children cumulated vsize (KiB) 3398708

[startup+942.301 s]
/proc/loadavg: 6.61 7.80 8.10 5/280 6326
/proc/meminfo: memFree=15453208/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=3650612 CPUtime=3744.66 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 894513 0 0 0 373958 508 0 0 25 0 4 0 653648449 3738226688 877501 33554432000 4194304 4964800 140736122447984 18446744073709551615 4660157 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/6270/statm: 912653 877501 460 189 0 907002 0
[pid=6270/tid=6272] ppid=6268 vsize=3650612 CPUtime=939.16 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 100603 0 0 0 93831 85 0 0 25 0 4 0 653648654 3738226688 877501 33554432000 4194304 4964800 140736122447984 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=3650612 CPUtime=935.82 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 442404 0 0 0 93392 190 0 0 25 0 4 0 653648654 3738226688 877501 33554432000 4194304 4964800 140736122447984 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=3650612 CPUtime=938.15 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 225971 0 0 0 93665 150 0 0 25 0 4 0 653648654 3738226688 877501 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3744.66
Current children cumulated vsize (KiB) 3650612

[startup+1002.3 s]
/proc/loadavg: 4.96 7.10 7.84 5/280 6328
/proc/meminfo: memFree=15268072/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=3845172 CPUtime=3984.13 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 940223 0 0 0 397831 582 0 0 25 0 4 0 653648449 3937456128 923211 33554432000 4194304 4964800 140736122447984 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/6270/statm: 961293 923211 460 189 0 955642 0
[pid=6270/tid=6272] ppid=6268 vsize=3845172 CPUtime=999.16 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 106875 0 0 0 99825 91 0 0 25 0 4 0 653648654 3937456128 923211 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=3845172 CPUtime=995.83 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 461927 0 0 0 99378 205 0 0 25 0 4 0 653648654 3937456128 923211 33554432000 4194304 4964800 140736122447984 18446744073709551615 4313761 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=3845172 CPUtime=997.62 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 237551 0 0 0 99588 174 0 0 25 0 4 0 653648654 3937456128 923211 33554432000 4194304 4964800 140736122447984 18446744073709551615 4631241 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3984.13
Current children cumulated vsize (KiB) 3845172

[startup+1062.3 s]
/proc/loadavg: 4.35 6.54 7.60 5/280 6330
/proc/meminfo: memFree=15166024/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=3926068 CPUtime=4223.62 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 966196 0 0 0 421748 614 0 0 25 0 4 0 653648449 4020293632 949160 33554432000 4194304 4964800 140736122447984 18446744073709551615 4669523 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/6270/statm: 981517 949160 460 189 0 975866 0
[pid=6270/tid=6272] ppid=6268 vsize=3926068 CPUtime=1059.16 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 111760 0 0 0 105820 96 0 0 25 0 4 0 653648654 4020293632 949160 33554432000 4194304 4964800 140736122447984 18446744073709551615 4370236 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=3926068 CPUtime=1055.82 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 477989 0 0 0 105355 227 0 0 25 0 4 0 653648654 4020293632 949160 33554432000 4194304 4964800 140736122447984 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=3926068 CPUtime=1057.11 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 241851 0 0 0 105533 178 0 0 25 0 4 0 653648654 4020293632 949160 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4223.62
Current children cumulated vsize (KiB) 3926068

[startup+1122.31 s]
/proc/loadavg: 4.25 6.10 7.38 5/280 6334
/proc/meminfo: memFree=14927100/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=4161588 CPUtime=4462.55 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 1025255 0 0 0 445545 710 0 0 25 0 4 0 653648449 4261466112 1008219 33554432000 4194304 4964800 140736122447984 18446744073709551615 4669104 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/6270/statm: 1040397 1008219 460 189 0 1034746 0
[pid=6270/tid=6272] ppid=6268 vsize=4161588 CPUtime=1119.05 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 120935 0 0 0 111796 109 0 0 25 0 4 0 653648654 4261466112 1008219 33554432000 4194304 4964800 140736122447984 18446744073709551615 4631088 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=4161588 CPUtime=1115.79 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 505049 0 0 0 111342 237 0 0 25 0 4 0 653648654 4261466112 1008219 33554432000 4194304 4964800 140736122447984 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=4161588 CPUtime=1116.16 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 258536 0 0 0 111389 227 0 0 25 0 4 0 653648654 4261466112 1008219 33554432000 4194304 4964800 140736122447984 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4462.55
Current children cumulated vsize (KiB) 4161588

[startup+1182.3 s]
/proc/loadavg: 4.16 5.73 7.17 5/280 6336
/proc/meminfo: memFree=14808560/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=4277300 CPUtime=4701.99 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 1055686 0 0 0 469444 755 0 0 25 0 4 0 653648449 4379955200 1038637 33554432000 4194304 4964800 140736122447984 18446744073709551615 4627259 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/6270/statm: 1069325 1038637 460 189 0 1063674 0
[pid=6270/tid=6272] ppid=6268 vsize=4277300 CPUtime=1179.03 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 121135 0 0 0 117794 109 0 0 25 0 4 0 653648654 4379955200 1038637 33554432000 4194304 4964800 140736122447984 18446744073709551615 4320897 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=4277300 CPUtime=1175.78 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 517072 0 0 0 117334 244 0 0 25 0 4 0 653648654 4379955200 1038637 33554432000 4194304 4964800 140736122447984 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=4277300 CPUtime=1175.66 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 268394 0 0 0 117318 248 0 0 25 0 4 0 653648654 4379955200 1038637 33554432000 4194304 4964800 140736122447984 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4701.99
Current children cumulated vsize (KiB) 4277300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.9 s]
/proc/loadavg: 4.11 5.59 7.09 6/280 6336
/proc/meminfo: memFree=14701924/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=4390964 CPUtime=4800.22 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 1081265 0 0 0 479235 787 0 0 25 0 4 0 653648449 4496347136 1064216 33554432000 4194304 4964800 140736122447984 18446744073709551615 4669396 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/6270/statm: 1097741 1064216 460 189 0 1092090 0
[pid=6270/tid=6272] ppid=6268 vsize=4390964 CPUtime=1203.42 cores=0,2,4,6
/proc/6270/task/6272/stat : 6272 (claspmt) R 6268 6270 5706 0 -1 4202560 125065 0 0 0 120220 122 0 0 25 0 4 0 653648654 4496347136 1064217 33554432000 4194304 4964800 140736122447984 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=6270/tid=6273] ppid=6268 vsize=4390964 CPUtime=1200.4 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 528306 0 0 0 119793 247 0 0 25 0 4 0 653648654 4496347136 1064217 33554432000 4194304 4964800 140736122447984 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=6270/tid=6274] ppid=6268 vsize=4390964 CPUtime=1200.28 cores=0,2,4,6
/proc/6270/task/6274/stat : 6274 (claspmt) R 6268 6270 5706 0 -1 4202560 274235 0 0 0 119776 252 0 0 25 0 4 0 653648654 4496347136 1064217 33554432000 4194304 4964800 140736122447984 18446744073709551615 4313804 0 0 4096 18946 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 4390964

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1207.3 s]
/proc/loadavg: 4.11 5.59 7.09 6/280 6336
/proc/meminfo: memFree=14701924/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=4390964 CPUtime=4800.96 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) S 6268 6270 5706 0 -1 4202496 1081270 0 0 0 479309 787 0 0 25 0 2 0 653648449 4496347136 1064221 33554432000 4194304 4964800 140736122447984 18446744073709551615 274676611045 0 0 4096 18946 18446744073709551615 0 0 17 4 0 0 0
/proc/6270/statm: 1097741 1064221 462 189 0 1092090 0
[pid=6270/tid=6273] ppid=6268 vsize=4390964 CPUtime=1200.78 cores=0,2,4,6
/proc/6270/task/6273/stat : 6273 (claspmt) R 6268 6270 5706 0 -1 4202560 528306 0 0 0 119831 247 0 0 25 0 2 0 653648654 4496347136 1064221 33554432000 4194304 4964800 140736122447984 18446744073709551615 4313764 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.96
Current children cumulated vsize (KiB) 4390964

[startup+1208.11 s]
/proc/loadavg: 4.11 5.59 7.09 2/278 6337
/proc/meminfo: memFree=14717316/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=4374396 CPUtime=4801.77 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 1081278 0 0 0 479390 787 0 0 18 0 1 0 653648449 4479381504 1058197 33554432000 4194304 4964800 140736122447984 18446744073709551615 274664463483 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6270/statm: 1093599 1058197 470 189 0 1087948 0
Current children cumulated CPU time (s) 4801.77
Current children cumulated vsize (KiB) 4374396

[startup+1208.3 s]
/proc/loadavg: 4.11 5.59 7.09 2/278 6337
/proc/meminfo: memFree=14717316/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=4308860 CPUtime=4801.96 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 1081279 0 0 0 479409 787 0 0 18 0 1 0 653648449 4412272640 1052159 33554432000 4194304 4964800 140736122447984 18446744073709551615 274664457626 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6270/statm: 1077215 1052159 471 189 0 1071564 0
Current children cumulated CPU time (s) 4801.96
Current children cumulated vsize (KiB) 4308860

[startup+1208.4 s]
/proc/loadavg: 4.11 5.59 7.09 2/278 6337
/proc/meminfo: memFree=14717316/32951132 swapFree=67093824/67111528
[pid=6270] ppid=6268 vsize=2402152 CPUtime=4802.07 cores=0,2,4,6
/proc/6270/stat : 6270 (claspmt) R 6268 6270 5706 0 -1 4202496 1081279 0 0 0 479411 796 0 0 18 0 1 0 653648449 2459803648 553903 33554432000 4194304 4964800 140736122447984 18446744073709551615 274664851591 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/6270/statm: 600538 553903 471 189 0 594887 0
Current children cumulated CPU time (s) 4802.07
Current children cumulated vsize (KiB) 2402152

Child status: 0
Real time (s): 1208.49
CPU time (s): 4802.16
CPU user time (s): 4794.11
CPU system time (s): 8.05377
CPU usage (%): 397.368
Max. virtual memory (cumulated for all children) (KiB): 4390964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.11
system time used= 8.05377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1081280
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= 3589
involuntary context switches= 20331

runsolver used 3.3035 second user time and 7.60384 second system time

The end

Launcher Data 

Begin job on node131 at 2011-05-15 02:48:08
IDJOB=3373360
IDBENCH=82366
IDSOLVER=1853
FILE ID=node131/3373360-1305420486
RUNJOBID= node131-1305419027-6057
PBS_JOBID= 13324564
Free space on /tmp= 73648 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.060-NOTKNOWN.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-3373360-1305420486/watcher-3373360-1305420486 -o /tmp/evaluation-result-3373360-1305420486/solver-3373360-1305420486 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373360-1305420486.cnf

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

MD5SUM BENCH= e44b288003a3eaf34673a2c0fb8c6f3e
RANDOM SEED=1101273801

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:      18360104 kB
Buffers:        277612 kB
Cached:        3734168 kB
SwapCached:       1504 kB
Active:       11217112 kB
Inactive:      3115212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      18360104 kB
SwapTotal:    67111528 kB
SwapFree:     67093824 kB
Dirty:           37668 kB
Writeback:           0 kB
AnonPages:    10318688 kB
Mapped:          27592 kB
Slab:           165572 kB
PageTables:      32332 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 28629740 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= 73652 MiB
End job on node131 at 2011-05-15 03:08:17