Trace number 3371468

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.17 1203.85

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom26.cnf
MD5SUM98fee1752ddf8cd7cd77925ecf4bfe6e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables73074
Number of clauses245746
Sum of the clauses size628346
Maximum clause length2232
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2124096
Number of clauses of size 3120415
Number of clauses of size 4350
Number of clauses of size 524
Number of clauses of size over 5860

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-3371468-1305422787/watcher-3371468-1305422787 -o /tmp/evaluation-result-3371468-1305422787/solver-3371468-1305422787 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371468-1305422787.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.85 5.72 6.92 3/351 10096
/proc/meminfo: memFree=17753232/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=15748 CPUtime=0 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) R 10094 10096 10053 0 -1 4202496 1993 1256 0 0 0 0 0 0 18 0 1 0 732509394 16125952 1924 33554432000 4194304 4417452 140737063873040 18446744073709551615 256415085661 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/10096/statm: 4450 1936 141 55 0 2336 0

[startup+0.085633 s]
/proc/loadavg: 3.85 5.72 6.92 3/351 10096
/proc/meminfo: memFree=17753232/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=29904 CPUtime=0.07 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) R 10094 10096 10053 0 -1 4202496 5617 1256 0 0 7 0 0 0 18 0 1 0 732509394 30621696 5500 33554432000 4194304 4417452 140737063873040 18446744073709551615 256415391488 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/10096/statm: 7476 5500 149 55 0 5362 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 29904

[startup+0.100634 s]
/proc/loadavg: 3.85 5.72 6.92 3/351 10096
/proc/meminfo: memFree=17753232/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=34000 CPUtime=0.09 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) R 10094 10096 10053 0 -1 4202496 6641 1256 0 0 8 1 0 0 18 0 1 0 732509394 34816000 6524 33554432000 4194304 4417452 140737063873040 18446744073709551615 256415010348 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/10096/statm: 8500 6524 149 55 0 6386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34000

[startup+0.300539 s]
/proc/loadavg: 3.85 5.72 6.92 3/351 10096
/proc/meminfo: memFree=17753232/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=66140 CPUtime=0.28 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) R 10094 10096 10053 0 -1 4202496 14676 1256 0 0 27 1 0 0 19 0 1 0 732509394 67727360 14559 33554432000 4194304 4417452 140737063873040 18446744073709551615 4227838 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/10096/statm: 16535 14559 149 55 0 14421 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 66140

[startup+0.700391 s]
/proc/loadavg: 3.85 5.72 6.92 3/351 10096
/proc/meminfo: memFree=17753232/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=235400 CPUtime=1.74 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 31249 1256 0 0 170 4 0 0 19 0 5 0 732509394 241049600 18474 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 58850 18474 174 55 0 56736 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 235400

[startup+1.50024 s]
/proc/loadavg: 3.95 5.71 6.91 10/360 10110
/proc/meminfo: memFree=17632276/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=237608 CPUtime=4.92 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 42407 1256 0 0 487 5 0 0 19 0 5 0 732509394 243310592 17953 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 59402 17953 174 55 0 57288 0
[pid=10096/tid=10107] ppid=10094 vsize=237608 CPUtime=1.14 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 7594 1256 0 0 114 0 0 0 25 0 5 0 732509429 243310592 17953 33554432000 4194304 4417452 140737063873040 18446744073709551615 4270966 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=237608 CPUtime=1.13 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 11145 1256 0 0 112 1 0 0 25 0 5 0 732509429 243310592 17953 33554432000 4194304 4417452 140737063873040 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=237608 CPUtime=1.12 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 3896 1256 0 0 112 0 0 0 25 0 5 0 732509429 243310592 17953 33554432000 4194304 4417452 140737063873040 18446744073709551615 4283557 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=237608 CPUtime=1.14 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 1401 1256 0 0 114 0 0 0 25 0 5 0 732509429 243310592 17953 33554432000 4194304 4417452 140737063873040 18446744073709551615 4232804 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 237608

[startup+3.10093 s]
/proc/loadavg: 3.95 5.71 6.91 9/360 10110
/proc/meminfo: memFree=17611692/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=256824 CPUtime=11.31 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 57719 1256 0 0 1124 7 0 0 19 0 5 0 732509394 262987776 21382 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 64206 21382 179 55 0 62092 0
[pid=10096/tid=10107] ppid=10094 vsize=256824 CPUtime=2.74 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 12529 1256 0 0 273 1 0 0 25 0 5 0 732509429 262987776 21382 33554432000 4194304 4417452 140737063873040 18446744073709551615 4266904 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=256824 CPUtime=2.74 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 17478 1256 0 0 272 2 0 0 25 0 5 0 732509429 262987776 21382 33554432000 4194304 4417452 140737063873040 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=256824 CPUtime=2.72 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 7940 1256 0 0 271 1 0 0 25 0 5 0 732509429 262987776 21382 33554432000 4194304 4417452 140737063873040 18446744073709551615 4254669 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=256824 CPUtime=2.74 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 1401 1256 0 0 274 0 0 0 25 0 5 0 732509429 262987776 21382 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.31
Current children cumulated vsize (KiB) 256824

[startup+6.30033 s]
/proc/loadavg: 4.27 5.74 6.91 9/360 10110
/proc/meminfo: memFree=17585448/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=256704 CPUtime=24.08 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 59602 1256 0 0 2400 8 0 0 19 0 5 0 732509394 262864896 23231 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 64176 23231 180 55 0 62062 0
[pid=10096/tid=10107] ppid=10094 vsize=256704 CPUtime=5.94 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 12599 1256 0 0 593 1 0 0 25 0 5 0 732509429 262864896 23231 33554432000 4194304 4417452 140737063873040 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=256704 CPUtime=5.93 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 19290 1256 0 0 591 2 0 0 25 0 5 0 732509429 262864896 23231 33554432000 4194304 4417452 140737063873040 18446744073709551615 4336693 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=256704 CPUtime=5.88 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 7941 1256 0 0 587 1 0 0 25 0 5 0 732509429 262864896 23231 33554432000 4194304 4417452 140737063873040 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=256704 CPUtime=5.94 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 1401 1256 0 0 594 0 0 0 25 0 5 0 732509429 262864896 23231 33554432000 4194304 4417452 140737063873040 18446744073709551615 4236961 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.08
Current children cumulated vsize (KiB) 256704

[startup+12.7011 s]
/proc/loadavg: 4.57 5.78 6.92 9/360 10110
/proc/meminfo: memFree=17594156/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=258736 CPUtime=49.61 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 60546 1256 0 0 4953 8 0 0 19 0 5 0 732509394 264945664 23186 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 64684 23186 180 55 0 62570 0
[pid=10096/tid=10107] ppid=10094 vsize=258736 CPUtime=12.34 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 12619 1256 0 0 1233 1 0 0 25 0 5 0 732509429 264945664 23186 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=258736 CPUtime=12.34 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 19311 1256 0 0 1232 2 0 0 25 0 5 0 732509429 264945664 23186 33554432000 4194304 4417452 140737063873040 18446744073709551615 4258462 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=258736 CPUtime=12.21 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 7973 1256 0 0 1220 1 0 0 25 0 5 0 732509429 264945664 23186 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=258736 CPUtime=12.34 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 2272 1256 0 0 1234 0 0 0 25 0 5 0 732509429 264945664 23186 33554432000 4194304 4417452 140737063873040 18446744073709551615 4353531 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 49.61
Current children cumulated vsize (KiB) 258736

[startup+25.5007 s]
/proc/loadavg: 5.09 5.85 6.93 9/360 10111
/proc/meminfo: memFree=17555072/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=274908 CPUtime=100.65 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 64680 1256 0 0 10057 8 0 0 19 0 5 0 732509394 281505792 27235 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 68727 27235 180 55 0 66613 0
[pid=10096/tid=10107] ppid=10094 vsize=274908 CPUtime=25.14 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 13179 1256 0 0 2513 1 0 0 25 0 5 0 732509429 281505792 27235 33554432000 4194304 4417452 140737063873040 18446744073709551615 4353520 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=274908 CPUtime=25.14 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 19529 1256 0 0 2512 2 0 0 25 0 5 0 732509429 281505792 27235 33554432000 4194304 4417452 140737063873040 18446744073709551615 4358116 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=274908 CPUtime=24.86 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 8844 1256 0 0 2485 1 0 0 25 0 5 0 732509429 281505792 27235 33554432000 4194304 4417452 140737063873040 18446744073709551615 4235713 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=274908 CPUtime=25.14 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 4757 1256 0 0 2514 0 0 0 25 0 5 0 732509429 281505792 27235 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 100.65
Current children cumulated vsize (KiB) 274908

[startup+51.1009 s]
/proc/loadavg: 6.31 6.07 6.97 9/360 10111
/proc/meminfo: memFree=17513736/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=291400 CPUtime=202.77 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 78674 1256 0 0 20267 10 0 0 19 0 5 0 732509394 298393600 32191 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 72850 32191 180 55 0 70736 0
[pid=10096/tid=10107] ppid=10094 vsize=291400 CPUtime=50.74 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 13827 1256 0 0 5073 1 0 0 25 0 5 0 732509429 298393600 32191 33554432000 4194304 4417452 140737063873040 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=291400 CPUtime=50.74 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 24912 1256 0 0 5071 3 0 0 25 0 5 0 732509429 298393600 32191 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=291400 CPUtime=50.18 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 9931 1256 0 0 5017 1 0 0 25 0 5 0 732509429 298393600 32191 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364812 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=291400 CPUtime=50.74 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 11633 1256 0 0 5073 1 0 0 25 0 5 0 732509429 298393600 32191 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 202.77
Current children cumulated vsize (KiB) 291400

[startup+102.313 s]
/proc/loadavg: 7.34 6.38 7.03 9/360 10113
/proc/meminfo: memFree=17472304/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=301120 CPUtime=407.06 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 101293 1256 0 0 40692 14 0 0 19 0 5 0 732509394 308346880 34812 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 75280 34812 180 55 0 73166 0
[pid=10096/tid=10107] ppid=10094 vsize=301120 CPUtime=101.95 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 17254 1256 0 0 10194 1 0 0 25 0 5 0 732509429 308346880 34812 33554432000 4194304 4417452 140737063873040 18446744073709551615 4357918 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=301120 CPUtime=101.95 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 42971 1256 0 0 10189 6 0 0 25 0 5 0 732509429 308346880 34812 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=301120 CPUtime=100.81 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 10268 1256 0 0 10080 1 0 0 25 0 5 0 732509429 308346880 34812 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=301120 CPUtime=101.96 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 12429 1256 0 0 10194 2 0 0 25 0 5 0 732509429 308346880 34812 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 407.06
Current children cumulated vsize (KiB) 301120

[startup+162.301 s]
/proc/loadavg: 7.88 6.71 7.09 9/360 10114
/proc/meminfo: memFree=17429352/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=326364 CPUtime=646.35 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 172226 1256 0 0 64611 24 0 0 19 0 5 0 732509394 334196736 40901 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 81591 40901 180 55 0 79477 0
[pid=10096/tid=10107] ppid=10094 vsize=326364 CPUtime=161.95 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 28082 1256 0 0 16192 3 0 0 25 0 5 0 732509429 334196736 40901 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=326364 CPUtime=161.94 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 71904 1256 0 0 16184 10 0 0 25 0 5 0 732509429 334196736 40901 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=326364 CPUtime=160.14 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 25962 1256 0 0 16011 3 0 0 25 0 5 0 732509429 334196736 40901 33554432000 4194304 4417452 140737063873040 18446744073709551615 4232787 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=326364 CPUtime=161.94 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 27907 1256 0 0 16191 3 0 0 25 0 5 0 732509429 334196736 40901 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 646.35
Current children cumulated vsize (KiB) 326364


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

[pid=10096/tid=10108] ppid=10094 vsize=570492 CPUtime=701.96 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 346712 1256 0 0 70149 47 0 0 25 0 5 0 732509429 584183808 107301 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=570492 CPUtime=694.15 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 90479 1256 0 0 69402 13 0 0 25 0 5 0 732509429 584183808 107301 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=570492 CPUtime=701.97 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 148262 1256 0 0 70175 22 0 0 25 0 5 0 732509429 584183808 107301 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2800.41
Current children cumulated vsize (KiB) 570492

[startup+762.314 s]
/proc/loadavg: 8.30 7.95 7.57 10/361 10133
/proc/meminfo: memFree=17072696/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=555860 CPUtime=3039.45 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 718727 1256 0 0 303843 102 0 0 19 0 5 0 732509394 569200640 94788 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 138965 94788 180 55 0 136851 0
[pid=10096/tid=10107] ppid=10094 vsize=555860 CPUtime=761.98 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 78714 1256 0 0 76189 9 0 0 25 0 5 0 732509429 569200640 94788 33554432000 4194304 4417452 140737063873040 18446744073709551615 4263090 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=555860 CPUtime=761.96 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 363702 1256 0 0 76146 50 0 0 25 0 5 0 732509429 569200640 94788 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=555860 CPUtime=753.29 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 97200 1256 0 0 75315 14 0 0 25 0 5 0 732509429 569200640 94788 33554432000 4194304 4417452 140737063873040 18446744073709551615 4317337 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=555860 CPUtime=761.84 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 160740 1256 0 0 76160 24 0 0 25 0 5 0 732509429 569200640 94788 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3039.45
Current children cumulated vsize (KiB) 555860

[startup+822.3 s]
/proc/loadavg: 8.35 8.03 7.62 9/360 10135
/proc/meminfo: memFree=17065572/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=523216 CPUtime=3278.29 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 748145 1256 0 0 327723 106 0 0 19 0 5 0 732509394 535773184 94442 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 130804 94442 180 55 0 128690 0
[pid=10096/tid=10107] ppid=10094 vsize=523216 CPUtime=821.97 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 82827 1256 0 0 82187 10 0 0 25 0 5 0 732509429 535773184 94442 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=523216 CPUtime=821.7 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 380815 1256 0 0 82118 52 0 0 25 0 5 0 732509429 535773184 94442 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=523216 CPUtime=812.42 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 97200 1256 0 0 81228 14 0 0 25 0 5 0 732509429 535773184 94442 33554432000 4194304 4417452 140737063873040 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=523216 CPUtime=821.83 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 168932 1256 0 0 82157 26 0 0 25 0 5 0 732509429 535773184 94442 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3278.29
Current children cumulated vsize (KiB) 523216

[startup+882.301 s]
/proc/loadavg: 8.20 8.04 7.65 9/360 10136
/proc/meminfo: memFree=17029436/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=529740 CPUtime=3517.63 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 768294 1256 0 0 351653 110 0 0 19 0 5 0 732509394 542453760 94490 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 132435 94490 180 55 0 130321 0
[pid=10096/tid=10107] ppid=10094 vsize=529740 CPUtime=881.97 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 84489 1256 0 0 88187 10 0 0 25 0 5 0 732509429 542453760 94490 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=529740 CPUtime=881.7 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 399285 1256 0 0 88115 55 0 0 25 0 5 0 732509429 542453760 94490 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=529740 CPUtime=871.74 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 97217 1256 0 0 87160 14 0 0 25 0 5 0 732509429 542453760 94490 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=529740 CPUtime=881.83 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 168932 1256 0 0 88157 26 0 0 25 0 5 0 732509429 542453760 94490 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3517.63
Current children cumulated vsize (KiB) 529740

[startup+942.301 s]
/proc/loadavg: 8.20 8.06 7.68 9/360 10138
/proc/meminfo: memFree=17003228/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=508304 CPUtime=3756.98 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 797223 1256 0 0 375584 114 0 0 19 0 5 0 732509394 520503296 89759 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 127076 89759 180 55 0 124962 0
[pid=10096/tid=10107] ppid=10094 vsize=508304 CPUtime=941.97 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 88603 1256 0 0 94187 10 0 0 25 0 5 0 732509429 520503296 89759 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=508304 CPUtime=941.71 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 420827 1256 0 0 94112 59 0 0 25 0 5 0 732509429 520503296 89759 33554432000 4194304 4417452 140737063873040 18446744073709551615 4277945 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=508304 CPUtime=931.09 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 100490 1256 0 0 93094 15 0 0 25 0 5 0 732509429 520503296 89759 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=508304 CPUtime=941.83 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 168932 1256 0 0 94157 26 0 0 25 0 5 0 732509429 520503296 89759 33554432000 4194304 4417452 140737063873040 18446744073709551615 4357883 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3756.98
Current children cumulated vsize (KiB) 508304

[startup+1002.3 s]
/proc/loadavg: 8.13 8.06 7.70 9/360 10140
/proc/meminfo: memFree=17028476/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=501196 CPUtime=3996.32 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 833771 1256 0 0 399512 120 0 0 19 0 5 0 732509394 513224704 93375 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 125299 93375 180 55 0 123185 0
[pid=10096/tid=10107] ppid=10094 vsize=501196 CPUtime=1001.98 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 90619 1256 0 0 100187 11 0 0 25 0 5 0 732509429 513224704 93375 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=501196 CPUtime=1001.71 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 442138 1256 0 0 100109 62 0 0 25 0 5 0 732509429 513224704 93375 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=501196 CPUtime=990.42 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 100509 1256 0 0 99027 15 0 0 25 0 5 0 732509429 513224704 93375 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=501196 CPUtime=1001.83 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 182134 1256 0 0 100155 28 0 0 25 0 5 0 732509429 513224704 93375 33554432000 4194304 4417452 140737063873040 18446744073709551615 4353585 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3996.32
Current children cumulated vsize (KiB) 501196

[startup+1062.3 s]
/proc/loadavg: 8.10 8.06 7.72 9/360 10141
/proc/meminfo: memFree=16895868/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=599504 CPUtime=4235.66 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 863368 1256 0 0 423443 123 0 0 19 0 5 0 732509394 613892096 104856 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 149876 104856 180 55 0 147762 0
[pid=10096/tid=10107] ppid=10094 vsize=599504 CPUtime=1061.98 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 90779 1256 0 0 106187 11 0 0 25 0 5 0 732509429 613892096 104856 33554432000 4194304 4417452 140737063873040 18446744073709551615 4357256 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=599504 CPUtime=1061.72 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 462772 1256 0 0 106107 65 0 0 25 0 5 0 732509429 613892096 104856 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=599504 CPUtime=1049.76 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 100509 1256 0 0 104961 15 0 0 25 0 5 0 732509429 613892096 104856 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=599504 CPUtime=1061.83 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 190937 1256 0 0 106155 28 0 0 25 0 5 0 732509429 613892096 104856 33554432000 4194304 4417452 140737063873040 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4235.66
Current children cumulated vsize (KiB) 599504

[startup+1122.3 s]
/proc/loadavg: 8.08 8.06 7.74 9/360 10143
/proc/meminfo: memFree=16853164/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=627328 CPUtime=4474.99 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 937072 1256 0 0 447367 132 0 0 19 0 5 0 732509394 642383872 127520 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 156832 127520 180 55 0 154718 0
[pid=10096/tid=10107] ppid=10094 vsize=627328 CPUtime=1121.97 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 98420 1256 0 0 112185 12 0 0 25 0 5 0 732509429 642383872 127520 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=627328 CPUtime=1121.71 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 480767 1256 0 0 112104 67 0 0 25 0 5 0 732509429 642383872 127520 33554432000 4194304 4417452 140737063873040 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=627328 CPUtime=1109.09 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 121099 1256 0 0 110892 17 0 0 25 0 5 0 732509429 642383872 127520 33554432000 4194304 4417452 140737063873040 18446744073709551615 4250505 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=627328 CPUtime=1121.84 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 218415 1256 0 0 112152 32 0 0 25 0 5 0 732509429 642383872 127520 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4474.99
Current children cumulated vsize (KiB) 627328

[startup+1182.3 s]
/proc/loadavg: 8.13 8.08 7.76 9/360 10144
/proc/meminfo: memFree=16851880/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=621608 CPUtime=4714.32 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 993237 1256 0 0 471290 142 0 0 19 0 5 0 732509394 636526592 123103 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 155402 123103 180 55 0 153288 0
[pid=10096/tid=10107] ppid=10094 vsize=621608 CPUtime=1181.98 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 102534 1256 0 0 118184 14 0 0 25 0 5 0 732509429 636526592 123103 33554432000 4194304 4417452 140737063873040 18446744073709551615 4365023 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=621608 CPUtime=1181.72 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 491742 1256 0 0 118103 69 0 0 25 0 5 0 732509429 636526592 123103 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364488 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=621608 CPUtime=1168.41 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 123602 1256 0 0 116824 17 0 0 25 0 5 0 732509429 636526592 123103 33554432000 4194304 4417452 140737063873040 18446744073709551615 4366090 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=621608 CPUtime=1181.84 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 256988 1256 0 0 118146 38 0 0 25 0 5 0 732509429 636526592 123103 33554432000 4194304 4417452 140737063873040 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4714.32
Current children cumulated vsize (KiB) 621608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.09 8.07 7.77 5/354 10146
/proc/meminfo: memFree=17255032/32950928 swapFree=67111200/67111528
[pid=10096] ppid=10094 vsize=641772 CPUtime=4800.1 cores=0,2,4,6
/proc/10096/stat : 10096 (plingeling) S 10094 10096 10053 0 -1 4202496 1019162 1256 0 0 479864 146 0 0 19 0 5 0 732509394 657174528 126176 33554432000 4194304 4417452 140737063873040 18446744073709551615 256427194341 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/10096/statm: 160443 126176 180 55 0 158329 0
[pid=10096/tid=10107] ppid=10094 vsize=641772 CPUtime=1203.49 cores=0,2,4,6
/proc/10096/task/10107/stat : 10107 (plingeling) R 10094 10096 10053 0 -1 4202560 106630 1256 0 0 120335 14 0 0 25 0 5 0 732509429 657174528 126176 33554432000 4194304 4417452 140737063873040 18446744073709551615 4265360 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=10096/tid=10108] ppid=10094 vsize=641772 CPUtime=1203.23 cores=0,2,4,6
/proc/10096/task/10108/stat : 10108 (plingeling) R 10094 10096 10053 0 -1 4202560 504227 1256 0 0 120252 71 0 0 25 0 5 0 732509429 657174528 126176 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10096/tid=10109] ppid=10094 vsize=641772 CPUtime=1189.66 cores=0,2,4,6
/proc/10096/task/10109/stat : 10109 (plingeling) R 10094 10096 10053 0 -1 4202560 127698 1256 0 0 118948 18 0 0 25 0 5 0 732509429 657174528 126176 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10096/tid=10110] ppid=10094 vsize=641772 CPUtime=1203.35 cores=0,2,4,6
/proc/10096/task/10110/stat : 10110 (plingeling) R 10094 10096 10053 0 -1 4202560 262236 1256 0 0 120297 38 0 0 25 0 5 0 732509429 657174528 126176 33554432000 4194304 4417452 140737063873040 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 641772

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.85
CPU time (s): 4800.17
CPU user time (s): 4798.68
CPU system time (s): 1.49077
CPU usage (%): 398.737
Max. virtual memory (cumulated for all children) (KiB): 740904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.68
system time used= 1.49077
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1020418
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= 143
involuntary context switches= 23254

runsolver used 3.70544 second user time and 9.51455 second system time

The end

Launcher Data 

Begin job on node115 at 2011-05-15 03:26:27
IDJOB=3371468
IDBENCH=83107
IDSOLVER=1848
FILE ID=node115/3371468-1305422787
RUNJOBID= node115-1305422787-10071
PBS_JOBID= 13324588
Free space on /tmp= 73228 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom26.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3371468-1305422787/watcher-3371468-1305422787 -o /tmp/evaluation-result-3371468-1305422787/solver-3371468-1305422787 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3371468-1305422787.cnf

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

MD5SUM BENCH= 98fee1752ddf8cd7cd77925ecf4bfe6e
RANDOM SEED=1829846805

node115.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.811
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.62
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.811
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	: 5226.15
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.811
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.811
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.811
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.77
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.811
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.74
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.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
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:     32950928 kB
MemFree:      17753512 kB
Buffers:        293572 kB
Cached:        4549520 kB
SwapCached:          0 kB
Active:       12000208 kB
Inactive:      2877304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17753512 kB
SwapTotal:    67111528 kB
SwapFree:     67111200 kB
Dirty:            8268 kB
Writeback:           0 kB
AnonPages:    10035036 kB
Mapped:          27604 kB
Slab:           211300 kB
PageTables:      40904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 69681860 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= 73232 MiB
End job on node115 at 2011-05-15 03:46:33