Trace number 1543580

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
satake 2009-03-22? (TO) 1200.16 680.38

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/SATISFIABLE/110/
unif-k5-r21.3-v110-c2343-S986324446-009.cnf
MD5SUMb8c930418a16f3a24b4fb0e57c45eda6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.05499
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of clauses2343
Sum of the clauses size11715
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52343
Number of clauses of size over 50

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:489) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543580-1238493455/watcher-1543580-1238493455 -o /tmp/evaluation-result-1543580-1238493455/solver-1543580-1238493455 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543580-1238493455.cnf 3 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 1.97 1.88 2/64 11679
/proc/meminfo: memFree=1573624/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=1148 CPUtime=0
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 145 0 0 0 0 0 0 0 18 0 4 0 1122011419 1175552 130 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 287 130 68 163 0 122 0
[pid=11679/tid=11680] ppid=11677 vsize=1148 CPUtime=0
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1122011419 1175552 130 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11681] ppid=11677 vsize=1148 CPUtime=0
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 55 0 0 0 0 0 0 0 19 0 4 0 1122011419 1175552 130 1992294400 134512640 135180984 4294956208 18446744073709551615 134528595 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11682] ppid=11677 vsize=1148 CPUtime=0
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 4 0 1122011419 1175552 130 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.090454 s]
/proc/loadavg: 1.99 1.97 1.88 2/64 11679
/proc/meminfo: memFree=1573624/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=2436 CPUtime=0.13
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 247 0 0 0 8 5 0 0 18 0 4 0 1122011419 2494464 232 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 609 232 70 163 0 444 0
[pid=11679/tid=11680] ppid=11677 vsize=2436 CPUtime=0.04
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 23 0 0 0 1 3 0 0 17 0 4 0 1122011419 2494464 232 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11681] ppid=11677 vsize=2436 CPUtime=0.04
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 72 0 0 0 3 1 0 0 17 0 4 0 1122011419 2494464 232 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11682] ppid=11677 vsize=2436 CPUtime=0.04
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 69 0 0 0 3 1 0 0 16 0 4 0 1122011419 2494464 232 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 2436

[startup+0.101818 s]
/proc/loadavg: 1.99 1.97 1.88 2/64 11679
/proc/meminfo: memFree=1573624/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=2436 CPUtime=0.14
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 253 0 0 0 8 6 0 0 18 0 4 0 1122011419 2494464 238 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 609 238 70 163 0 444 0
[pid=11679/tid=11680] ppid=11677 vsize=2436 CPUtime=0.04
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 25 0 0 0 1 3 0 0 17 0 4 0 1122011419 2494464 238 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11681] ppid=11677 vsize=2436 CPUtime=0.04
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 73 0 0 0 3 1 0 0 16 0 4 0 1122011419 2494464 238 1992294400 134512640 135180984 4294956208 18446744073709551615 134528441 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11682] ppid=11677 vsize=2436 CPUtime=0.04
/proc/11679/task/11682/stat : 11682 (satake) S 11677 11679 11580 0 -1 4194368 72 0 0 0 3 1 0 0 16 0 4 0 1122011419 2494464 238 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2436

[startup+0.301835 s]
/proc/loadavg: 1.99 1.97 1.88 2/64 11679
/proc/meminfo: memFree=1573624/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=2700 CPUtime=0.46
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 314 0 0 0 29 17 0 0 18 0 4 0 1122011419 2764800 299 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 675 299 70 163 0 510 0
[pid=11679/tid=11680] ppid=11677 vsize=2700 CPUtime=0.1
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 43 0 0 0 2 8 0 0 17 0 4 0 1122011419 2764800 299 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11681] ppid=11677 vsize=2700 CPUtime=0.16
/proc/11679/task/11681/stat : 11681 (satake) S 11677 11679 11580 0 -1 4194368 93 0 0 0 12 4 0 0 16 0 4 0 1122011419 2764800 299 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11679/tid=11682] ppid=11677 vsize=2700 CPUtime=0.18
/proc/11679/task/11682/stat : 11682 (satake) S 11677 11679 11580 0 -1 4194368 95 0 0 0 14 4 0 0 16 0 4 0 1122011419 2764800 299 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2700

[startup+0.701879 s]
/proc/loadavg: 1.99 1.97 1.88 2/64 11679
/proc/meminfo: memFree=1573624/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=2700 CPUtime=1.11
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 404 0 0 0 72 39 0 0 18 0 4 0 1122011419 2764800 389 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 675 389 70 163 0 510 0
[pid=11679/tid=11680] ppid=11677 vsize=2700 CPUtime=0.25
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 93 0 0 0 5 20 0 0 17 0 4 0 1122011419 2764800 389 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11681] ppid=11677 vsize=2700 CPUtime=0.4
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 103 0 0 0 31 9 0 0 16 0 4 0 1122011419 2764800 389 1992294400 134512640 135180984 4294956208 18446744073709551615 134518214 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11682] ppid=11677 vsize=2700 CPUtime=0.42
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 125 0 0 0 34 8 0 0 16 0 4 0 1122011419 2764800 389 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2700

[startup+1.50197 s]
/proc/loadavg: 1.99 1.97 1.88 4/68 11683
/proc/meminfo: memFree=1571992/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=2832 CPUtime=2.41
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 564 0 0 0 156 85 0 0 18 0 4 0 1122011419 2899968 549 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 708 549 70 163 0 543 0
[pid=11679/tid=11680] ppid=11677 vsize=2832 CPUtime=0.53
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 206 0 0 0 11 42 0 0 17 0 4 0 1122011419 2899968 549 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11681] ppid=11677 vsize=2832 CPUtime=0.92
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 126 0 0 0 70 22 0 0 17 0 4 0 1122011419 2899968 549 1992294400 134512640 135180984 4294956208 18446744073709551615 134527266 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11682] ppid=11677 vsize=2832 CPUtime=0.93
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 149 0 0 0 73 20 0 0 16 0 4 0 1122011419 2899968 549 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 2832

[startup+3.10114 s]
/proc/loadavg: 2.07 1.99 1.88 3/68 11683
/proc/meminfo: memFree=1571032/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=4252 CPUtime=5.06
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 835 0 0 0 317 189 0 0 18 0 4 0 1122011419 4354048 820 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 1063 820 70 163 0 898 0
[pid=11679/tid=11680] ppid=11677 vsize=4252 CPUtime=1.16
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 397 0 0 0 25 91 0 0 16 0 4 0 1122011419 4354048 820 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11681] ppid=11677 vsize=4252 CPUtime=1.93
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 155 0 0 0 144 49 0 0 15 0 4 0 1122011419 4354048 820 1992294400 134512640 135180984 4294956208 18446744073709551615 134528658 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11682] ppid=11677 vsize=4252 CPUtime=1.95
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 200 0 0 0 147 48 0 0 16 0 4 0 1122011419 4354048 820 1992294400 134512640 135180984 4294956208 18446744073709551615 134681037 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 4252

[startup+6.30229 s]
/proc/loadavg: 2.07 1.99 1.88 2/68 11683
/proc/meminfo: memFree=1568920/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=6744 CPUtime=10.42
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 1304 0 0 0 669 373 0 0 18 0 4 0 1122011419 6905856 1289 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 1686 1289 70 163 0 1521 0
[pid=11679/tid=11680] ppid=11677 vsize=6744 CPUtime=2.31
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 750 0 0 0 49 182 0 0 15 0 4 0 1122011419 6905856 1289 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11681] ppid=11677 vsize=6744 CPUtime=3.98
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 209 0 0 0 303 95 0 0 16 0 4 0 1122011419 6905856 1289 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11682] ppid=11677 vsize=6744 CPUtime=4.1
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 262 0 0 0 315 95 0 0 16 0 4 0 1122011419 6905856 1289 1992294400 134512640 135180984 4294956208 18446744073709551615 134528221 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.42
Current children cumulated vsize (KiB) 6744

[startup+12.7022 s]
/proc/loadavg: 2.14 2.00 1.89 3/68 11683
/proc/meminfo: memFree=1564888/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=10920 CPUtime=21.29
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 2278 0 0 0 1321 808 0 0 18 0 4 0 1122011419 11182080 2263 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 2730 2263 70 163 0 2565 0
[pid=11679/tid=11680] ppid=11677 vsize=10920 CPUtime=4.94
/proc/11679/task/11680/stat : 11680 (satake) S 11677 11679 11580 0 -1 4194368 1554 0 0 0 101 393 0 0 16 0 4 0 1122011419 11182080 2263 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11679/tid=11681] ppid=11677 vsize=10920 CPUtime=8.12
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 289 0 0 0 605 207 0 0 16 0 4 0 1122011419 11182080 2263 1992294400 134512640 135180984 4294956208 18446744073709551615 134520035 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11682] ppid=11677 vsize=10920 CPUtime=8.21
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 352 0 0 0 614 207 0 0 15 0 4 0 1122011419 11182080 2263 1992294400 134512640 135180984 4294956208 18446744073709551615 134520671 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.29
Current children cumulated vsize (KiB) 10920

[startup+25.5024 s]
/proc/loadavg: 2.19 2.02 1.90 3/68 11683
/proc/meminfo: memFree=1557848/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=18932 CPUtime=43.24
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 3956 0 0 0 2736 1588 0 0 18 0 4 0 1122011419 19386368 3941 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 4733 3941 70 163 0 4568 0
[pid=11679/tid=11680] ppid=11677 vsize=18932 CPUtime=9.68
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 2932 0 0 0 198 770 0 0 16 0 4 0 1122011419 19386368 3941 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11681] ppid=11677 vsize=18932 CPUtime=16.72
/proc/11679/task/11681/stat : 11681 (satake) S 11677 11679 11580 0 -1 4194368 433 0 0 0 1262 410 0 0 15 0 4 0 1122011419 19386368 3941 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11679/tid=11682] ppid=11677 vsize=18932 CPUtime=16.82
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 508 0 0 0 1276 406 0 0 15 0 4 0 1122011419 19386368 3941 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 43.24
Current children cumulated vsize (KiB) 18932

[startup+51.105 s]
/proc/loadavg: 2.20 2.03 1.90 4/68 11683
/proc/meminfo: memFree=1544472/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=35364 CPUtime=87.29
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 7321 0 0 0 5583 3146 0 0 18 0 4 0 1122011419 36212736 7306 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 8841 7306 70 163 0 8676 0
[pid=11679/tid=11680] ppid=11677 vsize=35364 CPUtime=19.28
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 5465 0 0 0 398 1530 0 0 16 0 4 0 1122011419 36212736 7306 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11681] ppid=11677 vsize=35364 CPUtime=33.99
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 849 0 0 0 2582 817 0 0 15 0 4 0 1122011419 36212736 7306 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11682] ppid=11677 vsize=35364 CPUtime=33.99
/proc/11679/task/11682/stat : 11682 (satake) S 11677 11679 11580 0 -1 4194368 924 0 0 0 2601 798 0 0 15 0 4 0 1122011419 36212736 7306 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 87.29
Current children cumulated vsize (KiB) 35364

[startup+102.307 s]
/proc/loadavg: 2.40 2.10 1.93 3/68 11683
/proc/meminfo: memFree=1517528/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=66940 CPUtime=176.2
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 13969 0 0 0 11139 6481 0 0 18 0 4 0 1122011419 68546560 13954 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 16735 13954 70 163 0 16570 0
[pid=11679/tid=11680] ppid=11677 vsize=66940 CPUtime=39.62
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 10079 0 0 0 826 3136 0 0 15 0 4 0 1122011419 68546560 13954 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11681] ppid=11677 vsize=66940 CPUtime=68.27
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 1819 0 0 0 5139 1688 0 0 16 0 4 0 1122011419 68546560 13954 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11682] ppid=11677 vsize=66940 CPUtime=68.27
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 1988 0 0 0 5172 1655 0 0 16 0 4 0 1122011419 68546560 13954 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 176.2
Current children cumulated vsize (KiB) 66940

[startup+162.303 s]
/proc/loadavg: 2.35 2.14 1.95 3/68 11683
/proc/meminfo: memFree=1486680/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=104648 CPUtime=281.03
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 21729 0 0 0 17691 10412 0 0 18 0 4 0 1122011419 107159552 21714 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 26162 21714 70 163 0 25997 0
[pid=11679/tid=11680] ppid=11677 vsize=104648 CPUtime=63.69
/proc/11679/task/11680/stat : 11680 (satake) S 11677 11679 11580 0 -1 4194368 15457 0 0 0 1337 5032 0 0 15 0 4 0 1122011419 107159552 21714 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11679/tid=11681] ppid=11677 vsize=104648 CPUtime=108.28

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

Current children cumulated vsize (KiB) 104648

[startup+222.302 s]
/proc/loadavg: 2.35 2.18 1.97 3/68 11689
/proc/meminfo: memFree=1454992/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=143164 CPUtime=386.39
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 29573 0 0 0 24229 14410 0 0 18 0 4 0 1122011419 146599936 29558 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 35791 29558 70 163 0 35626 0
[pid=11679/tid=11680] ppid=11677 vsize=143164 CPUtime=88.06
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 20535 0 0 0 1840 6966 0 0 16 0 4 0 1122011419 146599936 29558 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11681] ppid=11677 vsize=143164 CPUtime=148.51
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 4352 0 0 0 11106 3745 0 0 15 0 4 0 1122011419 146599936 29558 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11682] ppid=11677 vsize=143164 CPUtime=149.8
/proc/11679/task/11682/stat : 11682 (satake) S 11677 11679 11580 0 -1 4194368 4603 0 0 0 11282 3698 0 0 15 0 4 0 1122011419 146599936 29558 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 386.39
Current children cumulated vsize (KiB) 143164

[startup+282.301 s]
/proc/loadavg: 2.28 2.19 1.99 3/68 11689
/proc/meminfo: memFree=1423376/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=178076 CPUtime=491.97
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 37550 0 0 0 30626 18571 0 0 18 0 4 0 1122011419 182349824 37535 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 44519 37535 70 163 0 44354 0
[pid=11679/tid=11680] ppid=11677 vsize=178076 CPUtime=113.34
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 25547 0 0 0 2363 8971 0 0 16 0 4 0 1122011419 182349824 37535 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11681] ppid=11677 vsize=178076 CPUtime=188.3
/proc/11679/task/11681/stat : 11681 (satake) S 11677 11679 11580 0 -1 4194368 5803 0 0 0 14005 4825 0 0 15 0 4 0 1122011419 182349824 37535 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11679/tid=11682] ppid=11677 vsize=178076 CPUtime=190.32
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 6117 0 0 0 14258 4774 0 0 15 0 4 0 1122011419 182349824 37535 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 491.97
Current children cumulated vsize (KiB) 178076

[startup+342.302 s]
/proc/loadavg: 2.61 2.30 2.04 3/68 11689
/proc/meminfo: memFree=1394000/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=214624 CPUtime=599.02
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 44807 0 0 0 37761 22141 0 0 18 0 4 0 1122011419 219774976 44792 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 53656 44792 70 163 0 53491 0
[pid=11679/tid=11680] ppid=11677 vsize=214624 CPUtime=135.22
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 29886 0 0 0 2830 10692 0 0 17 0 4 0 1122011419 219774976 44792 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11681] ppid=11677 vsize=214624 CPUtime=230.76
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 7167 0 0 0 17316 5760 0 0 15 0 4 0 1122011419 219774976 44792 1992294400 134512640 135180984 4294956208 18446744073709551615 134528600 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11682] ppid=11677 vsize=214624 CPUtime=233.04
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 7671 0 0 0 17615 5689 0 0 16 0 4 0 1122011419 219774976 44792 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 599.02
Current children cumulated vsize (KiB) 214624

[startup+402.302 s]
/proc/loadavg: 2.49 2.32 2.06 4/68 11689
/proc/meminfo: memFree=1364496/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=255064 CPUtime=705.51
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 52261 0 0 0 44646 25905 0 0 18 0 4 0 1122011419 261185536 52246 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 63766 52246 70 163 0 63601 0
[pid=11679/tid=11680] ppid=11677 vsize=255064 CPUtime=158.37
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 34198 0 0 0 3328 12509 0 0 16 0 4 0 1122011419 261185536 52246 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11681] ppid=11677 vsize=255064 CPUtime=272.05
/proc/11679/task/11681/stat : 11681 (satake) S 11677 11679 11580 0 -1 4194368 8749 0 0 0 20470 6735 0 0 15 0 4 0 1122011419 261185536 52246 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11679/tid=11682] ppid=11677 vsize=255064 CPUtime=275.07
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 9231 0 0 0 20847 6660 0 0 16 0 4 0 1122011419 261185536 52246 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 705.51
Current children cumulated vsize (KiB) 255064

[startup+462.301 s]
/proc/loadavg: 2.30 2.30 2.07 3/68 11689
/proc/meminfo: memFree=1334736/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=289132 CPUtime=812.39
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 59564 0 0 0 51660 29579 0 0 18 0 4 0 1122011419 296071168 59549 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 72283 59549 70 163 0 72118 0
[pid=11679/tid=11680] ppid=11677 vsize=289132 CPUtime=180.91
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 38375 0 0 0 3803 14288 0 0 16 0 4 0 1122011419 296071168 59549 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11681] ppid=11677 vsize=289132 CPUtime=314.13
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 10301 0 0 0 23730 7683 0 0 16 0 4 0 1122011419 296071168 59549 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11682] ppid=11677 vsize=289132 CPUtime=317.34
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 10805 0 0 0 24127 7607 0 0 15 0 4 0 1122011419 296071168 59549 1992294400 134512640 135180984 4294956208 18446744073709551615 134520909 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 812.39
Current children cumulated vsize (KiB) 289132

[startup+522.302 s]
/proc/loadavg: 2.42 2.34 2.10 4/68 11689
/proc/meminfo: memFree=1305560/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=322060 CPUtime=919.43
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 66929 0 0 0 58705 33238 0 0 18 0 4 0 1122011419 329789440 66914 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 80515 66914 70 163 0 80350 0
[pid=11679/tid=11680] ppid=11677 vsize=322060 CPUtime=203.54
/proc/11679/task/11680/stat : 11680 (satake) S 11677 11679 11580 0 -1 4194368 42506 0 0 0 4285 16069 0 0 15 0 4 0 1122011419 329789440 66914 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11679/tid=11681] ppid=11677 vsize=322060 CPUtime=355.56
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 11766 0 0 0 26931 8625 0 0 16 0 4 0 1122011419 329789440 66914 1992294400 134512640 135180984 4294956208 18446744073709551615 134520027 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11682] ppid=11677 vsize=322060 CPUtime=360.32
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 12574 0 0 0 27489 8543 0 0 16 0 4 0 1122011419 329789440 66914 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 919.43
Current children cumulated vsize (KiB) 322060

[startup+582.301 s]
/proc/loadavg: 2.30 2.33 2.10 3/68 11689
/proc/meminfo: memFree=1275288/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=361576 CPUtime=1026.47
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 74406 0 0 0 65647 37000 0 0 18 0 4 0 1122011419 370253824 74391 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 90394 74391 70 163 0 90229 0
[pid=11679/tid=11680] ppid=11677 vsize=361576 CPUtime=226.7
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 46802 0 0 0 4775 17895 0 0 16 0 4 0 1122011419 370253824 74391 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=11679/tid=11681] ppid=11677 vsize=361576 CPUtime=397.24
/proc/11679/task/11681/stat : 11681 (satake) S 11677 11679 11580 0 -1 4194368 13191 0 0 0 30133 9591 0 0 17 0 4 0 1122011419 370253824 74391 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=11679/tid=11682] ppid=11677 vsize=361576 CPUtime=402.51
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 14330 0 0 0 30738 9513 0 0 15 0 4 0 1122011419 370253824 74391 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1026.47
Current children cumulated vsize (KiB) 361576

[startup+642.302 s]
/proc/loadavg: 2.44 2.36 2.12 3/68 11689
/proc/meminfo: memFree=1243864/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=400084 CPUtime=1132.81
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 82169 0 0 0 72289 40992 0 0 18 0 4 0 1122011419 409686016 82154 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 100021 82154 70 163 0 99856 0
[pid=11679/tid=11680] ppid=11677 vsize=400084 CPUtime=251.06
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 51245 0 0 0 5279 19827 0 0 16 0 4 0 1122011419 409686016 82154 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11681] ppid=11677 vsize=400084 CPUtime=438.12
/proc/11679/task/11681/stat : 11681 (satake) S 11677 11679 11580 0 -1 4194368 14824 0 0 0 33194 10618 0 0 16 0 4 0 1122011419 409686016 82154 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=11679/tid=11682] ppid=11677 vsize=400084 CPUtime=443.6
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 16017 0 0 0 33814 10546 0 0 15 0 4 0 1122011419 409686016 82154 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1132.81
Current children cumulated vsize (KiB) 400084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+680.303 s]
/proc/loadavg: 2.34 2.35 2.13 4/68 11689
/proc/meminfo: memFree=1224152/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=423096 CPUtime=1200.08
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 87064 0 0 0 76451 43557 0 0 18 0 4 0 1122011419 433250304 87049 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 105774 87049 70 163 0 105609 0
[pid=11679/tid=11680] ppid=11677 vsize=423096 CPUtime=266.67
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 54060 0 0 0 5605 21062 0 0 16 0 4 0 1122011419 433250304 87049 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11681] ppid=11677 vsize=423096 CPUtime=463.9
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 15810 0 0 0 35106 11284 0 0 16 0 4 0 1122011419 433250304 87049 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11682] ppid=11677 vsize=423096 CPUtime=469.48
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 17111 0 0 0 35738 11210 0 0 15 0 4 0 1122011419 433250304 87049 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 423096

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

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

[startup+680.303 s]
/proc/loadavg: 2.34 2.35 2.13 4/68 11689
/proc/meminfo: memFree=1224152/2055920 swapFree=4178540/4192956
[pid=11679] ppid=11677 vsize=423096 CPUtime=1200.08
/proc/11679/stat : 11679 (satake) S 11677 11679 11580 0 -1 4194304 87064 0 0 0 76451 43557 0 0 18 0 4 0 1122011419 433250304 87049 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/11679/statm: 105774 87049 70 163 0 105609 0
[pid=11679/tid=11680] ppid=11677 vsize=423096 CPUtime=266.67
/proc/11679/task/11680/stat : 11680 (satake) R 11677 11679 11580 0 -1 4194368 54060 0 0 0 5605 21062 0 0 16 0 4 0 1122011419 433250304 87049 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11681] ppid=11677 vsize=423096 CPUtime=463.9
/proc/11679/task/11681/stat : 11681 (satake) R 11677 11679 11580 0 -1 4194368 15810 0 0 0 35106 11284 0 0 16 0 4 0 1122011419 433250304 87049 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=11679/tid=11682] ppid=11677 vsize=423096 CPUtime=469.48
/proc/11679/task/11682/stat : 11682 (satake) R 11677 11679 11580 0 -1 4194368 17111 0 0 0 35738 11210 0 0 15 0 4 0 1122011419 433250304 87049 1992294400 134512640 135180984 4294956208 18446744073709551615 134528763 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 423096

Child ended because it received signal 15 (SIGTERM)
Real time (s): 680.38
CPU time (s): 1200.16
CPU user time (s): 764.518
CPU system time (s): 435.641
CPU usage (%): 176.395
Max. virtual memory (cumulated for all children) (KiB): 423096

deleting IPC queue 753664
deleting IPC queue 786433
deleting IPC queue 819202
deleting IPC queue 851971
deleting IPC queue 884740
deleting IPC queue 917509
deleting IPC queue 950278
deleting IPC queue 983047
deleting IPC queue 1015816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 764.518
system time used= 435.641
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87066
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= 17884679
involuntary context switches= 16277174

runsolver used 0.743886 second user time and 2.12368 second system time

The end

Launcher Data 

Begin job on node19 at 2009-03-31 11:57:35
IDJOB=1543580
IDBENCH=70421
IDSOLVER=553
FILE ID=node19/1543580-1238493455
PBS_JOBID= 9061912
Free space on /tmp= 66404 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/SATISFIABLE/110/unif-k5-r21.3-v110-c2343-S986324446-009.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543580-1238493455/watcher-1543580-1238493455 -o /tmp/evaluation-result-1543580-1238493455/solver-1543580-1238493455 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543580-1238493455.cnf 3 1200

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3

MD5SUM BENCH= b8c930418a16f3a24b4fb0e57c45eda6
RANDOM SEED=388299818

node19.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.235
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.235
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1574104 kB
Buffers:         81016 kB
Cached:         307372 kB
SwapCached:       8188 kB
Active:         183184 kB
Inactive:       215140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1574104 kB
SwapTotal:     4192956 kB
SwapFree:      4178540 kB
Dirty:             800 kB
Writeback:           0 kB
Mapped:          15584 kB
Slab:            69508 kB
Committed_AS:  3080088 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66404 MiB
End job on node19 at 2009-03-31 12:08:58