Trace number 1781140

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

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_13_UNKNOWN.cnf
MD5SUM604e1311b2fcb3c933399ca7195c63f1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2058
Number of clauses133055
Sum of the clauses size396210
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23208
Number of clauses of size 3129824
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

Solver Data


Verifier Data 

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

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1781140-1243652708/watcher-1781140-1243652708 -o /tmp/evaluation-result-1781140-1243652708/solver-1781140-1243652708 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781140-1243652708.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: 7.39 7.40 7.31 6/113 24415
/proc/meminfo: memFree=2224064/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=3428 CPUtime=0
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 685 0 0 0 0 0 0 0 18 0 5 0 1119408071 3510272 641 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 857 641 63 164 0 692 0
[pid=24415/tid=24416] ppid=24413 vsize=3428 CPUtime=0
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1119408071 3510272 642 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=3428 CPUtime=0
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 570 0 0 0 0 0 0 0 19 0 5 0 1119408071 3510272 643 4294967295 134512640 135180984 3220925200 3086336088 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=3428 CPUtime=0
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 5 0 1119408071 3510272 643 4294967295 134512640 135180984 3220925200 3086271300 134705812 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=3428 CPUtime=0
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 5 0 1119408071 3510272 643 4294967295 134512640 135180984 3220925200 3086205764 134705812 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.030011 s]
/proc/loadavg: 7.39 7.40 7.31 6/113 24415
/proc/meminfo: memFree=2224064/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=9020 CPUtime=0.03
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 2099 0 0 0 3 0 0 0 18 0 5 0 1119408071 9236480 2052 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 2255 2053 63 164 0 2090 0
[pid=24415/tid=24416] ppid=24413 vsize=9020 CPUtime=0
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1119408071 9236480 2053 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=9020 CPUtime=0.01
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 656 0 0 0 1 0 0 0 19 0 5 0 1119408071 9236480 2054 4294967295 134512640 135180984 3220925200 3086336272 134519933 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=9020 CPUtime=0.01
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 660 0 0 0 1 0 0 0 19 0 5 0 1119408071 9236480 2054 4294967295 134512640 135180984 3220925200 3086270752 134513762 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=9020 CPUtime=0.01
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 668 0 0 0 1 0 0 0 20 0 5 0 1119408071 9236480 2054 4294967295 134512640 135180984 3220925200 3086205016 134675846 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9020

[startup+0.109985 s]
/proc/loadavg: 7.39 7.40 7.31 6/113 24415
/proc/meminfo: memFree=2224064/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=11192 CPUtime=0.07
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 2627 0 0 0 7 0 0 0 18 0 5 0 1119408071 11460608 2580 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 2798 2580 63 164 0 2633 0
[pid=24415/tid=24416] ppid=24413 vsize=11192 CPUtime=0
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 5 0 1119408071 11460608 2580 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=11192 CPUtime=0.01
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 656 0 0 0 1 0 0 0 19 0 5 0 1119408071 11460608 2580 4294967295 134512640 135180984 3220925200 3086336272 134519933 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=11192 CPUtime=0.01
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 660 0 0 0 1 0 0 0 19 0 5 0 1119408071 11460608 2580 4294967295 134512640 135180984 3220925200 3086270752 134513762 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=11192 CPUtime=0.05
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 1194 0 0 0 5 0 0 0 20 0 5 0 1119408071 11460608 2580 4294967295 134512640 135180984 3220925200 3086205260 134513863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11192

[startup+0.309968 s]
/proc/loadavg: 7.39 7.40 7.31 6/113 24415
/proc/meminfo: memFree=2224064/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=18780 CPUtime=0.34
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 5806 0 0 0 32 2 0 0 18 0 5 0 1119408071 19230720 4157 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 4695 4157 68 164 0 4530 0
[pid=24415/tid=24416] ppid=24413 vsize=18780 CPUtime=0
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 44 0 0 0 0 0 0 0 16 0 5 0 1119408071 19230720 4157 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=18780 CPUtime=0.11
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 1858 0 0 0 11 0 0 0 19 0 5 0 1119408071 19230720 4157 4294967295 134512640 135180984 3220925200 3086335856 134528524 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=18780 CPUtime=0.11
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 1912 0 0 0 10 1 0 0 19 0 5 0 1119408071 19230720 4157 4294967295 134512640 135180984 3220925200 3086270320 134528470 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=18780 CPUtime=0.12
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 1882 0 0 0 11 1 0 0 20 0 5 0 1119408071 19230720 4157 4294967295 134512640 135180984 3220925200 3086204500 134675767 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 18780

[startup+0.70994 s]
/proc/loadavg: 7.39 7.40 7.31 6/113 24415
/proc/meminfo: memFree=2224064/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=20504 CPUtime=1.04
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 6275 0 0 0 101 3 0 0 18 0 5 0 1119408071 20996096 4626 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 5126 4626 68 164 0 4961 0
[pid=24415/tid=24416] ppid=24413 vsize=20504 CPUtime=0.02
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 44 0 0 0 1 1 0 0 16 0 5 0 1119408071 20996096 4626 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=20504 CPUtime=0.31
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 2020 0 0 0 31 0 0 0 20 0 5 0 1119408071 20996096 4626 4294967295 134512640 135180984 3220925200 3086335856 134528398 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=20504 CPUtime=0.36
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 2069 0 0 0 35 1 0 0 19 0 5 0 1119408071 20996096 4626 4294967295 134512640 135180984 3220925200 3086270320 134528669 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=20504 CPUtime=0.35
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 2032 0 0 0 34 1 0 0 20 0 5 0 1119408071 20996096 4626 4294967295 134512640 135180984 3220925200 3086204800 134518634 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 20504

[startup+1.50988 s]
/proc/loadavg: 7.39 7.40 7.31 6/118 24420
/proc/meminfo: memFree=2206248/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=23244 CPUtime=2.25
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 6739 0 0 0 218 7 0 0 18 0 5 0 1119408071 23801856 5090 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 5811 5090 68 164 0 5646 0
[pid=24415/tid=24416] ppid=24413 vsize=23244 CPUtime=0.03
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 47 0 0 0 1 2 0 0 16 0 5 0 1119408071 23801856 5090 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=23244 CPUtime=0.71
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 2166 0 0 0 70 1 0 0 20 0 5 0 1119408071 23801856 5090 4294967295 134512640 135180984 3220925200 3086335856 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=23244 CPUtime=0.76
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 2191 0 0 0 73 3 0 0 19 0 5 0 1119408071 23801856 5090 4294967295 134512640 135180984 3220925200 3086270312 134518214 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=23244 CPUtime=0.75
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 2225 0 0 0 74 1 0 0 20 0 5 0 1119408071 23801856 5090 4294967295 134512640 135180984 3220925200 3086204784 134528206 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 23244

[startup+3.10975 s]
/proc/loadavg: 7.39 7.40 7.31 8/118 24420
/proc/meminfo: memFree=2203880/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=26016 CPUtime=4.65
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 7509 0 0 0 457 8 0 0 18 0 5 0 1119408071 26640384 5860 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 6504 5860 68 164 0 6339 0
[pid=24415/tid=24416] ppid=24413 vsize=26016 CPUtime=0.03
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 47 0 0 0 1 2 0 0 16 0 5 0 1119408071 26640384 5860 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=26016 CPUtime=1.51
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 2448 0 0 0 149 2 0 0 21 0 5 0 1119408071 26640384 5860 4294967295 134512640 135180984 3220925200 3086335752 134520911 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=26016 CPUtime=1.56
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 2383 0 0 0 153 3 0 0 21 0 5 0 1119408071 26640384 5860 4294967295 134512640 135180984 3220925200 3086270320 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=26016 CPUtime=1.55
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 2521 0 0 0 154 1 0 0 23 0 5 0 1119408071 26640384 5860 4294967295 134512640 135180984 3220925200 3086204776 134518252 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 26016

[startup+6.30951 s]
/proc/loadavg: 7.44 7.41 7.31 9/118 24421
/proc/meminfo: memFree=2198436/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=29596 CPUtime=8.01
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 8455 0 0 0 791 10 0 0 18 0 5 0 1119408071 30306304 6806 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 7399 6806 68 164 0 7234 0
[pid=24415/tid=24416] ppid=24413 vsize=29596 CPUtime=0.03
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 51 0 0 0 1 2 0 0 15 0 5 0 1119408071 30306304 6806 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=29596 CPUtime=2.77
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 2837 0 0 0 275 2 0 0 16 0 5 0 1119408071 30306304 6806 4294967295 134512640 135180984 3220925200 3086335856 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=29596 CPUtime=2.94
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 2765 0 0 0 289 5 0 0 17 0 5 0 1119408071 30306304 6806 4294967295 134512640 135180984 3220925200 3086270320 134528536 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=29596 CPUtime=2.27
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 2692 0 0 0 226 1 0 0 25 0 5 0 1119408071 30306304 6806 4294967295 134512640 135180984 3220925200 3086204576 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.01
Current children cumulated vsize (KiB) 29596

[startup+12.709 s]
/proc/loadavg: 7.40 7.40 7.31 6/118 24421
/proc/meminfo: memFree=2192412/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=34248 CPUtime=13.05
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 9743 0 0 0 1289 16 0 0 18 0 5 0 1119408071 35069952 8094 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 8562 8094 68 164 0 8397 0
[pid=24415/tid=24416] ppid=24413 vsize=34248 CPUtime=0.06
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 56 0 0 0 1 5 0 0 15 0 5 0 1119408071 35069952 8094 4294967295 134512640 135180984 3220925200 3086401556 134580588 0 0 0 0 3223036975 0 0 -1 2 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=34248 CPUtime=5.46
/proc/24415/task/24417/stat : 24417 (satake) S 24413 24415 20665 0 -1 4202560 3405 0 0 0 543 3 0 0 16 0 5 0 1119408071 35069952 8094 4294967295 134512640 135180984 3220925200 3086335648 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=34248 CPUtime=4.8
/proc/24415/task/24418/stat : 24418 (satake) S 24413 24415 20665 0 -1 4202560 3361 0 0 0 473 7 0 0 16 0 5 0 1119408071 35069952 8094 4294967295 134512640 135180984 3220925200 3086270112 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=34248 CPUtime=2.73
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 2811 0 0 0 272 1 0 0 25 0 5 0 1119408071 35069952 8094 4294967295 134512640 135180984 3220925200 3086204588 134706407 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 13.05
Current children cumulated vsize (KiB) 34248

[startup+25.518 s]
/proc/loadavg: 7.33 7.38 7.30 8/118 24421
/proc/meminfo: memFree=2179904/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=47412 CPUtime=30.04
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 12921 0 0 0 2967 37 0 0 18 0 5 0 1119408071 48549888 11272 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 11853 11272 68 164 0 11688 0
[pid=24415/tid=24416] ppid=24413 vsize=47412 CPUtime=0.28
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 82 0 0 0 5 23 0 0 15 0 5 0 1119408071 48549888 11272 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 3 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=47412 CPUtime=12.86
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 4648 0 0 0 1282 4 0 0 16 0 5 0 1119408071 48549888 11272 4294967295 134512640 135180984 3220925200 3086335856 134528628 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=47412 CPUtime=12.29
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 4700 0 0 0 1220 9 0 0 16 0 5 0 1119408071 48549888 11272 4294967295 134512640 135180984 3220925200 3086270320 134528862 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=47412 CPUtime=4.61
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 3381 0 0 0 460 1 0 0 25 0 5 0 1119408071 48549888 11272 4294967295 134512640 135180984 3220925200 3086204576 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 30.04
Current children cumulated vsize (KiB) 47412

[startup+51.116 s]
/proc/loadavg: 7.30 7.36 7.30 9/118 24606
/proc/meminfo: memFree=2153984/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=73044 CPUtime=76.01
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 19253 0 0 0 7530 71 0 0 18 0 5 0 1119408071 74797056 17604 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 18261 17604 68 164 0 18096 0
[pid=24415/tid=24416] ppid=24413 vsize=73044 CPUtime=0.5
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 153 0 0 0 9 41 0 0 15 0 5 0 1119408071 74797056 17604 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=73044 CPUtime=32.08
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 7642 0 0 0 3197 11 0 0 23 0 5 0 1119408071 74797056 17604 4294967295 134512640 135180984 3220925200 3086335856 134528470 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=73044 CPUtime=31.48
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 6692 0 0 0 3131 17 0 0 23 0 5 0 1119408071 74797056 17604 4294967295 134512640 135180984 3220925200 3086270320 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=73044 CPUtime=11.95
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 4656 0 0 0 1193 2 0 0 25 0 5 0 1119408071 74797056 17604 4294967295 134512640 135180984 3220925200 3086204784 134528470 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 76.01
Current children cumulated vsize (KiB) 73044

[startup+102.322 s]
/proc/loadavg: 7.02 7.26 7.26 12/119 24692

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

[pid=24415/tid=24417] ppid=24413 vsize=226424 CPUtime=249.51
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 21257 0 0 0 24931 20 0 0 25 0 5 0 1119408071 231858176 55303 4294967295 134512640 135180984 3220925200 3086335856 134528536 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=226424 CPUtime=235.55
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 19057 0 0 0 23532 23 0 0 25 0 5 0 1119408071 231858176 55303 4294967295 134512640 135180984 3220925200 3086270316 134520661 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=226424 CPUtime=215.12
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 16310 0 0 0 21502 10 0 0 25 0 5 0 1119408071 231858176 55303 4294967295 134512640 135180984 3220925200 3086204780 134518208 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 700.82
Current children cumulated vsize (KiB) 226424

[startup+582.315 s]
/proc/loadavg: 7.15 7.24 7.26 11/119 26180
/proc/meminfo: memFree=1980332/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=236780 CPUtime=784.91
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 59356 0 0 0 78391 100 0 0 18 0 5 0 1119408071 242462720 57707 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 59195 57707 68 164 0 59030 0
[pid=24415/tid=24416] ppid=24413 vsize=236780 CPUtime=0.67
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 224 0 0 0 20 47 0 0 15 0 5 0 1119408071 242462720 57707 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=236780 CPUtime=278.35
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 22157 0 0 0 27815 20 0 0 25 0 5 0 1119408071 242462720 57707 4294967295 134512640 135180984 3220925200 3086335852 134518246 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=236780 CPUtime=263.94
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 19788 0 0 0 26371 23 0 0 25 0 5 0 1119408071 242462720 57707 4294967295 134512640 135180984 3220925200 3086270320 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=236780 CPUtime=241.95
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 17077 0 0 0 24185 10 0 0 25 0 5 0 1119408071 242462720 57707 4294967295 134512640 135180984 3220925200 3086204780 134518208 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 784.91
Current children cumulated vsize (KiB) 236780

[startup+642.31 s]
/proc/loadavg: 7.12 7.22 7.25 10/119 26390
/proc/meminfo: memFree=1969712/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=245696 CPUtime=868.53
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 61648 0 0 0 86749 104 0 0 18 0 5 0 1119408071 251592704 59999 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 61424 59999 68 164 0 61259 0
[pid=24415/tid=24416] ppid=24413 vsize=245696 CPUtime=0.69
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 231 0 0 0 21 48 0 0 15 0 5 0 1119408071 251592704 59999 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=245696 CPUtime=305.78
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 22929 0 0 0 30556 22 0 0 25 0 5 0 1119408071 251592704 59999 4294967295 134512640 135180984 3220925200 3086335856 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=245696 CPUtime=292.11
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 20616 0 0 0 29187 24 0 0 25 0 5 0 1119408071 251592704 59999 4294967295 134512640 135180984 3220925200 3086270320 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=245696 CPUtime=269.95
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 17762 0 0 0 26985 10 0 0 25 0 5 0 1119408071 251592704 59999 4294967295 134512640 135180984 3220925200 3086204784 134528633 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 868.53
Current children cumulated vsize (KiB) 245696

[startup+702.305 s]
/proc/loadavg: 7.21 7.24 7.25 11/119 26564
/proc/meminfo: memFree=1960840/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=254356 CPUtime=954.32
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 63703 0 0 0 95326 106 0 0 18 0 5 0 1119408071 260460544 62054 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 63589 62054 68 164 0 63424 0
[pid=24415/tid=24416] ppid=24413 vsize=254356 CPUtime=0.69
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 237 0 0 0 21 48 0 0 15 0 5 0 1119408071 260460544 62054 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=254356 CPUtime=335.81
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 23680 0 0 0 33559 22 0 0 25 0 5 0 1119408071 260460544 62054 4294967295 134512640 135180984 3220925200 3086335856 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=254356 CPUtime=322.07
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 21369 0 0 0 32181 26 0 0 25 0 5 0 1119408071 260460544 62054 4294967295 134512640 135180984 3220925200 3086270320 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=254356 CPUtime=295.75
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 18307 0 0 0 29565 10 0 0 25 0 5 0 1119408071 260460544 62054 4294967295 134512640 135180984 3220925200 3086204784 134528680 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 954.32
Current children cumulated vsize (KiB) 254356

[startup+762.321 s]
/proc/loadavg: 7.33 7.27 7.26 10/119 26770
/proc/meminfo: memFree=1948904/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=264924 CPUtime=1038.81
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 66334 0 0 0 103774 107 0 0 18 0 5 0 1119408071 271282176 64685 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 66231 64685 68 164 0 66066 0
[pid=24415/tid=24416] ppid=24413 vsize=264924 CPUtime=0.69
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 241 0 0 0 21 48 0 0 15 0 5 0 1119408071 271282176 64685 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=264924 CPUtime=365.83
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 24740 0 0 0 36560 23 0 0 25 0 5 0 1119408071 271282176 64685 4294967295 134512640 135180984 3220925200 3086335856 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=264924 CPUtime=351.91
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 22279 0 0 0 35165 26 0 0 25 0 5 0 1119408071 271282176 64685 4294967295 134512640 135180984 3220925200 3086270320 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=264924 CPUtime=320.38
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 18964 0 0 0 32028 10 0 0 25 0 5 0 1119408071 271282176 64685 4294967295 134512640 135180984 3220925200 3086204576 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1038.81
Current children cumulated vsize (KiB) 264924

[startup+822.316 s]
/proc/loadavg: 7.18 7.24 7.26 11/119 26930
/proc/meminfo: memFree=1938180/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=274600 CPUtime=1124.33
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 68536 0 0 0 112323 110 0 0 18 0 5 0 1119408071 281190400 66887 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 68650 66887 68 164 0 68485 0
[pid=24415/tid=24416] ppid=24413 vsize=274600 CPUtime=0.69
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 245 0 0 0 21 48 0 0 15 0 5 0 1119408071 281190400 66887 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=274600 CPUtime=395.06
/proc/24415/task/24417/stat : 24417 (satake) S 24413 24415 20665 0 -1 4202560 25478 0 0 0 39482 24 0 0 25 0 5 0 1119408071 281190400 66887 4294967295 134512640 135180984 3220925200 3086335648 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=274600 CPUtime=378.79
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 22786 0 0 0 37852 27 0 0 25 0 5 0 1119408071 281190400 66887 4294967295 134512640 135180984 3220925200 3086270112 134580407 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=274600 CPUtime=349.79
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 19917 0 0 0 34968 11 0 0 25 0 5 0 1119408071 281190400 66887 4294967295 134512640 135180984 3220925200 3086204784 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1124.33
Current children cumulated vsize (KiB) 274600

[startup+882.312 s]
/proc/loadavg: 7.13 7.22 7.25 10/119 27135
/proc/meminfo: memFree=1928932/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=282980 CPUtime=1210.26
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 70633 0 0 0 120915 111 0 0 18 0 5 0 1119408071 289771520 68984 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 70745 68984 68 164 0 70580 0
[pid=24415/tid=24416] ppid=24413 vsize=282980 CPUtime=0.7
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 247 0 0 0 22 48 0 0 15 0 5 0 1119408071 289771520 68984 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=282980 CPUtime=425.01
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 26369 0 0 0 42476 25 0 0 25 0 5 0 1119408071 289771520 68984 4294967295 134512640 135180984 3220925200 3086335856 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=282980 CPUtime=406.2
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 23300 0 0 0 40593 27 0 0 25 0 5 0 1119408071 289771520 68984 4294967295 134512640 135180984 3220925200 3086270320 134528641 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=282980 CPUtime=378.35
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 20607 0 0 0 37824 11 0 0 25 0 5 0 1119408071 289771520 68984 4294967295 134512640 135180984 3220925200 3086204784 134528661 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1210.26
Current children cumulated vsize (KiB) 282980

[startup+942.307 s]
/proc/loadavg: 7.49 7.31 7.28 9/119 27302
/proc/meminfo: memFree=1918704/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=292356 CPUtime=1295.72
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 72789 0 0 0 129461 111 0 0 18 0 5 0 1119408071 299372544 71140 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 73089 71140 68 164 0 72924 0
[pid=24415/tid=24416] ppid=24413 vsize=292356 CPUtime=0.7
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 250 0 0 0 22 48 0 0 15 0 5 0 1119408071 299372544 71140 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=292356 CPUtime=454.36
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 27422 0 0 0 45411 25 0 0 25 0 5 0 1119408071 299372544 71140 4294967295 134512640 135180984 3220925200 3086335852 134520661 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=292356 CPUtime=434.31
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 23812 0 0 0 43404 27 0 0 25 0 5 0 1119408071 299372544 71140 4294967295 134512640 135180984 3220925200 3086270320 134528648 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=292356 CPUtime=406.35
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 21195 0 0 0 40624 11 0 0 25 0 5 0 1119408071 299372544 71140 4294967295 134512640 135180984 3220925200 3086204784 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1295.72
Current children cumulated vsize (KiB) 292356



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1000.01 s]
/proc/loadavg: 7.24 7.28 7.27 8/118 27440
/proc/meminfo: memFree=1910476/3368532 swapFree=1953000/1959888
[pid=24415] ppid=24413 vsize=300164 CPUtime=1378.44
/proc/24415/stat : 24415 (satake) S 24413 24415 20665 0 -1 4202496 74791 0 0 0 137733 111 0 0 18 0 5 0 1119408071 307367936 73142 4294967295 134512640 135180984 3220925200 3220924636 134573496 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/24415/statm: 75041 73142 68 164 0 74876 0
[pid=24415/tid=24416] ppid=24413 vsize=300164 CPUtime=0.71
/proc/24415/task/24416/stat : 24416 (satake) S 24413 24415 20665 0 -1 4202560 250 0 0 0 23 48 0 0 15 0 5 0 1119408071 307367936 73142 4294967295 134512640 135180984 3220925200 3086401552 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=24415/tid=24417] ppid=24413 vsize=300164 CPUtime=483.26
/proc/24415/task/24417/stat : 24417 (satake) R 24413 24415 20665 0 -1 4202560 28194 0 0 0 48301 25 0 0 25 0 5 0 1119408071 307367936 73142 4294967295 134512640 135180984 3220925200 3086335856 134528756 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=24415/tid=24418] ppid=24413 vsize=300164 CPUtime=459.32
/proc/24415/task/24418/stat : 24418 (satake) R 24413 24415 20665 0 -1 4202560 24342 0 0 0 45905 27 0 0 25 0 5 0 1119408071 307367936 73142 4294967295 134512640 135180984 3220925200 3086270316 134518218 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=24415/tid=24419] ppid=24413 vsize=300164 CPUtime=435.15
/proc/24415/task/24419/stat : 24419 (satake) R 24413 24415 20665 0 -1 4202560 21895 0 0 0 43504 11 0 0 25 0 5 0 1119408071 307367936 73142 4294967295 134512640 135180984 3220925200 3086204784 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1378.44
Current children cumulated vsize (KiB) 300164

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): 1378.49
CPU user time (s): 1377.37
CPU system time (s): 1.12
CPU usage (%): 137.842
Max. virtual memory (cumulated for all children) (KiB): 300164

deleting IPC queue 13631488
deleting IPC queue 13664257
deleting IPC queue 13697026
deleting IPC queue 13729795
deleting IPC queue 13762564
deleting IPC queue 13795333
deleting IPC queue 13828102
deleting IPC queue 13860871
deleting IPC queue 13893640
deleting IPC queue 13926409
deleting IPC queue 13959178
deleting IPC queue 13991947
deleting IPC queue 14024716
deleting IPC queue 14057485
deleting IPC queue 14090254
deleting IPC queue 14123023

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1377.37
system time used= 1.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74791
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= 75027
involuntary context switches= 75818

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi45 at 2009-05-30 05:05:08
IDJOB=1781140
IDBENCH=71100
IDSOLVER=629
FILE ID=tipi45/1781140-1243652708
PBS_JOBID=
Free space on /tmp= 15500 MiB

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

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

MD5SUM BENCH= 604e1311b2fcb3c933399ca7195c63f1
RANDOM SEED= 793379757

Linux tipi45 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.081
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.081
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.081
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.081
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.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2224064 kB
Buffers:         35216 kB
Cached:         664092 kB
SwapCached:       1800 kB
Active:         529540 kB
Inactive:       526220 kB
HighTotal:     2489216 kB
HighFree:      1465708 kB
LowTotal:       879316 kB
LowFree:        758356 kB
SwapTotal:     1959888 kB
SwapFree:      1953000 kB
Dirty:            4300 kB
Writeback:           0 kB
AnonPages:      355796 kB
Mapped:           6432 kB
Slab:            74888 kB
SReclaimable:    63276 kB
SUnreclaim:      11612 kB
PageTables:       1008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   444000 kB
VmallocTotal:   114680 kB
VmallocUsed:     17900 kB
VmallocChunk:    96244 kB

Free space on /tmp at the end= 15500 MiB
End job on tipi45 at 2009-05-30 05:21:50