Trace number 3371279

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.42 1203.25

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxxor/maxxor064.cnf
MD5SUM902b28046d424b16042ca612ddad48e0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark788.78
Satisfiable
(Un)Satisfiability was proved
Number of variables51064
Number of clauses152039
Sum of the clauses size354755
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2101358
Number of clauses of size 350679
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-3371279-1305417075/watcher-3371279-1305417075 -o /tmp/evaluation-result-3371279-1305417075/solver-3371279-1305417075 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371279-1305417075.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.79 5.01 6.54 2/298 18247
/proc/meminfo: memFree=12160944/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=8728 CPUtime=0 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 215 0 0 0 0 0 0 0 21 0 1 0 653305420 8937472 146 33554432000 4194304 4417452 140736364169664 18446744073709551615 255377301248 0 0 4096 0 18446744071562362840 0 0 17 2 0 0 0
/proc/18247/statm: 2182 146 122 55 0 68 0

[startup+0.074071 s]
/proc/loadavg: 3.79 5.01 6.54 2/298 18247
/proc/meminfo: memFree=12160944/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=18348 CPUtime=0.04 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) R 18245 18247 17455 0 -1 4202496 2701 1258 0 2 4 0 0 0 21 0 1 0 653305420 18788352 2611 33554432000 4194304 4417452 140736364169664 18446744073709551615 255377301248 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/18247/statm: 4587 2611 149 55 0 2473 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18348

[startup+0.1011 s]
/proc/loadavg: 3.79 5.01 6.54 2/298 18247
/proc/meminfo: memFree=12160944/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=27160 CPUtime=0.07 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) R 18245 18247 17455 0 -1 4202496 4978 1258 0 2 6 1 0 0 21 0 1 0 653305420 27811840 4814 33554432000 4194304 4417452 140736364169664 18446744073709551615 255376920112 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/18247/statm: 6790 4814 149 55 0 4676 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 27160

[startup+0.300987 s]
/proc/loadavg: 3.79 5.01 6.54 2/298 18247
/proc/meminfo: memFree=12160944/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=93360 CPUtime=0.56 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 14637 1258 0 2 54 2 0 0 21 0 5 0 653305420 95600640 11120 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 23340 11120 173 55 0 21226 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 93360

[startup+0.700947 s]
/proc/loadavg: 3.79 5.01 6.54 2/298 18247
/proc/meminfo: memFree=12160944/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=94952 CPUtime=2.16 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 17562 1258 0 2 214 2 0 0 21 0 5 0 653305420 97230848 11518 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 23738 11518 173 55 0 21624 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 94952

[startup+1.50077 s]
/proc/loadavg: 3.79 5.01 6.54 7/306 18268
/proc/meminfo: memFree=11965292/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=92556 CPUtime=5.35 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 19657 1258 0 2 532 3 0 0 21 0 5 0 653305420 94777344 10922 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 23139 10922 176 55 0 21025 0
[pid=18247/tid=18254] ppid=18245 vsize=92556 CPUtime=1.29 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 2509 1258 0 2 129 0 0 0 25 0 5 0 653305440 94777344 10922 33554432000 4194304 4417452 140736364169664 18446744073709551615 4276659 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=92556 CPUtime=1.28 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 4801 1258 0 2 128 0 0 0 25 0 5 0 653305440 94777344 10922 33554432000 4194304 4417452 140736364169664 18446744073709551615 4275978 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=92556 CPUtime=1.28 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 1767 1258 0 2 128 0 0 0 25 0 5 0 653305440 94777344 10922 33554432000 4194304 4417452 140736364169664 18446744073709551615 4276477 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=92556 CPUtime=1.29 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 1138 1258 0 2 129 0 0 0 25 0 5 0 653305440 94777344 10922 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.35
Current children cumulated vsize (KiB) 92556

[startup+3.10047 s]
/proc/loadavg: 4.20 5.08 6.55 10/310 18272
/proc/meminfo: memFree=11917520/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=172364 CPUtime=11.74 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 29719 1258 0 2 1170 4 0 0 21 0 5 0 653305420 176500736 15085 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 43091 15085 179 55 0 40977 0
[pid=18247/tid=18254] ppid=18245 vsize=172364 CPUtime=2.89 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 8349 1258 0 2 288 1 0 0 25 0 5 0 653305440 176500736 15085 33554432000 4194304 4417452 140736364169664 18446744073709551615 4253395 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=172364 CPUtime=2.88 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 7328 1258 0 2 288 0 0 0 25 0 5 0 653305440 176500736 15085 33554432000 4194304 4417452 140736364169664 18446744073709551615 4252336 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=172364 CPUtime=2.87 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 3462 1258 0 2 287 0 0 0 25 0 5 0 653305440 176500736 15085 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=172364 CPUtime=2.89 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 1138 1258 0 2 289 0 0 0 25 0 5 0 653305440 176500736 15085 33554432000 4194304 4417452 140736364169664 18446744073709551615 255376998496 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.74
Current children cumulated vsize (KiB) 172364

[startup+6.30088 s]
/proc/loadavg: 4.20 5.08 6.55 9/310 18273
/proc/meminfo: memFree=11911880/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=175672 CPUtime=24.5 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 30620 1258 0 2 2446 4 0 0 21 0 5 0 653305420 179888128 15916 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 43918 15916 179 55 0 41804 0
[pid=18247/tid=18254] ppid=18245 vsize=175672 CPUtime=6.09 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 8351 1258 0 2 608 1 0 0 25 0 5 0 653305440 179888128 15916 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=175672 CPUtime=6.08 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 7330 1258 0 2 608 0 0 0 25 0 5 0 653305440 179888128 15916 33554432000 4194304 4417452 140736364169664 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=175672 CPUtime=6.04 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 3619 1258 0 2 604 0 0 0 25 0 5 0 653305440 179888128 15916 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=175672 CPUtime=6.09 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 1878 1258 0 2 609 0 0 0 25 0 5 0 653305440 179888128 15916 33554432000 4194304 4417452 140736364169664 18446744073709551615 4358748 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.5
Current children cumulated vsize (KiB) 175672

[startup+12.7007 s]
/proc/loadavg: 4.79 5.17 6.57 10/310 18273
/proc/meminfo: memFree=11850912/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=189456 CPUtime=50.05 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 34131 1258 0 2 5000 5 0 0 21 0 5 0 653305420 194002944 19365 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 47364 19365 180 55 0 45250 0
[pid=18247/tid=18254] ppid=18245 vsize=189456 CPUtime=12.49 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 8435 1258 0 2 1248 1 0 0 25 0 5 0 653305440 194002944 19365 33554432000 4194304 4417452 140736364169664 18446744073709551615 4353585 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=189456 CPUtime=12.49 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 7456 1258 0 2 1248 1 0 0 25 0 5 0 653305440 194002944 19365 33554432000 4194304 4417452 140736364169664 18446744073709551615 4232666 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=189456 CPUtime=12.37 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 5320 1258 0 2 1237 0 0 0 25 0 5 0 653305440 194002944 19365 33554432000 4194304 4417452 140736364169664 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=189456 CPUtime=12.49 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 3478 1258 0 2 1249 0 0 0 25 0 5 0 653305440 194002944 19365 33554432000 4194304 4417452 140736364169664 18446744073709551615 4355860 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.05
Current children cumulated vsize (KiB) 189456

[startup+25.5003 s]
/proc/loadavg: 5.35 5.28 6.59 10/310 18273
/proc/meminfo: memFree=11842668/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=196428 CPUtime=101.13 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 36956 1258 0 2 10108 5 0 0 21 0 5 0 653305420 201142272 20597 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 49107 20597 180 55 0 46993 0
[pid=18247/tid=18254] ppid=18245 vsize=196428 CPUtime=25.29 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 8447 1258 0 2 2528 1 0 0 25 0 5 0 653305440 201142272 20597 33554432000 4194304 4417452 140736364169664 18446744073709551615 4236930 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=196428 CPUtime=25.29 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 7934 1258 0 2 2528 1 0 0 25 0 5 0 653305440 201142272 20597 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=196428 CPUtime=25.05 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 5683 1258 0 2 2505 0 0 0 25 0 5 0 653305440 201142272 20597 33554432000 4194304 4417452 140736364169664 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=196428 CPUtime=25.29 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 5450 1258 0 2 2529 0 0 0 25 0 5 0 653305440 201142272 20597 33554432000 4194304 4417452 140736364169664 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.13
Current children cumulated vsize (KiB) 196428

[startup+51.1006 s]
/proc/loadavg: 6.40 5.53 6.63 10/310 18274
/proc/meminfo: memFree=11811652/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=221056 CPUtime=203.3 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 64056 1258 0 2 20321 9 0 0 21 0 5 0 653305420 226361344 27271 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 55264 27271 180 55 0 53150 0
[pid=18247/tid=18254] ppid=18245 vsize=221056 CPUtime=50.89 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 9625 1258 0 2 5088 1 0 0 25 0 5 0 653305440 226361344 27271 33554432000 4194304 4417452 140736364169664 18446744073709551615 4357003 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=221056 CPUtime=50.89 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 8779 1258 0 2 5088 1 0 0 25 0 5 0 653305440 226361344 27271 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364399 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=221056 CPUtime=50.43 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 12559 1258 0 2 5041 2 0 0 25 0 5 0 653305440 226361344 27271 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=221056 CPUtime=50.89 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 23651 1258 0 2 5087 2 0 0 25 0 5 0 653305440 226361344 27271 33554432000 4194304 4417452 140736364169664 18446744073709551615 4357436 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.3
Current children cumulated vsize (KiB) 221056

[startup+102.311 s]
/proc/loadavg: 7.47 5.97 6.72 9/310 18275
/proc/meminfo: memFree=11739852/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=253100 CPUtime=407.66 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 110012 1258 0 2 40751 15 0 0 21 0 5 0 653305420 259174400 35282 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 63275 35282 180 55 0 61161 0
[pid=18247/tid=18254] ppid=18245 vsize=253100 CPUtime=102.09 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 12482 1258 0 2 10208 1 0 0 25 0 5 0 653305440 259174400 35282 33554432000 4194304 4417452 140736364169664 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=253100 CPUtime=102.1 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 12443 1258 0 2 10208 2 0 0 25 0 5 0 653305440 259174400 35282 33554432000 4194304 4417452 140736364169664 18446744073709551615 4365221 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=253100 CPUtime=101.16 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 17057 1258 0 2 10114 2 0 0 25 0 5 0 653305440 259174400 35282 33554432000 4194304 4417452 140736364169664 18446744073709551615 4346473 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=253100 CPUtime=102.1 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 58588 1258 0 2 10203 7 0 0 25 0 5 0 653305440 259174400 35282 33554432000 4194304 4417452 140736364169664 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.66
Current children cumulated vsize (KiB) 253100

[startup+162.301 s]
/proc/loadavg: 7.92 6.37 6.81 9/310 18277
/proc/meminfo: memFree=11604552/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=355676 CPUtime=647.09 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 172619 1258 0 2 64686 23 0 0 21 0 5 0 653305420 364212224 60926 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 88919 60926 180 55 0 86805 0
[pid=18247/tid=18254] ppid=18245 vsize=355676 CPUtime=162.08 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 18646 1258 0 2 16206 2 0 0 25 0 5 0 653305440 364212224 60926 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=355676 CPUtime=162.09 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 18608 1258 0 2 16207 2 0 0 25 0 5 0 653305440 364212224 60926 33554432000 4194304 4417452 140736364169664 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=355676 CPUtime=160.61 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 30831 1258 0 2 16057 4 0 0 25 0 5 0 653305440 364212224 60926 33554432000 4194304 4417452 140736364169664 18446744073709551615 4366038 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=355676 CPUtime=162.09 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 95092 1258 0 2 16198 11 0 0 25 0 5 0 653305440 364212224 60926 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.09
Current children cumulated vsize (KiB) 355676


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

[pid=18247/tid=18255] ppid=18245 vsize=601372 CPUtime=702.1 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 61631 1258 0 2 70202 8 0 0 25 0 5 0 653305440 615804928 122382 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=601372 CPUtime=695.66 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 87096 1258 0 2 69553 13 0 0 25 0 5 0 653305440 615804928 122382 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=601372 CPUtime=702.1 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 208901 1258 0 2 70185 25 0 0 25 0 5 0 653305440 615804928 122382 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364446 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.18
Current children cumulated vsize (KiB) 601372

[startup+762.312 s]
/proc/loadavg: 8.26 7.98 7.46 10/310 18302
/proc/meminfo: memFree=10922176/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=647496 CPUtime=3041.65 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 462014 1258 0 2 304103 62 0 0 21 0 5 0 653305420 663035904 133913 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 161874 133913 180 55 0 159760 0
[pid=18247/tid=18254] ppid=18245 vsize=647496 CPUtime=762.11 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 65271 1258 0 2 76202 9 0 0 25 0 5 0 653305440 663035904 133913 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=647496 CPUtime=762.12 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 73560 1258 0 2 76202 10 0 0 25 0 5 0 653305440 663035904 133913 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=647496 CPUtime=755.1 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 88229 1258 0 2 75497 13 0 0 25 0 5 0 653305440 663035904 133913 33554432000 4194304 4417452 140736364169664 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=647496 CPUtime=762.11 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 225512 1258 0 2 76184 27 0 0 25 0 5 0 653305440 663035904 133913 33554432000 4194304 4417452 140736364169664 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3041.65
Current children cumulated vsize (KiB) 647496

[startup+822.301 s]
/proc/loadavg: 8.66 8.13 7.55 10/310 18306
/proc/meminfo: memFree=10895832/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=671684 CPUtime=3280.24 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 509756 1258 0 2 327956 68 0 0 21 0 5 0 653305420 687804416 139928 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 167921 139928 180 55 0 165807 0
[pid=18247/tid=18254] ppid=18245 vsize=671684 CPUtime=821.45 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 83706 1258 0 2 82135 10 0 0 25 0 5 0 653305440 687804416 139928 33554432000 4194304 4417452 140736364169664 18446744073709551615 4365118 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=671684 CPUtime=822.09 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 83694 1258 0 2 82198 11 0 0 25 0 5 0 653305440 687804416 139928 33554432000 4194304 4417452 140736364169664 18446744073709551615 4366407 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=671684 CPUtime=814.37 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 88238 1258 0 2 81424 13 0 0 25 0 5 0 653305440 687804416 139928 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=671684 CPUtime=822.11 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 244676 1258 0 2 82181 30 0 0 25 0 5 0 653305440 687804416 139928 33554432000 4194304 4417452 140736364169664 18446744073709551615 4357060 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.24
Current children cumulated vsize (KiB) 671684

[startup+882.301 s]
/proc/loadavg: 8.27 8.12 7.58 10/310 18308
/proc/meminfo: memFree=10578060/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=860696 CPUtime=3519.67 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 602264 1258 0 2 351889 78 0 0 21 0 5 0 653305420 881352704 187181 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 215174 187181 180 55 0 213060 0
[pid=18247/tid=18254] ppid=18245 vsize=860696 CPUtime=881.45 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 89021 1258 0 2 88134 11 0 0 25 0 5 0 653305440 881352704 187181 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=860696 CPUtime=882.09 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 105122 1258 0 2 88196 13 0 0 25 0 5 0 653305440 881352704 187181 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=860696 CPUtime=873.8 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 111376 1258 0 2 87365 15 0 0 25 0 5 0 653305440 881352704 187181 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=860696 CPUtime=882.11 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 287303 1258 0 2 88176 35 0 0 25 0 5 0 653305440 881352704 187181 33554432000 4194304 4417452 140736364169664 18446744073709551615 4236928 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.67
Current children cumulated vsize (KiB) 860696

[startup+942.301 s]
/proc/loadavg: 8.25 8.13 7.61 10/310 18310
/proc/meminfo: memFree=10937024/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=837676 CPUtime=3759.12 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 625674 1258 0 2 375831 81 0 0 21 0 5 0 653305420 857780224 181426 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 209419 181426 180 55 0 207305 0
[pid=18247/tid=18254] ppid=18245 vsize=837676 CPUtime=941.46 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 94173 1258 0 2 94134 12 0 0 25 0 5 0 653305440 857780224 181426 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=837676 CPUtime=942.1 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 109752 1258 0 2 94196 14 0 0 25 0 5 0 653305440 857780224 181426 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=837676 CPUtime=933.25 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 116811 1258 0 2 93309 16 0 0 25 0 5 0 653305440 857780224 181426 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=837676 CPUtime=942.11 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 295496 1258 0 2 94175 36 0 0 25 0 5 0 653305440 857780224 181426 33554432000 4194304 4417452 140736364169664 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3759.12
Current children cumulated vsize (KiB) 837676

[startup+1002.3 s]
/proc/loadavg: 8.17 8.13 7.64 10/310 18311
/proc/meminfo: memFree=10783260/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=940216 CPUtime=3998.58 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 660757 1258 0 2 399772 86 0 0 21 0 5 0 653305420 962781184 207061 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 235054 207061 180 55 0 232940 0
[pid=18247/tid=18254] ppid=18245 vsize=940216 CPUtime=1001.46 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 94735 1258 0 2 100134 12 0 0 25 0 5 0 653305440 962781184 207061 33554432000 4194304 4417452 140736364169664 18446744073709551615 4357260 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=940216 CPUtime=1002.1 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 119022 1258 0 2 100194 16 0 0 25 0 5 0 653305440 962781184 207061 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=940216 CPUtime=992.69 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 130020 1258 0 2 99252 17 0 0 25 0 5 0 653305440 962781184 207061 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=940216 CPUtime=1002.12 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 307538 1258 0 2 100174 38 0 0 25 0 5 0 653305440 962781184 207061 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3998.58
Current children cumulated vsize (KiB) 940216

[startup+1062.3 s]
/proc/loadavg: 8.25 8.15 7.68 10/310 18313
/proc/meminfo: memFree=10769736/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=974360 CPUtime=4238.01 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 741967 1258 0 2 423702 99 0 0 21 0 5 0 653305420 997744640 215597 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 243590 215597 180 55 0 241476 0
[pid=18247/tid=18254] ppid=18245 vsize=974360 CPUtime=1061.46 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 121885 1258 0 2 106131 15 0 0 25 0 5 0 653305440 997744640 215597 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=974360 CPUtime=1062.1 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 137060 1258 0 2 106192 18 0 0 25 0 5 0 653305440 997744640 215597 33554432000 4194304 4417452 140736364169664 18446744073709551615 4302932 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=974360 CPUtime=1052.12 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 134443 1258 0 2 105194 18 0 0 25 0 5 0 653305440 997744640 215597 33554432000 4194304 4417452 140736364169664 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=974360 CPUtime=1062.12 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 339137 1258 0 2 106168 44 0 0 25 0 5 0 653305440 997744640 215597 33554432000 4194304 4417452 140736364169664 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4238.01
Current children cumulated vsize (KiB) 974360

[startup+1122.3 s]
/proc/loadavg: 8.13 8.14 7.70 10/310 18314
/proc/meminfo: memFree=10888144/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=908220 CPUtime=4477.46 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 784390 1258 0 2 447639 107 0 0 21 0 5 0 653305420 930017280 199062 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 227055 199062 180 55 0 224941 0
[pid=18247/tid=18254] ppid=18245 vsize=908220 CPUtime=1121.47 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 129666 1258 0 2 112130 17 0 0 25 0 5 0 653305440 930017280 199062 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=908220 CPUtime=1122.1 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 159012 1258 0 2 112187 23 0 0 25 0 5 0 653305440 930017280 199062 33554432000 4194304 4417452 140736364169664 18446744073709551615 4275967 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=908220 CPUtime=1111.56 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 144445 1258 0 2 111137 19 0 0 25 0 5 0 653305440 930017280 199062 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=908220 CPUtime=1122.12 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 341825 1258 0 2 112168 44 0 0 25 0 5 0 653305440 930017280 199062 33554432000 4194304 4417452 140736364169664 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4477.46
Current children cumulated vsize (KiB) 908220

[startup+1182.3 s]
/proc/loadavg: 8.29 8.17 7.74 9/310 18316
/proc/meminfo: memFree=10688744/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=1019700 CPUtime=4716.92 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 834421 1258 0 2 471579 113 0 0 21 0 5 0 653305420 1044172800 226932 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 254925 226932 180 55 0 252811 0
[pid=18247/tid=18254] ppid=18245 vsize=1019700 CPUtime=1181.46 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 159145 1258 0 2 118126 20 0 0 25 0 5 0 653305440 1044172800 226932 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=1019700 CPUtime=1182.11 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 162519 1258 0 2 118187 24 0 0 25 0 5 0 653305440 1044172800 226932 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=1019700 CPUtime=1171.02 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 154878 1258 0 2 117081 21 0 0 25 0 5 0 653305440 1044172800 226932 33554432000 4194304 4417452 140736364169664 18446744073709551615 4275963 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=1019700 CPUtime=1182.12 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 348437 1258 0 2 118167 45 0 0 25 0 5 0 653305440 1044172800 226932 33554432000 4194304 4417452 140736364169664 18446744073709551615 4365973 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4716.92
Current children cumulated vsize (KiB) 1019700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.2 s]
/proc/loadavg: 8.28 8.18 7.75 9/310 18316
/proc/meminfo: memFree=10701024/32951124 swapFree=66050672/67111528
[pid=18247] ppid=18245 vsize=927048 CPUtime=4800.36 cores=0,2,4,6
/proc/18247/stat : 18247 (plingeling) S 18245 18247 17455 0 -1 4202496 841659 1258 0 2 479921 115 0 0 21 0 5 0 653305420 949297152 203768 33554432000 4194304 4417452 140736364169664 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/18247/statm: 231762 203768 180 55 0 229648 0
[pid=18247/tid=18254] ppid=18245 vsize=927048 CPUtime=1202.38 cores=0,2,4,6
/proc/18247/task/18254/stat : 18254 (plingeling) R 18245 18247 17455 0 -1 4202560 159363 1258 0 2 120217 21 0 0 25 0 5 0 653305440 949297152 203768 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=18247/tid=18255] ppid=18245 vsize=927048 CPUtime=1203.02 cores=0,2,4,6
/proc/18247/task/18255/stat : 18255 (plingeling) R 18245 18247 17455 0 -1 4202560 169539 1258 0 2 120277 25 0 0 25 0 5 0 653305440 949297152 203768 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=18247/tid=18256] ppid=18245 vsize=927048 CPUtime=1191.72 cores=0,2,4,6
/proc/18247/task/18256/stat : 18256 (plingeling) R 18245 18247 17455 0 -1 4202560 154878 1258 0 2 119151 21 0 0 25 0 5 0 653305440 949297152 203768 33554432000 4194304 4417452 140736364169664 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=18247/tid=18257] ppid=18245 vsize=927048 CPUtime=1203.03 cores=0,2,4,6
/proc/18247/task/18257/stat : 18257 (plingeling) R 18245 18247 17455 0 -1 4202560 348437 1258 0 2 120258 45 0 0 25 0 5 0 653305440 949297152 203768 33554432000 4194304 4417452 140736364169664 18446744073709551615 4250571 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 927048

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.25
CPU time (s): 4800.42
CPU user time (s): 4799.24
CPU system time (s): 1.18482
CPU usage (%): 398.954
Max. virtual memory (cumulated for all children) (KiB): 1173968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.24
system time used= 1.18482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 842917
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 168
involuntary context switches= 77912

runsolver used 3.22451 second user time and 7.95279 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-15 01:51:16
IDJOB=3371279
IDBENCH=70817
IDSOLVER=1848
FILE ID=node135/3371279-1305417075
RUNJOBID= node135-1305417075-18233
PBS_JOBID= 13324519
Free space on /tmp= 73336 MiB

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

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

MD5SUM BENCH= 902b28046d424b16042ca612ddad48e0
RANDOM SEED=620526587

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 6640.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12161712 kB
Buffers:        279432 kB
Cached:        5854172 kB
SwapCached:      50684 kB
Active:        9878752 kB
Inactive:     10668316 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12161712 kB
SwapTotal:    67111528 kB
SwapFree:     66050672 kB
Dirty:            5436 kB
Writeback:           0 kB
AnonPages:    14367616 kB
Mapped:          18380 kB
Slab:           134784 kB
PageTables:      46796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 57034868 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73328 MiB
End job on node135 at 2011-05-15 02:11:21