Trace number 1543551

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.2 704.188

General information on the benchmark

NameRANDOM/MEDIUM/5SAT/UNKNOWN/90/
unif-k5-r21.3-v90-c1917-S291433416-025.cnf
MD5SUMf605382d61971a127354e33363a04ef5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark170.979
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses1917
Sum of the clauses size9585
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 51917
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-1543551-1238493159/watcher-1543551-1238493159 -o /tmp/evaluation-result-1543551-1238493159/solver-1543551-1238493159 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543551-1238493159.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.00 1.00 1.17 3/64 30637
/proc/meminfo: memFree=1522352/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=1148 CPUtime=0
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 138 0 0 0 0 0 0 0 18 0 4 0 1121979153 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 287 123 68 163 0 122 0
[pid=30637/tid=30638] ppid=30635 vsize=1148 CPUtime=0
/proc/30637/task/30638/stat : 30638 (satake) S 30635 30637 30568 0 -1 4194368 7 0 0 0 0 0 0 0 19 0 4 0 1121979153 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=1148 CPUtime=0
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 48 0 0 0 0 0 0 0 20 0 4 0 1121979153 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134528214 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=1148 CPUtime=0
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 4 0 1121979153 1175552 123 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.048717 s]
/proc/loadavg: 1.00 1.00 1.17 3/64 30637
/proc/meminfo: memFree=1522352/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=2436 CPUtime=0.06
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 206 0 0 0 4 2 0 0 18 0 4 0 1121979153 2494464 191 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 609 191 70 163 0 444 0
[pid=30637/tid=30638] ppid=30635 vsize=2436 CPUtime=0.01
/proc/30637/task/30638/stat : 30638 (satake) R 30635 30637 30568 0 -1 4194368 13 0 0 0 0 1 0 0 17 0 4 0 1121979153 2494464 191 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=2436 CPUtime=0.02
/proc/30637/task/30639/stat : 30639 (satake) S 30635 30637 30568 0 -1 4194368 66 0 0 0 2 0 0 0 16 0 4 0 1121979153 2494464 191 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30637/tid=30640] ppid=30635 vsize=2436 CPUtime=0.01
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 44 0 0 0 1 0 0 0 16 0 4 0 1121979153 2494464 191 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2436

[startup+0.104558 s]
/proc/loadavg: 1.00 1.00 1.17 3/64 30637
/proc/meminfo: memFree=1522352/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=2436 CPUtime=0.14
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 237 0 0 0 7 7 0 0 18 0 4 0 1121979153 2494464 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 609 222 70 163 0 444 0
[pid=30637/tid=30638] ppid=30635 vsize=2436 CPUtime=0.05
/proc/30637/task/30638/stat : 30638 (satake) R 30635 30637 30568 0 -1 4194368 23 0 0 0 1 4 0 0 17 0 4 0 1121979153 2494464 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=2436 CPUtime=0.04
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 76 0 0 0 3 1 0 0 16 0 4 0 1121979153 2494464 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134579486 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30637/tid=30640] ppid=30635 vsize=2436 CPUtime=0.04
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 55 0 0 0 3 1 0 0 16 0 4 0 1121979153 2494464 222 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2436

[startup+0.301905 s]
/proc/loadavg: 1.00 1.00 1.17 3/64 30637
/proc/meminfo: memFree=1522352/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=2700 CPUtime=0.45
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 288 0 0 0 23 22 0 0 18 0 4 0 1121979153 2764800 273 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 675 273 70 163 0 510 0
[pid=30637/tid=30638] ppid=30635 vsize=2700 CPUtime=0.15
/proc/30637/task/30638/stat : 30638 (satake) R 30635 30637 30568 0 -1 4194368 47 0 0 0 3 12 0 0 17 0 4 0 1121979153 2764800 273 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30637/tid=30639] ppid=30635 vsize=2700 CPUtime=0.14
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 88 0 0 0 10 4 0 0 16 0 4 0 1121979153 2764800 273 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30637/tid=30640] ppid=30635 vsize=2700 CPUtime=0.15
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 70 0 0 0 10 5 0 0 16 0 4 0 1121979153 2764800 273 1992294400 134512640 135180984 4294956208 18446744073709551615 134529622 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 2700

[startup+0.701949 s]
/proc/loadavg: 1.00 1.00 1.17 3/64 30637
/proc/meminfo: memFree=1522352/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=3096 CPUtime=1.09
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 380 0 0 0 55 54 0 0 18 0 4 0 1121979153 3170304 365 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 774 365 70 163 0 609 0
[pid=30637/tid=30638] ppid=30635 vsize=3096 CPUtime=0.35
/proc/30637/task/30638/stat : 30638 (satake) R 30635 30637 30568 0 -1 4194368 105 0 0 0 7 28 0 0 17 0 4 0 1121979153 3170304 365 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30637/tid=30639] ppid=30635 vsize=3096 CPUtime=0.34
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 110 0 0 0 23 11 0 0 16 0 4 0 1121979153 3170304 365 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30637/tid=30640] ppid=30635 vsize=3096 CPUtime=0.38
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 82 0 0 0 24 14 0 0 16 0 4 0 1121979153 3170304 365 1992294400 134512640 135180984 4294956208 18446744073709551615 134520865 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 3096

[startup+1.50103 s]
/proc/loadavg: 1.00 1.00 1.17 4/68 30641
/proc/meminfo: memFree=1520784/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=3764 CPUtime=2.38
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 540 0 0 0 117 121 0 0 18 0 4 0 1121979153 3854336 525 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 941 525 70 163 0 776 0
[pid=30637/tid=30638] ppid=30635 vsize=3764 CPUtime=0.78
/proc/30637/task/30638/stat : 30638 (satake) R 30635 30637 30568 0 -1 4194368 223 0 0 0 14 64 0 0 17 0 4 0 1121979153 3854336 525 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=3764 CPUtime=0.78
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 127 0 0 0 51 27 0 0 16 0 4 0 1121979153 3854336 525 1992294400 134512640 135180984 4294956208 18446744073709551615 134528473 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30637/tid=30640] ppid=30635 vsize=3764 CPUtime=0.8
/proc/30637/task/30640/stat : 30640 (satake) S 30635 30637 30568 0 -1 4194368 107 0 0 0 51 29 0 0 16 0 4 0 1121979153 3854336 525 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 3764

[startup+3.10221 s]
/proc/loadavg: 1.00 1.00 1.17 4/68 30641
/proc/meminfo: memFree=1519760/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=4896 CPUtime=5.01
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 837 0 0 0 245 256 0 0 18 0 4 0 1121979153 5013504 822 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 1224 822 70 163 0 1059 0
[pid=30637/tid=30638] ppid=30635 vsize=4896 CPUtime=1.64
/proc/30637/task/30638/stat : 30638 (satake) R 30635 30637 30568 0 -1 4194368 447 0 0 0 30 134 0 0 16 0 4 0 1121979153 5013504 822 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=4896 CPUtime=1.64
/proc/30637/task/30639/stat : 30639 (satake) S 30635 30637 30568 0 -1 4194368 161 0 0 0 106 58 0 0 16 0 4 0 1121979153 5013504 822 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=4896 CPUtime=1.7
/proc/30637/task/30640/stat : 30640 (satake) S 30635 30637 30568 0 -1 4194368 146 0 0 0 108 62 0 0 15 0 4 0 1121979153 5013504 822 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 4896

[startup+6.30275 s]
/proc/loadavg: 1.08 1.02 1.17 4/68 30641
/proc/meminfo: memFree=1517328/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=7348 CPUtime=10.28
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 1408 0 0 0 505 523 0 0 18 0 4 0 1121979153 7524352 1393 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 1837 1393 70 163 0 1672 0
[pid=30637/tid=30638] ppid=30635 vsize=7348 CPUtime=3.29
/proc/30637/task/30638/stat : 30638 (satake) S 30635 30637 30568 0 -1 4194368 929 0 0 0 63 266 0 0 16 0 4 0 1121979153 7524352 1393 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=7348 CPUtime=3.45
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 199 0 0 0 221 124 0 0 16 0 4 0 1121979153 7524352 1393 1992294400 134512640 135180984 4294956208 18446744073709551615 134528592 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30637/tid=30640] ppid=30635 vsize=7348 CPUtime=3.51
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 197 0 0 0 219 132 0 0 16 0 4 0 1121979153 7524352 1393 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.28
Current children cumulated vsize (KiB) 7348

[startup+12.7014 s]
/proc/loadavg: 1.23 1.05 1.18 4/68 30641
/proc/meminfo: memFree=1512720/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=12176 CPUtime=20.89
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 2493 0 0 0 1030 1059 0 0 18 0 4 0 1121979153 12468224 2478 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 3044 2478 70 163 0 2879 0
[pid=30637/tid=30638] ppid=30635 vsize=12176 CPUtime=6.5
/proc/30637/task/30638/stat : 30638 (satake) S 30635 30637 30568 0 -1 4194368 1850 0 0 0 127 523 0 0 15 0 4 0 1121979153 12468224 2478 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=12176 CPUtime=7.16
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 282 0 0 0 454 262 0 0 16 0 4 0 1121979153 12468224 2478 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=12176 CPUtime=7.2
/proc/30637/task/30640/stat : 30640 (satake) S 30635 30637 30568 0 -1 4194368 278 0 0 0 448 272 0 0 16 0 4 0 1121979153 12468224 2478 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.89
Current children cumulated vsize (KiB) 12176

[startup+25.5018 s]
/proc/loadavg: 1.39 1.10 1.19 3/68 30641
/proc/meminfo: memFree=1504336/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=21532 CPUtime=42.02
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 4532 0 0 0 2099 2103 0 0 18 0 4 0 1121979153 22048768 4517 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 5383 4517 70 163 0 5218 0
[pid=30637/tid=30638] ppid=30635 vsize=21532 CPUtime=12.92
/proc/30637/task/30638/stat : 30638 (satake) S 30635 30637 30568 0 -1 4194368 3486 0 0 0 258 1034 0 0 15 0 4 0 1121979153 22048768 4517 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=21532 CPUtime=14.51
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 496 0 0 0 927 524 0 0 15 0 4 0 1121979153 22048768 4517 1992294400 134512640 135180984 4294956208 18446744073709551615 134529656 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30637/tid=30640] ppid=30635 vsize=21532 CPUtime=14.59
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 467 0 0 0 914 545 0 0 16 0 4 0 1121979153 22048768 4517 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.02
Current children cumulated vsize (KiB) 21532

[startup+51.1016 s]
/proc/loadavg: 1.60 1.17 1.21 3/68 30641
/proc/meminfo: memFree=1488528/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=40892 CPUtime=84.53
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 8519 0 0 0 4274 4179 0 0 18 0 4 0 1121979153 41873408 8504 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 10223 8504 70 163 0 10058 0
[pid=30637/tid=30638] ppid=30635 vsize=40892 CPUtime=25.68
/proc/30637/task/30638/stat : 30638 (satake) R 30635 30637 30568 0 -1 4194368 6512 0 0 0 525 2043 0 0 16 0 4 0 1121979153 41873408 8504 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=40892 CPUtime=29.3
/proc/30637/task/30639/stat : 30639 (satake) S 30635 30637 30568 0 -1 4194368 1029 0 0 0 1877 1053 0 0 15 0 4 0 1121979153 41873408 8504 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=40892 CPUtime=29.54
/proc/30637/task/30640/stat : 30640 (satake) S 30635 30637 30568 0 -1 4194368 895 0 0 0 1871 1083 0 0 16 0 4 0 1121979153 41873408 8504 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 84.53
Current children cumulated vsize (KiB) 40892

[startup+102.307 s]
/proc/loadavg: 2.12 1.38 1.28 3/68 30641
/proc/meminfo: memFree=1456720/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=77908 CPUtime=170.35
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 16354 0 0 0 8750 8285 0 0 18 0 4 0 1121979153 79777792 16339 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 19477 16339 70 163 0 19312 0
[pid=30637/tid=30638] ppid=30635 vsize=77908 CPUtime=50.68
/proc/30637/task/30638/stat : 30638 (satake) S 30635 30637 30568 0 -1 4194368 12175 0 0 0 1033 4035 0 0 15 0 4 0 1121979153 79777792 16339 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=77908 CPUtime=59.58
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 2278 0 0 0 3857 2101 0 0 16 0 4 0 1121979153 79777792 16339 1992294400 134512640 135180984 4294956208 18446744073709551615 134528727 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30637/tid=30640] ppid=30635 vsize=77908 CPUtime=60.08
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 1818 0 0 0 3859 2149 0 0 16 0 4 0 1121979153 79777792 16339 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 170.35
Current children cumulated vsize (KiB) 77908

[startup+162.302 s]
/proc/loadavg: 2.32 1.57 1.35 3/68 30641
/proc/meminfo: memFree=1421136/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=125784 CPUtime=271.8
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 25335 0 0 0 14230 12950 0 0 18 0 4 0 1121979153 128802816 25320 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 31446 25320 70 163 0 31281 0
[pid=30637/tid=30638] ppid=30635 vsize=125784 CPUtime=79.4
/proc/30637/task/30638/stat : 30638 (satake) S 30635 30637 30568 0 -1 4194368 18319 0 0 0 1637 6303 0 0 15 0 4 0 1121979153 128802816 25320 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=125784 CPUtime=96.02

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

/proc/meminfo: memFree=1349328/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=208452 CPUtime=474.68
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 43255 0 0 0 25232 22236 0 0 18 0 4 0 1121979153 213454848 43240 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 52113 43240 70 163 0 51948 0
[pid=30637/tid=30638] ppid=30635 vsize=208452 CPUtime=135.94
/proc/30637/task/30638/stat : 30638 (satake) R 30635 30637 30568 0 -1 4194368 29828 0 0 0 2801 10793 0 0 16 0 4 0 1121979153 213454848 43240 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=208452 CPUtime=167.99
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 7757 0 0 0 11154 5645 0 0 16 0 4 0 1121979153 213454848 43240 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=208452 CPUtime=170.73
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 5587 0 0 0 11276 5797 0 0 16 0 4 0 1121979153 213454848 43240 1992294400 134512640 135180984 4294956208 18446744073709551615 134519894 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 474.68
Current children cumulated vsize (KiB) 208452

[startup+342.301 s]
/proc/loadavg: 2.45 1.96 1.54 3/68 30641
/proc/meminfo: memFree=1313616/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=256112 CPUtime=577.49
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 52078 0 0 0 31004 26745 0 0 18 0 4 0 1121979153 262258688 52063 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 64028 52063 70 163 0 63863 0
[pid=30637/tid=30638] ppid=30635 vsize=256112 CPUtime=163.61
/proc/30637/task/30638/stat : 30638 (satake) S 30635 30637 30568 0 -1 4194368 35252 0 0 0 3385 12976 0 0 15 0 4 0 1121979153 262258688 52063 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=30637/tid=30639] ppid=30635 vsize=256112 CPUtime=205.77
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 9498 0 0 0 13783 6794 0 0 15 0 4 0 1121979153 262258688 52063 1992294400 134512640 135180984 4294956208 18446744073709551615 134670093 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30637/tid=30640] ppid=30635 vsize=256112 CPUtime=208.09
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 7245 0 0 0 13835 6974 0 0 16 0 4 0 1121979153 262258688 52063 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.49
Current children cumulated vsize (KiB) 256112

[startup+402.302 s]
/proc/loadavg: 2.55 2.07 1.60 2/68 30641
/proc/meminfo: memFree=1278928/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=293820 CPUtime=680.56
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 60846 0 0 0 36818 31238 0 0 18 0 4 0 1121979153 300871680 60831 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 73455 60831 70 163 0 73290 0
[pid=30637/tid=30638] ppid=30635 vsize=293820 CPUtime=191.14
/proc/30637/task/30638/stat : 30638 (satake) R 30635 30637 30568 0 -1 4194368 40599 0 0 0 3959 15155 0 0 16 0 4 0 1121979153 300871680 60831 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=293820 CPUtime=243.86
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 11334 0 0 0 16432 7954 0 0 15 0 4 0 1121979153 300871680 60831 1992294400 134512640 135180984 4294956208 18446744073709551615 134520865 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30637/tid=30640] ppid=30635 vsize=293820 CPUtime=245.54
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 8830 0 0 0 16426 8128 0 0 16 0 4 0 1121979153 300871680 60831 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 680.56
Current children cumulated vsize (KiB) 293820

[startup+462.301 s]
/proc/loadavg: 2.59 2.16 1.66 2/68 30641
/proc/meminfo: memFree=1243600/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=335568 CPUtime=783.58
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 69543 0 0 0 42632 35726 0 0 18 0 4 0 1121979153 343621632 69528 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 83892 69528 70 163 0 83727 0
[pid=30637/tid=30638] ppid=30635 vsize=335568 CPUtime=218.57
/proc/30637/task/30638/stat : 30638 (satake) R 30635 30637 30568 0 -1 4194368 45773 0 0 0 4529 17328 0 0 16 0 4 0 1121979153 343621632 69528 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=335568 CPUtime=281.64
/proc/30637/task/30639/stat : 30639 (satake) S 30635 30637 30568 0 -1 4194368 13018 0 0 0 19073 9091 0 0 16 0 4 0 1121979153 343621632 69528 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=335568 CPUtime=283.34
/proc/30637/task/30640/stat : 30640 (satake) S 30635 30637 30568 0 -1 4194368 10669 0 0 0 19029 9305 0 0 16 0 4 0 1121979153 343621632 69528 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 783.58
Current children cumulated vsize (KiB) 335568

[startup+522.302 s]
/proc/loadavg: 2.85 2.30 1.73 3/68 30647
/proc/meminfo: memFree=1208584/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=375624 CPUtime=886.83
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 78329 0 0 0 48509 40174 0 0 18 0 4 0 1121979153 384638976 78314 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 93906 78314 70 163 0 93741 0
[pid=30637/tid=30638] ppid=30635 vsize=375624 CPUtime=246.02
/proc/30637/task/30638/stat : 30638 (satake) R 30635 30637 30568 0 -1 4194368 51110 0 0 0 5112 19490 0 0 16 0 4 0 1121979153 384638976 78314 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30637/tid=30639] ppid=30635 vsize=375624 CPUtime=319.7
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 14837 0 0 0 21733 10237 0 0 15 0 4 0 1121979153 384638976 78314 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30637/tid=30640] ppid=30635 vsize=375624 CPUtime=321.08
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 12299 0 0 0 21663 10445 0 0 16 0 4 0 1121979153 384638976 78314 1992294400 134512640 135180984 4294956208 18446744073709551615 134528529 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 886.83
Current children cumulated vsize (KiB) 375624

[startup+582.301 s]
/proc/loadavg: 2.97 2.42 1.81 3/68 30647
/proc/meminfo: memFree=1173640/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=411476 CPUtime=990.38
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 87024 0 0 0 54403 44635 0 0 18 0 4 0 1121979153 421351424 87009 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 102869 87009 70 163 0 102704 0
[pid=30637/tid=30638] ppid=30635 vsize=411476 CPUtime=273.36
/proc/30637/task/30638/stat : 30638 (satake) S 30635 30637 30568 0 -1 4194368 56406 0 0 0 5675 21661 0 0 15 0 4 0 1121979153 421351424 87009 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=411476 CPUtime=356.88
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 16491 0 0 0 24318 11370 0 0 16 0 4 0 1121979153 421351424 87009 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=411476 CPUtime=360.11
/proc/30637/task/30640/stat : 30640 (satake) S 30635 30637 30568 0 -1 4194368 14044 0 0 0 24408 11603 0 0 15 0 4 0 1121979153 421351424 87009 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 990.38
Current children cumulated vsize (KiB) 411476

[startup+642.302 s]
/proc/loadavg: 2.58 2.41 1.85 4/68 30647
/proc/meminfo: memFree=1138440/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=465816 CPUtime=1093.64
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 95711 0 0 0 60285 49079 0 0 18 0 4 0 1121979153 476995584 95696 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 116454 95696 70 163 0 116289 0
[pid=30637/tid=30638] ppid=30635 vsize=465816 CPUtime=300.5
/proc/30637/task/30638/stat : 30638 (satake) R 30635 30637 30568 0 -1 4194368 61586 0 0 0 6238 23812 0 0 16 0 4 0 1121979153 476995584 95696 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=465816 CPUtime=394.82
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 18207 0 0 0 26969 12513 0 0 16 0 4 0 1121979153 476995584 95696 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30637/tid=30640] ppid=30635 vsize=465816 CPUtime=398.29
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 15835 0 0 0 27077 12752 0 0 16 0 4 0 1121979153 476995584 95696 1992294400 134512640 135180984 4294956208 18446744073709551615 134529638 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1093.64
Current children cumulated vsize (KiB) 465816

[startup+702.305 s]
/proc/loadavg: 2.44 2.40 1.87 3/68 30647
/proc/meminfo: memFree=1104008/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=502920 CPUtime=1197.06
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 104347 0 0 0 66208 53498 0 0 18 0 4 0 1121979153 514990080 104332 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 125730 104332 70 163 0 125565 0
[pid=30637/tid=30638] ppid=30635 vsize=502920 CPUtime=327.59
/proc/30637/task/30638/stat : 30638 (satake) R 30635 30637 30568 0 -1 4194368 66736 0 0 0 6817 25942 0 0 15 0 4 0 1121979153 514990080 104332 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=30637/tid=30639] ppid=30635 vsize=502920 CPUtime=432.69
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 20020 0 0 0 29616 13653 0 0 16 0 4 0 1121979153 514990080 104332 1992294400 134512640 135180984 4294956208 18446744073709551615 134523982 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=502920 CPUtime=436.77
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 17508 0 0 0 29774 13903 0 0 15 0 4 0 1121979153 514990080 104332 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1197.06
Current children cumulated vsize (KiB) 502920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+704.101 s]
/proc/loadavg: 2.40 2.40 1.87 2/68 30647
/proc/meminfo: memFree=1102664/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=504116 CPUtime=1200.1
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 104594 0 0 0 66380 53630 0 0 18 0 4 0 1121979153 516214784 104579 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 126029 104579 70 163 0 125864 0
[pid=30637/tid=30638] ppid=30635 vsize=504116 CPUtime=328.4
/proc/30637/task/30638/stat : 30638 (satake) R 30635 30637 30568 0 -1 4194368 66876 0 0 0 6834 26006 0 0 16 0 4 0 1121979153 516214784 104579 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=504116 CPUtime=433.82
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 20091 0 0 0 29696 13686 0 0 16 0 4 0 1121979153 516214784 104579 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=504116 CPUtime=437.86
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 17544 0 0 0 29849 13937 0 0 16 0 4 0 1121979153 516214784 104579 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 504116

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

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

[startup+704.101 s]
/proc/loadavg: 2.40 2.40 1.87 2/68 30647
/proc/meminfo: memFree=1102664/2055920 swapFree=4172472/4192956
[pid=30637] ppid=30635 vsize=504116 CPUtime=1200.1
/proc/30637/stat : 30637 (satake) S 30635 30637 30568 0 -1 4194304 104594 0 0 0 66380 53630 0 0 18 0 4 0 1121979153 516214784 104579 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/30637/statm: 126029 104579 70 163 0 125864 0
[pid=30637/tid=30638] ppid=30635 vsize=504116 CPUtime=328.4
/proc/30637/task/30638/stat : 30638 (satake) R 30635 30637 30568 0 -1 4194368 66876 0 0 0 6834 26006 0 0 16 0 4 0 1121979153 516214784 104579 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30639] ppid=30635 vsize=504116 CPUtime=433.82
/proc/30637/task/30639/stat : 30639 (satake) R 30635 30637 30568 0 -1 4194368 20091 0 0 0 29696 13686 0 0 16 0 4 0 1121979153 516214784 104579 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=30637/tid=30640] ppid=30635 vsize=504116 CPUtime=437.86
/proc/30637/task/30640/stat : 30640 (satake) R 30635 30637 30568 0 -1 4194368 17544 0 0 0 29849 13937 0 0 16 0 4 0 1121979153 516214784 104579 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 504116

Child ended because it received signal 15 (SIGTERM)
Real time (s): 704.188
CPU time (s): 1200.2
CPU user time (s): 663.81
CPU system time (s): 536.387
CPU usage (%): 170.437
Max. virtual memory (cumulated for all children) (KiB): 504116

deleting IPC queue 589824
deleting IPC queue 622593
deleting IPC queue 655362
deleting IPC queue 688131
deleting IPC queue 131076
deleting IPC queue 163845
deleting IPC queue 425990
deleting IPC queue 229383
deleting IPC queue 262152
deleting IPC queue 458761
deleting IPC queue 720906
deleting IPC queue 524299
deleting IPC queue 557068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 663.81
system time used= 536.387
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104594
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= 21173878
involuntary context switches= 19383961

runsolver used 0.78488 second user time and 2.24266 second system time

The end

Launcher Data 

Begin job on node37 at 2009-03-31 11:52:39
IDJOB=1543551
IDBENCH=70392
IDSOLVER=553
FILE ID=node37/1543551-1238493159
PBS_JOBID= 9061908
Free space on /tmp= 66428 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/5SAT/UNKNOWN/90/unif-k5-r21.3-v90-c1917-S291433416-025.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543551-1238493159/watcher-1543551-1238493159 -o /tmp/evaluation-result-1543551-1238493159/solver-1543551-1238493159 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543551-1238493159.cnf 3 1200

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

MD5SUM BENCH= f605382d61971a127354e33363a04ef5
RANDOM SEED=40554565

node37.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.213
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.213
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:       1522768 kB
Buffers:         90920 kB
Cached:         344336 kB
SwapCached:      14360 kB
Active:         180244 kB
Inactive:       270880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1522768 kB
SwapTotal:     4192956 kB
SwapFree:      4172472 kB
Dirty:             784 kB
Writeback:           0 kB
Mapped:          18796 kB
Slab:            68144 kB
Committed_AS:  2931088 kB
PageTables:       1384 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= 66428 MiB
End job on node37 at 2009-03-31 12:04:26