Trace number 1780885

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 (4 threads)? (TO) 1981.51 1000.05

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rpoc_xits_13_UNKNOWN.cnf
MD5SUM57b85ec7870f670f13b00667a6315c05
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2058
Number of clauses144294
Sum of the clauses size429916
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23219
Number of clauses of size 3141052
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1780885-1243650830/watcher-1780885-1243650830 -o /tmp/evaluation-result-1780885-1243650830/solver-1780885-1243650830 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780885-1243650830.cnf 4 10000 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 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: 8192 KiB


[startup+0 s]
/proc/loadavg: 5.93 5.80 5.69 5/114 1461
/proc/meminfo: memFree=3159316/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=964 CPUtime=0
/proc/1460/stat : 1460 (satake) R 1458 1460 8716 0 -1 4202496 108 0 0 0 0 0 0 0 20 0 2 0 1129747022 987136 64 4294967295 134512640 135180984 3217946672 3217946016 134705812 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 241 64 54 164 0 76 0
[pid=1460/tid=1461] ppid=1458 vsize=964 CPUtime=0
/proc/1460/task/1461/stat : 1461 (satake) R 1458 1460 8716 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 2 0 1129747022 987136 64 4294967295 134512640 135180984 3217946672 3086459716 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.081578 s]
/proc/loadavg: 5.93 5.80 5.69 5/114 1461
/proc/meminfo: memFree=3159316/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=16228 CPUtime=0.13
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 3456 0 0 0 12 1 0 0 20 0 5 0 1129747022 16617472 3407 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 4057 3407 63 164 0 3892 0
[pid=1460/tid=1461] ppid=1458 vsize=16228 CPUtime=0
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1129747022 16617472 3407 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 16228

[startup+0.111576 s]
/proc/loadavg: 5.93 5.80 5.69 5/114 1461
/proc/meminfo: memFree=3159316/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=18300 CPUtime=0.19
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 4204 0 0 0 18 1 0 0 20 0 5 0 1129747022 18739200 4155 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 4575 4155 63 164 0 4410 0
[pid=1460/tid=1461] ppid=1458 vsize=18300 CPUtime=0
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 5 0 1129747022 18739200 4155 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18300

[startup+0.301558 s]
/proc/loadavg: 5.93 5.80 5.69 5/114 1461
/proc/meminfo: memFree=3159316/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=21752 CPUtime=0.49
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 6462 0 0 0 46 3 0 0 20 0 5 0 1129747022 22274048 4676 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 5438 4676 68 164 0 5273 0
[pid=1460/tid=1461] ppid=1458 vsize=21752 CPUtime=0
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 44 0 0 0 0 0 0 0 19 0 5 0 1129747022 22274048 4676 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 21752

[startup+0.711526 s]
/proc/loadavg: 5.93 5.80 5.69 5/114 1461
/proc/meminfo: memFree=3159316/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=23336 CPUtime=1.27
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 6941 0 0 0 124 3 0 0 20 0 5 0 1129747022 23896064 5155 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 5834 5155 68 164 0 5669 0
[pid=1460/tid=1461] ppid=1458 vsize=23336 CPUtime=0
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 5 0 1129747022 23896064 5155 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 23336

[startup+1.51146 s]
/proc/loadavg: 5.85 5.79 5.68 6/120 1469
/proc/meminfo: memFree=3137332/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=25844 CPUtime=2.75
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 7652 0 0 0 272 3 0 0 20 0 5 0 1129747022 26464256 5866 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 6461 5866 68 164 0 6296 0
[pid=1460/tid=1461] ppid=1458 vsize=25844 CPUtime=0
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 5 0 1129747022 26464256 5866 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=25844 CPUtime=0.5
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 2356 0 0 0 49 1 0 0 25 0 5 0 1129747022 26464256 5866 4294967295 134512640 135180984 3217946672 3086392992 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=25844 CPUtime=1.21
/proc/1460/task/1464/stat : 1464 (satake) S 1458 1460 8716 0 -1 4202560 2590 0 0 0 119 2 0 0 23 0 5 0 1129747022 26464256 5866 4294967295 134512640 135180984 3217946672 3086327456 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=25844 CPUtime=1.04
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 2551 0 0 0 104 0 0 0 25 0 5 0 1129747022 26464256 5866 4294967295 134512640 135180984 3217946672 3086262128 134528658 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 25844

[startup+3.11132 s]
/proc/loadavg: 5.85 5.79 5.68 6/118 1469
/proc/meminfo: memFree=3134076/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=29408 CPUtime=5.45
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 8718 0 0 0 542 3 0 0 20 0 5 0 1129747022 30113792 6932 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 7352 6932 68 164 0 7187 0
[pid=1460/tid=1461] ppid=1458 vsize=29408 CPUtime=0
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 5 0 1129747022 30113792 6932 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=29408 CPUtime=1.13
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 2647 0 0 0 112 1 0 0 25 0 5 0 1129747022 30113792 6932 4294967295 134512640 135180984 3217946672 3086392992 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=29408 CPUtime=2.3
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 2961 0 0 0 228 2 0 0 25 0 5 0 1129747022 30113792 6932 4294967295 134512640 135180984 3217946672 3086327664 134528688 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=29408 CPUtime=2.02
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 2955 0 0 0 202 0 0 0 25 0 5 0 1129747022 30113792 6932 4294967295 134512640 135180984 3217946672 3086262128 134528583 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 29408

[startup+6.31105 s]
/proc/loadavg: 5.85 5.79 5.68 6/118 1473
/proc/meminfo: memFree=3127056/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=37092 CPUtime=11.13
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 10328 0 0 0 1105 8 0 0 20 0 5 0 1129747022 37982208 8542 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 9273 8542 68 164 0 9108 0
[pid=1460/tid=1461] ppid=1458 vsize=37092 CPUtime=0.02
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 49 0 0 0 0 2 0 0 15 0 5 0 1129747022 37982208 8542 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=37092 CPUtime=2.78
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 3112 0 0 0 276 2 0 0 25 0 5 0 1129747022 37982208 8542 4294967295 134512640 135180984 3217946672 3086393196 134518208 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=37092 CPUtime=4.4
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 3524 0 0 0 436 4 0 0 25 0 5 0 1129747022 37982208 8542 4294967295 134512640 135180984 3217946672 3086327456 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=37092 CPUtime=3.93
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 3532 0 0 0 393 0 0 0 25 0 5 0 1129747022 37982208 8542 4294967295 134512640 135180984 3217946672 3086262120 134518252 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.13
Current children cumulated vsize (KiB) 37092

[startup+12.7105 s]
/proc/loadavg: 5.88 5.79 5.69 6/118 1487
/proc/meminfo: memFree=3115092/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=46008 CPUtime=22.69
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 12825 0 0 0 2259 10 0 0 20 0 5 0 1129747022 47112192 11039 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 11502 11039 68 164 0 11337 0
[pid=1460/tid=1461] ppid=1458 vsize=46008 CPUtime=0.04
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 51 0 0 0 1 3 0 0 15 0 5 0 1129747022 47112192 11039 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=46008 CPUtime=6.03
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 3862 0 0 0 601 2 0 0 25 0 5 0 1129747022 47112192 11039 4294967295 134512640 135180984 3217946672 3086393200 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=46008 CPUtime=8.82
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 4339 0 0 0 877 5 0 0 25 0 5 0 1129747022 47112192 11039 4294967295 134512640 135180984 3217946672 3086327664 134528462 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=46008 CPUtime=7.8
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 4462 0 0 0 780 0 0 0 25 0 5 0 1129747022 47112192 11039 4294967295 134512640 135180984 3217946672 3086261920 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.69
Current children cumulated vsize (KiB) 46008

[startup+25.5194 s]
/proc/loadavg: 5.82 5.78 5.68 6/118 1509
/proc/meminfo: memFree=3098696/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=63744 CPUtime=46.62
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 16948 0 0 0 4644 18 0 0 20 0 5 0 1129747022 65273856 15162 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 15936 15162 68 164 0 15771 0
[pid=1460/tid=1461] ppid=1458 vsize=63744 CPUtime=0.1
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 78 0 0 0 2 8 0 0 15 0 5 0 1129747022 65273856 15162 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=63744 CPUtime=14.23
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 5182 0 0 0 1419 4 0 0 25 0 5 0 1129747022 65273856 15162 4294967295 134512640 135180984 3217946672 3086393200 134528446 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=63744 CPUtime=16.84
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 5658 0 0 0 1678 6 0 0 25 0 5 0 1129747022 65273856 15162 4294967295 134512640 135180984 3217946672 3086327660 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=63744 CPUtime=15.45
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 5919 0 0 0 1545 0 0 0 25 0 5 0 1129747022 65273856 15162 4294967295 134512640 135180984 3217946672 3086261920 134580407 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 46.62
Current children cumulated vsize (KiB) 63744

[startup+51.1172 s]
/proc/loadavg: 5.50 5.71 5.66 6/118 1728
/proc/meminfo: memFree=3075892/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=86648 CPUtime=95.92
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 22613 0 0 0 9555 37 0 0 20 0 5 0 1129747022 88727552 20827 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 21662 20827 68 164 0 21497 0
[pid=1460/tid=1461] ppid=1458 vsize=86648 CPUtime=0.27
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 120 0 0 0 9 18 0 0 15 0 5 0 1129747022 88727552 20827 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=86648 CPUtime=28.91
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 7284 0 0 0 2884 7 0 0 25 0 5 0 1129747022 88727552 20827 4294967295 134512640 135180984 3217946672 3086393200 134528536 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=86648 CPUtime=32.63
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 7532 0 0 0 3252 11 0 0 25 0 5 0 1129747022 88727552 20827 4294967295 134512640 135180984 3217946672 3086327660 134520661 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=86648 CPUtime=34.11
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 7566 0 0 0 3410 1 0 0 25 0 5 0 1129747022 88727552 20827 4294967295 134512640 135180984 3217946672 3086261960 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 95.92
Current children cumulated vsize (KiB) 86648

[startup+102.313 s]
/proc/loadavg: 5.50 5.67 5.65 6/118 1993
/proc/meminfo: memFree=3045576/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=117036 CPUtime=195.71
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 30020 0 0 0 19519 52 0 0 20 0 5 0 1129747022 119844864 28234 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 29259 28234 68 164 0 29094 0
[pid=1460/tid=1461] ppid=1458 vsize=117036 CPUtime=0.42
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 162 0 0 0 20 22 0 0 15 0 5 0 1129747022 119844864 28234 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=117036 CPUtime=57.83
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 10116 0 0 0 5771 12 0 0 25 0 5 0 1129747022 119844864 28234 4294967295 134512640 135180984 3217946672 3086393200 134528633 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=117036 CPUtime=65.93
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 9897 0 0 0 6578 15 0 0 25 0 5 0 1129747022 119844864 28234 4294967295 134512640 135180984 3217946672 3086327664 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=117036 CPUtime=71.53
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 9734 0 0 0 7150 3 0 0 25 0 5 0 1129747022 119844864 28234 4294967295 134512640 135180984 3217946672 3086262128 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 195.71
Current children cumulated vsize (KiB) 117036

[startup+162.308 s]
/proc/loadavg: 5.49 5.63 5.63 6/118 2272
/proc/meminfo: memFree=3023472/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=138696 CPUtime=314.39
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 35553 0 0 0 31378 61 0 0 20 0 5 0 1129747022 142024704 33767 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 34674 33767 68 164 0 34509 0
[pid=1460/tid=1461] ppid=1458 vsize=138696 CPUtime=0.48
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 180 0 0 0 21 27 0 0 15 0 5 0 1129747022 142024704 33767 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=138696 CPUtime=94.88
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 12426 0 0 0 9476 12 0 0 25 0 5 0 1129747022 142024704 33767 4294967295 134512640 135180984 3217946672 3086393200 134528661 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=138696 CPUtime=96.03
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 12177 0 0 0 9585 18 0 0 25 0 5 0 1129747022 142024704 33767 4294967295 134512640 135180984 3217946672 3086327664 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=138696 CPUtime=123
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 10659 0 0 0 12296 4 0 0 25 0 5 0 1129747022 142024704 33767 4294967295 134512640 135180984 3217946672 3086262128 134528549 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 314.39

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

[pid=1460/tid=1463] ppid=1458 vsize=234476 CPUtime=333.52
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 20813 0 0 0 33325 27 0 0 25 0 5 0 1129747022 240103424 56976 4294967295 134512640 135180984 3217946672 3086393200 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=234476 CPUtime=328.4
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 20747 0 0 0 32803 37 0 0 25 0 5 0 1129747022 240103424 56976 4294967295 134512640 135180984 3217946672 3086327664 134528532 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=234476 CPUtime=368.28
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 16900 0 0 0 36817 11 0 0 25 0 5 0 1129747022 240103424 56976 4294967295 134512640 135180984 3217946672 3086261920 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1030.76
Current children cumulated vsize (KiB) 234476

[startup+582.311 s]
/proc/loadavg: 5.47 5.49 5.56 8/119 4152
/proc/meminfo: memFree=2918372/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=248804 CPUtime=1150.36
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 61887 0 0 0 114923 113 0 0 20 0 5 0 1129747022 254775296 60065 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 62201 60065 68 164 0 62036 0
[pid=1460/tid=1461] ppid=1458 vsize=248804 CPUtime=0.57
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 199 0 0 0 23 34 0 0 15 0 5 0 1129747022 254775296 60065 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=248804 CPUtime=382.69
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 21295 0 0 0 38240 29 0 0 25 0 5 0 1129747022 254775296 60065 4294967295 134512640 135180984 3217946672 3086393200 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=248804 CPUtime=359.93
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 21670 0 0 0 35956 37 0 0 25 0 5 0 1129747022 254775296 60065 4294967295 134512640 135180984 3217946672 3086327664 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=248804 CPUtime=407.17
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 18612 0 0 0 40704 13 0 0 25 0 5 0 1129747022 254775296 60065 4294967295 134512640 135180984 3217946672 3086262128 134528633 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1150.36
Current children cumulated vsize (KiB) 248804

[startup+642.316 s]
/proc/loadavg: 5.46 5.49 5.55 8/119 4390
/proc/meminfo: memFree=2909428/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=258480 CPUtime=1269.69
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 64277 0 0 0 126851 118 0 0 20 0 5 0 1129747022 264683520 62447 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 64620 62447 68 164 0 64455 0
[pid=1460/tid=1461] ppid=1458 vsize=258480 CPUtime=0.57
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 203 0 0 0 23 34 0 0 15 0 5 0 1129747022 264683520 62447 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=258480 CPUtime=425.87
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 21635 0 0 0 42558 29 0 0 25 0 5 0 1129747022 264683520 62447 4294967295 134512640 135180984 3217946672 3086393200 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=258480 CPUtime=397.54
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 22724 0 0 0 39716 38 0 0 25 0 5 0 1129747022 264683520 62447 4294967295 134512640 135180984 3217946672 3086327664 134528669 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=258480 CPUtime=445.71
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 19604 0 0 0 44554 17 0 0 25 0 5 0 1129747022 264683520 62447 4294967295 134512640 135180984 3217946672 3086262128 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1269.69
Current children cumulated vsize (KiB) 258480

[startup+702.311 s]
/proc/loadavg: 5.44 5.47 5.54 9/119 4704
/proc/meminfo: memFree=2900868/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=268312 CPUtime=1389.07
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 66446 0 0 0 138782 125 0 0 20 0 5 0 1129747022 274751488 64616 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 67078 64616 68 164 0 66913 0
[pid=1460/tid=1461] ppid=1458 vsize=268312 CPUtime=0.58
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 203 0 0 0 23 35 0 0 15 0 5 0 1129747022 274751488 64616 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=268312 CPUtime=481.19
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 22130 0 0 0 48086 33 0 0 25 0 5 0 1129747022 274751488 64616 4294967295 134512640 135180984 3217946672 3086393200 134528661 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=268312 CPUtime=429.32
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 23468 0 0 0 42893 39 0 0 25 0 5 0 1129747022 274751488 64616 4294967295 134512640 135180984 3217946672 3086327664 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=268312 CPUtime=477.98
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 20534 0 0 0 47780 18 0 0 25 0 5 0 1129747022 274751488 64616 4294967295 134512640 135180984 3217946672 3086261920 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1389.07
Current children cumulated vsize (KiB) 268312

[startup+762.316 s]
/proc/loadavg: 5.37 5.44 5.53 7/119 5002
/proc/meminfo: memFree=2891348/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=277636 CPUtime=1508.52
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 68776 0 0 0 150719 133 0 0 20 0 5 0 1129747022 284299264 66946 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 69409 66946 68 164 0 69244 0
[pid=1460/tid=1461] ppid=1458 vsize=277636 CPUtime=0.58
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 203 0 0 0 23 35 0 0 15 0 5 0 1129747022 284299264 66946 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=277636 CPUtime=523.44
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 22542 0 0 0 52306 38 0 0 25 0 5 0 1129747022 284299264 66946 4294967295 134512640 135180984 3217946672 3086393196 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=277636 CPUtime=479.82
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 24340 0 0 0 47942 40 0 0 25 0 5 0 1129747022 284299264 66946 4294967295 134512640 135180984 3217946672 3086327664 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=277636 CPUtime=504.68
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 21580 0 0 0 50448 20 0 0 25 0 5 0 1129747022 284299264 66946 4294967295 134512640 135180984 3217946672 3086261920 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1508.52
Current children cumulated vsize (KiB) 277636

[startup+822.311 s]
/proc/loadavg: 5.49 5.45 5.52 8/119 5237
/proc/meminfo: memFree=2881912/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=286100 CPUtime=1627.74
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 71016 0 0 0 162637 137 0 0 20 0 5 0 1129747022 292966400 69186 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 71525 69186 68 164 0 71360 0
[pid=1460/tid=1461] ppid=1458 vsize=286100 CPUtime=0.58
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 203 0 0 0 23 35 0 0 15 0 5 0 1129747022 292966400 69186 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=286100 CPUtime=563.15
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 23022 0 0 0 56275 40 0 0 25 0 5 0 1129747022 292966400 69186 4294967295 134512640 135180984 3217946672 3086393200 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=286100 CPUtime=522.7
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 25300 0 0 0 52229 41 0 0 25 0 5 0 1129747022 292966400 69186 4294967295 134512640 135180984 3217946672 3086327664 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=286100 CPUtime=541.31
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 22380 0 0 0 54110 21 0 0 25 0 5 0 1129747022 292966400 69186 4294967295 134512640 135180984 3217946672 3086262128 134528633 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1627.74
Current children cumulated vsize (KiB) 286100

[startup+882.315 s]
/proc/loadavg: 5.49 5.46 5.52 7/119 5508
/proc/meminfo: memFree=2874688/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=294064 CPUtime=1747.22
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 72799 0 0 0 174573 149 0 0 20 0 5 0 1129747022 301121536 70969 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 73516 70969 68 164 0 73351 0
[pid=1460/tid=1461] ppid=1458 vsize=294064 CPUtime=0.58
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 203 0 0 0 23 35 0 0 15 0 5 0 1129747022 301121536 70969 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=294064 CPUtime=609.2
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 23535 0 0 0 60876 44 0 0 25 0 5 0 1129747022 301121536 70969 4294967295 134512640 135180984 3217946672 3086393200 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=294064 CPUtime=560.83
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 25861 0 0 0 56035 48 0 0 25 0 5 0 1129747022 301121536 70969 4294967295 134512640 135180984 3217946672 3086327664 134528648 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=294064 CPUtime=576.61
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 23089 0 0 0 57639 22 0 0 25 0 5 0 1129747022 301121536 70969 4294967295 134512640 135180984 3217946672 3086262128 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1747.22
Current children cumulated vsize (KiB) 294064

[startup+942.31 s]
/proc/loadavg: 5.42 5.45 5.51 7/119 5788
/proc/meminfo: memFree=2868900/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=300412 CPUtime=1866.59
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 74300 0 0 0 186503 156 0 0 20 0 5 0 1129747022 307621888 72470 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 75103 72470 68 164 0 74938 0
[pid=1460/tid=1461] ppid=1458 vsize=300412 CPUtime=0.58
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 205 0 0 0 23 35 0 0 15 0 5 0 1129747022 307621888 72470 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=300412 CPUtime=647.92
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 23871 0 0 0 64746 46 0 0 25 0 5 0 1129747022 307621888 72470 4294967295 134512640 135180984 3217946672 3086393200 134528465 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=300412 CPUtime=593.56
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 26384 0 0 0 59306 50 0 0 25 0 5 0 1129747022 307621888 72470 4294967295 134512640 135180984 3217946672 3086327456 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=300412 CPUtime=624.53
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 23729 0 0 0 62428 25 0 0 25 0 5 0 1129747022 307621888 72470 4294967295 134512640 135180984 3217946672 3086262128 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1866.59
Current children cumulated vsize (KiB) 300412



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.02 s]
/proc/loadavg: 5.43 5.46 5.51 6/118 5998
/proc/meminfo: memFree=2863536/3368532 swapFree=1954888/1959888
[pid=1460] ppid=1458 vsize=306544 CPUtime=1981.46
/proc/1460/stat : 1460 (satake) S 1458 1460 8716 0 -1 4202496 75738 0 0 0 197982 164 0 0 20 0 5 0 1129747022 313901056 73908 4294967295 134512640 135180984 3217946672 3217946108 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1460/statm: 76636 73908 68 164 0 76471 0
[pid=1460/tid=1461] ppid=1458 vsize=306544 CPUtime=0.59
/proc/1460/task/1461/stat : 1461 (satake) S 1458 1460 8716 0 -1 4202560 205 0 0 0 23 36 0 0 15 0 5 0 1129747022 313901056 73908 4294967295 134512640 135180984 3217946672 3086458896 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=1460/tid=1463] ppid=1458 vsize=306544 CPUtime=689.82
/proc/1460/task/1463/stat : 1463 (satake) R 1458 1460 8716 0 -1 4202560 24245 0 0 0 68936 46 0 0 25 0 5 0 1129747022 313901056 73908 4294967295 134512640 135180984 3217946672 3086393200 134528648 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1460/tid=1464] ppid=1458 vsize=306544 CPUtime=624.97
/proc/1460/task/1464/stat : 1464 (satake) R 1458 1460 8716 0 -1 4202560 27101 0 0 0 62444 53 0 0 25 0 5 0 1129747022 313901056 73908 4294967295 134512640 135180984 3217946672 3086327664 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1460/tid=1465] ppid=1458 vsize=306544 CPUtime=666.08
/proc/1460/task/1465/stat : 1465 (satake) R 1458 1460 8716 0 -1 4202560 24076 0 0 0 66579 29 0 0 25 0 5 0 1129747022 313901056 73908 4294967295 134512640 135180984 3217946672 3086261920 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1981.46
Current children cumulated vsize (KiB) 306544

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.05
CPU time (s): 1981.51
CPU user time (s): 1979.86
CPU system time (s): 1.65
CPU usage (%): 198.141
Max. virtual memory (cumulated for all children) (KiB): 306544

deleting IPC queue 17825792
deleting IPC queue 17858561
deleting IPC queue 17891330
deleting IPC queue 17924099
deleting IPC queue 17956868
deleting IPC queue 17989637
deleting IPC queue 18022406
deleting IPC queue 18055175
deleting IPC queue 18087944
deleting IPC queue 18120713
deleting IPC queue 18153482
deleting IPC queue 18186251
deleting IPC queue 18219020
deleting IPC queue 18251789
deleting IPC queue 18284558
deleting IPC queue 18317327

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1979.86
system time used= 1.65
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75738
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= 63871
involuntary context switches= 131105

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 04:33:50
IDJOB=1780885
IDBENCH=71076
IDSOLVER=629
FILE ID=/1780885-1243650830
PBS_JOBID=
Free space on /tmp= 15880 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_13_UNKNOWN.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780885-1243650830/watcher-1780885-1243650830 -o /tmp/evaluation-result-1780885-1243650830/solver-1780885-1243650830 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780885-1243650830.cnf 4 10000

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= 57b85ec7870f670f13b00667a6315c05
RANDOM SEED= 1498379663

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.43
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.11
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.105
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3159316 kB
Buffers:         14764 kB
Cached:         119052 kB
SwapCached:        720 kB
Active:          55772 kB
Inactive:        93908 kB
HighTotal:     2489216 kB
HighFree:      2350856 kB
LowTotal:       879316 kB
LowFree:        808460 kB
SwapTotal:     1959888 kB
SwapFree:      1954888 kB
Dirty:            3216 kB
Writeback:           0 kB
AnonPages:       15020 kB
Mapped:           6060 kB
Slab:            48880 kB
SReclaimable:    41096 kB
SUnreclaim:       7784 kB
PageTables:        788 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   117268 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15880 MiB
End job on  at 2009-05-30 04:50:32