Trace number 1776310

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) 2997.77 1000.05

General information on the benchmark

Nameindustrial/grieu/
vmpc_30.cnf
MD5SUM8df6cfaff4435ad2a04367a34fb047c1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark56.41
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of clauses133080
Sum of the clauses size348570
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 252290
Number of clauses of size 380730
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

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-1776310-1243636286/watcher-1776310-1243636286 -o /tmp/evaluation-result-1776310-1243636286/solver-1776310-1243636286 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776310-1243636286.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.80 2.97 2.93 3/98 14808
/proc/meminfo: memFree=3122216/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=3136 CPUtime=0
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 617 0 0 0 0 0 0 0 18 0 5 0 945205409 3211264 573 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 784 574 63 164 0 619 0
[pid=14808/tid=14809] ppid=14806 vsize=3136 CPUtime=0
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 945205409 3211264 575 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=3136 CPUtime=0
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 502 0 0 0 0 0 0 0 19 0 5 0 945205409 3211264 576 4294967295 134512640 135180984 3215498720 3086737380 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=3136 CPUtime=0
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 5 0 945205409 3211264 576 4294967295 134512640 135180984 3215498720 3086672708 134705812 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=3136 CPUtime=0
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 945205409 3211264 576 4294967295 134512640 135180984 3215498720 3086607172 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.065615 s]
/proc/loadavg: 2.80 2.97 2.93 3/98 14808
/proc/meminfo: memFree=3122216/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=13808 CPUtime=0.14
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 3023 0 0 0 12 2 0 0 18 0 5 0 945205409 14139392 2979 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 3452 2981 63 164 0 3287 0
[pid=14808/tid=14809] ppid=14806 vsize=13808 CPUtime=0
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 945205409 14139392 2981 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=13808 CPUtime=0.06
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 991 0 0 0 5 1 0 0 19 0 5 0 945205409 14139392 2981 4294967295 134512640 135180984 3215498720 3086737380 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=13808 CPUtime=0.04
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 882 0 0 0 4 0 0 0 19 0 5 0 945205409 14139392 2982 4294967295 134512640 135180984 3215498720 3086672020 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=13808 CPUtime=0.04
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 1035 0 0 0 3 1 0 0 20 0 5 0 945205409 14139392 2984 4294967295 134512640 135180984 3215498720 3086606308 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13808

[startup+0.105602 s]
/proc/loadavg: 2.80 2.97 2.93 3/98 14808
/proc/meminfo: memFree=3122216/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=19952 CPUtime=0.26
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 4324 0 0 0 23 3 0 0 18 0 5 0 945205409 20430848 4280 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 4988 4282 63 164 0 4823 0
[pid=14808/tid=14809] ppid=14806 vsize=19952 CPUtime=0
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 945205409 20430848 4282 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=19952 CPUtime=0.1
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 1410 0 0 0 9 1 0 0 19 0 5 0 945205409 20430848 4283 4294967295 134512640 135180984 3215498720 3086737712 134513890 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=19952 CPUtime=0.08
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 1316 0 0 0 8 0 0 0 19 0 5 0 945205409 20430848 4283 4294967295 134512640 135180984 3215498720 3086672120 134519916 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=19952 CPUtime=0.08
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 1483 0 0 0 6 2 0 0 20 0 5 0 945205409 20430848 4283 4294967295 134512640 135180984 3215498720 3086606308 134675767 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 19952

[startup+0.3056 s]
/proc/loadavg: 2.80 2.97 2.93 3/98 14808
/proc/meminfo: memFree=3122216/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=18568 CPUtime=0.86
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 5381 0 0 0 81 5 0 0 18 0 5 0 945205409 19013632 3954 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 4642 3954 68 164 0 4477 0
[pid=14808/tid=14809] ppid=14806 vsize=18568 CPUtime=0.01
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 26 0 0 0 0 1 0 0 16 0 5 0 945205409 19013632 3955 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=18568 CPUtime=0.29
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 1687 0 0 0 28 1 0 0 19 0 5 0 945205409 19013632 3955 4294967295 134512640 135180984 3215498720 3086737096 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=18568 CPUtime=0.28
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 1750 0 0 0 28 0 0 0 19 0 5 0 945205409 19013632 3955 4294967295 134512640 135180984 3215498720 3086671728 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=18568 CPUtime=0.28
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 1808 0 0 0 25 3 0 0 21 0 5 0 945205409 19013632 3955 4294967295 134512640 135180984 3215498720 3086606192 134528669 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 18568

[startup+0.705553 s]
/proc/loadavg: 2.80 2.97 2.93 3/98 14808
/proc/meminfo: memFree=3122216/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=21044 CPUtime=2.06
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 5949 0 0 0 201 5 0 0 18 0 5 0 945205409 21549056 4522 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 5261 4522 68 164 0 5096 0
[pid=14808/tid=14809] ppid=14806 vsize=21044 CPUtime=0.01
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 30 0 0 0 0 1 0 0 15 0 5 0 945205409 21549056 4522 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=21044 CPUtime=0.69
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 1865 0 0 0 68 1 0 0 20 0 5 0 945205409 21549056 4522 4294967295 134512640 135180984 3215498720 3086737264 134528470 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=21044 CPUtime=0.68
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 1919 0 0 0 68 0 0 0 19 0 5 0 945205409 21549056 4522 4294967295 134512640 135180984 3215498720 3086671724 134520661 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=21044 CPUtime=0.68
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 2024 0 0 0 65 3 0 0 21 0 5 0 945205409 21549056 4522 4294967295 134512640 135180984 3215498720 3086606024 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 21044

[startup+1.50549 s]
/proc/loadavg: 2.80 2.97 2.93 5/103 14814
/proc/meminfo: memFree=3103896/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=24736 CPUtime=4.46
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 6970 0 0 0 436 10 0 0 18 0 5 0 945205409 25329664 5543 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 6184 5543 68 164 0 6019 0
[pid=14808/tid=14809] ppid=14806 vsize=24736 CPUtime=0.04
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 37 0 0 0 1 3 0 0 16 0 5 0 945205409 25329664 5543 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=24736 CPUtime=1.46
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 2177 0 0 0 144 2 0 0 21 0 5 0 945205409 25329664 5543 4294967295 134512640 135180984 3215498720 3086737216 134527255 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=24736 CPUtime=1.48
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 2248 0 0 0 147 1 0 0 21 0 5 0 945205409 25329664 5543 4294967295 134512640 135180984 3215498720 3086671684 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=24736 CPUtime=1.48
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 2397 0 0 0 144 4 0 0 25 0 5 0 945205409 25329664 5543 4294967295 134512640 135180984 3215498720 3086606116 134521149 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 24736

[startup+3.10536 s]
/proc/loadavg: 2.80 2.97 2.93 4/103 14814
/proc/meminfo: memFree=3098864/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=30796 CPUtime=9.26
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 8503 0 0 0 910 16 0 0 18 0 5 0 945205409 31535104 7076 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 7699 7076 68 164 0 7534 0
[pid=14808/tid=14809] ppid=14806 vsize=30796 CPUtime=0.1
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 45 0 0 0 4 6 0 0 16 0 5 0 945205409 31535104 7076 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=30796 CPUtime=3
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 2666 0 0 0 298 2 0 0 25 0 5 0 945205409 31535104 7076 4294967295 134512640 135180984 3215498720 3086737260 134518218 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=30796 CPUtime=3.08
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 2758 0 0 0 306 2 0 0 25 0 5 0 945205409 31535104 7076 4294967295 134512640 135180984 3215498720 3086671720 134520667 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=30796 CPUtime=3.08
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 2923 0 0 0 302 6 0 0 25 0 5 0 945205409 31535104 7076 4294967295 134512640 135180984 3215498720 3086606192 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 9.26
Current children cumulated vsize (KiB) 30796

[startup+6.30512 s]
/proc/loadavg: 2.81 2.97 2.93 4/103 14814
/proc/meminfo: memFree=3088344/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=39868 CPUtime=18.82
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 10852 0 0 0 1859 23 0 0 18 0 5 0 945205409 40824832 9425 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 9967 9425 68 164 0 9802 0
[pid=14808/tid=14809] ppid=14806 vsize=39868 CPUtime=0.13
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 58 0 0 0 5 8 0 0 16 0 5 0 945205409 40824832 9425 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=39868 CPUtime=6.17
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 3492 0 0 0 611 6 0 0 25 0 5 0 945205409 40824832 9425 4294967295 134512640 135180984 3215498720 3086737232 134520027 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=39868 CPUtime=6.25
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 3493 0 0 0 622 3 0 0 25 0 5 0 945205409 40824832 9425 4294967295 134512640 135180984 3215498720 3086671520 134580407 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=39868 CPUtime=6.27
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 3698 0 0 0 621 6 0 0 25 0 5 0 945205409 40824832 9425 4294967295 134512640 135180984 3215498720 3086606188 134518208 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.82
Current children cumulated vsize (KiB) 39868

[startup+12.7046 s]
/proc/loadavg: 2.91 2.99 2.94 4/103 14997
/proc/meminfo: memFree=3073556/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=52532 CPUtime=37.94
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 14158 0 0 0 3756 38 0 0 18 0 5 0 945205409 53792768 12731 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 13133 12731 68 164 0 12968 0
[pid=14808/tid=14809] ppid=14806 vsize=52532 CPUtime=0.23
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 82 0 0 0 8 15 0 0 16 0 5 0 945205409 53792768 12731 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=52532 CPUtime=12.45
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 4484 0 0 0 1238 7 0 0 25 0 5 0 945205409 53792768 12731 4294967295 134512640 135180984 3215498720 3086737264 134528628 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=52532 CPUtime=12.6
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 4527 0 0 0 1253 7 0 0 25 0 5 0 945205409 53792768 12731 4294967295 134512640 135180984 3215498720 3086671728 134528655 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=52532 CPUtime=12.66
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 4954 0 0 0 1257 9 0 0 25 0 5 0 945205409 53792768 12731 4294967295 134512640 135180984 3215498720 3086606192 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 37.94
Current children cumulated vsize (KiB) 52532

[startup+25.5035 s]
/proc/loadavg: 2.93 2.99 2.94 4/103 14998
/proc/meminfo: memFree=3053148/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=73356 CPUtime=76.33
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 19099 0 0 0 7583 50 0 0 18 0 5 0 945205409 75116544 17672 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 18339 17672 68 164 0 18174 0
[pid=14808/tid=14809] ppid=14806 vsize=73356 CPUtime=0.34
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 118 0 0 0 11 23 0 0 15 0 5 0 945205409 75116544 17672 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=73356 CPUtime=25.14
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 5882 0 0 0 2506 8 0 0 25 0 5 0 945205409 75116544 17672 4294967295 134512640 135180984 3215498720 3086737264 134528406 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=73356 CPUtime=25.39
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 6293 0 0 0 2532 7 0 0 25 0 5 0 945205409 75116544 17672 4294967295 134512640 135180984 3215498720 3086671728 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=73356 CPUtime=25.46
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 6695 0 0 0 2534 12 0 0 25 0 5 0 945205409 75116544 17672 4294967295 134512640 135180984 3215498720 3086606192 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 76.33
Current children cumulated vsize (KiB) 73356

[startup+51.1115 s]
/proc/loadavg: 2.95 2.99 2.94 4/103 15002
/proc/meminfo: memFree=3027640/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=99428 CPUtime=153.12
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 25470 0 0 0 15239 73 0 0 18 0 5 0 945205409 101814272 24043 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 24857 24043 68 164 0 24692 0
[pid=14808/tid=14809] ppid=14806 vsize=99428 CPUtime=0.52
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 173 0 0 0 13 39 0 0 15 0 5 0 945205409 101814272 24043 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=99428 CPUtime=50.55
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 7829 0 0 0 5045 10 0 0 25 0 5 0 945205409 101814272 24043 4294967295 134512640 135180984 3215498720 3086737264 134528628 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=99428 CPUtime=50.99
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 8617 0 0 0 5091 8 0 0 25 0 5 0 945205409 101814272 24043 4294967295 134512640 135180984 3215498720 3086671728 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=99428 CPUtime=51.06
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 8740 0 0 0 5090 16 0 0 25 0 5 0 945205409 101814272 24043 4294967295 134512640 135180984 3215498720 3086606188 134518218 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 153.12
Current children cumulated vsize (KiB) 99428

[startup+102.317 s]
/proc/loadavg: 2.98 2.99 2.94 4/103 15187

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

[pid=14808/tid=14810] ppid=14806 vsize=266304 CPUtime=520.14
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 20256 0 0 0 51911 103 0 0 25 0 5 0 945205409 272695296 64609 4294967295 134512640 135180984 3215498720 3086737264 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=266304 CPUtime=521.92
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 21008 0 0 0 52154 38 0 0 25 0 5 0 945205409 272695296 64609 4294967295 134512640 135180984 3215498720 3086671728 134528756 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=266304 CPUtime=521.78
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 24124 0 0 0 52110 68 0 0 25 0 5 0 945205409 272695296 64609 4294967295 134512640 135180984 3215498720 3086606184 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1565.6
Current children cumulated vsize (KiB) 266304

[startup+582.308 s]
/proc/loadavg: 2.99 2.99 2.94 4/103 16703
/proc/meminfo: memFree=2867020/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=267828 CPUtime=1745.41
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 66384 0 0 0 174168 373 0 0 18 0 5 0 945205409 274255872 64957 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 66957 64957 68 164 0 66792 0
[pid=14808/tid=14809] ppid=14806 vsize=267828 CPUtime=1.96
/proc/14808/task/14809/stat : 14809 (satake) R 14806 14808 30957 0 -1 4202560 543 0 0 0 49 147 0 0 15 0 5 0 945205409 274255872 64957 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=267828 CPUtime=580
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 20366 0 0 0 57885 115 0 0 25 0 5 0 945205409 274255872 64957 4294967295 134512640 135180984 3215498720 3086737068 134706407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=267828 CPUtime=581.87
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 21214 0 0 0 58145 42 0 0 25 0 5 0 945205409 274255872 64957 4294967295 134512640 135180984 3215498720 3086671728 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=267828 CPUtime=581.58
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 24150 0 0 0 58089 69 0 0 25 0 5 0 945205409 274255872 64957 4294967295 134512640 135180984 3215498720 3086606192 134528532 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1745.41
Current children cumulated vsize (KiB) 267828

[startup+642.313 s]
/proc/loadavg: 2.99 2.99 2.94 4/103 16890
/proc/meminfo: memFree=2864456/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=270832 CPUtime=1925.3
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 66910 0 0 0 192124 406 0 0 18 0 5 0 945205409 277331968 65483 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 67708 65483 68 164 0 67543 0
[pid=14808/tid=14809] ppid=14806 vsize=270832 CPUtime=2.1
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 584 0 0 0 53 157 0 0 16 0 5 0 945205409 277331968 65483 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=270832 CPUtime=639.94
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 20583 0 0 0 63866 128 0 0 25 0 5 0 945205409 277331968 65483 4294967295 134512640 135180984 3215498720 3086737264 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=270832 CPUtime=641.82
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 21423 0 0 0 64134 48 0 0 25 0 5 0 945205409 277331968 65483 4294967295 134512640 135180984 3215498720 3086671724 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=270832 CPUtime=641.44
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 24209 0 0 0 64071 73 0 0 25 0 5 0 945205409 277331968 65483 4294967295 134512640 135180984 3215498720 3086606192 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1925.3
Current children cumulated vsize (KiB) 270832

[startup+702.309 s]
/proc/loadavg: 2.99 2.99 2.94 4/103 17077
/proc/meminfo: memFree=2862984/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=273768 CPUtime=2105.17
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 67522 0 0 0 210091 426 0 0 18 0 5 0 945205409 280338432 66087 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 68442 66087 68 164 0 68277 0
[pid=14808/tid=14809] ppid=14806 vsize=273768 CPUtime=2.23
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 616 0 0 0 55 168 0 0 15 0 5 0 945205409 280338432 66087 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=273768 CPUtime=699.88
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 20781 0 0 0 69855 133 0 0 25 0 5 0 945205409 280338432 66087 4294967295 134512640 135180984 3215498720 3086737264 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=273768 CPUtime=701.77
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 21774 0 0 0 70126 51 0 0 25 0 5 0 945205409 280338432 66087 4294967295 134512640 135180984 3215498720 3086671728 134528519 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=273768 CPUtime=701.29
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 24240 0 0 0 70055 74 0 0 25 0 5 0 945205409 280338432 66087 4294967295 134512640 135180984 3215498720 3086606192 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2105.17
Current children cumulated vsize (KiB) 273768

[startup+762.314 s]
/proc/loadavg: 2.99 2.99 2.94 4/103 17265
/proc/meminfo: memFree=2860008/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=277132 CPUtime=2285.05
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 68199 0 0 0 228066 439 0 0 18 0 5 0 945205409 283783168 66764 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 69283 66764 68 164 0 69118 0
[pid=14808/tid=14809] ppid=14806 vsize=277132 CPUtime=2.29
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 637 0 0 0 57 172 0 0 15 0 5 0 945205409 283783168 66764 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=277132 CPUtime=759.82
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 21033 0 0 0 75844 138 0 0 25 0 5 0 945205409 283783168 66764 4294967295 134512640 135180984 3215498720 3086737264 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=277132 CPUtime=761.72
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 22065 0 0 0 76118 54 0 0 25 0 5 0 945205409 283783168 66764 4294967295 134512640 135180984 3215498720 3086671728 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=277132 CPUtime=761.22
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 24353 0 0 0 76047 75 0 0 25 0 5 0 945205409 283783168 66764 4294967295 134512640 135180984 3215498720 3086606160 134519935 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2285.05
Current children cumulated vsize (KiB) 277132

[startup+822.319 s]
/proc/loadavg: 2.99 2.99 2.94 4/103 17453
/proc/meminfo: memFree=2858024/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=279072 CPUtime=2464.91
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 68635 0 0 0 246040 451 0 0 18 0 5 0 945205409 285769728 67200 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 69768 67200 68 164 0 69603 0
[pid=14808/tid=14809] ppid=14806 vsize=279072 CPUtime=2.34
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 657 0 0 0 59 175 0 0 15 0 5 0 945205409 285769728 67200 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=279072 CPUtime=819.73
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 21083 0 0 0 81830 143 0 0 25 0 5 0 945205409 285769728 67200 4294967295 134512640 135180984 3215498720 3086737264 134528661 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=279072 CPUtime=821.69
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 22270 0 0 0 82111 58 0 0 25 0 5 0 945205409 285769728 67200 4294967295 134512640 135180984 3215498720 3086671728 134528600 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=279072 CPUtime=821.15
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 24514 0 0 0 82040 75 0 0 25 0 5 0 945205409 285769728 67200 4294967295 134512640 135180984 3215498720 3086606192 134528644 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2464.91
Current children cumulated vsize (KiB) 279072

[startup+882.314 s]
/proc/loadavg: 2.99 2.99 2.94 4/103 17642
/proc/meminfo: memFree=2855876/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=280208 CPUtime=2644.79
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 68994 0 0 0 264020 459 0 0 18 0 5 0 945205409 286932992 67559 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 70052 67559 68 164 0 69887 0
[pid=14808/tid=14809] ppid=14806 vsize=280208 CPUtime=2.4
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 671 0 0 0 63 177 0 0 15 0 5 0 945205409 286932992 67559 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=280208 CPUtime=879.67
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 21189 0 0 0 87820 147 0 0 25 0 5 0 945205409 286932992 67559 4294967295 134512640 135180984 3215498720 3086737264 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=280208 CPUtime=881.66
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 22381 0 0 0 88108 58 0 0 25 0 5 0 945205409 286932992 67559 4294967295 134512640 135180984 3215498720 3086671728 134528680 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=280208 CPUtime=881.06
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 24642 0 0 0 88029 77 0 0 25 0 5 0 945205409 286932992 67559 4294967295 134512640 135180984 3215498720 3086606184 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2644.79
Current children cumulated vsize (KiB) 280208

[startup+942.309 s]
/proc/loadavg: 2.99 2.99 2.94 4/103 17833
/proc/meminfo: memFree=2849328/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=288816 CPUtime=2824.69
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 70710 0 0 0 281992 477 0 0 18 0 5 0 945205409 295747584 69275 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 72204 69275 68 164 0 72039 0
[pid=14808/tid=14809] ppid=14806 vsize=288816 CPUtime=2.47
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 693 0 0 0 65 182 0 0 16 0 5 0 945205409 295747584 69275 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=288816 CPUtime=939.6
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 21368 0 0 0 93807 153 0 0 25 0 5 0 945205409 295747584 69275 4294967295 134512640 135180984 3215498720 3086737264 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=288816 CPUtime=941.64
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 22595 0 0 0 94103 61 0 0 25 0 5 0 945205409 295747584 69275 4294967295 134512640 135180984 3215498720 3086671728 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=288816 CPUtime=940.98
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 25943 0 0 0 94017 81 0 0 25 0 5 0 945205409 295747584 69275 4294967295 134512640 135180984 3215498720 3086606192 134528465 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2824.69
Current children cumulated vsize (KiB) 288816



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 2.99 2.99 2.94 4/103 18020
/proc/meminfo: memFree=2835780/3368532 swapFree=1959840/1959888
[pid=14808] ppid=14806 vsize=302980 CPUtime=2997.7
/proc/14808/stat : 14808 (satake) S 14806 14808 30957 0 -1 4202496 74305 0 0 0 299267 503 0 0 18 0 5 0 945205409 310251520 72870 4294967295 134512640 135180984 3215498720 3215498156 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/14808/statm: 75745 72870 68 164 0 75580 0
[pid=14808/tid=14809] ppid=14806 vsize=302980 CPUtime=2.56
/proc/14808/task/14809/stat : 14809 (satake) S 14806 14808 30957 0 -1 4202560 716 0 0 0 66 190 0 0 16 0 5 0 945205409 310251520 72870 4294967295 134512640 135180984 3215498720 3086802960 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=14808/tid=14810] ppid=14806 vsize=302980 CPUtime=997.25
/proc/14808/task/14810/stat : 14810 (satake) R 14806 14808 30957 0 -1 4202560 22517 0 0 0 99561 164 0 0 25 0 5 0 945205409 310251520 72870 4294967295 134512640 135180984 3215498720 3086737096 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=14808/tid=14811] ppid=14806 vsize=302980 CPUtime=999.31
/proc/14808/task/14811/stat : 14811 (satake) R 14806 14808 30957 0 -1 4202560 23667 0 0 0 99868 63 0 0 25 0 5 0 945205409 310251520 72870 4294967295 134512640 135180984 3215498720 3086671728 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=14808/tid=14812] ppid=14806 vsize=302980 CPUtime=998.58
/proc/14808/task/14812/stat : 14812 (satake) R 14806 14808 30957 0 -1 4202560 27294 0 0 0 99772 86 0 0 25 0 5 0 945205409 310251520 72870 4294967295 134512640 135180984 3215498720 3086606192 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2997.7
Current children cumulated vsize (KiB) 302980

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): 2997.77
CPU user time (s): 2992.73
CPU system time (s): 5.04
CPU usage (%): 299.762
Max. virtual memory (cumulated for all children) (KiB): 302980

deleting IPC queue 3670016
deleting IPC queue 3702785
deleting IPC queue 3735554
deleting IPC queue 3768323
deleting IPC queue 3801092
deleting IPC queue 3833861
deleting IPC queue 3866630
deleting IPC queue 3899399
deleting IPC queue 3932168
deleting IPC queue 3964937
deleting IPC queue 3997706
deleting IPC queue 4030475
deleting IPC queue 4063244
deleting IPC queue 4096013
deleting IPC queue 4128782
deleting IPC queue 4161551

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2992.73
system time used= 5.04
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74305
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= 238938
involuntary context switches= 235248

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 00:31:26
IDJOB=1776310
IDBENCH=20487
IDSOLVER=629
FILE ID=tipi39/1776310-1243636286
PBS_JOBID=
Free space on /tmp= 5742 MiB

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

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

MD5SUM BENCH= 8df6cfaff4435ad2a04367a34fb047c1
RANDOM SEED= 1941779546

Linux tipi39 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.067
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.41
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.067
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.10
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.067
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.067
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:       3122216 kB
Buffers:         56788 kB
Cached:          85248 kB
SwapCached:          0 kB
Active:          92796 kB
Inactive:        65148 kB
HighTotal:     2489216 kB
HighFree:      2390272 kB
LowTotal:       879316 kB
LowFree:        731944 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            2456 kB
Writeback:           0 kB
AnonPages:       15912 kB
Mapped:           6132 kB
Slab:            77860 kB
SReclaimable:    67596 kB
SUnreclaim:      10264 kB
PageTables:        532 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94804 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5742 MiB
End job on tipi39 at 2009-05-30 00:48:09