Trace number 1775695

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) 2998.51 1000.1

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
MD5SUMec1a03bc95c5b06907199f7ae65ad092
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 variables234064
Number of clauses1059777
Sum of the clauses size2420962
Maximum clause length10
Minimum clause length1
Number of clauses of size 117678
Number of clauses of size 2854833
Number of clauses of size 3143326
Number of clauses of size 44880
Number of clauses of size 519520
Number of clauses of size over 519540

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-1775695-1243631899/watcher-1775695-1243631899 -o /tmp/evaluation-result-1775695-1243631899/solver-1775695-1243631899 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775695-1243631899.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: 2.75 2.83 1.94 3/99 25035
/proc/meminfo: memFree=3170988/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=5260 CPUtime=0.01
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 692 0 0 0 0 1 0 0 18 0 5 0 1127854486 5386240 648 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 1315 653 63 164 0 1150 0
[pid=25035/tid=25036] ppid=25033 vsize=5260 CPUtime=0
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127854486 5386240 688 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=5260 CPUtime=0.01
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 620 0 0 0 0 1 0 0 20 0 5 0 1127854486 5386240 693 4294967295 134512640 135180984 3218950448 3085893924 134583077 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=5260 CPUtime=0
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1127854486 5386240 698 4294967295 134512640 135180984 3218950448 3085828932 134705812 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=5260 CPUtime=0
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1127854486 5386240 703 4294967295 134512640 135180984 3218950448 3085763396 134705812 0 0 0 0 0 0 0 -1 3 0 0 0

[startup+0.070524 s]
/proc/loadavg: 2.75 2.83 1.94 3/99 25035
/proc/meminfo: memFree=3170988/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=65212 CPUtime=0.11
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 15511 0 0 0 1 10 0 0 18 0 5 0 1127854486 66777088 15459 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 16303 15463 63 164 0 16138 0
[pid=25035/tid=25036] ppid=25033 vsize=65212 CPUtime=0
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127854486 66777088 15463 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=65212 CPUtime=0.03
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 5096 0 0 0 1 2 0 0 21 0 5 0 1127854486 66777088 15467 4294967295 134512640 135180984 3218950448 3085893872 134522560 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=65212 CPUtime=0.04
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 5415 0 0 0 0 4 0 0 20 0 5 0 1127854486 66777088 15468 4294967295 134512640 135180984 3218950448 3085828288 134522762 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=65212 CPUtime=0.05
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 4893 0 0 0 1 4 0 0 21 0 5 0 1127854486 66777088 15471 4294967295 134512640 135180984 3218950448 3085762816 134522312 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 65212

[startup+0.1105 s]
/proc/loadavg: 2.75 2.83 1.94 3/99 25035
/proc/meminfo: memFree=3170988/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=73504 CPUtime=0.23
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 17696 0 0 0 13 10 0 0 18 0 5 0 1127854486 75268096 17637 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 18376 17638 63 164 0 18211 0
[pid=25035/tid=25036] ppid=25033 vsize=73504 CPUtime=0
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127854486 75268096 17638 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=73504 CPUtime=0.07
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 5912 0 0 0 5 2 0 0 20 0 5 0 1127854486 75268096 17638 4294967295 134512640 135180984 3218950448 3085893936 134535254 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=73504 CPUtime=0.08
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 5874 0 0 0 4 4 0 0 20 0 5 0 1127854486 75268096 17638 4294967295 134512640 135180984 3218950448 3085828324 134681037 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=73504 CPUtime=0.09
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 5795 0 0 0 5 4 0 0 20 0 5 0 1127854486 75268096 17639 4294967295 134512640 135180984 3218950448 3085762532 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 73504

[startup+0.310481 s]
/proc/loadavg: 2.75 2.83 1.94 3/99 25035
/proc/meminfo: memFree=3170988/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=162816 CPUtime=0.8
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 35847 0 0 0 62 18 0 0 18 0 5 0 1127854486 166723584 35766 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 40704 35766 63 164 0 40539 0
[pid=25035/tid=25036] ppid=25033 vsize=162816 CPUtime=0
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127854486 166723584 35766 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=162816 CPUtime=0.26
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 11732 0 0 0 21 5 0 0 19 0 5 0 1127854486 166723584 35767 4294967295 134512640 135180984 3218950448 3085893596 134702260 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=162816 CPUtime=0.28
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 12078 0 0 0 22 6 0 0 19 0 5 0 1127854486 166723584 35769 4294967295 134512640 135180984 3218950448 3085828244 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=162816 CPUtime=0.27
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 11923 0 0 0 20 7 0 0 19 0 5 0 1127854486 166723584 35770 4294967295 134512640 135180984 3218950448 3085762648 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 162816

[startup+0.710443 s]
/proc/loadavg: 2.75 2.83 1.94 3/99 25035
/proc/meminfo: memFree=3170988/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=196772 CPUtime=1.99
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 45000 0 0 0 178 21 0 0 18 0 5 0 1127854486 201494528 44919 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 49193 44919 63 164 0 49028 0
[pid=25035/tid=25036] ppid=25033 vsize=196772 CPUtime=0
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127854486 201494528 44919 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=196772 CPUtime=0.66
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 14964 0 0 0 61 5 0 0 17 0 5 0 1127854486 201494528 44921 4294967295 134512640 135180984 3218950448 3085893780 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=196772 CPUtime=0.67
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 14908 0 0 0 59 8 0 0 17 0 5 0 1127854486 201494528 44921 4294967295 134512640 135180984 3218950448 3085828244 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=196772 CPUtime=0.67
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 15013 0 0 0 59 8 0 0 17 0 5 0 1127854486 201494528 44921 4294967295 134512640 135180984 3218950448 3085762788 134680933 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 196772

[startup+1.51037 s]
/proc/loadavg: 2.75 2.83 1.94 4/104 25040
/proc/meminfo: memFree=2963496/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=206444 CPUtime=4.32
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 57305 0 0 0 389 43 0 0 18 0 5 0 1127854486 211398656 47792 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 51611 47792 66 164 0 51446 0
[pid=25035/tid=25036] ppid=25033 vsize=206444 CPUtime=0
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1127854486 211398656 47792 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=206444 CPUtime=1.43
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 19006 0 0 0 130 13 0 0 15 0 5 0 1127854486 211398656 47792 4294967295 134512640 135180984 3218950448 3085893952 134535625 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=206444 CPUtime=1.43
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 18995 0 0 0 128 15 0 0 15 0 5 0 1127854486 211398656 47792 4294967295 134512640 135180984 3218950448 3085827888 134523819 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=206444 CPUtime=1.47
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 19187 0 0 0 132 15 0 0 15 0 5 0 1127854486 211398656 47792 4294967295 134512640 135180984 3218950448 3085762416 134528267 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 206444

[startup+3.11022 s]
/proc/loadavg: 2.77 2.84 1.94 4/104 25040
/proc/meminfo: memFree=2987012/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=199348 CPUtime=9.18
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 60635 0 0 0 870 48 0 0 18 0 5 0 1127854486 204132352 46406 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 49837 46406 68 164 0 49672 0
[pid=25035/tid=25036] ppid=25033 vsize=199348 CPUtime=0.08
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 2946 0 0 0 6 2 0 0 16 0 5 0 1127854486 204132352 46406 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=199348 CPUtime=3.02
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 19187 0 0 0 288 14 0 0 17 0 5 0 1127854486 204132352 46406 4294967295 134512640 135180984 3218950448 3085893392 134525399 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=199348 CPUtime=3.03
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 19098 0 0 0 287 16 0 0 17 0 5 0 1127854486 204132352 46406 4294967295 134512640 135180984 3218950448 3085827824 134522614 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=199348 CPUtime=3.06
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 19294 0 0 0 290 16 0 0 17 0 5 0 1127854486 204132352 46406 4294967295 134512640 135180984 3218950448 3085762464 134535723 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.18
Current children cumulated vsize (KiB) 199348

[startup+6.30991 s]
/proc/loadavg: 2.77 2.84 1.94 4/104 25040
/proc/meminfo: memFree=2986640/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=199488 CPUtime=18.88
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 60696 0 0 0 1817 71 0 0 18 0 5 0 1127854486 204275712 46467 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 49872 46467 68 164 0 49707 0
[pid=25035/tid=25036] ppid=25033 vsize=199488 CPUtime=0.2
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 2948 0 0 0 9 11 0 0 16 0 5 0 1127854486 204275712 46467 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=199488 CPUtime=6.22
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 19207 0 0 0 604 18 0 0 23 0 5 0 1127854486 204275712 46467 4294967295 134512640 135180984 3218950448 3085893392 134525183 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=199488 CPUtime=6.23
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 19125 0 0 0 601 22 0 0 24 0 5 0 1127854486 204275712 46467 4294967295 134512640 135180984 3218950448 3085827944 134520863 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=199488 CPUtime=6.24
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 19306 0 0 0 604 20 0 0 23 0 5 0 1127854486 204275712 46467 4294967295 134512640 135180984 3218950448 3085762408 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.88
Current children cumulated vsize (KiB) 199488

[startup+12.7093 s]
/proc/loadavg: 2.81 2.84 1.96 4/104 25223
/proc/meminfo: memFree=2983008/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=202760 CPUtime=38.08
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 61562 0 0 0 3716 92 0 0 18 0 5 0 1127854486 207626240 47333 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 50690 47333 68 164 0 50525 0
[pid=25035/tid=25036] ppid=25033 vsize=202760 CPUtime=0.32
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 2952 0 0 0 11 21 0 0 16 0 5 0 1127854486 207626240 47333 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=202760 CPUtime=12.6
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 19557 0 0 0 1241 19 0 0 25 0 5 0 1127854486 207626240 47333 4294967295 134512640 135180984 3218950448 3085893484 134518257 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=202760 CPUtime=12.61
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 19369 0 0 0 1234 27 0 0 25 0 5 0 1127854486 207626240 47333 4294967295 134512640 135180984 3218950448 3085827952 134528267 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=202760 CPUtime=12.56
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 19574 0 0 0 1231 25 0 0 25 0 5 0 1127854486 207626240 47333 4294967295 134512640 135180984 3218950448 3085762408 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 38.08
Current children cumulated vsize (KiB) 202760

[startup+25.5081 s]
/proc/loadavg: 2.84 2.85 1.97 4/104 25225
/proc/meminfo: memFree=2968904/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=215104 CPUtime=76.54
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 65121 0 0 0 7548 106 0 0 18 0 5 0 1127854486 220266496 50892 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 53776 50892 68 164 0 53611 0
[pid=25035/tid=25036] ppid=25033 vsize=215104 CPUtime=0.39
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 2955 0 0 0 12 27 0 0 16 0 5 0 1127854486 220266496 50892 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=215104 CPUtime=25.39
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 20936 0 0 0 2519 20 0 0 25 0 5 0 1127854486 220266496 50892 4294967295 134512640 135180984 3218950448 3085893488 134528209 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=215104 CPUtime=25.41
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 20396 0 0 0 2510 31 0 0 25 0 5 0 1127854486 220266496 50892 4294967295 134512640 135180984 3218950448 3085827856 134525209 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=215104 CPUtime=25.36
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 20724 0 0 0 2508 28 0 0 25 0 5 0 1127854486 220266496 50892 4294967295 134512640 135180984 3218950448 3085762320 134524814 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 76.54
Current children cumulated vsize (KiB) 215104

[startup+51.1156 s]
/proc/loadavg: 2.89 2.86 1.99 4/104 25228
/proc/meminfo: memFree=2934824/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=251164 CPUtime=153.39
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 73810 0 0 0 15210 129 0 0 18 0 5 0 1127854486 257191936 59581 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 62791 59581 68 164 0 62626 0
[pid=25035/tid=25036] ppid=25033 vsize=251164 CPUtime=0.47
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 2958 0 0 0 12 35 0 0 15 0 5 0 1127854486 257191936 59581 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=251164 CPUtime=50.96
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 23481 0 0 0 5072 24 0 0 25 0 5 0 1127854486 257191936 59581 4294967295 134512640 135180984 3218950448 3085893392 134524808 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=251164 CPUtime=51.02
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 22872 0 0 0 5068 34 0 0 25 0 5 0 1127854486 257191936 59581 4294967295 134512640 135180984 3218950448 3085827824 134522706 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=251164 CPUtime=50.95
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 24389 0 0 0 5059 36 0 0 25 0 5 0 1127854486 257191936 59581 4294967295 134512640 135180984 3218950448 3085762320 134525504 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 153.39
Current children cumulated vsize (KiB) 251164

[startup+102.311 s]
/proc/loadavg: 2.95 2.88 2.05 4/104 25414

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

[pid=25035/tid=25037] ppid=25033 vsize=879040 CPUtime=521.7
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 84507 0 0 0 52081 89 0 0 25 0 5 0 1127854486 900136960 216351 4294967295 134512640 135180984 3218950448 3085893488 134528669 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=879040 CPUtime=521.81
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 66666 0 0 0 52103 78 0 0 25 0 5 0 1127854486 900136960 216351 4294967295 134512640 135180984 3218950448 3085827784 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=879040 CPUtime=521.61
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 76264 0 0 0 52032 129 0 0 25 0 5 0 1127854486 900136960 216351 4294967295 134512640 135180984 3218950448 3085762288 134522706 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1566.12
Current children cumulated vsize (KiB) 879040

[startup+582.315 s]
/proc/loadavg: 3.00 2.97 2.42 4/104 26928
/proc/meminfo: memFree=2238236/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=948940 CPUtime=1745.98
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 247754 0 0 0 174179 419 0 0 18 0 5 0 1127854486 971714560 233525 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 237235 233525 68 164 0 237070 0
[pid=25035/tid=25036] ppid=25033 vsize=948940 CPUtime=1.08
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 3036 0 0 0 25 83 0 0 15 0 5 0 1127854486 971714560 233525 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=948940 CPUtime=581.6
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 90037 0 0 0 58058 102 0 0 25 0 5 0 1127854486 971714560 233525 4294967295 134512640 135180984 3218950448 3085893392 134524861 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=948940 CPUtime=581.73
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 73851 0 0 0 58084 89 0 0 25 0 5 0 1127854486 971714560 233525 4294967295 134512640 135180984 3218950448 3085827888 134523641 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=948940 CPUtime=581.58
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 80720 0 0 0 58013 145 0 0 25 0 5 0 1127854486 971714560 233525 4294967295 134512640 135180984 3218950448 3085762320 134525228 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1745.98
Current children cumulated vsize (KiB) 948940

[startup+642.309 s]
/proc/loadavg: 3.00 2.97 2.46 4/104 27114
/proc/meminfo: memFree=2196548/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=989836 CPUtime=1925.89
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 257947 0 0 0 192161 428 0 0 18 0 5 0 1127854486 1013592064 243718 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 247459 243718 68 164 0 247294 0
[pid=25035/tid=25036] ppid=25033 vsize=989836 CPUtime=1.09
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 3038 0 0 0 25 84 0 0 15 0 5 0 1127854486 1013592064 243718 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=989836 CPUtime=641.56
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 92713 0 0 0 64054 102 0 0 25 0 5 0 1127854486 1013592064 243718 4294967295 134512640 135180984 3218950448 3085893424 134523615 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=989836 CPUtime=641.7
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 77524 0 0 0 64080 90 0 0 25 0 5 0 1127854486 1013592064 243718 4294967295 134512640 135180984 3218950448 3085827856 134524757 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=989836 CPUtime=641.54
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 84562 0 0 0 64002 152 0 0 25 0 5 0 1127854486 1013592064 243718 4294967295 134512640 135180984 3218950448 3085762316 134519095 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1925.89
Current children cumulated vsize (KiB) 989836

[startup+702.304 s]
/proc/loadavg: 3.00 2.97 2.49 4/104 27302
/proc/meminfo: memFree=2145144/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=1041280 CPUtime=2105.74
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 270856 0 0 0 210133 441 0 0 18 0 5 0 1127854486 1066270720 256627 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 260320 256627 68 164 0 260155 0
[pid=25035/tid=25036] ppid=25033 vsize=1041280 CPUtime=1.11
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 3039 0 0 0 25 86 0 0 15 0 5 0 1127854486 1066270720 256627 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=1041280 CPUtime=701.5
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 95905 0 0 0 70046 104 0 0 25 0 5 0 1127854486 1066270720 256627 4294967295 134512640 135180984 3218950448 3085893384 134520907 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=1041280 CPUtime=701.65
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 80211 0 0 0 70074 91 0 0 25 0 5 0 1127854486 1066270720 256627 4294967295 134512640 135180984 3218950448 3085827952 134519339 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=1041280 CPUtime=701.49
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 91591 0 0 0 69989 160 0 0 25 0 5 0 1127854486 1066270720 256627 4294967295 134512640 135180984 3218950448 3085762416 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2105.74
Current children cumulated vsize (KiB) 1041280

[startup+762.308 s]
/proc/loadavg: 3.00 2.97 2.51 4/104 27489
/proc/meminfo: memFree=2103424/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=1082716 CPUtime=2285.66
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 281229 0 0 0 228114 452 0 0 18 0 5 0 1127854486 1108701184 267000 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 270679 267000 68 164 0 270514 0
[pid=25035/tid=25036] ppid=25033 vsize=1082716 CPUtime=1.11
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 3040 0 0 0 25 86 0 0 15 0 5 0 1127854486 1108701184 267000 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=1082716 CPUtime=761.46
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 98782 0 0 0 76039 107 0 0 25 0 5 0 1127854486 1108701184 267000 4294967295 134512640 135180984 3218950448 3085893360 134522620 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=1082716 CPUtime=761.64
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 83216 0 0 0 76069 95 0 0 25 0 5 0 1127854486 1108701184 267000 4294967295 134512640 135180984 3218950448 3085827824 134522694 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=1082716 CPUtime=761.46
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 96081 0 0 0 75982 164 0 0 25 0 5 0 1127854486 1108701184 267000 4294967295 134512640 135180984 3218950448 3085762320 134525385 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2285.66
Current children cumulated vsize (KiB) 1082716

[startup+822.312 s]
/proc/loadavg: 3.00 2.97 2.54 4/104 27678
/proc/meminfo: memFree=2065536/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=1121560 CPUtime=2465.55
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 290835 0 0 0 246096 459 0 0 18 0 5 0 1127854486 1148477440 276606 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 280390 276606 68 164 0 280225 0
[pid=25035/tid=25036] ppid=25033 vsize=1121560 CPUtime=1.12
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 3040 0 0 0 25 87 0 0 15 0 5 0 1127854486 1148477440 276606 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=1121560 CPUtime=821.39
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 101655 0 0 0 82031 108 0 0 25 0 5 0 1127854486 1148477440 276606 4294967295 134512640 135180984 3218950448 3085893392 134524968 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=1121560 CPUtime=821.63
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 86421 0 0 0 82068 95 0 0 25 0 5 0 1127854486 1148477440 276606 4294967295 134512640 135180984 3218950448 3085827856 134525126 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=1121560 CPUtime=821.42
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 99609 0 0 0 81973 169 0 0 25 0 5 0 1127854486 1148477440 276606 4294967295 134512640 135180984 3218950448 3085762320 134524849 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2465.55
Current children cumulated vsize (KiB) 1121560

[startup+882.316 s]
/proc/loadavg: 3.00 2.97 2.57 4/104 27867
/proc/meminfo: memFree=2024792/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=1162168 CPUtime=2645.49
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 300961 0 0 0 264079 470 0 0 18 0 5 0 1127854486 1190060032 286732 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 290542 286732 68 164 0 290377 0
[pid=25035/tid=25036] ppid=25033 vsize=1162168 CPUtime=1.13
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 3040 0 0 0 25 88 0 0 16 0 5 0 1127854486 1190060032 286732 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=1162168 CPUtime=881.36
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 104691 0 0 0 88021 115 0 0 25 0 5 0 1127854486 1190060032 286732 4294967295 134512640 135180984 3218950448 3085893392 134524887 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=1162168 CPUtime=881.62
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 89434 0 0 0 88066 96 0 0 25 0 5 0 1127854486 1190060032 286732 4294967295 134512640 135180984 3218950448 3085827952 134519339 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=1162168 CPUtime=881.39
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 103686 0 0 0 87968 171 0 0 25 0 5 0 1127854486 1190060032 286732 4294967295 134512640 135180984 3218950448 3085762320 134525263 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2645.49
Current children cumulated vsize (KiB) 1162168

[startup+942.311 s]
/proc/loadavg: 3.00 2.97 2.59 4/104 28057
/proc/meminfo: memFree=1974844/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=1212880 CPUtime=2825.44
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 313620 0 0 0 282059 485 0 0 18 0 5 0 1127854486 1241989120 299391 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 303220 299391 68 164 0 303055 0
[pid=25035/tid=25036] ppid=25033 vsize=1212880 CPUtime=1.14
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 3043 0 0 0 25 89 0 0 15 0 5 0 1127854486 1241989120 299391 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=1212880 CPUtime=941.35
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 108229 0 0 0 94017 118 0 0 25 0 5 0 1127854486 1241989120 299391 4294967295 134512640 135180984 3218950448 3085893392 134525209 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=1212880 CPUtime=941.6
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 92232 0 0 0 94063 97 0 0 25 0 5 0 1127854486 1241989120 299391 4294967295 134512640 135180984 3218950448 3085827952 134519339 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=1212880 CPUtime=941.36
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 110006 0 0 0 93955 181 0 0 25 0 5 0 1127854486 1241989120 299391 4294967295 134512640 135180984 3218950448 3085762408 134518224 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2825.44
Current children cumulated vsize (KiB) 1212880



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.00 2.97 2.61 4/104 28245
/proc/meminfo: memFree=1922756/3368532 swapFree=1953580/1959888
[pid=25035] ppid=25033 vsize=1264068 CPUtime=2998.4
/proc/25035/stat : 25035 (satake) S 25033 25035 21929 0 -1 4202496 326373 0 0 0 299330 510 0 0 18 0 5 0 1127854486 1294405632 312144 4294967295 134512640 135180984 3218950448 3218949884 134573496 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/25035/statm: 316017 312144 68 164 0 315852 0
[pid=25035/tid=25036] ppid=25033 vsize=1264068 CPUtime=1.17
/proc/25035/task/25036/stat : 25036 (satake) S 25033 25035 21929 0 -1 4202560 3046 0 0 0 25 92 0 0 15 0 5 0 1127854486 1294405632 312144 4294967295 134512640 135180984 3218950448 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=25035/tid=25037] ppid=25033 vsize=1264068 CPUtime=998.96
/proc/25035/task/25037/stat : 25037 (satake) R 25033 25035 21929 0 -1 4202560 112254 0 0 0 99770 126 0 0 25 0 5 0 1127854486 1294405632 312144 4294967295 134512640 135180984 3218950448 3085893392 134524797 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=25035/tid=25038] ppid=25033 vsize=1264068 CPUtime=999.26
/proc/25035/task/25038/stat : 25038 (satake) R 25033 25035 21929 0 -1 4202560 95105 0 0 0 99825 101 0 0 25 0 5 0 1127854486 1294405632 312144 4294967295 134512640 135180984 3218950448 3085827824 134522683 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=25035/tid=25039] ppid=25033 vsize=1264068 CPUtime=999.01
/proc/25035/task/25039/stat : 25039 (satake) R 25033 25035 21929 0 -1 4202560 115858 0 0 0 99710 191 0 0 25 0 5 0 1127854486 1294405632 312144 4294967295 134512640 135180984 3218950448 3085762416 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2998.4
Current children cumulated vsize (KiB) 1264068

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.1
CPU time (s): 2998.51
CPU user time (s): 2993.34
CPU system time (s): 5.17
CPU usage (%): 299.822
Max. virtual memory (cumulated for all children) (KiB): 1264068

deleting IPC queue 524288
deleting IPC queue 557057
deleting IPC queue 589826
deleting IPC queue 622595
deleting IPC queue 655364
deleting IPC queue 688133
deleting IPC queue 720902
deleting IPC queue 753671
deleting IPC queue 786440
deleting IPC queue 819209
deleting IPC queue 851978
deleting IPC queue 884747
deleting IPC queue 917516
deleting IPC queue 950285
deleting IPC queue 983054
deleting IPC queue 1015823

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2993.34
system time used= 5.17
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326373
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= 104916
involuntary context switches= 121819

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on  at 2009-05-29 23:18:19
IDJOB=1775695
IDBENCH=20373
IDSOLVER=629
FILE ID=/1775695-1243631899
PBS_JOBID=
Free space on /tmp= 15867 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-10-13-u.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775695-1243631899/watcher-1775695-1243631899 -o /tmp/evaluation-result-1775695-1243631899/solver-1775695-1243631899 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775695-1243631899.cnf 4 10000

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

MD5SUM BENCH= ec1a03bc95c5b06907199f7ae65ad092
RANDOM SEED= 1583498070

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.42
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:       3170988 kB
Buffers:         37844 kB
Cached:          81160 kB
SwapCached:       2424 kB
Active:         110504 kB
Inactive:        18764 kB
HighTotal:     2489216 kB
HighFree:      2394520 kB
LowTotal:       879316 kB
LowFree:        776468 kB
SwapTotal:     1959888 kB
SwapFree:      1953580 kB
Dirty:           19980 kB
Writeback:           0 kB
AnonPages:        9740 kB
Mapped:           4864 kB
Slab:            57300 kB
SReclaimable:    49252 kB
SUnreclaim:       8048 kB
PageTables:        496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    93572 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15867 MiB
End job on  at 2009-05-29 23:35:03