Trace number 3371438

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 587f (fixed)? (TO) 4800.37 1203.03

General information on the benchmark

NameAPPLICATIONS/bitverif/
countbitssrl/countbitssrl064.cnf
MD5SUM4f9c883534eb89cad9b9cad9e6eccbd0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables75103
Number of clauses225116
Sum of the clauses size525268
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2150076
Number of clauses of size 375038
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3371438-1305416957/watcher-3371438-1305416957 -o /tmp/evaluation-result-3371438-1305416957/solver-3371438-1305416957 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371438-1305416957.cnf 

running on 4 cores: 1,3,5,7

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: 3.48 5.37 6.84 6/299 4573
/proc/meminfo: memFree=15874740/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=10192 CPUtime=0 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) R 4571 4573 3825 0 -1 4202496 643 1258 0 0 0 0 0 0 21 0 1 0 109305101 10436608 572 33554432000 4194304 4417452 140735218786848 18446744073709551615 218880564992 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/4573/statm: 2548 572 148 55 0 434 0

[startup+0.0586089 s]
/proc/loadavg: 3.48 5.37 6.84 6/299 4573
/proc/meminfo: memFree=15874740/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=23480 CPUtime=0.04 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) R 4571 4573 3825 0 -1 4202496 3967 1258 0 0 4 0 0 0 21 0 1 0 109305101 24043520 3895 33554432000 4194304 4417452 140735218786848 18446744073709551615 218880183776 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/4573/statm: 5870 3895 149 55 0 3756 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23480

[startup+0.100601 s]
/proc/loadavg: 3.48 5.37 6.84 6/299 4573
/proc/meminfo: memFree=15874740/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=27576 CPUtime=0.09 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) R 4571 4573 3825 0 -1 4202496 4991 1258 0 0 9 0 0 0 21 0 1 0 109305101 28237824 4919 33554432000 4194304 4417452 140735218786848 18446744073709551615 4262141 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/4573/statm: 6894 4919 149 55 0 4780 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27576

[startup+0.301093 s]
/proc/loadavg: 3.48 5.37 6.84 6/299 4573
/proc/meminfo: memFree=15874740/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=155420 CPUtime=0.36 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 16909 1258 0 0 34 2 0 0 22 0 5 0 109305101 159150080 11413 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 39147 11119 159 55 0 37033 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 155420

[startup+1.08635 s]
/proc/loadavg: 3.48 5.37 6.84 6/299 4573
/proc/meminfo: memFree=15874740/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=166120 CPUtime=3.48 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 33398 1258 0 0 344 4 0 0 22 0 5 0 109305101 170106880 15015 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 41530 15015 174 55 0 39416 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 166120

[startup+1.50028 s]
/proc/loadavg: 3.48 5.37 6.84 6/299 4573
/proc/meminfo: memFree=15874740/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=178244 CPUtime=5.14 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 42673 1258 0 0 508 6 0 0 22 0 5 0 109305101 182521856 18047 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 44561 18047 175 55 0 42447 0
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (KiB) 178244

[startup+3.101 s]
/proc/loadavg: 3.48 5.37 6.84 10/304 4588
/proc/meminfo: memFree=15785052/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=187364 CPUtime=11.53 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 52130 1258 0 0 1145 8 0 0 22 0 5 0 109305101 191860736 20936 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 46841 20936 179 55 0 44727 0
[pid=4573/tid=4584] ppid=4571 vsize=187364 CPUtime=2.81 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 9809 1258 0 0 280 1 0 0 25 0 5 0 109305129 191860736 20936 33554432000 4194304 4417452 140735218786848 18446744073709551615 4252332 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=187364 CPUtime=2.81 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 13328 1258 0 0 279 2 0 0 25 0 5 0 109305129 191860736 20936 33554432000 4194304 4417452 140735218786848 18446744073709551615 4236017 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=187364 CPUtime=2.79 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 12021 1258 0 0 277 2 0 0 23 0 5 0 109305129 191860736 20936 33554432000 4194304 4417452 140735218786848 18446744073709551615 4235999 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=187364 CPUtime=2.81 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 2844 1258 0 0 281 0 0 0 25 0 5 0 109305129 191860736 20936 33554432000 4194304 4417452 140735218786848 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.53
Current children cumulated vsize (KiB) 187364

[startup+6.30043 s]
/proc/loadavg: 3.84 5.42 6.85 10/304 4588
/proc/meminfo: memFree=15779184/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=183528 CPUtime=24.29 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 55265 1258 0 0 2421 8 0 0 22 0 5 0 109305101 187932672 21257 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 45882 21257 179 55 0 43768 0
[pid=4573/tid=4584] ppid=4571 vsize=183528 CPUtime=6.01 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 10886 1258 0 0 600 1 0 0 25 0 5 0 109305129 187932672 21257 33554432000 4194304 4417452 140735218786848 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=183528 CPUtime=6.01 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 14533 1258 0 0 599 2 0 0 25 0 5 0 109305129 187932672 21257 33554432000 4194304 4417452 140735218786848 18446744073709551615 4353776 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=183528 CPUtime=5.96 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 12021 1258 0 0 594 2 0 0 25 0 5 0 109305129 187932672 21257 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=183528 CPUtime=6.01 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 3697 1258 0 0 601 0 0 0 25 0 5 0 109305129 187932672 21257 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.29
Current children cumulated vsize (KiB) 183528

[startup+12.7113 s]
/proc/loadavg: 4.26 5.48 6.86 10/304 4588
/proc/meminfo: memFree=15763112/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=191512 CPUtime=49.88 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 57371 1258 0 0 4980 8 0 0 22 0 5 0 109305101 196108288 23254 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 47878 23254 180 55 0 45764 0
[pid=4573/tid=4584] ppid=4571 vsize=191512 CPUtime=12.42 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 11431 1258 0 0 1241 1 0 0 25 0 5 0 109305129 196108288 23254 33554432000 4194304 4417452 140735218786848 18446744073709551615 4254837 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=191512 CPUtime=12.42 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 14551 1258 0 0 1240 2 0 0 25 0 5 0 109305129 196108288 23254 33554432000 4194304 4417452 140735218786848 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=191512 CPUtime=12.31 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 13564 1258 0 0 1229 2 0 0 25 0 5 0 109305129 196108288 23254 33554432000 4194304 4417452 140735218786848 18446744073709551615 4251045 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=191512 CPUtime=12.42 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 3697 1258 0 0 1242 0 0 0 25 0 5 0 109305129 196108288 23254 33554432000 4194304 4417452 140735218786848 18446744073709551615 4232656 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.88
Current children cumulated vsize (KiB) 191512

[startup+25.5011 s]
/proc/loadavg: 5.08 5.60 6.88 10/304 4590
/proc/meminfo: memFree=15757300/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=197896 CPUtime=100.93 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 58527 1258 0 0 10085 8 0 0 22 0 5 0 109305101 202645504 24339 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 49474 24339 180 55 0 47360 0
[pid=4573/tid=4584] ppid=4571 vsize=197896 CPUtime=25.21 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 11704 1258 0 0 2520 1 0 0 25 0 5 0 109305129 202645504 24339 33554432000 4194304 4417452 140735218786848 18446744073709551615 4357379 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=197896 CPUtime=25.21 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 14565 1258 0 0 2519 2 0 0 25 0 5 0 109305129 202645504 24339 33554432000 4194304 4417452 140735218786848 18446744073709551615 4232787 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=197896 CPUtime=24.99 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 13693 1258 0 0 2497 2 0 0 25 0 5 0 109305129 202645504 24339 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=197896 CPUtime=25.21 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 4437 1258 0 0 2521 0 0 0 25 0 5 0 109305129 202645504 24339 33554432000 4194304 4417452 140735218786848 18446744073709551615 4356852 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 100.93
Current children cumulated vsize (KiB) 197896

[startup+51.1006 s]
/proc/loadavg: 6.08 5.79 6.91 10/304 4590
/proc/meminfo: memFree=15721168/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=221952 CPUtime=203.11 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 72871 1258 0 0 20301 10 0 0 22 0 5 0 109305101 227278848 30870 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 55488 30870 180 55 0 53374 0
[pid=4573/tid=4584] ppid=4571 vsize=221952 CPUtime=50.82 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 17358 1258 0 0 5080 2 0 0 25 0 5 0 109305129 227278848 30870 33554432000 4194304 4417452 140735218786848 18446744073709551615 4365990 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=221952 CPUtime=50.82 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 14954 1258 0 0 5080 2 0 0 25 0 5 0 109305129 227278848 30870 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=221952 CPUtime=50.36 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 18430 1258 0 0 5033 3 0 0 25 0 5 0 109305129 227278848 30870 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=221952 CPUtime=50.82 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 8001 1258 0 0 5082 0 0 0 25 0 5 0 109305129 227278848 30870 33554432000 4194304 4417452 140735218786848 18446744073709551615 4250894 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.11
Current children cumulated vsize (KiB) 221952

[startup+102.301 s]
/proc/loadavg: 7.21 6.14 6.97 10/304 4592
/proc/meminfo: memFree=15685196/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=238436 CPUtime=407.43 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 96386 1258 0 0 40729 14 0 0 22 0 5 0 109305101 244158464 34991 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 59609 34991 180 55 0 57495 0
[pid=4573/tid=4584] ppid=4571 vsize=238436 CPUtime=102.02 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 22803 1258 0 0 10199 3 0 0 25 0 5 0 109305129 244158464 34991 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364716 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=238436 CPUtime=102.01 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 20856 1258 0 0 10198 3 0 0 25 0 5 0 109305129 244158464 34991 33554432000 4194304 4417452 140735218786848 18446744073709551615 4250980 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=238436 CPUtime=101.09 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 22947 1258 0 0 10106 3 0 0 25 0 5 0 109305129 244158464 34991 33554432000 4194304 4417452 140735218786848 18446744073709551615 4365150 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=238436 CPUtime=102.01 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 15652 1258 0 0 10200 1 0 0 25 0 5 0 109305129 244158464 34991 33554432000 4194304 4417452 140735218786848 18446744073709551615 4251091 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.43
Current children cumulated vsize (KiB) 238436

[startup+162.311 s]
/proc/loadavg: 7.75 6.49 7.03 10/304 4593
/proc/meminfo: memFree=15662988/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=239752 CPUtime=646.93 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 126231 1258 0 0 64674 19 0 0 22 0 5 0 109305101 245506048 35320 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 59938 35320 180 55 0 57824 0
[pid=4573/tid=4584] ppid=4571 vsize=239752 CPUtime=162.02 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 29375 1258 0 0 16199 3 0 0 25 0 5 0 109305129 245506048 35320 33554432000 4194304 4417452 140735218786848 18446744073709551615 4277642 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=239752 CPUtime=162.02 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 27878 1258 0 0 16197 5 0 0 25 0 5 0 109305129 245506048 35320 33554432000 4194304 4417452 140735218786848 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=239752 CPUtime=160.55 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 29264 1258 0 0 16051 4 0 0 25 0 5 0 109305129 245506048 35320 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=239752 CPUtime=162.02 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 25586 1258 0 0 16199 3 0 0 25 0 5 0 109305129 245506048 35320 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 646.93
Current children cumulated vsize (KiB) 239752

[startup+222.301 s]
/proc/loadavg: 7.94 6.78 7.10 9/304 4597
/proc/meminfo: memFree=15634576/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=262712 CPUtime=886.35 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 174270 1258 0 0 88608 27 0 0 22 0 5 0 109305101 269017088 41060 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 65678 41060 180 55 0 63564 0
[pid=4573/tid=4584] ppid=4571 vsize=262712 CPUtime=222.01 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 37651 1258 0 0 22196 5 0 0 25 0 5 0 109305129 269017088 41060 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0

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

[pid=4573/tid=4585] ppid=4571 vsize=370820 CPUtime=702.03 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 150566 1258 0 0 70178 25 0 0 25 0 5 0 109305129 379719680 68087 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=370820 CPUtime=695.63 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 111770 1258 0 0 69546 17 0 0 25 0 5 0 109305129 379719680 68087 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=370820 CPUtime=702.04 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 166952 1258 0 0 70181 23 0 0 25 0 5 0 109305129 379719680 68087 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2802.03
Current children cumulated vsize (KiB) 370820

[startup+762.301 s]
/proc/loadavg: 8.08 7.86 7.51 10/304 4626
/proc/meminfo: memFree=15450872/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=384316 CPUtime=3041.46 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 600425 1258 0 0 304055 91 0 0 22 0 5 0 109305101 393539584 71461 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 96079 71461 180 55 0 93965 0
[pid=4573/tid=4584] ppid=4571 vsize=384316 CPUtime=762.02 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 122959 1258 0 0 76184 18 0 0 25 0 5 0 109305129 393539584 71461 33554432000 4194304 4417452 140735218786848 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=384316 CPUtime=762.03 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 160926 1258 0 0 76176 27 0 0 25 0 5 0 109305129 393539584 71461 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=384316 CPUtime=755.08 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 120511 1258 0 0 75490 18 0 0 25 0 5 0 109305129 393539584 71461 33554432000 4194304 4417452 140735218786848 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=384316 CPUtime=762.03 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 181901 1258 0 0 76178 25 0 0 25 0 5 0 109305129 393539584 71461 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364619 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3041.46
Current children cumulated vsize (KiB) 384316

[startup+822.311 s]
/proc/loadavg: 8.08 7.90 7.55 10/304 4629
/proc/meminfo: memFree=15456940/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=380172 CPUtime=3280.96 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 654814 1258 0 0 327996 100 0 0 22 0 5 0 109305101 389296128 70425 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 95043 70425 180 55 0 92929 0
[pid=4573/tid=4584] ppid=4571 vsize=380172 CPUtime=822.03 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 134620 1258 0 0 82183 20 0 0 25 0 5 0 109305129 389296128 70425 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=380172 CPUtime=822.03 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 173129 1258 0 0 82175 28 0 0 25 0 5 0 109305129 389296128 70425 33554432000 4194304 4417452 140735218786848 18446744073709551615 4353520 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=380172 CPUtime=814.55 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 129399 1258 0 0 81435 20 0 0 25 0 5 0 109305129 389296128 70425 33554432000 4194304 4417452 140735218786848 18446744073709551615 4357422 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=380172 CPUtime=822.04 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 203538 1258 0 0 82176 28 0 0 25 0 5 0 109305129 389296128 70425 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3280.96
Current children cumulated vsize (KiB) 380172

[startup+882.301 s]
/proc/loadavg: 8.03 7.91 7.57 9/304 4631
/proc/meminfo: memFree=15430640/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=419004 CPUtime=3520.37 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 709489 1258 0 0 351927 110 0 0 22 0 5 0 109305101 429060096 80133 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 104751 80133 180 55 0 102637 0
[pid=4573/tid=4584] ppid=4571 vsize=419004 CPUtime=882.03 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 146664 1258 0 0 88180 23 0 0 25 0 5 0 109305129 429060096 80133 33554432000 4194304 4417452 140735218786848 18446744073709551615 4237298 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=419004 CPUtime=882.02 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 192699 1258 0 0 88170 32 0 0 25 0 5 0 109305129 429060096 80133 33554432000 4194304 4417452 140735218786848 18446744073709551615 4358357 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=419004 CPUtime=873.99 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 140461 1258 0 0 87377 22 0 0 25 0 5 0 109305129 429060096 80133 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=419004 CPUtime=882.02 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 215537 1258 0 0 88173 29 0 0 25 0 5 0 109305129 429060096 80133 33554432000 4194304 4417452 140735218786848 18446744073709551615 4353615 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3520.37
Current children cumulated vsize (KiB) 419004

[startup+942.3 s]
/proc/loadavg: 8.06 7.94 7.60 10/304 4633
/proc/meminfo: memFree=15394792/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=426784 CPUtime=3759.83 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 761708 1258 0 0 375862 121 0 0 22 0 5 0 109305101 437026816 82078 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 106696 82078 180 55 0 104582 0
[pid=4573/tid=4584] ppid=4571 vsize=426784 CPUtime=942.03 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 162419 1258 0 0 94177 26 0 0 25 0 5 0 109305129 437026816 82078 33554432000 4194304 4417452 140735218786848 18446744073709551615 4352333 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=426784 CPUtime=942.02 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 212912 1258 0 0 94165 37 0 0 25 0 5 0 109305129 437026816 82078 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=426784 CPUtime=933.45 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 148420 1258 0 0 93321 24 0 0 25 0 5 0 109305129 437026816 82078 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=426784 CPUtime=942.02 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 223829 1258 0 0 94171 31 0 0 25 0 5 0 109305129 437026816 82078 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3759.83
Current children cumulated vsize (KiB) 426784

[startup+1002.3 s]
/proc/loadavg: 8.06 7.96 7.63 10/304 4635
/proc/meminfo: memFree=15399748/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=434428 CPUtime=3999.3 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 806489 1258 0 0 399801 129 0 0 22 0 5 0 109305101 444854272 83989 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 108607 83989 180 55 0 106493 0
[pid=4573/tid=4584] ppid=4571 vsize=434428 CPUtime=1002.03 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 176476 1258 0 0 100174 29 0 0 25 0 5 0 109305129 444854272 83989 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=434428 CPUtime=1002.03 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 226465 1258 0 0 100163 40 0 0 25 0 5 0 109305129 444854272 83989 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=434428 CPUtime=992.91 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 155355 1258 0 0 99267 24 0 0 25 0 5 0 109305129 444854272 83989 33554432000 4194304 4417452 140735218786848 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=434428 CPUtime=1002.03 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 234065 1258 0 0 100170 33 0 0 25 0 5 0 109305129 444854272 83989 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3999.3
Current children cumulated vsize (KiB) 434428

[startup+1062.3 s]
/proc/loadavg: 8.06 7.98 7.65 9/304 4637
/proc/meminfo: memFree=15470664/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=372324 CPUtime=4238.75 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 855247 1258 0 0 423739 136 0 0 22 0 5 0 109305101 381259776 68463 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 93081 68463 180 55 0 90967 0
[pid=4573/tid=4584] ppid=4571 vsize=372324 CPUtime=1062.03 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 195422 1258 0 0 106172 31 0 0 25 0 5 0 109305129 381259776 68463 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=372324 CPUtime=1062.03 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 235714 1258 0 0 106161 42 0 0 25 0 5 0 109305129 381259776 68463 33554432000 4194304 4417452 140735218786848 18446744073709551615 4366082 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=372324 CPUtime=1052.36 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 163905 1258 0 0 105211 25 0 0 25 0 5 0 109305129 381259776 68463 33554432000 4194304 4417452 140735218786848 18446744073709551615 4311414 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=372324 CPUtime=1062.03 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 246078 1258 0 0 106168 35 0 0 25 0 5 0 109305129 381259776 68463 33554432000 4194304 4417452 140735218786848 18446744073709551615 4357204 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4238.75
Current children cumulated vsize (KiB) 372324

[startup+1122.3 s]
/proc/loadavg: 8.06 8.00 7.68 10/304 4639
/proc/meminfo: memFree=15461980/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=380028 CPUtime=4478.22 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 882853 1258 0 0 447683 139 0 0 22 0 5 0 109305101 389148672 70389 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 95007 70389 180 55 0 92893 0
[pid=4573/tid=4584] ppid=4571 vsize=380028 CPUtime=1122.03 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 201953 1258 0 0 112172 31 0 0 25 0 5 0 109305129 389148672 70389 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=380028 CPUtime=1122.02 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 248731 1258 0 0 112159 43 0 0 25 0 5 0 109305129 389148672 70389 33554432000 4194304 4417452 140735218786848 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=380028 CPUtime=1111.82 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 170198 1258 0 0 111156 26 0 0 25 0 5 0 109305129 389148672 70389 33554432000 4194304 4417452 140735218786848 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=380028 CPUtime=1122.03 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 247843 1258 0 0 112168 35 0 0 25 0 5 0 109305129 389148672 70389 33554432000 4194304 4417452 140735218786848 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4478.22
Current children cumulated vsize (KiB) 380028

[startup+1182.3 s]
/proc/loadavg: 8.05 8.01 7.70 10/304 4640
/proc/meminfo: memFree=15379140/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=411056 CPUtime=4717.67 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 919449 1258 0 0 471622 145 0 0 22 0 5 0 109305101 420921344 78146 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 102764 78146 180 55 0 100650 0
[pid=4573/tid=4584] ppid=4571 vsize=411056 CPUtime=1182.03 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 207106 1258 0 0 118171 32 0 0 25 0 5 0 109305129 420921344 78146 33554432000 4194304 4417452 140735218786848 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=411056 CPUtime=1182.03 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 262980 1258 0 0 118157 46 0 0 25 0 5 0 109305129 420921344 78146 33554432000 4194304 4417452 140735218786848 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=411056 CPUtime=1171.27 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 176010 1258 0 0 117100 27 0 0 25 0 5 0 109305129 420921344 78146 33554432000 4194304 4417452 140735218786848 18446744073709551615 4236906 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=411056 CPUtime=1182.03 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 259225 1258 0 0 118166 37 0 0 25 0 5 0 109305129 420921344 78146 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4717.67
Current children cumulated vsize (KiB) 411056



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.16 8.04 7.71 5/298 4643
/proc/meminfo: memFree=15545220/32950928 swapFree=67111364/67111528
[pid=4573] ppid=4571 vsize=430260 CPUtime=4800.3 cores=1,3,5,7
/proc/4573/stat : 4573 (plingeling) S 4571 4573 3825 0 -1 4202496 933678 1258 0 0 479883 147 0 0 22 0 5 0 109305101 440586240 82947 33554432000 4194304 4417452 140735218786848 18446744073709551615 218892367845 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4573/statm: 107565 82947 180 55 0 105451 0
[pid=4573/tid=4584] ppid=4571 vsize=430260 CPUtime=1202.74 cores=1,3,5,7
/proc/4573/task/4584/stat : 4584 (plingeling) R 4571 4573 3825 0 -1 4202560 212893 1258 0 0 120241 33 0 0 25 0 5 0 109305129 440586240 82947 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4573/tid=4585] ppid=4571 vsize=430260 CPUtime=1202.74 cores=1,3,5,7
/proc/4573/task/4585/stat : 4585 (plingeling) R 4571 4573 3825 0 -1 4202560 267577 1258 0 0 120228 46 0 0 25 0 5 0 109305129 440586240 82947 33554432000 4194304 4417452 140735218786848 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4573/tid=4587] ppid=4571 vsize=430260 CPUtime=1191.79 cores=1,3,5,7
/proc/4573/task/4587/stat : 4587 (plingeling) R 4571 4573 3825 0 -1 4202560 179215 1258 0 0 119151 28 0 0 25 0 5 0 109305129 440586240 82947 33554432000 4194304 4417452 140735218786848 18446744073709551615 4236554 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4573/tid=4588] ppid=4571 vsize=430260 CPUtime=1202.74 cores=1,3,5,7
/proc/4573/task/4588/stat : 4588 (plingeling) R 4571 4573 3825 0 -1 4202560 259865 1258 0 0 120237 37 0 0 25 0 5 0 109305129 440586240 82947 33554432000 4194304 4417452 140735218786848 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 430260

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): 1203.03
CPU time (s): 4800.37
CPU user time (s): 4798.88
CPU system time (s): 1.49177
CPU usage (%): 399.023
Max. virtual memory (cumulated for all children) (KiB): 551144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.88
system time used= 1.49177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 934936
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= 142
involuntary context switches= 32162

runsolver used 3.17452 second user time and 7.77682 second system time

The end

Launcher Data 

Begin job on node112 at 2011-05-15 01:49:17
IDJOB=3371438
IDBENCH=70781
IDSOLVER=1848
FILE ID=node112/3371438-1305416957
RUNJOBID= node112-1305416957-4545
PBS_JOBID= 13324531
Free space on /tmp= 73560 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl064.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3371438-1305416957/watcher-3371438-1305416957 -o /tmp/evaluation-result-3371438-1305416957/solver-3371438-1305416957 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3371438-1305416957.cnf

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

MD5SUM BENCH= 4f9c883534eb89cad9b9cad9e6eccbd0
RANDOM SEED=2135316767

node112.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.847
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.69
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.847
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	: 5180.45
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.847
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.76
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.847
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.82
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.847
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.61
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.847
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.847
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.847
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15875020 kB
Buffers:        292144 kB
Cached:        2784024 kB
SwapCached:          0 kB
Active:       15075396 kB
Inactive:      1762156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15875020 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            3920 kB
Writeback:          36 kB
AnonPages:    13761624 kB
Mapped:          21236 kB
Slab:           132904 kB
PageTables:      42228 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 35054760 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= 73560 MiB
End job on node112 at 2011-05-15 02:09:22