Trace number 3262826

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.18 1201.77

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
MD5SUMb5a637600c242725f15a247a84bdea1b
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 variables810
Number of clauses68270
Sum of the clauses size137296
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 268243
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 527

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-3262826-1304098259/watcher-3262826-1304098259 -o /tmp/evaluation-result-3262826-1304098259/solver-3262826-1304098259 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3262826-1304098259.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: 8.19 8.18 8.11 5/185 7258
/proc/meminfo: memFree=29143764/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=9324 CPUtime=0 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) R 7256 7258 6968 0 -1 4202496 424 1260 0 0 0 0 0 0 25 0 1 0 521423823 9547776 353 33554432000 4194304 4417332 140735779495456 18446744073709551615 255377301248 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/7258/statm: 2331 353 146 55 0 217 0

[startup+0.167137 s]
/proc/loadavg: 8.19 8.18 8.11 5/185 7258
/proc/meminfo: memFree=29143764/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=125788 CPUtime=0.5 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 4666 1260 0 0 50 0 0 0 25 0 5 0 521423823 128806912 2909 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 31447 2909 177 55 0 29333 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 125788

[startup+0.201129 s]
/proc/loadavg: 8.19 8.18 8.11 5/185 7258
/proc/meminfo: memFree=29143764/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=126752 CPUtime=0.63 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 4875 1260 0 0 63 0 0 0 25 0 5 0 521423823 129794048 3118 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 31688 3118 177 55 0 29574 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 126752

[startup+0.300113 s]
/proc/loadavg: 8.19 8.18 8.11 5/185 7258
/proc/meminfo: memFree=29143764/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=129412 CPUtime=1.03 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 5967 1260 0 0 102 1 0 0 25 0 5 0 521423823 132517888 3750 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 32353 3750 181 55 0 30239 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 129412

[startup+0.701038 s]
/proc/loadavg: 8.19 8.18 8.11 5/185 7258
/proc/meminfo: memFree=29143764/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=134612 CPUtime=2.63 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 8289 1260 0 0 262 1 0 0 25 0 5 0 521423823 137842688 5190 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 33653 5190 181 55 0 31539 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 134612

[startup+1.50089 s]
/proc/loadavg: 8.19 8.18 8.11 10/190 7268
/proc/meminfo: memFree=29122032/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=138332 CPUtime=5.82 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 11175 1260 0 0 581 1 0 0 25 0 5 0 521423823 141651968 6826 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 34583 6826 181 55 0 32469 0
[pid=7258/tid=7265] ppid=7256 vsize=138332 CPUtime=1.44 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 689 1260 0 0 144 0 0 0 25 0 5 0 521423828 141651968 6826 33554432000 4194304 4417332 140735779495456 18446744073709551615 4250080 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=138332 CPUtime=1.44 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 872 1260 0 0 144 0 0 0 25 0 5 0 521423828 141651968 6826 33554432000 4194304 4417332 140735779495456 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=138332 CPUtime=1.44 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 955 1260 0 0 144 0 0 0 25 0 5 0 521423828 141651968 6826 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=138332 CPUtime=1.43 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 6170 1260 0 0 143 0 0 0 25 0 5 0 521423828 141651968 6826 33554432000 4194304 4417332 140735779495456 18446744073709551615 4366558 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 138332

[startup+3.10059 s]
/proc/loadavg: 8.17 8.17 8.11 9/190 7268
/proc/meminfo: memFree=29115824/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=155924 CPUtime=12.22 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 17916 1260 0 0 1220 2 0 0 25 0 5 0 521423823 159666176 10424 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 38981 10424 181 55 0 36867 0
[pid=7258/tid=7265] ppid=7256 vsize=155924 CPUtime=3.04 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 689 1260 0 0 304 0 0 0 25 0 5 0 521423828 159666176 10424 33554432000 4194304 4417332 140735779495456 18446744073709551615 4235378 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=155924 CPUtime=3.03 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 872 1260 0 0 303 0 0 0 25 0 5 0 521423828 159666176 10424 33554432000 4194304 4417332 140735779495456 18446744073709551615 4249186 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=155924 CPUtime=3.04 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 1961 1260 0 0 304 0 0 0 25 0 5 0 521423828 159666176 10424 33554432000 4194304 4417332 140735779495456 18446744073709551615 4236577 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=155924 CPUtime=3.04 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 11905 1260 0 0 302 2 0 0 25 0 5 0 521423828 159666176 10424 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 155924

[startup+6.301 s]
/proc/loadavg: 8.17 8.17 8.11 9/190 7268
/proc/meminfo: memFree=29099428/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=161864 CPUtime=25.01 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 33002 1260 0 0 2496 5 0 0 25 0 5 0 521423823 165748736 11918 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 40466 11918 181 55 0 38352 0
[pid=7258/tid=7265] ppid=7256 vsize=161864 CPUtime=6.24 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 1566 1260 0 0 624 0 0 0 25 0 5 0 521423828 165748736 11918 33554432000 4194304 4417332 140735779495456 18446744073709551615 4237262 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=161864 CPUtime=6.21 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 2274 1260 0 0 621 0 0 0 25 0 5 0 521423828 165748736 11918 33554432000 4194304 4417332 140735779495456 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=161864 CPUtime=6.24 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 5608 1260 0 0 624 0 0 0 25 0 5 0 521423828 165748736 11918 33554432000 4194304 4417332 140735779495456 18446744073709551615 4356802 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=161864 CPUtime=6.24 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 21065 1260 0 0 621 3 0 0 25 0 5 0 521423828 165748736 11918 33554432000 4194304 4417332 140735779495456 18446744073709551615 4259609 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 161864

[startup+12.7008 s]
/proc/loadavg: 8.22 8.18 8.12 9/190 7268
/proc/meminfo: memFree=29051356/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=186348 CPUtime=50.57 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 56806 1260 0 0 5049 8 0 0 25 0 5 0 521423823 190820352 18043 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 46587 18043 181 55 0 44473 0
[pid=7258/tid=7265] ppid=7256 vsize=186348 CPUtime=12.64 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 4841 1260 0 0 1264 0 0 0 25 0 5 0 521423828 190820352 18043 33554432000 4194304 4417332 140735779495456 18446744073709551615 4366384 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=186348 CPUtime=12.57 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 7584 1260 0 0 1257 0 0 0 25 0 5 0 521423828 190820352 18043 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364519 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=186348 CPUtime=12.64 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 8786 1260 0 0 1263 1 0 0 25 0 5 0 521423828 190820352 18043 33554432000 4194304 4417332 140735779495456 18446744073709551615 4250715 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=186348 CPUtime=12.64 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 33106 1260 0 0 1259 5 0 0 25 0 5 0 521423828 190820352 18043 33554432000 4194304 4417332 140735779495456 18446744073709551615 4250476 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 186348

[startup+25.5004 s]
/proc/loadavg: 8.18 8.18 8.11 9/190 7269
/proc/meminfo: memFree=28979160/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=250604 CPUtime=101.69 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 96460 1260 0 0 10155 14 0 0 25 0 5 0 521423823 256618496 34107 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 62651 34107 181 55 0 60537 0
[pid=7258/tid=7265] ppid=7256 vsize=250604 CPUtime=25.43 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 13799 1260 0 0 2542 1 0 0 25 0 5 0 521423828 256618496 34107 33554432000 4194304 4417332 140735779495456 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=250604 CPUtime=25.3 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 14552 1260 0 0 2529 1 0 0 25 0 5 0 521423828 256618496 34107 33554432000 4194304 4417332 140735779495456 18446744073709551615 4358763 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=250604 CPUtime=25.44 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 19840 1260 0 0 2542 2 0 0 25 0 5 0 521423828 256618496 34107 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364713 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=250604 CPUtime=25.44 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 45780 1260 0 0 2537 7 0 0 25 0 5 0 521423828 256618496 34107 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 250604

[startup+51.1007 s]
/proc/loadavg: 8.18 8.18 8.11 9/190 7269
/proc/meminfo: memFree=28877352/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=309124 CPUtime=203.95 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 169502 1260 0 0 20369 26 0 0 25 0 5 0 521423823 316542976 48737 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 77281 48737 181 55 0 75167 0
[pid=7258/tid=7265] ppid=7256 vsize=309124 CPUtime=51.04 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 31640 1260 0 0 5099 5 0 0 25 0 5 0 521423828 316542976 48737 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=309124 CPUtime=50.76 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 27336 1260 0 0 5073 3 0 0 25 0 5 0 521423828 316542976 48737 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=309124 CPUtime=51.04 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 45888 1260 0 0 5097 7 0 0 25 0 5 0 521423828 316542976 48737 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364938 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=309124 CPUtime=51.04 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 62149 1260 0 0 5094 10 0 0 25 0 5 0 521423828 316542976 48737 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 309124

[startup+102.301 s]
/proc/loadavg: 8.18 8.18 8.11 9/190 7271
/proc/meminfo: memFree=28734848/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=433944 CPUtime=408.5 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 340804 1260 0 0 40793 57 0 0 25 0 5 0 521423823 444358656 79974 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 108486 79974 181 55 0 106372 0
[pid=7258/tid=7265] ppid=7256 vsize=433944 CPUtime=102.24 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 84501 1260 0 0 10210 14 0 0 25 0 5 0 521423828 444358656 79974 33554432000 4194304 4417332 140735779495456 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=433944 CPUtime=101.68 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 51574 1260 0 0 10161 7 0 0 25 0 5 0 521423828 444358656 79974 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=433944 CPUtime=102.24 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 107597 1260 0 0 10207 17 0 0 25 0 5 0 521423828 444358656 79974 33554432000 4194304 4417332 140735779495456 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=433944 CPUtime=102.25 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 94643 1260 0 0 10209 16 0 0 25 0 5 0 521423828 444358656 79974 33554432000 4194304 4417332 140735779495456 18446744073709551615 4356907 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.5
Current children cumulated vsize (KiB) 433944

[startup+162.301 s]
/proc/loadavg: 8.10 8.16 8.11 9/190 7272
/proc/meminfo: memFree=28887456/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=488476 CPUtime=648.16 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 529927 1260 0 0 64732 84 0 0 25 0 5 0 521423823 500199424 93575 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 122119 93575 181 55 0 120005 0
[pid=7258/tid=7265] ppid=7256 vsize=488476 CPUtime=162.23 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 126568 1260 0 0 16203 20 0 0 25 0 5 0 521423828 500199424 93575 33554432000 4194304 4417332 140735779495456 18446744073709551615 4365960 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=488476 CPUtime=161.36 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 102196 1260 0 0 16121 15 0 0 25 0 5 0 521423828 500199424 93575 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=488476 CPUtime=162.25 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 174433 1260 0 0 16198 27 0 0 25 0 5 0 521423828 500199424 93575 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364753 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=488476 CPUtime=162.24 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 124241 1260 0 0 16204 20 0 0 25 0 5 0 521423828 500199424 93575 33554432000 4194304 4417332 140735779495456 18446744073709551615 4354401 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 648.16
Current children cumulated vsize (KiB) 488476


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

[pid=7258/tid=7266] ppid=7256 vsize=916348 CPUtime=698.43 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 349599 1260 0 0 69795 48 0 0 25 0 5 0 521423828 938340352 200618 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364680 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=916348 CPUtime=702.26 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 494428 1260 0 0 70149 77 0 0 25 0 5 0 521423828 938340352 200618 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=916348 CPUtime=702.24 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 319214 1260 0 0 70174 50 0 0 25 0 5 0 521423828 938340352 200618 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.2
Current children cumulated vsize (KiB) 916348

[startup+762.301 s]
/proc/loadavg: 8.17 8.12 8.10 9/190 7325
/proc/meminfo: memFree=28345352/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=949752 CPUtime=3044.89 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 1551398 1260 0 0 304255 234 0 0 25 0 5 0 521423823 972546048 208969 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 237438 208969 181 55 0 235324 0
[pid=7258/tid=7265] ppid=7256 vsize=949752 CPUtime=762.19 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 336965 1260 0 0 76169 50 0 0 25 0 5 0 521423828 972546048 208969 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364549 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=949752 CPUtime=758.11 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 355519 1260 0 0 75762 49 0 0 25 0 5 0 521423828 972546048 208969 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=949752 CPUtime=762.27 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 532368 1260 0 0 76145 82 0 0 25 0 5 0 521423828 972546048 208969 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=949752 CPUtime=762.25 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 324057 1260 0 0 76174 51 0 0 25 0 5 0 521423828 972546048 208969 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364800 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.89
Current children cumulated vsize (KiB) 949752

[startup+822.301 s]
/proc/loadavg: 8.10 8.11 8.09 9/190 7327
/proc/meminfo: memFree=28281584/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=1021792 CPUtime=3284.55 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 1593984 1260 0 0 328214 241 0 0 25 0 5 0 521423823 1046315008 226979 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 255448 226979 181 55 0 253334 0
[pid=7258/tid=7265] ppid=7256 vsize=1021792 CPUtime=822.19 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 338976 1260 0 0 82168 51 0 0 25 0 5 0 521423828 1046315008 226979 33554432000 4194304 4417332 140735779495456 18446744073709551615 4354410 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=1021792 CPUtime=817.77 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 371765 1260 0 0 81727 50 0 0 25 0 5 0 521423828 1046315008 226979 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364722 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=1021792 CPUtime=822.27 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 544656 1260 0 0 82142 85 0 0 25 0 5 0 521423828 1046315008 226979 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=1021792 CPUtime=822.25 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 336098 1260 0 0 82172 53 0 0 25 0 5 0 521423828 1046315008 226979 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.55
Current children cumulated vsize (KiB) 1021792

[startup+882.307 s]
/proc/loadavg: 8.24 8.14 8.10 9/190 7329
/proc/meminfo: memFree=28088224/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=1137532 CPUtime=3524.24 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 1645355 1260 0 0 352174 250 0 0 25 0 5 0 521423823 1164832768 255914 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 284383 255914 181 55 0 282269 0
[pid=7258/tid=7265] ppid=7256 vsize=1137532 CPUtime=882.18 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 354002 1260 0 0 88164 54 0 0 25 0 5 0 521423828 1164832768 255914 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=1137532 CPUtime=877.46 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 383534 1260 0 0 87693 53 0 0 25 0 5 0 521423828 1164832768 255914 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364448 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=1137532 CPUtime=882.27 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 561040 1260 0 0 88140 87 0 0 25 0 5 0 521423828 1164832768 255914 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=1137532 CPUtime=882.25 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 344290 1260 0 0 88171 54 0 0 25 0 5 0 521423828 1164832768 255914 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.24
Current children cumulated vsize (KiB) 1137532

[startup+942.301 s]
/proc/loadavg: 8.12 8.13 8.09 9/190 7330
/proc/meminfo: memFree=27793200/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=1195224 CPUtime=3763.9 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 1696077 1260 0 0 376133 257 0 0 25 0 5 0 521423823 1223909376 270337 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 298806 270337 181 55 0 296692 0
[pid=7258/tid=7265] ppid=7256 vsize=1195224 CPUtime=942.17 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 354002 1260 0 0 94163 54 0 0 25 0 5 0 521423828 1223909376 270337 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=1195224 CPUtime=937.13 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 391726 1260 0 0 93659 54 0 0 25 0 5 0 521423828 1223909376 270337 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364541 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=1195224 CPUtime=942.26 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 597733 1260 0 0 94134 92 0 0 25 0 5 0 521423828 1223909376 270337 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=1195224 CPUtime=942.25 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 350127 1260 0 0 94170 55 0 0 25 0 5 0 521423828 1223909376 270337 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364742 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.9
Current children cumulated vsize (KiB) 1195224

[startup+1002.3 s]
/proc/loadavg: 8.04 8.10 8.09 9/190 7332
/proc/meminfo: memFree=27701784/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=1145724 CPUtime=4003.56 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 1714065 1260 0 0 400096 260 0 0 25 0 5 0 521423823 1173221376 257962 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 286431 257962 181 55 0 284317 0
[pid=7258/tid=7265] ppid=7256 vsize=1145724 CPUtime=1002.17 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 354002 1260 0 0 100163 54 0 0 25 0 5 0 521423828 1173221376 257962 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=1145724 CPUtime=996.81 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 393824 1260 0 0 99626 55 0 0 25 0 5 0 521423828 1173221376 257962 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364753 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=1145724 CPUtime=1002.26 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 597733 1260 0 0 100134 92 0 0 25 0 5 0 521423828 1173221376 257962 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=1145724 CPUtime=1002.24 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 366017 1260 0 0 100167 57 0 0 25 0 5 0 521423828 1173221376 257962 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364713 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.56
Current children cumulated vsize (KiB) 1145724

[startup+1062.3 s]
/proc/loadavg: 8.07 8.09 8.09 9/190 7333
/proc/meminfo: memFree=27953216/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=1055304 CPUtime=4243.24 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 1791771 1260 0 0 424052 272 0 0 25 0 5 0 521423823 1080631296 235357 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 263826 235357 181 55 0 261712 0
[pid=7258/tid=7265] ppid=7256 vsize=1055304 CPUtime=1062.16 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 386770 1260 0 0 106157 59 0 0 25 0 5 0 521423828 1080631296 235357 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364706 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=1055304 CPUtime=1056.48 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 423064 1260 0 0 105590 58 0 0 25 0 5 0 521423828 1080631296 235357 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=1055304 CPUtime=1062.27 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 605239 1260 0 0 106133 94 0 0 25 0 5 0 521423828 1080631296 235357 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364556 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=1055304 CPUtime=1062.24 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 374209 1260 0 0 106166 58 0 0 25 0 5 0 521423828 1080631296 235357 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.24
Current children cumulated vsize (KiB) 1055304

[startup+1122.3 s]
/proc/loadavg: 8.08 8.09 8.09 9/190 7335
/proc/meminfo: memFree=27645040/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=1166476 CPUtime=4482.91 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 1856973 1260 0 0 448009 282 0 0 25 0 5 0 521423823 1194471424 263150 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 291619 263150 181 55 0 289505 0
[pid=7258/tid=7265] ppid=7256 vsize=1166476 CPUtime=1122.17 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 417677 1260 0 0 112153 64 0 0 25 0 5 0 521423828 1194471424 263150 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=1166476 CPUtime=1116.15 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 439171 1260 0 0 111554 61 0 0 25 0 5 0 521423828 1194471424 263150 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=1166476 CPUtime=1122.28 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 605239 1260 0 0 112134 94 0 0 25 0 5 0 521423828 1194471424 263150 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=1166476 CPUtime=1122.24 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 392397 1260 0 0 112162 62 0 0 25 0 5 0 521423828 1194471424 263150 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.91
Current children cumulated vsize (KiB) 1166476

[startup+1182.3 s]
/proc/loadavg: 8.12 8.10 8.09 9/190 7337
/proc/meminfo: memFree=27820720/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=1172028 CPUtime=4722.6 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 1874745 1260 0 0 471974 286 0 0 25 0 5 0 521423823 1200156672 264538 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 293007 264538 181 55 0 290893 0
[pid=7258/tid=7265] ppid=7256 vsize=1172028 CPUtime=1182.17 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 433820 1260 0 0 118150 67 0 0 25 0 5 0 521423828 1200156672 264538 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364683 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=1172028 CPUtime=1175.83 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 439171 1260 0 0 117522 61 0 0 25 0 5 0 521423828 1200156672 264538 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=1172028 CPUtime=1182.28 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 606868 1260 0 0 118134 94 0 0 25 0 5 0 521423828 1200156672 264538 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=1172028 CPUtime=1182.24 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 392397 1260 0 0 118162 62 0 0 25 0 5 0 521423828 1200156672 264538 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.6
Current children cumulated vsize (KiB) 1172028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.11 8.09 9/190 7337
/proc/meminfo: memFree=27746936/32951124 swapFree=67111352/67111528
[pid=7258] ppid=7256 vsize=1229920 CPUtime=4800.09 cores=0,2,4,6
/proc/7258/stat : 7258 (plingeling) S 7256 7258 6968 0 -1 4202496 1891129 1260 0 0 479722 287 0 0 25 0 5 0 521423823 1259438080 279011 33554432000 4194304 4417332 140735779495456 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/7258/statm: 307480 279011 181 55 0 305366 0
[pid=7258/tid=7265] ppid=7256 vsize=1229920 CPUtime=1201.56 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (plingeling) R 7256 7258 6968 0 -1 4202560 442012 1260 0 0 120089 67 0 0 25 0 5 0 521423828 1259438080 279011 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=7258/tid=7266] ppid=7256 vsize=1229920 CPUtime=1195.12 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (plingeling) R 7256 7258 6968 0 -1 4202560 439171 1260 0 0 119451 61 0 0 25 0 5 0 521423828 1259438080 279011 33554432000 4194304 4417332 140735779495456 18446744073709551615 4365994 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=7258/tid=7267] ppid=7256 vsize=1229920 CPUtime=1201.68 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (plingeling) R 7256 7258 6968 0 -1 4202560 606868 1260 0 0 120074 94 0 0 25 0 5 0 521423828 1259438080 279011 33554432000 4194304 4417332 140735779495456 18446744073709551615 4346390 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=7258/tid=7268] ppid=7256 vsize=1229920 CPUtime=1201.65 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (plingeling) R 7256 7258 6968 0 -1 4202560 400589 1260 0 0 120102 63 0 0 25 0 5 0 521423828 1259438080 279011 33554432000 4194304 4417332 140735779495456 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 1229920

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): 1201.77
CPU time (s): 4800.18
CPU user time (s): 4797.25
CPU system time (s): 2.93255
CPU usage (%): 399.428
Max. virtual memory (cumulated for all children) (KiB): 1258784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.25
system time used= 2.93255
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1892389
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= 110
involuntary context switches= 75281

runsolver used 1.79173 second user time and 4.77327 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-29 19:31:00
IDJOB=3262826
IDBENCH=83896
IDSOLVER=1605
FILE ID=node135/3262826-1304098259
RUNJOBID= node135-1304096408-6986
PBS_JOBID= 13170608
Free space on /tmp= 71120 MiB

SOLVER NAME= Plingeling 587
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262826-1304098259/watcher-3262826-1304098259 -o /tmp/evaluation-result-3262826-1304098259/solver-3262826-1304098259 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3262826-1304098259.cnf

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

MD5SUM BENCH= b5a637600c242725f15a247a84bdea1b
RANDOM SEED=601091631

node135.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.851
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.70
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.851
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.851
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.75
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.851
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	: 6640.14
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.851
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	: 5332.78
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.851
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.75
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.851
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.74
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.851
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29144052 kB
Buffers:        912164 kB
Cached:        1729416 kB
SwapCached:        172 kB
Active:         700640 kB
Inactive:      2589092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29144052 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:             812 kB
Writeback:           0 kB
AnonPages:      647992 kB
Mapped:          15304 kB
Slab:           453432 kB
PageTables:       6036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   841508 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71120 MiB
End job on node135 at 2011-04-29 19:51:03