Trace number 3264454

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
Plingeling 587? (TO) 4800.14 1201.72

General information on the benchmark

NameSAT04/handmade/connamacher/connm-d0.04/
connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
MD5SUM41d80cc808c021a52e21ee9950bc91e0
Bench CategoryCRAFTED (crafted 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 variables764
Number of clauses9695
Sum of the clauses size29276
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 39504
Number of clauses of size 4191
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 Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3264454-1304103906/watcher-3264454-1304103906 -o /tmp/evaluation-result-3264454-1304103906/solver-3264454-1304103906 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3264454-1304103906.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.06 7.89 7.96 2/172 8427
/proc/meminfo: memFree=26085352/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=8728 CPUtime=0 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 215 0 0 0 0 0 0 0 18 0 1 0 521991041 8937472 146 33554432000 4194304 4417332 140734797647808 18446744073709551615 230809165568 0 0 4096 0 18446744071562362840 0 0 17 2 0 0 0
/proc/8427/statm: 2182 146 122 55 0 68 0

[startup+0.070952 s]
/proc/loadavg: 7.06 7.89 7.96 2/172 8427
/proc/meminfo: memFree=26085352/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=52160 CPUtime=0.01 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 1006 1256 0 4 1 0 0 0 18 0 5 0 521991041 53411840 842 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 13040 842 166 55 0 10926 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 52160

[startup+0.176866 s]
/proc/loadavg: 7.06 7.89 7.96 2/172 8427
/proc/meminfo: memFree=26085352/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=53428 CPUtime=0.42 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 1608 1256 0 4 42 0 0 0 18 0 5 0 521991041 54710272 1155 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 13485 1171 179 55 0 11371 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 53428

[startup+0.376829 s]
/proc/loadavg: 7.06 7.89 7.96 2/172 8427
/proc/meminfo: memFree=26085352/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=56076 CPUtime=1.22 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 2271 1256 0 4 122 0 0 0 18 0 5 0 521991041 57421824 1818 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 14019 1818 180 55 0 11905 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 56076

[startup+0.70077 s]
/proc/loadavg: 7.06 7.89 7.96 2/172 8427
/proc/meminfo: memFree=26085352/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=56804 CPUtime=2.52 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 2661 1256 0 4 252 0 0 0 18 0 5 0 521991041 58167296 2000 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 14201 2000 180 55 0 12087 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 56804

[startup+1.50062 s]
/proc/loadavg: 7.06 7.89 7.96 9/186 8454
/proc/meminfo: memFree=26064740/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=59500 CPUtime=5.71 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 3786 1256 0 4 571 0 0 0 18 0 5 0 521991041 60928000 2680 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 14875 2680 180 55 0 12761 0
[pid=8427/tid=8447] ppid=8425 vsize=59500 CPUtime=1.43 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 661 1256 0 4 143 0 0 0 23 0 5 0 521991048 60928000 2680 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=59500 CPUtime=1.42 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 953 1256 0 4 142 0 0 0 23 0 5 0 521991048 60928000 2680 33554432000 4194304 4417332 140734797647808 18446744073709551615 4365886 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=59500 CPUtime=1.42 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 581 1256 0 4 142 0 0 0 23 0 5 0 521991048 60928000 2680 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364534 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=59500 CPUtime=1.42 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 599 1256 0 4 142 0 0 0 23 0 5 0 521991048 60928000 2680 33554432000 4194304 4417332 140734797647808 18446744073709551615 4352400 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 59500

[startup+3.10033 s]
/proc/loadavg: 7.06 7.89 7.96 9/186 8454
/proc/meminfo: memFree=26056192/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=61420 CPUtime=12.1 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 6878 1256 0 4 1209 1 0 0 18 0 5 0 521991041 62894080 3154 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 15355 3154 180 55 0 13241 0
[pid=8427/tid=8447] ppid=8425 vsize=61420 CPUtime=3.02 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 1431 1256 0 4 302 0 0 0 25 0 5 0 521991048 62894080 3154 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=61420 CPUtime=3.02 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 1797 1256 0 4 302 0 0 0 25 0 5 0 521991048 62894080 3154 33554432000 4194304 4417332 140734797647808 18446744073709551615 4250977 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=61420 CPUtime=3.02 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 949 1256 0 4 302 0 0 0 25 0 5 0 521991048 62894080 3154 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=61420 CPUtime=3.01 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 1709 1256 0 4 301 0 0 0 25 0 5 0 521991048 62894080 3154 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364549 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.1
Current children cumulated vsize (KiB) 61420

[startup+6.30075 s]
/proc/loadavg: 7.22 7.91 7.96 9/186 8454
/proc/meminfo: memFree=26045660/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=66432 CPUtime=24.88 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 13153 1256 0 4 2487 1 0 0 18 0 5 0 521991041 68026368 4407 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 16608 4407 180 55 0 14494 0
[pid=8427/tid=8447] ppid=8425 vsize=66432 CPUtime=6.22 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 3329 1256 0 4 622 0 0 0 25 0 5 0 521991048 68026368 4407 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364680 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=66432 CPUtime=6.21 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 3741 1256 0 4 621 0 0 0 25 0 5 0 521991048 68026368 4407 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=66432 CPUtime=6.22 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 1898 1256 0 4 622 0 0 0 25 0 5 0 521991048 68026368 4407 33554432000 4194304 4417332 140734797647808 18446744073709551615 4250941 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=66432 CPUtime=6.2 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 3193 1256 0 4 620 0 0 0 25 0 5 0 521991048 68026368 4407 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364652 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.88
Current children cumulated vsize (KiB) 66432

[startup+12.7006 s]
/proc/loadavg: 7.28 7.91 7.96 9/186 8454
/proc/meminfo: memFree=26032936/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=77196 CPUtime=50.45 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 22980 1256 0 4 5042 3 0 0 18 0 5 0 521991041 79048704 7098 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 19299 7098 180 55 0 17185 0
[pid=8427/tid=8447] ppid=8425 vsize=77196 CPUtime=12.62 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 5418 1256 0 4 1262 0 0 0 25 0 5 0 521991048 79048704 7098 33554432000 4194304 4417332 140734797647808 18446744073709551615 4236923 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=77196 CPUtime=12.61 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 6805 1256 0 4 1261 0 0 0 25 0 5 0 521991048 79048704 7098 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=77196 CPUtime=12.61 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 3529 1256 0 4 1261 0 0 0 25 0 5 0 521991048 79048704 7098 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=77196 CPUtime=12.57 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 6236 1256 0 4 1256 1 0 0 25 0 5 0 521991048 79048704 7098 33554432000 4194304 4417332 140734797647808 18446744073709551615 4366014 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.45
Current children cumulated vsize (KiB) 77196

[startup+25.5002 s]
/proc/loadavg: 7.44 7.91 7.96 9/186 8455
/proc/meminfo: memFree=26006524/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=82316 CPUtime=101.59 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 41312 1256 0 4 10153 6 0 0 18 0 5 0 521991041 84291584 8410 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 20579 8410 180 55 0 18465 0
[pid=8427/tid=8447] ppid=8425 vsize=82316 CPUtime=25.42 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 9925 1256 0 4 2541 1 0 0 25 0 5 0 521991048 84291584 8410 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=82316 CPUtime=25.41 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 11796 1256 0 4 2540 1 0 0 25 0 5 0 521991048 84291584 8410 33554432000 4194304 4417332 140734797647808 18446744073709551615 4366017 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=82316 CPUtime=25.42 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 7299 1256 0 4 2541 1 0 0 25 0 5 0 521991048 84291584 8410 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364509 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=82316 CPUtime=25.3 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 11300 1256 0 4 2529 1 0 0 25 0 5 0 521991048 84291584 8410 33554432000 4194304 4417332 140734797647808 18446744073709551615 4365846 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 82316

[startup+51.1005 s]
/proc/loadavg: 7.63 7.92 7.96 9/186 8455
/proc/meminfo: memFree=25993228/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=90468 CPUtime=203.87 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 73654 1256 0 4 20376 11 0 0 18 0 5 0 521991041 92639232 10447 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 22617 10447 180 55 0 20503 0
[pid=8427/tid=8447] ppid=8425 vsize=90468 CPUtime=51.02 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 16334 1256 0 4 5100 2 0 0 25 0 5 0 521991048 92639232 10447 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364452 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=90468 CPUtime=51.01 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 19210 1256 0 4 5099 2 0 0 25 0 5 0 521991048 92639232 10447 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=90468 CPUtime=51.02 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 15918 1256 0 4 5099 3 0 0 25 0 5 0 521991048 92639232 10447 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=90468 CPUtime=50.77 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 21200 1256 0 4 5075 2 0 0 25 0 5 0 521991048 92639232 10447 33554432000 4194304 4417332 140734797647808 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 90468

[startup+102.306 s]
/proc/loadavg: 7.85 7.93 7.96 9/186 8457
/proc/meminfo: memFree=25944484/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=101612 CPUtime=408.43 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 131019 1256 0 4 40824 19 0 0 18 0 5 0 521991041 104050688 13208 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 25403 13208 180 55 0 23289 0
[pid=8427/tid=8447] ppid=8425 vsize=101612 CPUtime=102.23 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 28219 1256 0 4 10219 4 0 0 25 0 5 0 521991048 104050688 13208 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=101612 CPUtime=102.21 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 36738 1256 0 4 10216 5 0 0 25 0 5 0 521991048 104050688 13208 33554432000 4194304 4417332 140734797647808 18446744073709551615 4250432 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=101612 CPUtime=102.23 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 29482 1256 0 4 10218 5 0 0 25 0 5 0 521991048 104050688 13208 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=101612 CPUtime=101.72 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 35588 1256 0 4 10168 4 0 0 25 0 5 0 521991048 104050688 13208 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364487 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.43
Current children cumulated vsize (KiB) 101612

[startup+162.301 s]
/proc/loadavg: 7.98 7.95 7.97 9/186 8458
/proc/meminfo: memFree=25920780/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=115000 CPUtime=648.1 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 192828 1256 0 4 64782 28 0 0 18 0 5 0 521991041 117760000 16555 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 28750 16555 180 55 0 26636 0
[pid=8427/tid=8447] ppid=8425 vsize=115000 CPUtime=162.23 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 44295 1256 0 4 16217 6 0 0 25 0 5 0 521991048 117760000 16555 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364736 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=115000 CPUtime=162.2 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 53248 1256 0 4 16213 7 0 0 25 0 5 0 521991048 117760000 16555 33554432000 4194304 4417332 140734797647808 18446744073709551615 4365859 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=115000 CPUtime=162.23 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 42437 1256 0 4 16216 7 0 0 25 0 5 0 521991048 117760000 16555 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=115000 CPUtime=161.41 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 51856 1256 0 4 16134 7 0 0 25 0 5 0 521991048 117760000 16555 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.1
Current children cumulated vsize (KiB) 115000


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

[pid=8427/tid=8448] ppid=8425 vsize=173432 CPUtime=762.17 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 160601 1256 0 4 76192 25 0 0 25 0 5 0 521991048 177594368 31163 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364547 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=173432 CPUtime=762.24 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 145993 1256 0 4 76200 24 0 0 25 0 5 0 521991048 177594368 31163 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=173432 CPUtime=758.18 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 167373 1256 0 4 75795 23 0 0 25 0 5 0 521991048 177594368 31163 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364680 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.89
Current children cumulated vsize (KiB) 173432

[startup+822.301 s]
/proc/loadavg: 8.13 8.08 8.01 9/186 8476
/proc/meminfo: memFree=25759388/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=183524 CPUtime=3284.54 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 671526 1256 0 4 328353 101 0 0 18 0 5 0 521991041 187928576 33686 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 45881 33686 180 55 0 43767 0
[pid=8427/tid=8447] ppid=8425 vsize=183524 CPUtime=822.25 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 165991 1256 0 4 82202 23 0 0 25 0 5 0 521991048 187928576 33686 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=183524 CPUtime=822.16 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 171651 1256 0 4 82188 28 0 0 25 0 5 0 521991048 187928576 33686 33554432000 4194304 4417332 140734797647808 18446744073709551615 4251160 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=183524 CPUtime=822.24 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 154902 1256 0 4 82199 25 0 0 25 0 5 0 521991048 187928576 33686 33554432000 4194304 4417332 140734797647808 18446744073709551615 4366303 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=183524 CPUtime=817.86 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 177990 1256 0 4 81762 24 0 0 25 0 5 0 521991048 187928576 33686 33554432000 4194304 4417332 140734797647808 18446744073709551615 4251104 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.54
Current children cumulated vsize (KiB) 183524

[startup+882.301 s]
/proc/loadavg: 8.18 8.11 8.02 9/186 8477
/proc/meminfo: memFree=25758120/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=172948 CPUtime=3524.21 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 699616 1256 0 4 352315 106 0 0 18 0 5 0 521991041 177098752 31042 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 43237 31042 180 55 0 41123 0
[pid=8427/tid=8447] ppid=8425 vsize=172948 CPUtime=882.25 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 174028 1256 0 4 88201 24 0 0 25 0 5 0 521991048 177098752 31042 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=172948 CPUtime=882.15 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 178930 1256 0 4 88186 29 0 0 25 0 5 0 521991048 177098752 31042 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364822 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=172948 CPUtime=882.24 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 159276 1256 0 4 88198 26 0 0 25 0 5 0 521991048 177098752 31042 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=172948 CPUtime=877.53 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 186390 1256 0 4 87728 25 0 0 25 0 5 0 521991048 177098752 31042 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.21
Current children cumulated vsize (KiB) 172948

[startup+942.301 s]
/proc/loadavg: 8.16 8.12 8.02 9/186 8479
/proc/meminfo: memFree=25758588/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=178156 CPUtime=3763.89 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 736220 1256 0 4 376276 113 0 0 18 0 5 0 521991041 182431744 32344 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 44539 32344 180 55 0 42425 0
[pid=8427/tid=8447] ppid=8425 vsize=178156 CPUtime=942.25 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 182104 1256 0 4 94199 26 0 0 25 0 5 0 521991048 182431744 32344 33554432000 4194304 4417332 140734797647808 18446744073709551615 4357929 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=178156 CPUtime=942.15 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 189445 1256 0 4 94184 31 0 0 25 0 5 0 521991048 182431744 32344 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=178156 CPUtime=942.24 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 166258 1256 0 4 94196 28 0 0 25 0 5 0 521991048 182431744 32344 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364479 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=178156 CPUtime=937.21 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 197421 1256 0 4 93695 26 0 0 25 0 5 0 521991048 182431744 32344 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.89
Current children cumulated vsize (KiB) 178156

[startup+1002.3 s]
/proc/loadavg: 8.10 8.11 8.02 9/186 8481
/proc/meminfo: memFree=25766368/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=179604 CPUtime=4003.57 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 771480 1256 0 4 400239 118 0 0 18 0 5 0 521991041 183914496 32706 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 44901 32706 180 55 0 42787 0
[pid=8427/tid=8447] ppid=8425 vsize=179604 CPUtime=1002.25 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 190240 1256 0 4 100198 27 0 0 25 0 5 0 521991048 183914496 32706 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=179604 CPUtime=1002.15 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 199455 1256 0 4 100182 33 0 0 25 0 5 0 521991048 183914496 32706 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=179604 CPUtime=1002.25 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 174125 1256 0 4 100196 29 0 0 25 0 5 0 521991048 183914496 32706 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=179604 CPUtime=996.88 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 206668 1256 0 4 99661 27 0 0 25 0 5 0 521991048 183914496 32706 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364938 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.57
Current children cumulated vsize (KiB) 179604

[startup+1062.3 s]
/proc/loadavg: 8.08 8.10 8.02 6/182 8514
/proc/meminfo: memFree=25741240/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=174996 CPUtime=4243.24 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 805743 1256 0 4 424198 126 0 0 18 0 5 0 521991041 179195904 31554 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 43749 31554 180 55 0 41635 0
[pid=8427/tid=8447] ppid=8425 vsize=174996 CPUtime=1062.25 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 198586 1256 0 4 106197 28 0 0 25 0 5 0 521991048 179195904 31554 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=174996 CPUtime=1062.14 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 209101 1256 0 4 106179 35 0 0 25 0 5 0 521991048 179195904 31554 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=174996 CPUtime=1062.25 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 180549 1256 0 4 106195 30 0 0 25 0 5 0 521991048 179195904 31554 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=174996 CPUtime=1056.56 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 216515 1256 0 4 105625 31 0 0 25 0 5 0 521991048 179195904 31554 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364769 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.24
Current children cumulated vsize (KiB) 174996

[startup+1122.3 s]
/proc/loadavg: 7.62 7.92 7.96 9/186 8592
/proc/meminfo: memFree=25901188/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=174016 CPUtime=4482.92 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 837594 1256 0 4 448155 137 0 0 18 0 5 0 521991041 178192384 31309 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 43504 31309 180 55 0 41390 0
[pid=8427/tid=8447] ppid=8425 vsize=174016 CPUtime=1122.25 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 208438 1256 0 4 112195 30 0 0 25 0 5 0 521991048 178192384 31309 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364526 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=174016 CPUtime=1122.14 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 218291 1256 0 4 112174 40 0 0 25 0 5 0 521991048 178192384 31309 33554432000 4194304 4417332 140734797647808 18446744073709551615 4357063 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=174016 CPUtime=1122.25 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 186655 1256 0 4 112194 31 0 0 25 0 5 0 521991048 178192384 31309 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=174016 CPUtime=1116.23 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 223218 1256 0 4 111589 34 0 0 25 0 5 0 521991048 178192384 31309 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364536 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.92
Current children cumulated vsize (KiB) 174016

[startup+1182.3 s]
/proc/loadavg: 8.03 7.98 7.98 9/186 8593
/proc/meminfo: memFree=25851508/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=204996 CPUtime=4722.59 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 864216 1256 0 4 472119 140 0 0 18 0 5 0 521991041 209915904 39054 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 51249 39054 180 55 0 49135 0
[pid=8427/tid=8447] ppid=8425 vsize=204996 CPUtime=1182.25 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 216268 1256 0 4 118194 31 0 0 25 0 5 0 521991048 209915904 39054 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=204996 CPUtime=1182.14 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 225599 1256 0 4 118173 41 0 0 25 0 5 0 521991048 209915904 39054 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=204996 CPUtime=1182.25 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 193002 1256 0 4 118194 31 0 0 25 0 5 0 521991048 209915904 39054 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364652 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=204996 CPUtime=1175.91 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 228355 1256 0 4 117556 35 0 0 25 0 5 0 521991048 209915904 39054 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.59
Current children cumulated vsize (KiB) 204996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.02 7.98 7.98 9/186 8594
/proc/meminfo: memFree=25876524/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=167180 CPUtime=4800.1 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 875953 1256 0 4 479869 141 0 0 18 0 5 0 521991041 171192320 29600 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 41795 29600 180 55 0 39681 0
[pid=8427/tid=8447] ppid=8425 vsize=167180 CPUtime=1201.67 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 218298 1256 0 4 120135 32 0 0 25 0 5 0 521991048 171192320 29600 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364544 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=167180 CPUtime=1201.54 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 227602 1256 0 4 120113 41 0 0 25 0 5 0 521991048 171192320 29600 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=167180 CPUtime=1201.65 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 195497 1256 0 4 120134 31 0 0 25 0 5 0 521991048 171192320 29600 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=167180 CPUtime=1195.19 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 233564 1256 0 4 119484 35 0 0 25 0 5 0 521991048 171192320 29600 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 167180

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1201.7 s]
/proc/loadavg: 8.02 7.98 7.98 9/186 8594
/proc/meminfo: memFree=25876524/32951124 swapFree=67111524/67111528
[pid=8427] ppid=8425 vsize=167180 CPUtime=4800.1 cores=0,2,4,6
/proc/8427/stat : 8427 (plingeling) S 8425 8427 8397 0 -1 4202496 875953 1256 0 4 479869 141 0 0 18 0 5 0 521991041 171192320 29600 33554432000 4194304 4417332 140734797647808 18446744073709551615 230820968421 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/8427/statm: 41795 29600 180 55 0 39681 0
[pid=8427/tid=8447] ppid=8425 vsize=167180 CPUtime=1201.67 cores=0,2,4,6
/proc/8427/task/8447/stat : 8447 (plingeling) R 8425 8427 8397 0 -1 4202560 218298 1256 0 4 120135 32 0 0 25 0 5 0 521991048 171192320 29600 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364544 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=8427/tid=8448] ppid=8425 vsize=167180 CPUtime=1201.54 cores=0,2,4,6
/proc/8427/task/8448/stat : 8448 (plingeling) R 8425 8427 8397 0 -1 4202560 227602 1256 0 4 120113 41 0 0 25 0 5 0 521991048 171192320 29600 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=8427/tid=8449] ppid=8425 vsize=167180 CPUtime=1201.65 cores=0,2,4,6
/proc/8427/task/8449/stat : 8449 (plingeling) R 8425 8427 8397 0 -1 4202560 195497 1256 0 4 120134 31 0 0 25 0 5 0 521991048 171192320 29600 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=8427/tid=8450] ppid=8425 vsize=167180 CPUtime=1195.19 cores=0,2,4,6
/proc/8427/task/8450/stat : 8450 (plingeling) R 8425 8427 8397 0 -1 4202560 233564 1256 0 4 119484 35 0 0 25 0 5 0 521991048 171192320 29600 33554432000 4194304 4417332 140734797647808 18446744073709551615 4364494 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 167180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.14
CPU user time (s): 4798.72
CPU system time (s): 1.42678
CPU usage (%): 399.44
Max. virtual memory (cumulated for all children) (KiB): 221172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.72
system time used= 1.42678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 877209
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102
involuntary context switches= 24092

runsolver used 1.89071 second user time and 4.5763 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 21:05:06
IDJOB=3264454
IDBENCH=84634
IDSOLVER=1605
FILE ID=node104/3264454-1304103906
RUNJOBID= node104-1304103906-8415
PBS_JOBID= 13170642
Free space on /tmp= 71548 MiB

SOLVER NAME= Plingeling 587
BENCH NAME= SAT04/handmade/connamacher/connm-d0.04/connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264454-1304103906/watcher-3264454-1304103906 -o /tmp/evaluation-result-3264454-1304103906/solver-3264454-1304103906 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3264454-1304103906.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 41d80cc808c021a52e21ee9950bc91e0
RANDOM SEED=349795559

node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5293.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26085492 kB
Buffers:       1889112 kB
Cached:        4367872 kB
SwapCached:          4 kB
Active:         172820 kB
Inactive:      6148096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26085492 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:             572 kB
Writeback:           0 kB
AnonPages:       63400 kB
Mapped:          14388 kB
Slab:           480180 kB
PageTables:       4812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187976 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71548 MiB
End job on node104 at 2011-04-29 21:25:10