Trace number 1778905

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) 3004.42 1000.02

General information on the benchmark

NameAPPLICATIONS/bitverif/
countbitssrl/countbitssrl032.cnf
MD5SUM5bb6e70c95bda454f634cd586084908b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2249.5
Satisfiable
(Un)Satisfiability was proved
Number of variables18607
Number of clauses55724
Sum of the clauses size130020
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 237148
Number of clauses of size 318574
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1778905-1243640581/watcher-1778905-1243640581 -o /tmp/evaluation-result-1778905-1243640581/solver-1778905-1243640581 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1778905-1243640581.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.76 2.95 2.98 3/98 28651
/proc/meminfo: memFree=3112628/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=2164 CPUtime=0
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 390 0 0 0 0 0 0 0 18 0 5 0 945634866 2215936 346 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 541 346 63 164 0 376 0
[pid=28651/tid=28652] ppid=28649 vsize=2320 CPUtime=0
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 945634866 2375680 361 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=2320 CPUtime=0
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 290 0 0 0 0 0 0 0 20 0 5 0 945634866 2375680 364 4294967295 134512640 135180984 3220355712 3085947008 134691935 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=2320 CPUtime=0
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 945634866 2375680 364 4294967295 134512640 135180984 3220355712 3085882180 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=2320 CPUtime=0
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 945634866 2375680 364 4294967295 134512640 135180984 3220355712 3085816644 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.038561 s]
/proc/loadavg: 2.76 2.95 2.98 3/98 28651
/proc/meminfo: memFree=3112628/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=10132 CPUtime=0.06
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 1911 0 0 0 6 0 0 0 18 0 5 0 945634866 10375168 1862 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 2533 1862 63 164 0 2368 0
[pid=28651/tid=28652] ppid=28649 vsize=10132 CPUtime=0
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 945634866 10375168 1863 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=10132 CPUtime=0.02
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 798 0 0 0 2 0 0 0 21 0 5 0 945634866 10375168 1863 4294967295 134512640 135180984 3220355712 3085947168 134513640 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=10132 CPUtime=0.02
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 583 0 0 0 2 0 0 0 20 0 5 0 945634866 10375168 1863 4294967295 134512640 135180984 3220355712 3085881492 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=10132 CPUtime=0.02
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 414 0 0 0 2 0 0 0 20 0 5 0 945634866 10375168 1864 4294967295 134512640 135180984 3220355712 3085815896 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10132

[startup+0.108553 s]
/proc/loadavg: 2.76 2.95 2.98 3/98 28651
/proc/meminfo: memFree=3112628/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=17340 CPUtime=0.24
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 3814 0 0 0 22 2 0 0 18 0 5 0 945634866 17756160 3113 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 4335 3113 66 164 0 4170 0
[pid=28651/tid=28652] ppid=28649 vsize=17340 CPUtime=0.01
/proc/28651/task/28652/stat : 28652 (satake) R 28649 28651 30957 0 -1 4202560 195 0 0 0 0 1 0 0 19 0 5 0 945634866 17756160 3113 4294967295 134512640 135180984 3220355712 3086012496 134543371 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=17340 CPUtime=0.06
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 1155 0 0 0 6 0 0 0 20 0 5 0 945634866 17756160 3113 4294967295 134512640 135180984 3220355712 3085946736 134528519 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=17340 CPUtime=0.08
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 1096 0 0 0 8 0 0 0 20 0 5 0 945634866 17756160 3113 4294967295 134512640 135180984 3220355712 3085881104 134525319 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=17340 CPUtime=0.09
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 1257 0 0 0 8 1 0 0 20 0 5 0 945634866 17756160 3113 4294967295 134512640 135180984 3220355712 3085815656 134519907 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 17340

[startup+0.308538 s]
/proc/loadavg: 2.76 2.95 2.98 3/98 28651
/proc/meminfo: memFree=3112628/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=17736 CPUtime=0.87
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 4049 0 0 0 82 5 0 0 18 0 5 0 945634866 18161664 3348 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 4434 3348 68 164 0 4269 0
[pid=28651/tid=28652] ppid=28649 vsize=17736 CPUtime=0.04
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 326 0 0 0 1 3 0 0 17 0 5 0 945634866 18161664 3348 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=17736 CPUtime=0.26
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 1183 0 0 0 26 0 0 0 21 0 5 0 945634866 18161664 3348 4294967295 134512640 135180984 3220355712 3085946736 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=17736 CPUtime=0.28
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 1126 0 0 0 27 1 0 0 20 0 5 0 945634866 18161664 3348 4294967295 134512640 135180984 3220355712 3085881088 134522961 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=17736 CPUtime=0.29
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 1303 0 0 0 28 1 0 0 20 0 5 0 945634866 18161664 3348 4294967295 134512640 135180984 3220355712 3085815560 134519103 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 17736

[startup+0.708504 s]
/proc/loadavg: 2.76 2.95 2.98 3/98 28651
/proc/meminfo: memFree=3112628/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=19080 CPUtime=2.11
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 4207 0 0 0 200 11 0 0 18 0 5 0 945634866 19537920 3506 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 4770 3506 68 164 0 4605 0
[pid=28651/tid=28652] ppid=28649 vsize=19080 CPUtime=0.09
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 339 0 0 0 3 6 0 0 16 0 5 0 945634866 19537920 3506 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=19080 CPUtime=0.66
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 1230 0 0 0 66 0 0 0 22 0 5 0 945634866 19537920 3506 4294967295 134512640 135180984 3220355712 3085946736 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=19080 CPUtime=0.67
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 1184 0 0 0 65 2 0 0 20 0 5 0 945634866 19537920 3506 4294967295 134512640 135180984 3220355712 3085881200 134528401 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=19080 CPUtime=0.69
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 1343 0 0 0 66 3 0 0 21 0 5 0 945634866 19537920 3506 4294967295 134512640 135180984 3220355712 3085815552 134522992 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 19080

[startup+1.50844 s]
/proc/loadavg: 2.76 2.95 2.98 4/103 28656
/proc/meminfo: memFree=3099308/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=20764 CPUtime=4.57
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 4570 0 0 0 429 28 0 0 18 0 5 0 945634866 21262336 3869 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 5191 3869 68 164 0 5026 0
[pid=28651/tid=28652] ppid=28649 vsize=20764 CPUtime=0.21
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 381 0 0 0 5 16 0 0 16 0 5 0 945634866 21262336 3869 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=20764 CPUtime=1.42
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 1351 0 0 0 140 2 0 0 25 0 5 0 945634866 21262336 3869 4294967295 134512640 135180984 3220355712 3085946736 134526032 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=20764 CPUtime=1.45
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 1285 0 0 0 142 3 0 0 21 0 5 0 945634866 21262336 3869 4294967295 134512640 135180984 3220355712 3085881200 134528235 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=20764 CPUtime=1.49
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 1442 0 0 0 142 7 0 0 24 0 5 0 945634866 21262336 3869 4294967295 134512640 135180984 3220355712 3085815656 134518252 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 20764

[startup+3.10831 s]
/proc/loadavg: 2.76 2.95 2.98 4/103 28656
/proc/meminfo: memFree=3097540/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=23936 CPUtime=9.53
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 5188 0 0 0 886 67 0 0 18 0 5 0 945634866 24510464 4487 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 5984 4487 68 164 0 5819 0
[pid=28651/tid=28652] ppid=28649 vsize=23936 CPUtime=0.44
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 469 0 0 0 10 34 0 0 16 0 5 0 945634866 24510464 4487 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=23936 CPUtime=3
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 1578 0 0 0 293 7 0 0 25 0 5 0 945634866 24510464 4487 4294967295 134512640 135180984 3220355712 3085946736 134526032 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=23936 CPUtime=3.01
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 1455 0 0 0 290 11 0 0 24 0 5 0 945634866 24510464 4487 4294967295 134512640 135180984 3220355712 3085881088 134522894 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=23936 CPUtime=3.08
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 1575 0 0 0 293 15 0 0 25 0 5 0 945634866 24510464 4487 4294967295 134512640 135180984 3220355712 3085815664 134526453 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (KiB) 23936

[startup+6.30805 s]
/proc/loadavg: 2.78 2.95 2.98 4/103 28656
/proc/meminfo: memFree=3092640/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=27860 CPUtime=19.44
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 6284 0 0 0 1817 127 0 0 18 0 5 0 945634866 28528640 5583 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 6965 5583 68 164 0 6800 0
[pid=28651/tid=28652] ppid=28649 vsize=27860 CPUtime=0.8
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 596 0 0 0 16 64 0 0 16 0 5 0 945634866 28528640 5583 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=27860 CPUtime=6.18
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 1866 0 0 0 605 13 0 0 25 0 5 0 945634866 28528640 5583 4294967295 134512640 135180984 3220355712 3085946640 134524814 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=27860 CPUtime=6.21
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 1776 0 0 0 599 22 0 0 25 0 5 0 945634866 28528640 5583 4294967295 134512640 135180984 3220355712 3085881200 134528633 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=27860 CPUtime=6.25
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 1935 0 0 0 597 28 0 0 25 0 5 0 945634866 28528640 5583 4294967295 134512640 135180984 3220355712 3085815568 134525274 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19.44
Current children cumulated vsize (KiB) 27860

[startup+12.7075 s]
/proc/loadavg: 2.80 2.95 2.98 3/103 28661
/proc/meminfo: memFree=3083532/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=36012 CPUtime=39.17
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 8452 0 0 0 3690 227 0 0 18 0 5 0 945634866 36876288 7751 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 9003 7751 68 164 0 8838 0
[pid=28651/tid=28652] ppid=28649 vsize=36012 CPUtime=1.43
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 859 0 0 0 29 114 0 0 16 0 5 0 945634866 36876288 7751 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=36012 CPUtime=12.52
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 2461 0 0 0 1230 22 0 0 25 0 5 0 945634866 36876288 7751 4294967295 134512640 135180984 3220355712 3085946752 134532622 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=36012 CPUtime=12.59
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 2473 0 0 0 1220 39 0 0 25 0 5 0 945634866 36876288 7751 4294967295 134512640 135180984 3220355712 3085881072 134522609 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=36012 CPUtime=12.63
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 2548 0 0 0 1211 52 0 0 25 0 5 0 945634866 36876288 7751 4294967295 134512640 135180984 3220355712 3085815568 134524611 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 39.17
Current children cumulated vsize (KiB) 36012

[startup+25.5165 s]
/proc/loadavg: 2.84 2.95 2.98 4/103 28663
/proc/meminfo: memFree=3069964/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=49392 CPUtime=78.11
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 11759 0 0 0 7488 323 0 0 18 0 5 0 945634866 50577408 11058 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 12348 11058 68 164 0 12183 0
[pid=28651/tid=28652] ppid=28649 vsize=49392 CPUtime=2.04
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 1151 0 0 0 39 165 0 0 16 0 5 0 945634866 50577408 11058 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=49392 CPUtime=25.3
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 3560 0 0 0 2499 31 0 0 25 0 5 0 945634866 50577408 11058 4294967295 134512640 135180984 3220355712 3085946736 134528869 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=49392 CPUtime=25.35
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 3345 0 0 0 2476 59 0 0 25 0 5 0 945634866 50577408 11058 4294967295 134512640 135180984 3220355712 3085881200 134528862 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=49392 CPUtime=25.42
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 3592 0 0 0 2474 68 0 0 25 0 5 0 945634866 50577408 11058 4294967295 134512640 135180984 3220355712 3085815664 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 78.11
Current children cumulated vsize (KiB) 49392

[startup+51.1144 s]
/proc/loadavg: 2.89 2.96 2.98 4/103 28847
/proc/meminfo: memFree=3051688/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=67820 CPUtime=155.05
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 16450 0 0 0 15054 451 0 0 18 0 5 0 945634866 69447680 15749 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 16955 15749 68 164 0 16790 0
[pid=28651/tid=28652] ppid=28649 vsize=67820 CPUtime=2.79
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 1408 0 0 0 55 224 0 0 16 0 5 0 945634866 69447680 15749 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=67820 CPUtime=50.4
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 5100 0 0 0 4996 44 0 0 25 0 5 0 945634866 69447680 15749 4294967295 134512640 135180984 3220355712 3085946624 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=67820 CPUtime=50.89
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 4805 0 0 0 5002 87 0 0 25 0 5 0 945634866 69447680 15749 4294967295 134512640 135180984 3220355712 3085881196 134520901 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=67820 CPUtime=50.97
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 5026 0 0 0 5001 96 0 0 25 0 5 0 945634866 69447680 15749 4294967295 134512640 135180984 3220355712 3085815560 134520909 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 155.05
Current children cumulated vsize (KiB) 67820

[startup+102.31 s]
/proc/loadavg: 2.95 2.96 2.98 4/103 29035

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

[pid=28651/tid=28653] ppid=28649 vsize=130972 CPUtime=519.83
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 9431 0 0 0 51682 301 0 0 25 0 5 0 945634866 134115328 31194 4294967295 134512640 135180984 3220355712 3085946736 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=130972 CPUtime=521.35
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 9440 0 0 0 51798 337 0 0 25 0 5 0 945634866 134115328 31194 4294967295 134512640 135180984 3220355712 3085881168 134519935 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=130972 CPUtime=520.67
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 10361 0 0 0 51781 286 0 0 25 0 5 0 945634866 134115328 31194 4294967295 134512640 135180984 3220355712 3085815656 134520896 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1572.79
Current children cumulated vsize (KiB) 130972

[startup+582.311 s]
/proc/loadavg: 3.01 3.02 3.00 4/103 30543
/proc/meminfo: memFree=2986968/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=130972 CPUtime=1752.55
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 31950 0 0 0 173390 1865 0 0 18 0 5 0 945634866 134115328 31249 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 32743 31249 68 164 0 32578 0
[pid=28651/tid=28652] ppid=28649 vsize=130972 CPUtime=11.49
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 2571 0 0 0 250 899 0 0 16 0 5 0 945634866 134115328 31249 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=130972 CPUtime=579.27
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 9433 0 0 0 57619 308 0 0 25 0 5 0 945634866 134115328 31249 4294967295 134512640 135180984 3220355712 3085946732 134518218 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=130972 CPUtime=581.18
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 9472 0 0 0 57758 360 0 0 25 0 5 0 945634866 134115328 31249 4294967295 134512640 135180984 3220355712 3085881200 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=130972 CPUtime=580.62
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 10363 0 0 0 57764 298 0 0 25 0 5 0 945634866 134115328 31249 4294967295 134512640 135180984 3220355712 3085815664 134528211 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1752.55
Current children cumulated vsize (KiB) 130972

[startup+642.316 s]
/proc/loadavg: 3.06 3.03 3.00 4/103 30731
/proc/meminfo: memFree=2985208/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=134212 CPUtime=1932.36
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 32479 0 0 0 191228 2008 0 0 18 0 5 0 945634866 137433088 31778 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 33553 31778 68 164 0 33388 0
[pid=28651/tid=28652] ppid=28649 vsize=134212 CPUtime=12.4
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 2693 0 0 0 267 973 0 0 16 0 5 0 945634866 137433088 31778 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=134212 CPUtime=638.34
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 9520 0 0 0 63511 323 0 0 25 0 5 0 945634866 137433088 31778 4294967295 134512640 135180984 3220355712 3085946736 134528698 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=134212 CPUtime=641.03
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 9523 0 0 0 63709 394 0 0 25 0 5 0 945634866 137433088 31778 4294967295 134512640 135180984 3220355712 3085881200 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=134212 CPUtime=640.59
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 10632 0 0 0 63741 318 0 0 25 0 5 0 945634866 137433088 31778 4294967295 134512640 135180984 3220355712 3085815664 134528511 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1932.36
Current children cumulated vsize (KiB) 134212

[startup+702.311 s]
/proc/loadavg: 3.02 3.03 3.00 4/103 30919
/proc/meminfo: memFree=2984308/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=134680 CPUtime=2112.16
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 32655 0 0 0 209138 2078 0 0 18 0 5 0 945634866 137912320 31954 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 33670 31954 68 164 0 33505 0
[pid=28651/tid=28652] ppid=28649 vsize=134680 CPUtime=12.85
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 2738 0 0 0 277 1008 0 0 15 0 5 0 945634866 137912320 31954 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=134680 CPUtime=697.86
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 9572 0 0 0 69456 330 0 0 25 0 5 0 945634866 137912320 31954 4294967295 134512640 135180984 3220355712 3085946736 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=134680 CPUtime=700.91
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 9579 0 0 0 69682 409 0 0 25 0 5 0 945634866 137912320 31954 4294967295 134512640 135180984 3220355712 3085881200 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=134680 CPUtime=700.55
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 10655 0 0 0 69724 331 0 0 25 0 5 0 945634866 137912320 31954 4294967295 134512640 135180984 3220355712 3085815664 134526964 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2112.16
Current children cumulated vsize (KiB) 134680

[startup+762.316 s]
/proc/loadavg: 3.01 3.02 3.00 4/103 31113
/proc/meminfo: memFree=2983736/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=136148 CPUtime=2291.99
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 32820 0 0 0 226988 2211 0 0 18 0 5 0 945634866 139415552 32119 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 34037 32119 68 164 0 33872 0
[pid=28651/tid=28652] ppid=28649 vsize=136148 CPUtime=13.76
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 2821 0 0 0 305 1071 0 0 16 0 5 0 945634866 139415552 32119 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=136148 CPUtime=756.96
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 9625 0 0 0 75352 344 0 0 25 0 5 0 945634866 139415552 32119 4294967295 134512640 135180984 3220355712 3085946736 134528549 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=136148 CPUtime=760.77
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 9596 0 0 0 75628 449 0 0 25 0 5 0 945634866 139415552 32119 4294967295 134512640 135180984 3220355712 3085881200 134528441 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=136148 CPUtime=760.5
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 10667 0 0 0 75703 347 0 0 25 0 5 0 945634866 139415552 32119 4294967295 134512640 135180984 3220355712 3085815656 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2291.99
Current children cumulated vsize (KiB) 136148

[startup+822.311 s]
/proc/loadavg: 3.00 3.01 3.00 4/103 31300
/proc/meminfo: memFree=2982364/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=136508 CPUtime=2471.85
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 33022 0 0 0 244915 2270 0 0 18 0 5 0 945634866 139784192 32321 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 34127 32321 68 164 0 33962 0
[pid=28651/tid=28652] ppid=28649 vsize=136508 CPUtime=14.12
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 2868 0 0 0 313 1099 0 0 15 0 5 0 945634866 139784192 32321 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=136508 CPUtime=816.59
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 9689 0 0 0 81306 353 0 0 25 0 5 0 945634866 139784192 32321 4294967295 134512640 135180984 3220355712 3085946636 134519095 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=136508 CPUtime=820.7
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 9630 0 0 0 81607 463 0 0 25 0 5 0 945634866 139784192 32321 4294967295 134512640 135180984 3220355712 3085881200 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=136508 CPUtime=820.45
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 10724 0 0 0 81690 355 0 0 25 0 5 0 945634866 139784192 32321 4294967295 134512640 135180984 3220355712 3085815664 134528763 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2471.85
Current children cumulated vsize (KiB) 136508

[startup+882.306 s]
/proc/loadavg: 3.00 3.01 3.00 4/103 31489
/proc/meminfo: memFree=2978528/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=142652 CPUtime=2651.7
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 34501 0 0 0 262847 2323 0 0 18 0 5 0 945634866 146075648 33800 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 35663 33800 68 164 0 35498 0
[pid=28651/tid=28652] ppid=28649 vsize=142652 CPUtime=14.46
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 2958 0 0 0 323 1123 0 0 16 0 5 0 945634866 146075648 33800 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=142652 CPUtime=876.24
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 10065 0 0 0 87264 360 0 0 25 0 5 0 945634866 146075648 33800 4294967295 134512640 135180984 3220355712 3085946672 134523716 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=142652 CPUtime=880.61
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 9998 0 0 0 87583 478 0 0 25 0 5 0 945634866 146075648 33800 4294967295 134512640 135180984 3220355712 3085881200 134528425 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=142652 CPUtime=880.39
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 11369 0 0 0 87677 362 0 0 25 0 5 0 945634866 146075648 33800 4294967295 134512640 135180984 3220355712 3085815660 134519895 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2651.7
Current children cumulated vsize (KiB) 142652

[startup+942.311 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 31677
/proc/meminfo: memFree=2976156/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=144004 CPUtime=2831.53
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 34745 0 0 0 280748 2405 0 0 18 0 5 0 945634866 147460096 34044 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 36001 34044 68 164 0 35836 0
[pid=28651/tid=28652] ppid=28649 vsize=144004 CPUtime=15.04
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 3028 0 0 0 342 1162 0 0 16 0 5 0 945634866 147460096 34044 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=144004 CPUtime=935.65
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 10103 0 0 0 93198 367 0 0 25 0 5 0 945634866 147460096 34044 4294967295 134512640 135180984 3220355712 3085946736 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=144004 CPUtime=940.52
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 10075 0 0 0 93553 499 0 0 25 0 5 0 945634866 147460096 34044 4294967295 134512640 135180984 3220355712 3085881168 134520017 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=144004 CPUtime=940.33
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 11428 0 0 0 93656 377 0 0 25 0 5 0 945634866 147460096 34044 4294967295 134512640 135180984 3220355712 3085815664 134528756 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2831.53
Current children cumulated vsize (KiB) 144004



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.00 3.00 3.00 4/103 31865
/proc/meminfo: memFree=2969792/3368532 swapFree=1959840/1959888
[pid=28651] ppid=28649 vsize=150812 CPUtime=3004.39
/proc/28651/stat : 28651 (satake) S 28649 28651 30957 0 -1 4202496 36758 0 0 0 297978 2461 0 0 18 0 5 0 945634866 154431488 36057 4294967295 134512640 135180984 3220355712 3220355148 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/28651/statm: 37703 36057 68 164 0 37538 0
[pid=28651/tid=28652] ppid=28649 vsize=150812 CPUtime=15.38
/proc/28651/task/28652/stat : 28652 (satake) S 28649 28651 30957 0 -1 4202560 3106 0 0 0 351 1187 0 0 16 0 5 0 945634866 154431488 36057 4294967295 134512640 135180984 3220355712 3086012432 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=28651/tid=28653] ppid=28649 vsize=150812 CPUtime=992.98
/proc/28651/task/28653/stat : 28653 (satake) R 28649 28651 30957 0 -1 4202560 10713 0 0 0 98924 374 0 0 25 0 5 0 945634866 154431488 36057 4294967295 134512640 135180984 3220355712 3085946632 134518214 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=28651/tid=28654] ppid=28649 vsize=150812 CPUtime=998.05
/proc/28651/task/28654/stat : 28654 (satake) R 28649 28651 30957 0 -1 4202560 11035 0 0 0 99290 515 0 0 25 0 5 0 945634866 154431488 36057 4294967295 134512640 135180984 3220355712 3085881196 134520901 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=28651/tid=28655] ppid=28649 vsize=150812 CPUtime=997.98
/proc/28651/task/28655/stat : 28655 (satake) R 28649 28651 30957 0 -1 4202560 11793 0 0 0 99413 385 0 0 25 0 5 0 945634866 154431488 36057 4294967295 134512640 135180984 3220355712 3085815496 134675767 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3004.39
Current children cumulated vsize (KiB) 150812

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.02
CPU time (s): 3004.42
CPU user time (s): 2979.81
CPU system time (s): 24.61
CPU usage (%): 300.434
Max. virtual memory (cumulated for all children) (KiB): 150812

deleting IPC queue 6815744
deleting IPC queue 6848513
deleting IPC queue 6881282
deleting IPC queue 6914051
deleting IPC queue 6946820
deleting IPC queue 6979589
deleting IPC queue 7012358
deleting IPC queue 7045127
deleting IPC queue 7077896
deleting IPC queue 7110665
deleting IPC queue 7143434
deleting IPC queue 7176203
deleting IPC queue 7208972
deleting IPC queue 7241741
deleting IPC queue 7274510
deleting IPC queue 7307279

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2979.81
system time used= 24.61
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36758
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= 1232608
involuntary context switches= 708222

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-30 01:43:01
IDJOB=1778905
IDBENCH=70780
IDSOLVER=629
FILE ID=tipi39/1778905-1243640581
PBS_JOBID=
Free space on /tmp= 5743 MiB

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

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

MD5SUM BENCH= 5bb6e70c95bda454f634cd586084908b
RANDOM SEED= 30109512

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:       3112628 kB
Buffers:         57152 kB
Cached:          94556 kB
SwapCached:          0 kB
Active:          91068 kB
Inactive:        76704 kB
HighTotal:     2489216 kB
HighFree:      2380848 kB
LowTotal:       879316 kB
LowFree:        731780 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:            1604 kB
Writeback:           0 kB
AnonPages:       16080 kB
Mapped:           6188 kB
Slab:            77344 kB
SReclaimable:    67136 kB
SUnreclaim:      10208 kB
PageTables:        500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    94800 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 5743 MiB
End job on tipi39 at 2009-05-30 01:59:43