Trace number 1775620

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) 2999.82 1000.06

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/total-10-17-u.cnf
MD5SUM9ce7c48a28ddd5790e38607bb893dd38
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 variables293864
Number of clauses1370917
Sum of the clauses size3163902
Maximum clause length10
Minimum clause length1
Number of clauses of size 124516
Number of clauses of size 21065117
Number of clauses of size 3226184
Number of clauses of size 46120
Number of clauses of size 524480
Number of clauses of size over 524500

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-1775620-1243631255/watcher-1775620-1243631255 -o /tmp/evaluation-result-1775620-1243631255/solver-1775620-1243631255 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775620-1243631255.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: 0.78 0.19 0.06 3/98 31218
/proc/meminfo: memFree=3131396/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=3476 CPUtime=0.01
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 714 0 0 0 0 1 0 0 18 0 5 0 944702467 3559424 671 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 869 671 63 164 0 704 0
[pid=31218/tid=31219] ppid=31216 vsize=5524 CPUtime=0
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 944702467 5656576 675 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=5524 CPUtime=0.01
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 80 0 0 0 0 1 0 0 19 0 5 0 944702467 5656576 680 4294967295 134512640 135180984 3218958640 3085893924 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=5524 CPUtime=0
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 532 0 0 0 0 0 0 0 19 0 5 0 944702467 5656576 685 4294967295 134512640 135180984 3218958640 3085828388 134583077 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=5524 CPUtime=0
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 944702467 5656576 690 4294967295 134512640 135180984 3218958640 3085763396 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.060564 s]
/proc/loadavg: 0.78 0.19 0.06 3/98 31218
/proc/meminfo: memFree=3131396/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=69540 CPUtime=0.11
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 16378 0 0 0 0 11 0 0 18 0 5 0 944702467 71208960 16335 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 17385 16354 63 164 0 17220 0
[pid=31218/tid=31219] ppid=31216 vsize=69540 CPUtime=0
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 944702467 71208960 16357 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=69540 CPUtime=0.03
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 3548 0 0 0 0 3 0 0 19 0 5 0 944702467 71208960 16364 4294967295 134512640 135180984 3218958640 3085893924 134583077 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=69540 CPUtime=0.04
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 6280 0 0 0 0 4 0 0 19 0 5 0 944702467 71208960 16371 4294967295 134512640 135180984 3218958640 3085828336 134522598 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=69540 CPUtime=0.05
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 6468 0 0 0 1 4 0 0 20 0 5 0 944702467 71208960 16377 4294967295 134512640 135180984 3218958640 3085762632 134675846 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 69540

[startup+0.11056 s]
/proc/loadavg: 0.78 0.19 0.06 3/98 31218
/proc/meminfo: memFree=3131396/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=99704 CPUtime=0.26
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 22744 0 0 0 10 16 0 0 18 0 5 0 944702467 102096896 22685 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 24926 22686 63 164 0 24761 0
[pid=31218/tid=31219] ppid=31216 vsize=99704 CPUtime=0
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 944702467 102096896 22687 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=99704 CPUtime=0.08
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 7532 0 0 0 2 6 0 0 19 0 5 0 944702467 102096896 22689 4294967295 134512640 135180984 3218958640 3085893720 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=99704 CPUtime=0.09
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 7458 0 0 0 5 4 0 0 19 0 5 0 944702467 102096896 22689 4294967295 134512640 135180984 3218958640 3085828308 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=99704 CPUtime=0.09
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 7642 0 0 0 3 6 0 0 20 0 5 0 944702467 102096896 22689 4294967295 134512640 135180984 3218958640 3085762708 134579745 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 99704

[startup+0.310543 s]
/proc/loadavg: 0.78 0.19 0.06 3/98 31218
/proc/meminfo: memFree=3131396/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=172456 CPUtime=0.84
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 35923 0 0 0 59 25 0 0 18 0 5 0 944702467 176594944 35864 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 43114 35868 63 164 0 42949 0
[pid=31218/tid=31219] ppid=31216 vsize=172456 CPUtime=0
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 944702467 176594944 35869 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=172456 CPUtime=0.27
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 11537 0 0 0 17 10 0 0 18 0 5 0 944702467 176594944 35870 4294967295 134512640 135180984 3218958640 3085893720 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=172456 CPUtime=0.28
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 12449 0 0 0 22 6 0 0 18 0 5 0 944702467 176594944 35875 4294967295 134512640 135180984 3218958640 3085828400 134535242 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=172456 CPUtime=0.3
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 11832 0 0 0 21 9 0 0 18 0 5 0 944702467 176594944 35876 4294967295 134512640 135180984 3218958640 3085762848 134513759 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 172456

[startup+0.710511 s]
/proc/loadavg: 0.78 0.19 0.06 3/98 31218
/proc/meminfo: memFree=3131396/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=276040 CPUtime=2
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 53455 0 0 0 163 37 0 0 18 0 5 0 944702467 282664960 53396 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 69010 53397 63 164 0 68845 0
[pid=31218/tid=31219] ppid=31216 vsize=276040 CPUtime=0
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 944702467 282664960 53398 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=276040 CPUtime=0.65
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 17781 0 0 0 53 12 0 0 17 0 5 0 944702467 282664960 53398 4294967295 134512640 135180984 3218958640 3085893856 134519935 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=276040 CPUtime=0.68
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 17808 0 0 0 57 11 0 0 17 0 5 0 944702467 282664960 53398 4294967295 134512640 135180984 3218958640 3085828184 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=276040 CPUtime=0.67
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 17752 0 0 0 53 14 0 0 17 0 5 0 944702467 282664960 53398 4294967295 134512640 135180984 3218958640 3085762784 134519956 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 276040

[startup+1.51044 s]
/proc/loadavg: 0.78 0.19 0.06 3/103 31223
/proc/meminfo: memFree=2896152/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=348016 CPUtime=4.33
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 71791 0 0 0 360 73 0 0 18 0 5 0 944702467 356368384 71732 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 87004 71733 63 164 0 86839 0
[pid=31218/tid=31219] ppid=31216 vsize=348016 CPUtime=0
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 944702467 356368384 71734 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=348016 CPUtime=1.43
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 24062 0 0 0 119 24 0 0 15 0 5 0 944702467 356368384 71734 4294967295 134512640 135180984 3218958640 3085893780 134579745 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=348016 CPUtime=1.46
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 24092 0 0 0 127 19 0 0 15 0 5 0 944702467 356368384 71734 4294967295 134512640 135180984 3218958640 3085828244 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=348016 CPUtime=1.44
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 23523 0 0 0 114 30 0 0 16 0 5 0 944702467 356368384 71734 4294967295 134512640 135180984 3218958640 3085762708 134579745 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 348016

[startup+3.11032 s]
/proc/loadavg: 0.78 0.19 0.06 5/103 31223
/proc/meminfo: memFree=2897632/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=302756 CPUtime=9.1
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 77547 0 0 0 828 82 0 0 18 0 5 0 944702467 310022144 58798 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 75689 58798 68 164 0 75524 0
[pid=31218/tid=31219] ppid=31216 vsize=302756 CPUtime=0.11
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 3357 0 0 0 8 3 0 0 16 0 5 0 944702467 310022144 58798 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=302756 CPUtime=2.98
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 24921 0 0 0 272 26 0 0 16 0 5 0 944702467 310022144 58798 4294967295 134512640 135180984 3218958640 3085893552 134532454 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=302756 CPUtime=3.03
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 24611 0 0 0 282 21 0 0 16 0 5 0 944702467 310022144 58798 4294967295 134512640 135180984 3218958640 3085827944 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=302756 CPUtime=2.99
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 24549 0 0 0 267 32 0 0 16 0 5 0 944702467 310022144 58798 4294967295 134512640 135180984 3218958640 3085762352 134523615 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.1
Current children cumulated vsize (KiB) 302756

[startup+6.31006 s]
/proc/loadavg: 1.04 0.25 0.08 4/103 31224
/proc/meminfo: memFree=2897100/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=304204 CPUtime=18.66
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 77692 0 0 0 1784 82 0 0 18 0 5 0 944702467 311504896 58943 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 76051 58943 68 164 0 75886 0
[pid=31218/tid=31219] ppid=31216 vsize=304204 CPUtime=0.11
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 3357 0 0 0 8 3 0 0 16 0 5 0 944702467 311504896 58943 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=304204 CPUtime=6.16
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 24989 0 0 0 590 26 0 0 21 0 5 0 944702467 311504896 58943 4294967295 134512640 135180984 3218958640 3085893488 134528568 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=304204 CPUtime=6.21
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 24650 0 0 0 600 21 0 0 22 0 5 0 944702467 311504896 58943 4294967295 134512640 135180984 3218958640 3085827944 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=304204 CPUtime=6.19
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 24587 0 0 0 587 32 0 0 21 0 5 0 944702467 311504896 58943 4294967295 134512640 135180984 3218958640 3085762368 134527257 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 18.66
Current children cumulated vsize (KiB) 304204

[startup+12.7095 s]
/proc/loadavg: 1.20 0.30 0.10 4/103 31224
/proc/meminfo: memFree=2896116/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=304204 CPUtime=37.83
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 77871 0 0 0 3698 85 0 0 18 0 5 0 944702467 311504896 59122 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 76051 59122 68 164 0 75886 0
[pid=31218/tid=31219] ppid=31216 vsize=304204 CPUtime=0.14
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 3357 0 0 0 9 5 0 0 16 0 5 0 944702467 311504896 59122 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=304204 CPUtime=12.55
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 25021 0 0 0 1229 26 0 0 25 0 5 0 944702467 311504896 59122 4294967295 134512640 135180984 3218958640 3085893488 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=304204 CPUtime=12.59
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 24733 0 0 0 1237 22 0 0 25 0 5 0 944702467 311504896 59122 4294967295 134512640 135180984 3218958640 3085827920 134519935 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=304204 CPUtime=12.56
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 24651 0 0 0 1224 32 0 0 25 0 5 0 944702467 311504896 59122 4294967295 134512640 135180984 3218958640 3085762408 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 37.83
Current children cumulated vsize (KiB) 304204

[startup+25.5085 s]
/proc/loadavg: 1.68 0.45 0.15 4/103 31225
/proc/meminfo: memFree=2895864/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=304204 CPUtime=76.38
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 77918 0 0 0 7510 128 0 0 18 0 5 0 944702467 311504896 59169 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 76051 59169 68 164 0 75886 0
[pid=31218/tid=31219] ppid=31216 vsize=304204 CPUtime=0.45
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 3357 0 0 0 16 29 0 0 16 0 5 0 944702467 311504896 59169 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=304204 CPUtime=25.28
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 25040 0 0 0 2496 32 0 0 25 0 5 0 944702467 311504896 59169 4294967295 134512640 135180984 3218958640 3085893488 134528887 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=304204 CPUtime=25.35
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 24740 0 0 0 2504 31 0 0 25 0 5 0 944702467 311504896 59169 4294967295 134512640 135180984 3218958640 3085827952 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=304204 CPUtime=25.31
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 24672 0 0 0 2495 36 0 0 25 0 5 0 944702467 311504896 59169 4294967295 134512640 135180984 3218958640 3085762320 134525050 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 76.38
Current children cumulated vsize (KiB) 304204

[startup+51.1064 s]
/proc/loadavg: 2.13 0.65 0.22 4/103 31232
/proc/meminfo: memFree=2894632/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=304692 CPUtime=153.82
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 78229 0 0 0 15144 238 0 0 18 0 5 0 944702467 312004608 59480 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 76173 59480 68 164 0 76008 0
[pid=31218/tid=31219] ppid=31216 vsize=304692 CPUtime=1.18
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 3408 0 0 0 34 84 0 0 16 0 5 0 944702467 312004608 59480 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=304692 CPUtime=50.86
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 25197 0 0 0 5037 49 0 0 25 0 5 0 944702467 312004608 59480 4294967295 134512640 135180984 3218958640 3085893488 134528211 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=304692 CPUtime=50.93
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 24762 0 0 0 5039 54 0 0 25 0 5 0 944702467 312004608 59480 4294967295 134512640 135180984 3218958640 3085827968 134532624 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=304692 CPUtime=50.86
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 24753 0 0 0 5035 51 0 0 25 0 5 0 944702467 312004608 59480 4294967295 134512640 135180984 3218958640 3085762416 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 153.82
Current children cumulated vsize (KiB) 304692

[startup+102.312 s]
/proc/loadavg: 2.66 1.02 0.37 4/103 31418

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

[pid=31218/tid=31220] ppid=31216 vsize=465556 CPUtime=519.6
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 36640 0 0 0 51772 188 0 0 25 0 5 0 944702467 476729344 98729 4294967295 134512640 135180984 3218958640 3085893320 134675846 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=465556 CPUtime=521.64
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 36684 0 0 0 51976 188 0 0 25 0 5 0 944702467 476729344 98729 4294967295 134512640 135180984 3218958640 3085827952 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=465556 CPUtime=519.83
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 39448 0 0 0 51789 194 0 0 25 0 5 0 944702467 476729344 98729 4294967295 134512640 135180984 3218958640 3085762416 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1567.22
Current children cumulated vsize (KiB) 465556

[startup+582.313 s]
/proc/loadavg: 2.99 2.59 1.41 4/103 463
/proc/meminfo: memFree=2720536/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=483176 CPUtime=1747.19
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 121618 0 0 0 173671 1048 0 0 18 0 5 0 944702467 494772224 102851 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 120794 102851 68 164 0 120629 0
[pid=31218/tid=31219] ppid=31216 vsize=483176 CPUtime=6.33
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 4667 0 0 0 169 464 0 0 16 0 5 0 944702467 494772224 102851 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=483176 CPUtime=579.6
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 37902 0 0 0 57766 194 0 0 25 0 5 0 944702467 494772224 102851 4294967295 134512640 135180984 3218958640 3085893488 134528967 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=483176 CPUtime=581.44
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 38129 0 0 0 57955 189 0 0 25 0 5 0 944702467 494772224 102851 4294967295 134512640 135180984 3218958640 3085827848 134520907 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=483176 CPUtime=579.83
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 40811 0 0 0 57782 201 0 0 25 0 5 0 944702467 494772224 102851 4294967295 134512640 135180984 3218958640 3085762416 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1747.19
Current children cumulated vsize (KiB) 483176

[startup+642.308 s]
/proc/loadavg: 2.99 2.67 1.52 4/103 651
/proc/meminfo: memFree=2702556/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=501432 CPUtime=1927.11
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 126037 0 0 0 191642 1069 0 0 18 0 5 0 944702467 513466368 107270 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 125358 107270 68 164 0 125193 0
[pid=31218/tid=31219] ppid=31216 vsize=501432 CPUtime=6.46
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 4731 0 0 0 172 474 0 0 16 0 5 0 944702467 513466368 107270 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=501432 CPUtime=639.57
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 39409 0 0 0 63759 198 0 0 25 0 5 0 944702467 513466368 107270 4294967295 134512640 135180984 3218958640 3085893392 134524887 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=501432 CPUtime=641.28
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 39479 0 0 0 63938 190 0 0 25 0 5 0 944702467 513466368 107270 4294967295 134512640 135180984 3218958640 3085827944 134518255 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=501432 CPUtime=639.8
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 42309 0 0 0 63773 207 0 0 25 0 5 0 944702467 513466368 107270 4294967295 134512640 135180984 3218958640 3085762416 134528414 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1927.11
Current children cumulated vsize (KiB) 501432

[startup+702.314 s]
/proc/loadavg: 3.04 2.74 1.61 4/103 838
/proc/meminfo: memFree=2685824/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=518024 CPUtime=2106.99
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 130360 0 0 0 209592 1107 0 0 18 0 5 0 944702467 530456576 111593 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 129506 111593 68 164 0 129341 0
[pid=31218/tid=31219] ppid=31216 vsize=518024 CPUtime=6.61
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 4811 0 0 0 174 487 0 0 16 0 5 0 944702467 530456576 111593 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=518024 CPUtime=699.57
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 40624 0 0 0 69754 203 0 0 25 0 5 0 944702467 530456576 111593 4294967295 134512640 135180984 3218958640 3085893488 134528511 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=518024 CPUtime=701.07
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 40429 0 0 0 69911 196 0 0 25 0 5 0 944702467 530456576 111593 4294967295 134512640 135180984 3218958640 3085827952 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=518024 CPUtime=699.75
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 44387 0 0 0 69754 221 0 0 25 0 5 0 944702467 530456576 111593 4294967295 134512640 135180984 3218958640 3085762416 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2106.99
Current children cumulated vsize (KiB) 518024

[startup+762.309 s]
/proc/loadavg: 3.01 2.78 1.69 4/103 1037
/proc/meminfo: memFree=2665688/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=537920 CPUtime=2286.91
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 135273 0 0 0 227555 1136 0 0 18 0 5 0 944702467 550830080 116506 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 134480 116506 68 164 0 134315 0
[pid=31218/tid=31219] ppid=31216 vsize=537920 CPUtime=6.77
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 4919 0 0 0 181 496 0 0 15 0 5 0 944702467 550830080 116506 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=537920 CPUtime=759.55
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 42160 0 0 0 75748 207 0 0 25 0 5 0 944702467 550830080 116506 4294967295 134512640 135180984 3218958640 3085893488 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=537920 CPUtime=760.86
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 41712 0 0 0 75884 202 0 0 25 0 5 0 944702467 550830080 116506 4294967295 134512640 135180984 3218958640 3085827952 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=537920 CPUtime=759.74
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 46373 0 0 0 75743 231 0 0 25 0 5 0 944702467 550830080 116506 4294967295 134512640 135180984 3218958640 3085762416 134528211 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2286.91
Current children cumulated vsize (KiB) 537920

[startup+822.304 s]
/proc/loadavg: 3.00 2.82 1.77 4/103 1230
/proc/meminfo: memFree=2650980/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=553244 CPUtime=2466.85
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 138931 0 0 0 245516 1169 0 0 18 0 5 0 944702467 566521856 120164 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 138311 120164 68 164 0 138146 0
[pid=31218/tid=31219] ppid=31216 vsize=553244 CPUtime=6.92
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 4984 0 0 0 183 509 0 0 16 0 5 0 944702467 566521856 120164 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=553244 CPUtime=819.53
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 43369 0 0 0 81739 214 0 0 25 0 5 0 944702467 566521856 120164 4294967295 134512640 135180984 3218958640 3085893488 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=553244 CPUtime=820.68
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 42692 0 0 0 81860 208 0 0 25 0 5 0 944702467 566521856 120164 4294967295 134512640 135180984 3218958640 3085827784 134675846 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=553244 CPUtime=819.73
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 47777 0 0 0 81735 238 0 0 25 0 5 0 944702467 566521856 120164 4294967295 134512640 135180984 3218958640 3085762408 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2466.85
Current children cumulated vsize (KiB) 553244

[startup+882.309 s]
/proc/loadavg: 3.00 2.85 1.84 4/103 1419
/proc/meminfo: memFree=2636836/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=568764 CPUtime=2646.77
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 142530 0 0 0 263492 1185 0 0 18 0 5 0 944702467 582414336 123763 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 142191 123763 68 164 0 142026 0
[pid=31218/tid=31219] ppid=31216 vsize=568764 CPUtime=7.01
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 5057 0 0 0 184 517 0 0 15 0 5 0 944702467 582414336 123763 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=568764 CPUtime=879.53
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 44759 0 0 0 87737 216 0 0 25 0 5 0 944702467 582414336 123763 4294967295 134512640 135180984 3218958640 3085893488 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=568764 CPUtime=880.55
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 43760 0 0 0 87846 209 0 0 25 0 5 0 944702467 582414336 123763 4294967295 134512640 135180984 3218958640 3085827952 134528674 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=568764 CPUtime=879.69
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 48845 0 0 0 87726 243 0 0 25 0 5 0 944702467 582414336 123763 4294967295 134512640 135180984 3218958640 3085762416 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2646.77
Current children cumulated vsize (KiB) 568764

[startup+942.314 s]
/proc/loadavg: 3.06 2.90 1.92 4/103 1606
/proc/meminfo: memFree=2626792/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=577516 CPUtime=2826.72
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 145031 0 0 0 281460 1212 0 0 18 0 5 0 944702467 591376384 126264 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 144379 126264 68 164 0 144214 0
[pid=31218/tid=31219] ppid=31216 vsize=577516 CPUtime=7.14
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 5104 0 0 0 184 530 0 0 16 0 5 0 944702467 591376384 126264 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=577516 CPUtime=939.53
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 45469 0 0 0 93734 219 0 0 25 0 5 0 944702467 591376384 126264 4294967295 134512640 135180984 3218958640 3085893320 134675767 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=577516 CPUtime=940.38
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 44655 0 0 0 93827 211 0 0 25 0 5 0 944702467 591376384 126264 4294967295 134512640 135180984 3218958640 3085827888 134523667 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=577516 CPUtime=939.68
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 49694 0 0 0 93716 252 0 0 25 0 5 0 944702467 591376384 126264 4294967295 134512640 135180984 3218958640 3085762416 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2826.72
Current children cumulated vsize (KiB) 577516



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 3.02 2.92 1.99 4/103 1793
/proc/meminfo: memFree=2618980/3368532 swapFree=1959840/1959888
[pid=31218] ppid=31216 vsize=585660 CPUtime=2999.76
/proc/31218/stat : 31218 (satake) S 31216 31218 30957 0 -1 4202496 146969 0 0 0 298735 1241 0 0 18 0 5 0 944702467 599715840 128202 4294967295 134512640 135180984 3218958640 3218958076 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31218/statm: 146415 128202 68 164 0 146250 0
[pid=31218/tid=31219] ppid=31216 vsize=585660 CPUtime=7.28
/proc/31218/task/31219/stat : 31219 (satake) S 31216 31218 30957 0 -1 4202560 5147 0 0 0 188 540 0 0 16 0 5 0 944702467 599715840 128202 4294967295 134512640 135180984 3218958640 3085959184 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=31218/tid=31220] ppid=31216 vsize=585660 CPUtime=997.23
/proc/31218/task/31220/stat : 31220 (satake) R 31216 31218 30957 0 -1 4202560 45888 0 0 0 99501 222 0 0 25 0 5 0 944702467 599715840 128202 4294967295 134512640 135180984 3218958640 3085893488 134528433 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31218/tid=31221] ppid=31216 vsize=585660 CPUtime=997.9
/proc/31218/task/31221/stat : 31221 (satake) R 31216 31218 30957 0 -1 4202560 45327 0 0 0 99574 216 0 0 25 0 5 0 944702467 599715840 128202 4294967295 134512640 135180984 3218958640 3085827952 134528680 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31218/tid=31222] ppid=31216 vsize=585660 CPUtime=997.35
/proc/31218/task/31222/stat : 31222 (satake) R 31216 31218 30957 0 -1 4202560 50498 0 0 0 99472 263 0 0 25 0 5 0 944702467 599715840 128202 4294967295 134512640 135180984 3218958640 3085762416 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2999.76
Current children cumulated vsize (KiB) 585660

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.06
CPU time (s): 2999.82
CPU user time (s): 2987.38
CPU system time (s): 12.44
CPU usage (%): 299.964
Max. virtual memory (cumulated for all children) (KiB): 585660

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= 2987.38
system time used= 12.44
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146969
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= 728571
involuntary context switches= 523557

runsolver used 0 second user time and 0.01 second system time

The end

Launcher Data 

Begin job on tipi39 at 2009-05-29 23:07:35
IDJOB=1775620
IDBENCH=20365
IDSOLVER=629
FILE ID=tipi39/1775620-1243631255
PBS_JOBID=
Free space on /tmp= 5720 MiB

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

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

MD5SUM BENCH= 9ce7c48a28ddd5790e38607bb893dd38
RANDOM SEED= 471163098

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:       3131544 kB
Buffers:         56140 kB
Cached:          77188 kB
SwapCached:          0 kB
Active:         104316 kB
Inactive:        44996 kB
HighTotal:     2489216 kB
HighFree:      2398420 kB
LowTotal:       879316 kB
LowFree:        733124 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           26144 kB
Writeback:           0 kB
AnonPages:       15844 kB
Mapped:           6056 kB
Slab:            77780 kB
SReclaimable:    66976 kB
SUnreclaim:      10804 kB
PageTables:        528 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= 5720 MiB
End job on tipi39 at 2009-05-29 23:24:19