Trace number 3299390

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? (TO) 4800.53 1210.33

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
MD5SUM78d8e2b8c0fd15b93f96e38e33701f17
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.61315
Satisfiable
(Un)Satisfiability was proved
Number of variables3510
Number of clauses974465
Sum of the clauses size1952320
Maximum clause length62
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2974405
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...111192/instance-3299390-1304111192.cnf
10.79/10.86	c Solving...
4800.18/1210.01	
4800.18/1210.01	*** INTERRUPTED! ***
4800.18/1210.01	*** Shutting down threads...
4800.39/1210.29	s UNKNOWN
4800.39/1210.29	
4800.39/1210.29	c INTERRUPTED   : 1
4800.39/1210.29	c Models        : 0+    
4800.39/1210.29	c Time          : 1210.015s (Solving: 1199.15s 1st Model: 0.00s Unsat: 0.00s)
4800.39/1210.29	c CPU Time      : 4800.200s

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: 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-3299390-1304111192/watcher-3299390-1304111192 -o /tmp/evaluation-result-3299390-1304111192/solver-3299390-1304111192 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299390-1304111192.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.10 7.71 7.90 2/177 9358
/proc/meminfo: memFree=28202908/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=22052 CPUtime=0 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 822 0 0 0 0 0 0 0 21 0 1 0 522719732 22581248 724 33554432000 4194304 4964704 140736811340720 18446744073709551615 230808826565 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9358/statm: 5513 725 385 189 0 387 0

[startup+0.087314 s]
/proc/loadavg: 6.10 7.71 7.90 2/177 9358
/proc/meminfo: memFree=28202908/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=37580 CPUtime=0.07 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 6326 0 0 0 7 0 0 0 21 0 1 0 522719732 38481920 4471 33554432000 4194304 4964704 140736811340720 18446744073709551615 230808826565 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9358/statm: 9395 4473 385 189 0 4269 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 37580

[startup+0.100304 s]
/proc/loadavg: 6.10 7.71 7.90 2/177 9358
/proc/meminfo: memFree=28202908/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=39560 CPUtime=0.09 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 6954 0 0 0 9 0 0 0 21 0 1 0 522719732 40509440 5098 33554432000 4194304 4964704 140736811340720 18446744073709551615 230808826565 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9358/statm: 9890 5099 385 189 0 4764 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39560

[startup+0.300278 s]
/proc/loadavg: 6.10 7.71 7.90 2/177 9358
/proc/meminfo: memFree=28202908/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=78880 CPUtime=0.29 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 18781 0 0 0 27 2 0 0 22 0 1 0 522719732 80773120 14612 33554432000 4194304 4964704 140736811340720 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9358/statm: 19720 14612 396 189 0 14594 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 78880

[startup+0.7002 s]
/proc/loadavg: 6.10 7.71 7.90 2/177 9358
/proc/meminfo: memFree=28202908/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=79936 CPUtime=0.69 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 19162 0 0 0 67 2 0 0 23 0 1 0 522719732 81854464 14993 33554432000 4194304 4964704 140736811340720 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9358/statm: 19984 14993 398 189 0 14858 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79936

[startup+1.50107 s]
/proc/loadavg: 6.10 7.71 7.90 3/178 9359
/proc/meminfo: memFree=28143636/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=79936 CPUtime=1.49 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 19162 0 0 0 147 2 0 0 25 0 1 0 522719732 81854464 14993 33554432000 4194304 4964704 140736811340720 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9358/statm: 19984 14993 398 189 0 14858 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 79936

[startup+3.10073 s]
/proc/loadavg: 6.10 7.71 7.90 3/178 9359
/proc/meminfo: memFree=28142032/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=79936 CPUtime=3.09 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 19162 0 0 0 307 2 0 0 25 0 1 0 522719732 81854464 14993 33554432000 4194304 4964704 140736811340720 18446744073709551615 4607472 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9358/statm: 19984 14993 398 189 0 14858 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79936

[startup+6.30112 s]
/proc/loadavg: 6.02 7.66 7.88 6/181 9362
/proc/meminfo: memFree=28114604/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=80332 CPUtime=6.29 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 19250 0 0 0 627 2 0 0 25 0 1 0 522719732 82259968 15081 33554432000 4194304 4964704 140736811340720 18446744073709551615 4600304 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/9358/statm: 20083 15081 399 189 0 14957 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 80332

[startup+12.7009 s]
/proc/loadavg: 5.93 7.62 7.86 9/184 9366
/proc/meminfo: memFree=28038124/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=226876 CPUtime=18.11 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 29916 0 0 0 1805 6 0 0 25 0 4 0 522719732 232321024 23834 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670233 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9358/statm: 56719 23834 458 189 0 51068 0
[pid=9358/tid=9363] ppid=9356 vsize=226876 CPUtime=1.8 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 2205 0 0 0 179 1 0 0 25 0 4 0 522720819 232321024 23834 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=226876 CPUtime=1.8 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 2040 0 0 0 180 0 0 0 20 0 4 0 522720819 232321024 23834 33554432000 4194304 4964704 140736811340720 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=226876 CPUtime=1.81 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 2175 0 0 0 181 0 0 0 25 0 4 0 522720819 232321024 23834 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.11
Current children cumulated vsize (KiB) 226876

[startup+25.5006 s]
/proc/loadavg: 6.47 7.65 7.87 9/184 9366
/proc/meminfo: memFree=27877340/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=251716 CPUtime=69.24 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 56503 0 0 0 6906 18 0 0 25 0 4 0 522719732 257757184 50421 33554432000 4194304 4964704 140736811340720 18446744073709551615 4627299 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9358/statm: 62929 50421 460 189 0 57278 0
[pid=9358/tid=9363] ppid=9356 vsize=251716 CPUtime=14.6 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 8977 0 0 0 1455 5 0 0 25 0 4 0 522720819 257757184 50421 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=251716 CPUtime=14.54 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 6054 0 0 0 1452 2 0 0 25 0 4 0 522720819 257757184 50421 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=251716 CPUtime=14.62 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 8168 0 0 0 1459 3 0 0 25 0 4 0 522720819 257757184 50421 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 69.24
Current children cumulated vsize (KiB) 251716

[startup+51.1009 s]
/proc/loadavg: 7.06 7.70 7.88 9/184 9367
/proc/meminfo: memFree=27641532/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=438720 CPUtime=171.51 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 95056 0 0 0 17112 39 0 0 25 0 4 0 522719732 449249280 88974 33554432000 4194304 4964704 140736811340720 18446744073709551615 4320970 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9358/statm: 109680 88974 460 189 0 104029 0
[pid=9358/tid=9363] ppid=9356 vsize=438720 CPUtime=40.19 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 19726 0 0 0 4009 10 0 0 25 0 4 0 522720819 449249280 88974 33554432000 4194304 4964704 140736811340720 18446744073709551615 4343485 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=438720 CPUtime=40.02 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 10441 0 0 0 3998 4 0 0 25 0 4 0 522720819 449249280 88974 33554432000 4194304 4964704 140736811340720 18446744073709551615 4658598 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=438720 CPUtime=40.21 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 16470 0 0 0 4013 8 0 0 25 0 4 0 522720819 449249280 88974 33554432000 4194304 4964704 140736811340720 18446744073709551615 4321020 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 171.51
Current children cumulated vsize (KiB) 438720

[startup+102.306 s]
/proc/loadavg: 7.67 7.76 7.89 9/184 9368
/proc/meminfo: memFree=27354804/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=627844 CPUtime=376.05 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 146269 0 0 0 37537 68 0 0 25 0 4 0 522719732 642912256 140148 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9358/statm: 156961 140148 460 189 0 151310 0
[pid=9358/tid=9363] ppid=9356 vsize=627844 CPUtime=91.37 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 31565 0 0 0 9120 17 0 0 25 0 4 0 522720819 642912256 140148 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=627844 CPUtime=90.96 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 16198 0 0 0 9090 6 0 0 25 0 4 0 522720819 642912256 140148 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=627844 CPUtime=91.42 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 26620 0 0 0 9127 15 0 0 25 0 4 0 522720819 642912256 140148 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 376.05
Current children cumulated vsize (KiB) 627844

[startup+162.3 s]
/proc/loadavg: 7.88 7.80 7.89 9/184 9369
/proc/meminfo: memFree=27075888/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=841008 CPUtime=615.69 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 205495 0 0 0 61465 104 0 0 25 0 4 0 522719732 861192192 199319 33554432000 4194304 4964704 140736811340720 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9358/statm: 210252 199319 460 189 0 204601 0
[pid=9358/tid=9363] ppid=9356 vsize=841008 CPUtime=151.37 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 52339 0 0 0 15105 32 0 0 25 0 4 0 522720819 861192192 199319 33554432000 4194304 4964704 140736811340720 18446744073709551615 4627248 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=841008 CPUtime=150.64 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 20399 0 0 0 15056 8 0 0 25 0 4 0 522720819 861192192 199319 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=841008 CPUtime=151.4 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 34168 0 0 0 15120 20 0 0 25 0 4 0 522720819 861192192 199319 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 615.69
Current children cumulated vsize (KiB) 841008

[startup+222.3 s]
/proc/loadavg: 8.01 7.85 7.91 9/184 9371
/proc/meminfo: memFree=26883400/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=1025416 CPUtime=855.34 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 234148 0 0 0 85412 122 0 0 25 0 4 0 522719732 1050025984 227872 33554432000 4194304 4964704 140736811340720 18446744073709551615 4660129 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9358/statm: 256354 227872 460 189 0 250703 0
[pid=9358/tid=9363] ppid=9356 vsize=1025416 CPUtime=211.35 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 60384 0 0 0 21097 38 0 0 25 0 4 0 522720819 1050025984 227872 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=1025416 CPUtime=210.31 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 22401 0 0 0 21023 8 0 0 25 0 4 0 522720819 1050025984 227872 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=1025416 CPUtime=211.41 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 40793 0 0 0 21117 24 0 0 25 0 4 0 522720819 1050025984 227872 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 855.34
Current children cumulated vsize (KiB) 1025416

[startup+282.301 s]
/proc/loadavg: 8.06 7.89 7.91 9/184 9373
/proc/meminfo: memFree=26764940/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=1061308 CPUtime=1094.92 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 250230 0 0 0 109356 136 0 0 25 0 4 0 522719732 1086779392 243935 33554432000 4194304 4964704 140736811340720 18446744073709551615 4343119 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9358/statm: 265327 243935 460 189 0 259676 0
[pid=9358/tid=9363] ppid=9356 vsize=1061308 CPUtime=271.26 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 62915 0 0 0 27085 41 0 0 25 0 4 0 522720819 1086779392 243935 33554432000 4194304 4964704 140736811340720 18446744073709551615 4660316 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=1061308 CPUtime=270.02 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 23873 0 0 0 26993 9 0 0 25 0 4 0 522720819 1086779392 243935 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=1061308 CPUtime=271.38 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 42861 0 0 0 27113 25 0 0 25 0 4 0 522720819 1086779392 243935 33554432000 4194304 4964704 140736811340720 18446744073709551615 4321002 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1094.92
Current children cumulated vsize (KiB) 1061308

[startup+342.301 s]
/proc/loadavg: 8.07 7.92 7.92 9/184 9374
/proc/meminfo: memFree=26699448/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=1065128 CPUtime=1334.57 cores=0,2,4,6

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

[pid=9358/tid=9363] ppid=9356 vsize=1591456 CPUtime=688.81 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 82894 0 0 0 68823 58 0 0 25 0 4 0 522720819 1629650944 357307 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670219 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=1591456 CPUtime=690.04 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 34531 0 0 0 68990 14 0 0 25 0 4 0 522720819 1629650944 357307 33554432000 4194304 4964704 140736811340720 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=1591456 CPUtime=691.3 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 66945 0 0 0 69089 41 0 0 25 0 4 0 522720819 1629650944 357307 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2772.39
Current children cumulated vsize (KiB) 1591456

[startup+762.307 s]
/proc/loadavg: 8.11 8.09 8.00 9/184 9386
/proc/meminfo: memFree=26035772/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=1591456 CPUtime=3012.08 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 365871 0 0 0 300995 213 0 0 25 0 4 0 522719732 1629650944 358974 33554432000 4194304 4964704 140736811340720 18446744073709551615 4653450 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9358/statm: 397864 358974 460 189 0 392213 0
[pid=9358/tid=9363] ppid=9356 vsize=1591456 CPUtime=748.49 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 82895 0 0 0 74791 58 0 0 25 0 4 0 522720819 1629650944 358974 33554432000 4194304 4964704 140736811340720 18446744073709551615 4653284 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=1591456 CPUtime=750.04 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 35695 0 0 0 74990 14 0 0 25 0 4 0 522720819 1629650944 358974 33554432000 4194304 4964704 140736811340720 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=1591456 CPUtime=751.3 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 67434 0 0 0 75089 41 0 0 25 0 4 0 522720819 1629650944 358974 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3012.08
Current children cumulated vsize (KiB) 1591456

[startup+822.301 s]
/proc/loadavg: 8.08 8.08 8.00 9/184 9387
/proc/meminfo: memFree=25998540/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=1594464 CPUtime=3251.71 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 370980 0 0 0 324953 218 0 0 25 0 4 0 522719732 1632731136 364083 33554432000 4194304 4964704 140736811340720 18446744073709551615 4653475 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9358/statm: 398616 364083 460 189 0 392965 0
[pid=9358/tid=9363] ppid=9356 vsize=1594464 CPUtime=808.14 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 83713 0 0 0 80755 59 0 0 25 0 4 0 522720819 1632731136 364083 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=1594464 CPUtime=810.04 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 36312 0 0 0 80990 14 0 0 25 0 4 0 522720819 1632731136 364083 33554432000 4194304 4964704 140736811340720 18446744073709551615 4320928 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=1594464 CPUtime=811.3 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 67811 0 0 0 81088 42 0 0 25 0 4 0 522720819 1632731136 364083 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3251.71
Current children cumulated vsize (KiB) 1594464

[startup+882.301 s]
/proc/loadavg: 8.07 8.08 8.00 9/184 9389
/proc/meminfo: memFree=25900660/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=1647140 CPUtime=3491.37 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 388555 0 0 0 348910 227 0 0 25 0 4 0 522719732 1686671360 381645 33554432000 4194304 4964704 140736811340720 18446744073709551615 4332514 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9358/statm: 411785 381645 460 189 0 406134 0
[pid=9358/tid=9363] ppid=9356 vsize=1647140 CPUtime=867.81 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 89023 0 0 0 86718 63 0 0 25 0 4 0 522720819 1686671360 381645 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=1647140 CPUtime=870.04 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 37138 0 0 0 86990 14 0 0 25 0 4 0 522720819 1686671360 381645 33554432000 4194304 4964704 140736811340720 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=1647140 CPUtime=871.29 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 68076 0 0 0 87087 42 0 0 25 0 4 0 522720819 1686671360 381646 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3491.37
Current children cumulated vsize (KiB) 1647140

[startup+942.301 s]
/proc/loadavg: 8.06 8.08 8.00 9/184 9390
/proc/meminfo: memFree=25682508/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=1882312 CPUtime=3731.06 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 434161 0 0 0 372843 263 0 0 25 0 4 0 522719732 1927487488 427251 33554432000 4194304 4964704 140736811340720 18446744073709551615 4627248 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9358/statm: 470578 427251 460 189 0 464927 0
[pid=9358/tid=9363] ppid=9356 vsize=1882312 CPUtime=927.5 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 104475 0 0 0 92672 78 0 0 25 0 4 0 522720819 1927487488 427251 33554432000 4194304 4964704 140736811340720 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=1882312 CPUtime=930.04 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 38407 0 0 0 92989 15 0 0 25 0 4 0 522720819 1927487488 427251 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=1882312 CPUtime=931.28 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 70122 0 0 0 93085 43 0 0 25 0 4 0 522720819 1927487488 427251 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3731.06
Current children cumulated vsize (KiB) 1882312

[startup+1002.3 s]
/proc/loadavg: 8.05 8.08 8.00 9/184 9392
/proc/meminfo: memFree=25537264/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=1935760 CPUtime=3970.67 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 458946 0 0 0 396788 279 0 0 25 0 4 0 522719732 1982218240 451826 33554432000 4194304 4964704 140736811340720 18446744073709551615 4332557 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9358/statm: 483940 451826 460 189 0 478289 0
[pid=9358/tid=9363] ppid=9356 vsize=1935760 CPUtime=987.12 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 113882 0 0 0 98624 88 0 0 25 0 4 0 522720819 1982218240 451826 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=1935760 CPUtime=990.04 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 40199 0 0 0 98989 15 0 0 25 0 4 0 522720819 1982218240 451826 33554432000 4194304 4964704 140736811340720 18446744073709551615 4321076 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=1935760 CPUtime=991.28 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 71680 0 0 0 99084 44 0 0 25 0 4 0 522720819 1982218240 451826 33554432000 4194304 4964704 140736811340720 18446744073709551615 4333108 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3970.67
Current children cumulated vsize (KiB) 1935760

[startup+1062.3 s]
/proc/loadavg: 8.02 8.06 8.00 9/184 9393
/proc/meminfo: memFree=25444976/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=1992376 CPUtime=4210.35 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 475598 0 0 0 420751 284 0 0 25 0 4 0 522719732 2040193024 468478 33554432000 4194304 4964704 140736811340720 18446744073709551615 4364587 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9358/statm: 498094 468478 460 189 0 492443 0
[pid=9358/tid=9363] ppid=9356 vsize=1992376 CPUtime=1046.79 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 115418 0 0 0 104591 88 0 0 25 0 4 0 522720819 2040193024 468478 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=1992376 CPUtime=1050.04 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 43904 0 0 0 104988 16 0 0 25 0 4 0 522720819 2040193024 468478 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670260 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=1992376 CPUtime=1051.27 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 77226 0 0 0 105081 46 0 0 25 0 4 0 522720819 2040193024 468478 33554432000 4194304 4964704 140736811340720 18446744073709551615 4632289 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4210.35
Current children cumulated vsize (KiB) 1992376

[startup+1122.3 s]
/proc/loadavg: 8.12 8.08 8.01 9/184 9395
/proc/meminfo: memFree=25277668/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=2129944 CPUtime=4450.01 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 508399 0 0 0 444698 303 0 0 25 0 4 0 522719732 2181062656 500411 33554432000 4194304 4964704 140736811340720 18446744073709551615 4684683 0 0 4096 18946 18446744073709551615 0 0 17 0 0 0 0
/proc/9358/statm: 532486 500411 460 189 0 526835 0
[pid=9358/tid=9363] ppid=9356 vsize=2129944 CPUtime=1106.46 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 120505 0 0 0 110554 92 0 0 25 0 4 0 522720819 2181062656 500411 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670248 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=2129944 CPUtime=1110.05 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 50611 0 0 0 110986 19 0 0 25 0 4 0 522720819 2181062656 500411 33554432000 4194304 4964704 140736811340720 18446744073709551615 4668946 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=2129944 CPUtime=1111.27 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 83075 0 0 0 111076 51 0 0 25 0 4 0 522720819 2181062656 500411 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4450.01
Current children cumulated vsize (KiB) 2129944

[startup+1182.3 s]
/proc/loadavg: 8.10 8.08 8.01 9/184 9397
/proc/meminfo: memFree=25218728/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=2130968 CPUtime=4689.63 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 516852 0 0 0 468653 310 0 0 25 0 4 0 522719732 2182111232 508096 33554432000 4194304 4964704 140736811340720 18446744073709551615 4669051 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9358/statm: 532742 508096 460 189 0 527091 0
[pid=9358/tid=9363] ppid=9356 vsize=2130968 CPUtime=1166.3 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 122859 0 0 0 116537 93 0 0 25 0 4 0 522720819 2182111232 508096 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=2130968 CPUtime=1170.05 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 53772 0 0 0 116985 20 0 0 25 0 4 0 522720819 2182111232 508096 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=2130968 CPUtime=1171.22 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 83094 0 0 0 117070 52 0 0 25 0 4 0 522720819 2182111232 508096 33554432000 4194304 4964704 140736811340720 18446744073709551615 4627252 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4689.63
Current children cumulated vsize (KiB) 2130968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.01 s]
/proc/loadavg: 7.74 8.00 7.98 5/176 9415
/proc/meminfo: memFree=26197772/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=2130968 CPUtime=4800.18 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 517028 0 0 0 479706 312 0 0 25 0 4 0 522719732 2182111232 508272 33554432000 4194304 4964704 140736811340720 18446744073709551615 4342144 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9358/statm: 532742 508272 460 189 0 527091 0
[pid=9358/tid=9363] ppid=9356 vsize=2130968 CPUtime=1193.89 cores=0,2,4,6
/proc/9358/task/9363/stat : 9363 (claspmt) R 9356 9358 8397 0 -1 4202560 122902 0 0 0 119295 94 0 0 25 0 4 0 522720819 2182111232 508272 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=9358/tid=9364] ppid=9356 vsize=2130968 CPUtime=1197.76 cores=0,2,4,6
/proc/9358/task/9364/stat : 9364 (claspmt) R 9356 9358 8397 0 -1 4202560 53900 0 0 0 119756 20 0 0 25 0 4 0 522720819 2182111232 508272 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=9358/tid=9365] ppid=9356 vsize=2130968 CPUtime=1198.93 cores=0,2,4,6
/proc/9358/task/9365/stat : 9365 (claspmt) R 9356 9358 8397 0 -1 4202560 83099 0 0 0 119841 52 0 0 25 0 4 0 522720819 2182111232 508272 33554432000 4194304 4964704 140736811340720 18446744073709551615 4670228 0 0 4096 18946 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 2130968

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

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

[startup+1210.2 s]
/proc/loadavg: 7.74 8.00 7.98 5/176 9415
/proc/meminfo: memFree=26197772/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=2130528 CPUtime=4800.39 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202496 517038 0 0 0 479727 312 0 0 25 0 1 0 522719732 2181660672 505519 33554432000 4194304 4964704 140736811340720 18446744073709551615 230808821089 0 0 4096 18946 0 0 0 17 6 0 0 0
/proc/9358/statm: 532632 505519 470 189 0 526981 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 2130528

[startup+1210.3 s]
/proc/loadavg: 7.74 8.00 7.98 5/176 9415
/proc/meminfo: memFree=26197772/32951124 swapFree=67111524/67111528
[pid=9358] ppid=9356 vsize=0 CPUtime=4800.49 cores=0,2,4,6
/proc/9358/stat : 9358 (claspmt) R 9356 9358 8397 0 -1 4202500 517040 0 0 0 479731 318 0 0 25 0 1 0 522719732 0 0 33554432000 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 6 0 0 0
/proc/9358/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.49
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1210.33
CPU time (s): 4800.53
CPU user time (s): 4797.31
CPU system time (s): 3.21751
CPU usage (%): 396.628
Max. virtual memory (cumulated for all children) (KiB): 2130968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.31
system time used= 3.21751
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517040
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= 27451
involuntary context switches= 36167

runsolver used 1.83072 second user time and 4.67529 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 23:06:33
IDJOB=3299390
IDBENCH=88208
IDSOLVER=1683
FILE ID=node104/3299390-1304111192
RUNJOBID= node104-1304111192-9338
PBS_JOBID= 13170642
Free space on /tmp= 71532 MiB

SOLVER NAME= claspmt 2.0-R4095
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1504.5-n60-p15-s80450670.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-3299390-1304111192/watcher-3299390-1304111192 -o /tmp/evaluation-result-3299390-1304111192/solver-3299390-1304111192 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3299390-1304111192.cnf

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

MD5SUM BENCH= 78d8e2b8c0fd15b93f96e38e33701f17
RANDOM SEED=1754433409

node104.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.855
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.71
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.855
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.83
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.855
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.67
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.855
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.80
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.855
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	: 5293.18
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.855
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.83
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.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28203196 kB
Buffers:       1245672 kB
Cached:        2906096 kB
SwapCached:          4 kB
Active:         173472 kB
Inactive:      4067672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28203196 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           19608 kB
Writeback:           0 kB
AnonPages:       88548 kB
Mapped:          15328 kB
Slab:           442724 kB
PageTables:       5112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   233188 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71536 MiB
End job on node104 at 2011-04-29 23:26:45