Trace number 3372518

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)UNSAT 474.312 67.8458

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-27-step13.cnf
MD5SUM52e16341bcff805ef2d6abe4e95359a0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark29.8475
Satisfiable
(Un)Satisfiability was proved
Number of variables224228
Number of clauses5314673
Sum of the clauses size11732345
Maximum clause length3193
Minimum clause length1
Number of clauses of size 1556
Number of clauses of size 25229536
Number of clauses of size 36084
Number of clauses of size 49856
Number of clauses of size 58159
Number of clauses of size over 560482

Solver Data 

474.24/67.84	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3372518-1307661952/watcher-3372518-1307661952 -o /tmp/evaluation-result-3372518-1307661952/solver-3372518-1307661952 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3372518-1307661952.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.74 4.65 6.60 1/170 3669
/proc/meminfo: memFree=31932532/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=14452 CPUtime=0 cores=0-7
/proc/3669/stat : 3669 (plingeling) R 3667 3669 3313 0 -1 4202496 1610 1257 0 0 0 0 0 0 18 0 1 0 877796215 14798848 1539 33554432000 4194304 4417452 140737064688800 18446744073709551615 222921470957 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3669/statm: 3613 1545 141 55 0 1499 0

[startup+0.0956839 s]
/proc/loadavg: 1.74 4.65 6.60 1/170 3669
/proc/meminfo: memFree=31932532/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=52956 CPUtime=0.09 cores=0-7
/proc/3669/stat : 3669 (plingeling) R 3667 3669 3313 0 -1 4202496 11264 1257 0 0 8 1 0 0 18 0 1 0 877796215 54226944 11193 33554432000 4194304 4417452 140737064688800 18446744073709551615 222921470957 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3669/statm: 13239 11193 148 55 0 11125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 52956

[startup+0.100695 s]
/proc/loadavg: 1.74 4.65 6.60 1/170 3669
/proc/meminfo: memFree=31932532/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=56044 CPUtime=0.09 cores=0-7
/proc/3669/stat : 3669 (plingeling) R 3667 3669 3313 0 -1 4202496 12081 1257 0 0 8 1 0 0 18 0 1 0 877796215 57389056 12010 33554432000 4194304 4417452 140737064688800 18446744073709551615 4231443 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3669/statm: 14011 12010 148 55 0 11897 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 56044

[startup+0.300651 s]
/proc/loadavg: 1.74 4.65 6.60 1/170 3669
/proc/meminfo: memFree=31932532/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=75528 CPUtime=0.29 cores=0-7
/proc/3669/stat : 3669 (plingeling) R 3667 3669 3313 0 -1 4202496 16968 1257 0 0 27 2 0 0 19 0 1 0 877796215 77340672 16897 33554432000 4194304 4417452 140737064688800 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3669/statm: 18882 16897 148 55 0 16768 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75528

[startup+1.73038 s]
/proc/loadavg: 1.74 4.65 6.60 1/170 3669
/proc/meminfo: memFree=31932532/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=292860 CPUtime=1.72 cores=0-7
/proc/3669/stat : 3669 (plingeling) R 3667 3669 3313 0 -1 4202496 71327 1257 0 0 164 8 0 0 22 0 1 0 877796215 299888640 71239 33554432000 4194304 4417452 140737064688800 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3669/statm: 73215 71239 149 55 0 71101 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 292860

[startup+1.80039 s]
/proc/loadavg: 1.74 4.65 6.60 1/170 3669
/proc/meminfo: memFree=31932532/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=292860 CPUtime=1.78 cores=0-7
/proc/3669/stat : 3669 (plingeling) R 3667 3669 3313 0 -1 4202496 71327 1257 0 0 170 8 0 0 22 0 1 0 877796215 299888640 71239 33554432000 4194304 4417452 140737064688800 18446744073709551615 4259609 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3669/statm: 73215 71239 149 55 0 71101 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 292860

[startup+3.10014 s]
/proc/loadavg: 1.74 4.65 6.60 2/171 3675
/proc/meminfo: memFree=31583736/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=358396 CPUtime=3.09 cores=0-7
/proc/3669/stat : 3669 (plingeling) R 3667 3669 3313 0 -1 4202496 87711 1257 0 0 298 11 0 0 25 0 1 0 877796215 366997504 87623 33554432000 4194304 4417452 140737064688800 18446744073709551615 4259140 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3669/statm: 89599 87623 149 55 0 87485 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 358396

[startup+6.30055 s]
/proc/loadavg: 1.68 4.59 6.57 2/171 3675
/proc/meminfo: memFree=31378980/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=751612 CPUtime=6.29 cores=0-7
/proc/3669/stat : 3669 (plingeling) R 3667 3669 3313 0 -1 4202496 186015 1257 0 0 607 22 0 0 25 0 1 0 877796215 769650688 185927 33554432000 4194304 4417452 140737064688800 18446744073709551615 4259193 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/3669/statm: 187903 185927 149 55 0 185789 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 751612

[startup+12.7013 s]
/proc/loadavg: 1.63 4.53 6.54 9/179 3684
/proc/meminfo: memFree=31146344/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=877668 CPUtime=33.94 cores=0-7
/proc/3669/stat : 3669 (plingeling) S 3667 3669 3313 0 -1 4202496 234079 1257 0 0 3363 31 0 0 25 0 9 0 877796215 898732032 196965 33554432000 4194304 4417452 140737064688800 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/3669/statm: 219417 196965 177 55 0 217303 0
[pid=3669/tid=3676] ppid=3667 vsize=877668 CPUtime=3.03 cores=0-7
/proc/3669/task/3676/stat : 3676 (plingeling) R 3667 3669 3313 0 -1 4202560 6176 1257 0 0 303 0 0 0 25 0 9 0 877797180 898732032 196965 33554432000 4194304 4417452 140737064688800 18446744073709551615 4275892 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3669/tid=3677] ppid=3667 vsize=877668 CPUtime=3.03 cores=0-7
/proc/3669/task/3677/stat : 3677 (plingeling) R 3667 3669 3313 0 -1 4202560 6124 1257 0 0 303 0 0 0 25 0 9 0 877797180 898732032 196965 33554432000 4194304 4417452 140737064688800 18446744073709551615 4302036 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3669/tid=3678] ppid=3667 vsize=877668 CPUtime=3.03 cores=0-7
/proc/3669/task/3678/stat : 3678 (plingeling) R 3667 3669 3313 0 -1 4202560 6185 1257 0 0 302 1 0 0 25 0 9 0 877797180 898732032 196965 33554432000 4194304 4417452 140737064688800 18446744073709551615 4261319 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3669/tid=3679] ppid=3667 vsize=877668 CPUtime=3.03 cores=0-7
/proc/3669/task/3679/stat : 3679 (plingeling) R 3667 3669 3313 0 -1 4202560 4962 1257 0 0 303 0 0 0 25 0 9 0 877797180 898732032 196965 33554432000 4194304 4417452 140737064688800 18446744073709551615 4358116 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3669/tid=3680] ppid=3667 vsize=877668 CPUtime=3.03 cores=0-7
/proc/3669/task/3680/stat : 3680 (plingeling) R 3667 3669 3313 0 -1 4202560 6116 1257 0 0 303 0 0 0 25 0 9 0 877797180 898732032 196965 33554432000 4194304 4417452 140737064688800 18446744073709551615 4275953 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3669/tid=3681] ppid=3667 vsize=877668 CPUtime=3.01 cores=0-7
/proc/3669/task/3681/stat : 3681 (plingeling) R 3667 3669 3313 0 -1 4202560 6172 1257 0 0 300 1 0 0 25 0 9 0 877797180 898732032 196965 33554432000 4194304 4417452 140737064688800 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3669/tid=3682] ppid=3667 vsize=877668 CPUtime=3.03 cores=0-7
/proc/3669/task/3682/stat : 3682 (plingeling) R 3667 3669 3313 0 -1 4202560 6173 1257 0 0 303 0 0 0 23 0 9 0 877797181 898732032 196965 33554432000 4194304 4417452 140737064688800 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3669/tid=3683] ppid=3667 vsize=877668 CPUtime=3.03 cores=0-7
/proc/3669/task/3683/stat : 3683 (plingeling) R 3667 3669 3313 0 -1 4202560 6140 1257 0 0 302 1 0 0 25 0 9 0 877797181 898732032 196965 33554432000 4194304 4417452 140737064688800 18446744073709551615 4302058 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 33.94
Current children cumulated vsize (KiB) 877668

[startup+25.506 s]
/proc/loadavg: 3.04 4.70 6.57 9/179 3684
/proc/meminfo: memFree=31128836/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=959220 CPUtime=136.15 cores=0-7
/proc/3669/stat : 3669 (plingeling) S 3667 3669 3313 0 -1 4202496 488352 1257 0 0 13531 84 0 0 25 0 9 0 877796215 982241280 201004 33554432000 4194304 4417452 140737064688800 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/3669/statm: 239805 201004 179 55 0 237691 0
[pid=3669/tid=3676] ppid=3667 vsize=959220 CPUtime=15.81 cores=0-7
/proc/3669/task/3676/stat : 3676 (plingeling) R 3667 3669 3313 0 -1 4202560 44397 1257 0 0 1573 8 0 0 25 0 9 0 877797180 982241280 201004 33554432000 4194304 4417452 140737064688800 18446744073709551615 4254964 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3669/tid=3677] ppid=3667 vsize=959220 CPUtime=15.82 cores=0-7
/proc/3669/task/3677/stat : 3677 (plingeling) R 3667 3669 3313 0 -1 4202560 38894 1257 0 0 1572 10 0 0 25 0 9 0 877797180 982241280 201004 33554432000 4194304 4417452 140737064688800 18446744073709551615 4255010 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3669/tid=3678] ppid=3667 vsize=959220 CPUtime=15.83 cores=0-7
/proc/3669/task/3678/stat : 3678 (plingeling) R 3667 3669 3313 0 -1 4202560 38957 1257 0 0 1576 7 0 0 25 0 9 0 877797180 982241280 201004 33554432000 4194304 4417452 140737064688800 18446744073709551615 4254977 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3669/tid=3679] ppid=3667 vsize=959220 CPUtime=15.8 cores=0-7
/proc/3669/task/3679/stat : 3679 (plingeling) R 3667 3669 3313 0 -1 4202560 14627 1257 0 0 1579 1 0 0 25 0 9 0 877797180 982241280 201004 33554432000 4194304 4417452 140737064688800 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3669/tid=3680] ppid=3667 vsize=959220 CPUtime=15.83 cores=0-7
/proc/3669/task/3680/stat : 3680 (plingeling) R 3667 3669 3313 0 -1 4202560 46005 1257 0 0 1575 8 0 0 25 0 9 0 877797180 982241280 201004 33554432000 4194304 4417452 140737064688800 18446744073709551615 4254977 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3669/tid=3681] ppid=3667 vsize=959220 CPUtime=15.72 cores=0-7
/proc/3669/task/3681/stat : 3681 (plingeling) R 3667 3669 3313 0 -1 4202560 38942 1257 0 0 1565 7 0 0 25 0 9 0 877797180 982241280 201004 33554432000 4194304 4417452 140737064688800 18446744073709551615 4254964 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3669/tid=3682] ppid=3667 vsize=959220 CPUtime=15.82 cores=0-7
/proc/3669/task/3682/stat : 3682 (plingeling) R 3667 3669 3313 0 -1 4202560 41589 1257 0 0 1577 5 0 0 25 0 9 0 877797181 982241280 201004 33554432000 4194304 4417452 140737064688800 18446744073709551615 4254468 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3669/tid=3683] ppid=3667 vsize=959220 CPUtime=15.78 cores=0-7
/proc/3669/task/3683/stat : 3683 (plingeling) R 3667 3669 3313 0 -1 4202560 38910 1257 0 0 1568 10 0 0 25 0 9 0 877797181 982241280 201004 33554432000 4194304 4417452 140737064688800 18446744073709551615 4254983 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 136.15
Current children cumulated vsize (KiB) 959220

[startup+51.1013 s]
/proc/loadavg: 4.73 4.96 6.60 9/179 3685
/proc/meminfo: memFree=31104692/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=983752 CPUtime=340.77 cores=0-7
/proc/3669/stat : 3669 (plingeling) S 3667 3669 3313 0 -1 4202496 515069 1257 0 0 33988 89 0 0 25 0 9 0 877796215 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/3669/statm: 245938 207650 180 55 0 243824 0
[pid=3669/tid=3676] ppid=3667 vsize=983752 CPUtime=41.41 cores=0-7
/proc/3669/task/3676/stat : 3676 (plingeling) R 3667 3669 3313 0 -1 4202560 44403 1257 0 0 4133 8 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4237136 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3669/tid=3677] ppid=3667 vsize=983752 CPUtime=41.39 cores=0-7
/proc/3669/task/3677/stat : 3677 (plingeling) R 3667 3669 3313 0 -1 4202560 38900 1257 0 0 4129 10 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3669/tid=3678] ppid=3667 vsize=983752 CPUtime=41.43 cores=0-7
/proc/3669/task/3678/stat : 3678 (plingeling) R 3667 3669 3313 0 -1 4202560 41484 1257 0 0 4135 8 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4236930 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3669/tid=3679] ppid=3667 vsize=983752 CPUtime=41.4 cores=0-7
/proc/3669/task/3679/stat : 3679 (plingeling) R 3667 3669 3313 0 -1 4202560 37429 1257 0 0 4135 5 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4264911 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3669/tid=3680] ppid=3667 vsize=983752 CPUtime=41.43 cores=0-7
/proc/3669/task/3680/stat : 3680 (plingeling) R 3667 3669 3313 0 -1 4202560 46011 1257 0 0 4135 8 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3669/tid=3681] ppid=3667 vsize=983752 CPUtime=41.19 cores=0-7
/proc/3669/task/3681/stat : 3681 (plingeling) R 3667 3669 3313 0 -1 4202560 38950 1257 0 0 4112 7 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3669/tid=3682] ppid=3667 vsize=983752 CPUtime=41.41 cores=0-7
/proc/3669/task/3682/stat : 3682 (plingeling) R 3667 3669 3313 0 -1 4202560 42757 1257 0 0 4136 5 0 0 25 0 9 0 877797181 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4236616 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3669/tid=3683] ppid=3667 vsize=983752 CPUtime=41.37 cores=0-7
/proc/3669/task/3683/stat : 3683 (plingeling) R 3667 3669 3313 0 -1 4202560 39104 1257 0 0 4127 10 0 0 25 0 9 0 877797181 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 340.77
Current children cumulated vsize (KiB) 983752

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

[startup+52.4011 s]
/proc/loadavg: 4.73 4.96 6.60 9/179 3685
/proc/meminfo: memFree=31104752/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=983752 CPUtime=351.16 cores=0-7
/proc/3669/stat : 3669 (plingeling) S 3667 3669 3313 0 -1 4202496 515069 1257 0 0 35027 89 0 0 25 0 9 0 877796215 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/3669/statm: 245938 207650 180 55 0 243824 0
[pid=3669/tid=3676] ppid=3667 vsize=983752 CPUtime=42.71 cores=0-7
/proc/3669/task/3676/stat : 3676 (plingeling) R 3667 3669 3313 0 -1 4202560 44403 1257 0 0 4263 8 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4281657 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3669/tid=3677] ppid=3667 vsize=983752 CPUtime=42.69 cores=0-7
/proc/3669/task/3677/stat : 3677 (plingeling) R 3667 3669 3313 0 -1 4202560 38900 1257 0 0 4259 10 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3669/tid=3678] ppid=3667 vsize=983752 CPUtime=42.73 cores=0-7
/proc/3669/task/3678/stat : 3678 (plingeling) R 3667 3669 3313 0 -1 4202560 41484 1257 0 0 4265 8 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3669/tid=3679] ppid=3667 vsize=983752 CPUtime=42.7 cores=0-7
/proc/3669/task/3679/stat : 3679 (plingeling) R 3667 3669 3313 0 -1 4202560 37429 1257 0 0 4265 5 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3669/tid=3680] ppid=3667 vsize=983752 CPUtime=42.73 cores=0-7
/proc/3669/task/3680/stat : 3680 (plingeling) R 3667 3669 3313 0 -1 4202560 46011 1257 0 0 4265 8 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3669/tid=3681] ppid=3667 vsize=983752 CPUtime=42.48 cores=0-7
/proc/3669/task/3681/stat : 3681 (plingeling) R 3667 3669 3313 0 -1 4202560 38950 1257 0 0 4241 7 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3669/tid=3682] ppid=3667 vsize=983752 CPUtime=42.71 cores=0-7
/proc/3669/task/3682/stat : 3682 (plingeling) R 3667 3669 3313 0 -1 4202560 42757 1257 0 0 4266 5 0 0 25 0 9 0 877797181 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4353636 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3669/tid=3683] ppid=3667 vsize=983752 CPUtime=42.67 cores=0-7
/proc/3669/task/3683/stat : 3683 (plingeling) R 3667 3669 3313 0 -1 4202560 39104 1257 0 0 4257 10 0 0 25 0 9 0 877797181 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 351.16
Current children cumulated vsize (KiB) 983752

[startup+58.8009 s]
/proc/loadavg: 4.99 5.01 6.61 9/179 3685
/proc/meminfo: memFree=31104736/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=983752 CPUtime=402.32 cores=0-7
/proc/3669/stat : 3669 (plingeling) S 3667 3669 3313 0 -1 4202496 515069 1257 0 0 40143 89 0 0 25 0 9 0 877796215 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/3669/statm: 245938 207650 180 55 0 243824 0
[pid=3669/tid=3676] ppid=3667 vsize=983752 CPUtime=49.11 cores=0-7
/proc/3669/task/3676/stat : 3676 (plingeling) R 3667 3669 3313 0 -1 4202560 44403 1257 0 0 4903 8 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4353568 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3669/tid=3677] ppid=3667 vsize=983752 CPUtime=49.09 cores=0-7
/proc/3669/task/3677/stat : 3677 (plingeling) R 3667 3669 3313 0 -1 4202560 38900 1257 0 0 4899 10 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3669/tid=3678] ppid=3667 vsize=983752 CPUtime=49.13 cores=0-7
/proc/3669/task/3678/stat : 3678 (plingeling) R 3667 3669 3313 0 -1 4202560 41484 1257 0 0 4905 8 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3669/tid=3679] ppid=3667 vsize=983752 CPUtime=49.1 cores=0-7
/proc/3669/task/3679/stat : 3679 (plingeling) R 3667 3669 3313 0 -1 4202560 37429 1257 0 0 4905 5 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3669/tid=3680] ppid=3667 vsize=983752 CPUtime=49.13 cores=0-7
/proc/3669/task/3680/stat : 3680 (plingeling) R 3667 3669 3313 0 -1 4202560 46011 1257 0 0 4905 8 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364453 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3669/tid=3681] ppid=3667 vsize=983752 CPUtime=48.85 cores=0-7
/proc/3669/task/3681/stat : 3681 (plingeling) R 3667 3669 3313 0 -1 4202560 38950 1257 0 0 4878 7 0 0 25 0 9 0 877797180 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3669/tid=3682] ppid=3667 vsize=983752 CPUtime=49.11 cores=0-7
/proc/3669/task/3682/stat : 3682 (plingeling) R 3667 3669 3313 0 -1 4202560 42757 1257 0 0 4906 5 0 0 25 0 9 0 877797181 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3669/tid=3683] ppid=3667 vsize=983752 CPUtime=49.07 cores=0-7
/proc/3669/task/3683/stat : 3683 (plingeling) R 3667 3669 3313 0 -1 4202560 39104 1257 0 0 4897 10 0 0 25 0 9 0 877797181 1007362048 207650 33554432000 4194304 4417452 140737064688800 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 983752

[startup+62.0013 s]
/proc/loadavg: 5.23 5.06 6.62 9/179 3685
/proc/meminfo: memFree=31105604/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=981572 CPUtime=427.91 cores=0-7
/proc/3669/stat : 3669 (plingeling) S 3667 3669 3313 0 -1 4202496 515447 1257 0 0 42702 89 0 0 25 0 9 0 877796215 1005129728 207463 33554432000 4194304 4417452 140737064688800 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/3669/statm: 245393 207463 180 55 0 243279 0
[pid=3669/tid=3676] ppid=3667 vsize=981572 CPUtime=52.31 cores=0-7
/proc/3669/task/3676/stat : 3676 (plingeling) R 3667 3669 3313 0 -1 4202560 44403 1257 0 0 5223 8 0 0 25 0 9 0 877797180 1005129728 207463 33554432000 4194304 4417452 140737064688800 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3669/tid=3677] ppid=3667 vsize=981572 CPUtime=52.29 cores=0-7
/proc/3669/task/3677/stat : 3677 (plingeling) R 3667 3669 3313 0 -1 4202560 38900 1257 0 0 5219 10 0 0 25 0 9 0 877797180 1005129728 207463 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3669/tid=3678] ppid=3667 vsize=981572 CPUtime=52.33 cores=0-7
/proc/3669/task/3678/stat : 3678 (plingeling) R 3667 3669 3313 0 -1 4202560 41484 1257 0 0 5225 8 0 0 25 0 9 0 877797180 1005129728 207463 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3669/tid=3679] ppid=3667 vsize=981572 CPUtime=52.3 cores=0-7
/proc/3669/task/3679/stat : 3679 (plingeling) R 3667 3669 3313 0 -1 4202560 37807 1257 0 0 5225 5 0 0 25 0 9 0 877797180 1005129728 207463 33554432000 4194304 4417452 140737064688800 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3669/tid=3680] ppid=3667 vsize=981572 CPUtime=52.33 cores=0-7
/proc/3669/task/3680/stat : 3680 (plingeling) R 3667 3669 3313 0 -1 4202560 46011 1257 0 0 5225 8 0 0 25 0 9 0 877797180 1005129728 207463 33554432000 4194304 4417452 140737064688800 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3669/tid=3681] ppid=3667 vsize=981572 CPUtime=52.03 cores=0-7
/proc/3669/task/3681/stat : 3681 (plingeling) R 3667 3669 3313 0 -1 4202560 38950 1257 0 0 5196 7 0 0 25 0 9 0 877797180 1005129728 207463 33554432000 4194304 4417452 140737064688800 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3669/tid=3682] ppid=3667 vsize=981572 CPUtime=52.32 cores=0-7
/proc/3669/task/3682/stat : 3682 (plingeling) R 3667 3669 3313 0 -1 4202560 42757 1257 0 0 5227 5 0 0 25 0 9 0 877797181 1005129728 207463 33554432000 4194304 4417452 140737064688800 18446744073709551615 4232584 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3669/tid=3683] ppid=3667 vsize=981572 CPUtime=52.27 cores=0-7
/proc/3669/task/3683/stat : 3683 (plingeling) R 3667 3669 3313 0 -1 4202560 39104 1257 0 0 5217 10 0 0 25 0 9 0 877797181 1005129728 207463 33554432000 4194304 4417452 140737064688800 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 427.91
Current children cumulated vsize (KiB) 981572

[startup+65.2007 s]
/proc/loadavg: 5.45 5.11 6.62 9/179 3685
/proc/meminfo: memFree=31105356/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=981812 CPUtime=453.49 cores=0-7
/proc/3669/stat : 3669 (plingeling) S 3667 3669 3313 0 -1 4202496 515507 1257 0 0 45260 89 0 0 25 0 9 0 877796215 1005375488 207523 33554432000 4194304 4417452 140737064688800 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/3669/statm: 245453 207523 180 55 0 243339 0
[pid=3669/tid=3676] ppid=3667 vsize=981812 CPUtime=55.51 cores=0-7
/proc/3669/task/3676/stat : 3676 (plingeling) R 3667 3669 3313 0 -1 4202560 44403 1257 0 0 5543 8 0 0 25 0 9 0 877797180 1005375488 207523 33554432000 4194304 4417452 140737064688800 18446744073709551615 4232598 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3669/tid=3677] ppid=3667 vsize=981812 CPUtime=55.49 cores=0-7
/proc/3669/task/3677/stat : 3677 (plingeling) R 3667 3669 3313 0 -1 4202560 38900 1257 0 0 5539 10 0 0 25 0 9 0 877797180 1005375488 207523 33554432000 4194304 4417452 140737064688800 18446744073709551615 4358116 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3669/tid=3678] ppid=3667 vsize=981812 CPUtime=55.53 cores=0-7
/proc/3669/task/3678/stat : 3678 (plingeling) R 3667 3669 3313 0 -1 4202560 41484 1257 0 0 5545 8 0 0 25 0 9 0 877797180 1005375488 207523 33554432000 4194304 4417452 140737064688800 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3669/tid=3679] ppid=3667 vsize=981812 CPUtime=55.5 cores=0-7
/proc/3669/task/3679/stat : 3679 (plingeling) R 3667 3669 3313 0 -1 4202560 37867 1257 0 0 5545 5 0 0 25 0 9 0 877797180 1005375488 207523 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3669/tid=3680] ppid=3667 vsize=981812 CPUtime=55.53 cores=0-7
/proc/3669/task/3680/stat : 3680 (plingeling) R 3667 3669 3313 0 -1 4202560 46011 1257 0 0 5545 8 0 0 25 0 9 0 877797180 1005375488 207523 33554432000 4194304 4417452 140737064688800 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3669/tid=3681] ppid=3667 vsize=981812 CPUtime=55.21 cores=0-7
/proc/3669/task/3681/stat : 3681 (plingeling) R 3667 3669 3313 0 -1 4202560 38950 1257 0 0 5514 7 0 0 25 0 9 0 877797180 1005375488 207523 33554432000 4194304 4417452 140737064688800 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3669/tid=3682] ppid=3667 vsize=981812 CPUtime=55.51 cores=0-7
/proc/3669/task/3682/stat : 3682 (plingeling) R 3667 3669 3313 0 -1 4202560 42757 1257 0 0 5546 5 0 0 25 0 9 0 877797181 1005375488 207523 33554432000 4194304 4417452 140737064688800 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3669/tid=3683] ppid=3667 vsize=981812 CPUtime=55.47 cores=0-7
/proc/3669/task/3683/stat : 3683 (plingeling) R 3667 3669 3313 0 -1 4202560 39104 1257 0 0 5537 10 0 0 25 0 9 0 877797181 1005375488 207523 33554432000 4194304 4417452 140737064688800 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 453.49
Current children cumulated vsize (KiB) 981812

[startup+66.8005 s]
/proc/loadavg: 5.45 5.11 6.62 9/179 3685
/proc/meminfo: memFree=31105356/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=981812 CPUtime=466.28 cores=0-7
/proc/3669/stat : 3669 (plingeling) S 3667 3669 3313 0 -1 4202496 515635 1257 0 0 46539 89 0 0 25 0 9 0 877796215 1005375488 207651 33554432000 4194304 4417452 140737064688800 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/3669/statm: 245453 207651 180 55 0 243339 0
[pid=3669/tid=3676] ppid=3667 vsize=981812 CPUtime=57.11 cores=0-7
/proc/3669/task/3676/stat : 3676 (plingeling) R 3667 3669 3313 0 -1 4202560 44403 1257 0 0 5703 8 0 0 25 0 9 0 877797180 1005375488 207651 33554432000 4194304 4417452 140737064688800 18446744073709551615 4236559 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3669/tid=3677] ppid=3667 vsize=981812 CPUtime=57.09 cores=0-7
/proc/3669/task/3677/stat : 3677 (plingeling) R 3667 3669 3313 0 -1 4202560 38900 1257 0 0 5699 10 0 0 25 0 9 0 877797180 1005375488 207651 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3669/tid=3678] ppid=3667 vsize=981812 CPUtime=57.13 cores=0-7
/proc/3669/task/3678/stat : 3678 (plingeling) R 3667 3669 3313 0 -1 4202560 41484 1257 0 0 5705 8 0 0 25 0 9 0 877797180 1005375488 207651 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3669/tid=3679] ppid=3667 vsize=981812 CPUtime=57.1 cores=0-7
/proc/3669/task/3679/stat : 3679 (plingeling) R 3667 3669 3313 0 -1 4202560 37995 1257 0 0 5705 5 0 0 25 0 9 0 877797180 1005375488 207651 33554432000 4194304 4417452 140737064688800 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3669/tid=3680] ppid=3667 vsize=981812 CPUtime=57.13 cores=0-7
/proc/3669/task/3680/stat : 3680 (plingeling) R 3667 3669 3313 0 -1 4202560 46011 1257 0 0 5705 8 0 0 25 0 9 0 877797180 1005375488 207651 33554432000 4194304 4417452 140737064688800 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3669/tid=3681] ppid=3667 vsize=981812 CPUtime=56.8 cores=0-7
/proc/3669/task/3681/stat : 3681 (plingeling) R 3667 3669 3313 0 -1 4202560 38950 1257 0 0 5673 7 0 0 25 0 9 0 877797180 1005375488 207651 33554432000 4194304 4417452 140737064688800 18446744073709551615 4366480 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3669/tid=3682] ppid=3667 vsize=981812 CPUtime=57.11 cores=0-7
/proc/3669/task/3682/stat : 3682 (plingeling) R 3667 3669 3313 0 -1 4202560 42757 1257 0 0 5706 5 0 0 25 0 9 0 877797181 1005375488 207651 33554432000 4194304 4417452 140737064688800 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3669/tid=3683] ppid=3667 vsize=981812 CPUtime=57.07 cores=0-7
/proc/3669/task/3683/stat : 3683 (plingeling) R 3667 3669 3313 0 -1 4202560 39104 1257 0 0 5697 10 0 0 25 0 9 0 877797181 1005375488 207651 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 466.28
Current children cumulated vsize (KiB) 981812

[startup+67.6013 s]
/proc/loadavg: 5.45 5.11 6.62 9/179 3685
/proc/meminfo: memFree=31104488/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=982132 CPUtime=472.68 cores=0-7
/proc/3669/stat : 3669 (plingeling) S 3667 3669 3313 0 -1 4202496 515715 1257 0 0 47179 89 0 0 25 0 9 0 877796215 1005703168 207731 33554432000 4194304 4417452 140737064688800 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/3669/statm: 245533 207731 180 55 0 243419 0
[pid=3669/tid=3676] ppid=3667 vsize=982132 CPUtime=57.91 cores=0-7
/proc/3669/task/3676/stat : 3676 (plingeling) R 3667 3669 3313 0 -1 4202560 44403 1257 0 0 5783 8 0 0 25 0 9 0 877797180 1005703168 207731 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3669/tid=3677] ppid=3667 vsize=982132 CPUtime=57.89 cores=0-7
/proc/3669/task/3677/stat : 3677 (plingeling) R 3667 3669 3313 0 -1 4202560 38900 1257 0 0 5779 10 0 0 25 0 9 0 877797180 1005703168 207731 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3669/tid=3678] ppid=3667 vsize=982132 CPUtime=57.93 cores=0-7
/proc/3669/task/3678/stat : 3678 (plingeling) R 3667 3669 3313 0 -1 4202560 41484 1257 0 0 5785 8 0 0 25 0 9 0 877797180 1005703168 207731 33554432000 4194304 4417452 140737064688800 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3669/tid=3679] ppid=3667 vsize=982132 CPUtime=57.9 cores=0-7
/proc/3669/task/3679/stat : 3679 (plingeling) R 3667 3669 3313 0 -1 4202560 38075 1257 0 0 5785 5 0 0 25 0 9 0 877797180 1005703168 207731 33554432000 4194304 4417452 140737064688800 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3669/tid=3680] ppid=3667 vsize=982132 CPUtime=57.93 cores=0-7
/proc/3669/task/3680/stat : 3680 (plingeling) R 3667 3669 3313 0 -1 4202560 46011 1257 0 0 5785 8 0 0 25 0 9 0 877797180 1005703168 207731 33554432000 4194304 4417452 140737064688800 18446744073709551615 4236930 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3669/tid=3681] ppid=3667 vsize=982132 CPUtime=57.6 cores=0-7
/proc/3669/task/3681/stat : 3681 (plingeling) R 3667 3669 3313 0 -1 4202560 38950 1257 0 0 5753 7 0 0 25 0 9 0 877797180 1005703168 207731 33554432000 4194304 4417452 140737064688800 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3669/tid=3682] ppid=3667 vsize=982132 CPUtime=57.92 cores=0-7
/proc/3669/task/3682/stat : 3682 (plingeling) R 3667 3669 3313 0 -1 4202560 42757 1257 0 0 5787 5 0 0 25 0 9 0 877797181 1005703168 207731 33554432000 4194304 4417452 140737064688800 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3669/tid=3683] ppid=3667 vsize=982132 CPUtime=57.87 cores=0-7
/proc/3669/task/3683/stat : 3683 (plingeling) R 3667 3669 3313 0 -1 4202560 39104 1257 0 0 5777 10 0 0 25 0 9 0 877797181 1005703168 207731 33554432000 4194304 4417452 140737064688800 18446744073709551615 4237002 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 472.68
Current children cumulated vsize (KiB) 982132

[startup+67.8013 s]
/proc/loadavg: 5.45 5.11 6.62 9/179 3685
/proc/meminfo: memFree=31104488/32951124 swapFree=67056684/67111528
[pid=3669] ppid=3667 vsize=982132 CPUtime=474.24 cores=0-7
/proc/3669/stat : 3669 (plingeling) S 3667 3669 3313 0 -1 4202496 515716 1257 0 0 47335 89 0 0 25 0 4 0 877796215 1005703168 207732 33554432000 4194304 4417452 140737064688800 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/3669/statm: 245533 207732 181 55 0 243419 0
[pid=3669/tid=3676] ppid=3667 vsize=982132 CPUtime=58.11 cores=0-7
/proc/3669/task/3676/stat : 3676 (plingeling) R 3667 3669 3313 0 -1 4202560 44403 1257 0 0 5803 8 0 0 25 0 4 0 877797180 1005703168 207732 33554432000 4194304 4417452 140737064688800 18446744073709551615 4236971 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3669/tid=3681] ppid=3667 vsize=982132 CPUtime=57.8 cores=0-7
/proc/3669/task/3681/stat : 3681 (plingeling) R 3667 3669 3313 0 -1 4202560 38950 1257 0 0 5773 7 0 0 25 0 4 0 877797180 1005703168 207732 33554432000 4194304 4417452 140737064688800 18446744073709551615 4366528 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3669/tid=3682] ppid=3667 vsize=982132 CPUtime=58.12 cores=0-7
/proc/3669/task/3682/stat : 3682 (plingeling) R 3667 3669 3313 0 -1 4202560 42757 1257 0 0 5807 5 0 0 25 0 4 0 877797181 1005703168 207732 33554432000 4194304 4417452 140737064688800 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 474.24
Current children cumulated vsize (KiB) 982132

Child status: 20
Real time (s): 67.8458
CPU time (s): 474.312
CPU user time (s): 473.378
CPU system time (s): 0.933858
CPU usage (%): 699.103
Max. virtual memory (cumulated for all children) (KiB): 1264864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 473.378
system time used= 0.933858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516976
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= 272
involuntary context switches= 2278

runsolver used 0.099984 second user time and 0.243962 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-10 01:25:55
IDJOB=3372518
IDBENCH=82430
IDSOLVER=1851
FILE ID=node109/3372518-1307661952
RUNJOBID= node109-1307656747-3328
PBS_JOBID= 13549423
Free space on /tmp= 74112 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pipesworld-27-step13.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372518-1307661952/watcher-3372518-1307661952 -o /tmp/evaluation-result-3372518-1307661952/solver-3372518-1307661952 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3372518-1307661952.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 52e16341bcff805ef2d6abe4e95359a0
RANDOM SEED=1955520239

node109.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.809
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.61
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.809
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.75
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.809
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.74
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.809
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.75
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.809
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.82
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.809
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.809
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.82
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31933200 kB
Buffers:        253776 kB
Cached:         516084 kB
SwapCached:       8608 kB
Active:         456928 kB
Inactive:       330812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31933200 kB
SwapTotal:    67111528 kB
SwapFree:     67056684 kB
Dirty:           93368 kB
Writeback:           0 kB
AnonPages:       15600 kB
Mapped:          12644 kB
Slab:           163996 kB
PageTables:       4248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   183644 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= 74112 MiB
End job on node109 at 2011-06-10 01:27:03