Trace number 3311599

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
STRUCTure 0.1 (hbr=2)SAT 116.493 29.5216

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf
MD5SUMba9975e86d838537f315701adfc9f925
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.003999
Satisfiable
(Un)Satisfiability was proved
Number of variables75
Number of clauses1597
Sum of the clauses size7985
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 51597
Number of clauses of size over 50

Solver Data 

0.10/0.11	15:15 INFO : Reading from input HOME/instance-3311599-1304176515.cnf
0.28/0.25	Executor set job limit to 1000000
0.28/0.25	Executor set job limit to 1000000
0.28/0.25	Executor set job limit to 1000000
0.28/0.25	Executor set job limit to 1000000
0.28/0.25	Starting Executor!
0.28/0.25	Starting Executor!
0.28/0.25	Starting Executor!
0.28/0.25	Starting Executor!
0.48/0.35	15:16 INFO : 75 variables remaining out of 75
0.48/0.35	15:16 INFO : 9582 literals remaining out of 9582
116.44/29.50	c Elapsed time 29.396
116.44/29.50	s SATISFIABLE
116.44/29.50	v -1 -2 3 4 -5 6 7 8 -9 -10 -11 -12 13 -14 -15 -16 17 -18 -19 20 -21 22 23 24 25 26 -27 -28 -29 -30 31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 45 46 -47 -48 -49 50 -51 52 -53 -54 -55 -56 -57 -58 -59 60 -61 62 -63 -64 -65 -66 -67 -68 -69 70 71 72 73 -74 75 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3311599-1304176515/watcher-3311599-1304176515 -o /tmp/evaluation-result-3311599-1304176515/solver-3311599-1304176515 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311599-1304176515.cnf -hbr 2 

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

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


[startup+0 s]
/proc/loadavg: 6.77 7.75 7.91 3/176 28884
/proc/meminfo: memFree=30111140/32951124 swapFree=67111364/67111528
[pid=28884] ppid=28882 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/28884/stat : 28884 (java) S 28882 28884 28847 0 -1 4202496 1428 0 0 0 0 0 0 0 18 0 2 0 529251907 29065216 898 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652662245 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/28884/statm: 7096 898 686 9 0 381 0
[pid=28884/tid=28887] ppid=28882 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28887/stat : 28887 (java) R 28882 28884 28847 0 -1 4202560 78 0 0 0 0 0 0 0 19 0 2 0 529251908 31313920 905 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253635936359 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.0709541 s]
/proc/loadavg: 6.77 7.75 7.91 3/176 28884
/proc/meminfo: memFree=30111140/32951124 swapFree=67111364/67111528
[pid=28884] ppid=28882 vsize=15609780 CPUtime=0.05 cores=1,3,5,7
/proc/28884/stat : 28884 (java) S 28882 28884 28847 0 -1 4202496 4409 0 1 0 5 0 0 0 18 0 18 0 529251907 15984414720 3849 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28884/statm: 3902445 3850 1779 9 0 3893164 0
[pid=28884/tid=28887] ppid=28882 vsize=15609780 CPUtime=0.05 cores=1,3,5,7
/proc/28884/task/28887/stat : 28887 (java) R 28882 28884 28847 0 -1 4202560 2993 0 1 0 5 0 0 0 18 0 18 0 529251908 15984414720 3850 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 47571325102900 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780

[startup+0.100958 s]
/proc/loadavg: 6.77 7.75 7.91 3/176 28884
/proc/meminfo: memFree=30111140/32951124 swapFree=67111364/67111528
[pid=28884] ppid=28882 vsize=15676312 CPUtime=0.1 cores=1,3,5,7
/proc/28884/stat : 28884 (java) S 28882 28884 28847 0 -1 4202496 5578 0 1 0 9 1 0 0 18 0 18 0 529251907 16052543488 4983 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28884/statm: 3919078 4984 2117 9 0 3909797 0
[pid=28884/tid=28887] ppid=28882 vsize=15676312 CPUtime=0.08 cores=1,3,5,7
/proc/28884/task/28887/stat : 28887 (java) R 28882 28884 28847 0 -1 4202560 3419 0 1 0 7 1 0 0 18 0 18 0 529251908 16052543488 4986 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 47571320602629 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676312

[startup+0.303397 s]
/proc/loadavg: 6.77 7.75 7.91 3/176 28884
/proc/meminfo: memFree=30111140/32951124 swapFree=67111364/67111528
[pid=28884] ppid=28882 vsize=15681308 CPUtime=0.48 cores=1,3,5,7
/proc/28884/stat : 28884 (java) S 28882 28884 28847 0 -1 4202496 9323 0 1 0 46 2 0 0 18 0 22 0 529251907 16057659392 8457 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28884/statm: 3920327 8457 2213 9 0 3911046 0
[pid=28884/tid=28887] ppid=28882 vsize=15681308 CPUtime=0.28 cores=1,3,5,7
/proc/28884/task/28887/stat : 28887 (java) R 28882 28884 28847 0 -1 4202560 6040 0 1 0 27 1 0 0 19 0 22 0 529251908 16057659392 8459 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253640520389 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 15681308

[startup+0.700805 s]
/proc/loadavg: 6.77 7.75 7.91 3/176 28884
/proc/meminfo: memFree=30111140/32951124 swapFree=67111364/67111528
[pid=28884] ppid=28882 vsize=15700724 CPUtime=1.9 cores=1,3,5,7
/proc/28884/stat : 28884 (java) S 28882 28884 28847 0 -1 4202496 28158 0 1 0 186 4 0 0 18 0 22 0 529251907 16077541376 24191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28884/statm: 3925181 24191 2254 9 0 3915900 0
[pid=28884/tid=28887] ppid=28882 vsize=15700724 CPUtime=0.33 cores=1,3,5,7
/proc/28884/task/28887/stat : 28887 (java) S 28882 28884 28847 0 -1 4202560 6250 0 1 0 32 1 0 0 20 0 22 0 529251908 16077541376 24191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 15700724

[startup+1.50166 s]
/proc/loadavg: 6.77 7.75 7.91 15/220 28928
/proc/meminfo: memFree=29836576/32951124 swapFree=67111364/67111528
[pid=28884] ppid=28882 vsize=15702348 CPUtime=5.08 cores=1,3,5,7
/proc/28884/stat : 28884 (java) S 28882 28884 28847 0 -1 4202496 54289 0 1 0 501 7 0 0 18 0 22 0 529251907 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28884/statm: 3925587 48916 2280 9 0 3916306 0
[pid=28884/tid=28887] ppid=28882 vsize=15702348 CPUtime=0.33 cores=1,3,5,7
/proc/28884/task/28887/stat : 28887 (java) S 28882 28884 28847 0 -1 4202560 6250 0 1 0 32 1 0 0 20 0 22 0 529251908 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28891] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28891/stat : 28891 (java) S 28882 28884 28847 0 -1 4202560 346 0 0 0 0 0 0 0 15 0 22 0 529251908 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 1 0 0 0
[pid=28884/tid=28894] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28894/stat : 28894 (java) S 28882 28884 28847 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 22 0 529251908 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28895] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28895/stat : 28895 (java) S 28882 28884 28847 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 22 0 529251908 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 1 0 0 0
[pid=28884/tid=28897] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28897/stat : 28897 (java) S 28882 28884 28847 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 529251908 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28899] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28899/stat : 28899 (java) S 28882 28884 28847 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 529251908 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28902] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28902/stat : 28902 (java) S 28882 28884 28847 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 22 0 529251908 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28903] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28903/stat : 28903 (java) S 28882 28884 28847 0 -1 4202560 394 0 0 0 0 0 0 0 15 0 22 0 529251908 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 1 0 0 0
[pid=28884/tid=28904] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28904/stat : 28904 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529251908 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28906] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28906/stat : 28906 (java) S 28882 28884 28847 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 529251909 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652676096 0 0 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28908] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28908/stat : 28908 (java) S 28882 28884 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529251910 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28910] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28910/stat : 28910 (java) S 28882 28884 28847 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529251910 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28913] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28913/stat : 28913 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 529251912 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652683185 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28914] ppid=28882 vsize=15702348 CPUtime=0.42 cores=1,3,5,7
/proc/28884/task/28914/stat : 28914 (java) R 28882 28884 28847 0 -1 4202560 9114 0 0 0 42 0 0 0 20 0 22 0 529251912 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 47571324324784 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28884/tid=28916] ppid=28882 vsize=15702348 CPUtime=1.05 cores=1,3,5,7
/proc/28884/task/28916/stat : 28916 (java) R 28882 28884 28847 0 -1 4202560 7133 0 0 0 104 1 0 0 15 0 22 0 529251912 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 47571320915789 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28884/tid=28918] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28918/stat : 28918 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529251912 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28920] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28920/stat : 28920 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529251912 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652676096 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28925] ppid=28882 vsize=15702348 CPUtime=0.76 cores=1,3,5,7
/proc/28884/task/28925/stat : 28925 (java) R 28882 28884 28847 0 -1 4202560 6128 0 0 0 76 0 0 0 19 0 22 0 529251933 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 47571320355671 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28884/tid=28926] ppid=28882 vsize=15702348 CPUtime=1 cores=1,3,5,7
/proc/28884/task/28926/stat : 28926 (java) R 28882 28884 28847 0 -1 4202560 9758 0 0 0 99 1 0 0 17 0 22 0 529251933 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505661351 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28884/tid=28927] ppid=28882 vsize=15702348 CPUtime=0.71 cores=1,3,5,7
/proc/28884/task/28927/stat : 28927 (java) R 28882 28884 28847 0 -1 4202560 8816 0 0 0 71 0 0 0 18 0 22 0 529251933 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505524151 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28884/tid=28928] ppid=28882 vsize=15702348 CPUtime=0.72 cores=1,3,5,7
/proc/28884/task/28928/stat : 28928 (java) R 28882 28884 28847 0 -1 4202560 4663 0 0 0 72 0 0 0 18 0 22 0 529251933 16079204352 48916 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505864305 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 15702348

[startup+3.10137 s]
/proc/loadavg: 6.77 7.75 7.91 10/220 28928
/proc/meminfo: memFree=29641524/32951124 swapFree=67111364/67111528
[pid=28884] ppid=28882 vsize=15702348 CPUtime=11.46 cores=1,3,5,7
/proc/28884/stat : 28884 (java) S 28882 28884 28847 0 -1 4202496 60120 0 1 0 1138 8 0 0 18 0 22 0 529251907 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28884/statm: 3925587 53480 2287 9 0 3916306 0
[pid=28884/tid=28887] ppid=28882 vsize=15702348 CPUtime=0.33 cores=1,3,5,7
/proc/28884/task/28887/stat : 28887 (java) S 28882 28884 28847 0 -1 4202560 6250 0 1 0 32 1 0 0 20 0 22 0 529251908 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28891] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28891/stat : 28891 (java) S 28882 28884 28847 0 -1 4202560 723 0 0 0 0 0 0 0 15 0 22 0 529251908 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 1 0 0 0
[pid=28884/tid=28894] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28894/stat : 28894 (java) S 28882 28884 28847 0 -1 4202560 322 0 0 0 0 0 0 0 15 0 22 0 529251908 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28895] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28895/stat : 28895 (java) S 28882 28884 28847 0 -1 4202560 522 0 0 0 0 0 0 0 15 0 22 0 529251908 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28897] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28897/stat : 28897 (java) S 28882 28884 28847 0 -1 4202560 477 0 0 0 0 0 0 0 15 0 22 0 529251908 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 1 0 0 0
[pid=28884/tid=28899] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28899/stat : 28899 (java) S 28882 28884 28847 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 22 0 529251908 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 1 0 0 0
[pid=28884/tid=28902] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28902/stat : 28902 (java) S 28882 28884 28847 0 -1 4202560 266 0 0 0 0 0 0 0 16 0 22 0 529251908 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28903] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28903/stat : 28903 (java) S 28882 28884 28847 0 -1 4202560 502 0 0 0 0 0 0 0 15 0 22 0 529251908 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28904] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28904/stat : 28904 (java) S 28882 28884 28847 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 22 0 529251908 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28906] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28906/stat : 28906 (java) S 28882 28884 28847 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 529251909 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652676096 0 0 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28908] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28908/stat : 28908 (java) S 28882 28884 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529251910 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28910] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28910/stat : 28910 (java) S 28882 28884 28847 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529251910 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28913] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28913/stat : 28913 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 529251912 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652683185 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28914] ppid=28882 vsize=15702348 CPUtime=0.44 cores=1,3,5,7
/proc/28884/task/28914/stat : 28914 (java) R 28882 28884 28847 0 -1 4202560 9114 0 0 0 44 0 0 0 20 0 22 0 529251912 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 47571321456024 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28884/tid=28916] ppid=28882 vsize=15702348 CPUtime=1.26 cores=1,3,5,7
/proc/28884/task/28916/stat : 28916 (java) S 28882 28884 28847 0 -1 4202560 7173 0 0 0 125 1 0 0 15 0 22 0 529251912 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28918] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28918/stat : 28918 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529251912 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28920] ppid=28882 vsize=15702348 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28920/stat : 28920 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529251912 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652676096 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28925] ppid=28882 vsize=15702348 CPUtime=2.34 cores=1,3,5,7
/proc/28884/task/28925/stat : 28925 (java) R 28882 28884 28847 0 -1 4202560 6965 0 0 0 234 0 0 0 23 0 22 0 529251933 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505836665 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28884/tid=28926] ppid=28882 vsize=15702348 CPUtime=2.59 cores=1,3,5,7
/proc/28884/task/28926/stat : 28926 (java) R 28882 28884 28847 0 -1 4202560 10683 0 0 0 258 1 0 0 19 0 22 0 529251933 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505755266 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28884/tid=28927] ppid=28882 vsize=15702348 CPUtime=2.08 cores=1,3,5,7
/proc/28884/task/28927/stat : 28927 (java) R 28882 28884 28847 0 -1 4202560 9700 0 0 0 208 0 0 0 21 0 22 0 529251933 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505674973 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28884/tid=28928] ppid=28882 vsize=15702348 CPUtime=2.3 cores=1,3,5,7
/proc/28884/task/28928/stat : 28928 (java) R 28882 28884 28847 0 -1 4202560 5622 0 0 0 230 0 0 0 21 0 22 0 529251933 16079204352 53480 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505624837 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.46
Current children cumulated vsize (KiB) 15702348

[startup+6.30078 s]
/proc/loadavg: 6.95 7.77 7.92 9/220 28928
/proc/meminfo: memFree=29298244/32951124 swapFree=67111364/67111528
[pid=28884] ppid=28882 vsize=15699720 CPUtime=24.2 cores=1,3,5,7
/proc/28884/stat : 28884 (java) S 28882 28884 28847 0 -1 4202496 66392 0 1 0 2410 10 0 0 18 0 22 0 529251907 16076513280 53505 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28884/statm: 3924930 53505 2287 9 0 3915649 0
[pid=28884/tid=28887] ppid=28882 vsize=15699720 CPUtime=0.33 cores=1,3,5,7
/proc/28884/task/28887/stat : 28887 (java) S 28882 28884 28847 0 -1 4202560 6250 0 1 0 32 1 0 0 20 0 22 0 529251908 16076513280 53505 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28891] ppid=28882 vsize=15699720 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28891/stat : 28891 (java) S 28882 28884 28847 0 -1 4202560 1668 0 0 0 0 0 0 0 15 0 22 0 529251908 16076513280 53505 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 1 0 0 0
[pid=28884/tid=28894] ppid=28882 vsize=15699720 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28894/stat : 28894 (java) S 28882 28884 28847 0 -1 4202560 561 0 0 0 0 0 0 0 15 0 22 0 529251908 16076513280 53505 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28895] ppid=28882 vsize=15699720 CPUtime=0.01 cores=1,3,5,7
/proc/28884/task/28895/stat : 28895 (java) S 28882 28884 28847 0 -1 4202560 1130 0 0 0 1 0 0 0 15 0 22 0 529251908 16076513280 53505 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28897] ppid=28882 vsize=15699720 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28897/stat : 28897 (java) S 28882 28884 28847 0 -1 4202560 943 0 0 0 0 0 0 0 15 0 22 0 529251908 16076513280 53505 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28899] ppid=28882 vsize=15699720 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28899/stat : 28899 (java) S 28882 28884 28847 0 -1 4202560 611 0 0 0 0 0 0 0 15 0 22 0 529251908 16076513280 53505 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28902] ppid=28882 vsize=15699720 CPUtime=0.01 cores=1,3,5,7
/proc/28884/task/28902/stat : 28902 (java) S 28882 28884 28847 0 -1 4202560 1038 0 0 0 1 0 0 0 15 0 22 0 529251908 16076513280 53505 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28903] ppid=28882 vsize=15699720 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28903/stat : 28903 (java) S 28882 28884 28847 0 -1 4202560 801 0 0 0 0 0 0 0 15 0 22 0 529251908 16076513280 53505 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28904] ppid=28882 vsize=15699720 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28904/stat : 28904 (java) S 28882 28884 28847 0 -1 4202560 611 0 0 0 0 0 0 0 15 0 22 0 529251908 16076513280 53505 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 1 0 0 0

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

/proc/28884/task/28914/stat : 28914 (java) S 28882 28884 28847 0 -1 4202560 11165 0 0 0 76 1 0 0 16 0 22 0 529251912 16068521984 54687 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28916] ppid=28882 vsize=15691916 CPUtime=1.31 cores=1,3,5,7
/proc/28884/task/28916/stat : 28916 (java) S 28882 28884 28847 0 -1 4202560 7175 0 0 0 130 1 0 0 16 0 22 0 529251912 16068521984 54687 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28918] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28918/stat : 28918 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529251912 16068521984 54687 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28920] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28920/stat : 28920 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529251912 16068521984 54687 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652676096 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28925] ppid=28882 vsize=15691916 CPUtime=26.01 cores=1,3,5,7
/proc/28884/task/28925/stat : 28925 (java) R 28882 28884 28847 0 -1 4202560 7052 0 0 0 2600 1 0 0 18 0 22 0 529251933 16068521984 54687 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505661147 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28884/tid=28926] ppid=28882 vsize=15691916 CPUtime=26.03 cores=1,3,5,7
/proc/28884/task/28926/stat : 28926 (java) R 28882 28884 28847 0 -1 4202560 10738 0 0 0 2602 1 0 0 25 0 22 0 529251933 16068521984 54687 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505755813 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28884/tid=28927] ppid=28882 vsize=15691916 CPUtime=25.82 cores=1,3,5,7
/proc/28884/task/28927/stat : 28927 (java) R 28882 28884 28847 0 -1 4202560 9780 0 0 0 2581 1 0 0 25 0 22 0 529251933 16068521984 54687 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505864977 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28884/tid=28928] ppid=28882 vsize=15691916 CPUtime=25.96 cores=1,3,5,7
/proc/28884/task/28928/stat : 28928 (java) R 28882 28884 28847 0 -1 4202560 5693 0 0 0 2596 0 0 0 25 0 22 0 529251933 16068521984 54687 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505661354 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 106.88
Current children cumulated vsize (KiB) 15691916

[startup+28.7007 s]
/proc/loadavg: 7.25 7.78 7.92 9/220 28929
/proc/meminfo: memFree=29273456/32951124 swapFree=67111364/67111528
[pid=28884] ppid=28882 vsize=15691916 CPUtime=113.24 cores=1,3,5,7
/proc/28884/stat : 28884 (java) S 28882 28884 28847 0 -1 4202496 89614 0 1 0 11306 18 0 0 18 0 22 0 529251907 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28884/statm: 3922979 53499 2289 9 0 3913698 0
[pid=28884/tid=28887] ppid=28882 vsize=15691916 CPUtime=0.33 cores=1,3,5,7
/proc/28884/task/28887/stat : 28887 (java) S 28882 28884 28847 0 -1 4202560 6250 0 1 0 32 1 0 0 20 0 22 0 529251908 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28891] ppid=28882 vsize=15691916 CPUtime=0.07 cores=1,3,5,7
/proc/28884/task/28891/stat : 28891 (java) S 28882 28884 28847 0 -1 4202560 4183 0 0 0 6 1 0 0 15 0 22 0 529251908 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28894] ppid=28882 vsize=15691916 CPUtime=0.06 cores=1,3,5,7
/proc/28884/task/28894/stat : 28894 (java) S 28882 28884 28847 0 -1 4202560 3446 0 0 0 6 0 0 0 15 0 22 0 529251908 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 1 0 0 0
[pid=28884/tid=28895] ppid=28882 vsize=15691916 CPUtime=0.08 cores=1,3,5,7
/proc/28884/task/28895/stat : 28895 (java) S 28882 28884 28847 0 -1 4202560 4068 0 0 0 7 1 0 0 15 0 22 0 529251908 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28897] ppid=28882 vsize=15691916 CPUtime=0.05 cores=1,3,5,7
/proc/28884/task/28897/stat : 28897 (java) S 28882 28884 28847 0 -1 4202560 4190 0 0 0 5 0 0 0 15 0 22 0 529251908 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28899] ppid=28882 vsize=15691916 CPUtime=0.06 cores=1,3,5,7
/proc/28884/task/28899/stat : 28899 (java) S 28882 28884 28847 0 -1 4202560 4068 0 0 0 6 0 0 0 15 0 22 0 529251908 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28902] ppid=28882 vsize=15691916 CPUtime=0.06 cores=1,3,5,7
/proc/28884/task/28902/stat : 28902 (java) S 28882 28884 28847 0 -1 4202560 3569 0 0 0 6 0 0 0 15 0 22 0 529251908 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28903] ppid=28882 vsize=15691916 CPUtime=0.04 cores=1,3,5,7
/proc/28884/task/28903/stat : 28903 (java) S 28882 28884 28847 0 -1 4202560 3454 0 0 0 4 0 0 0 15 0 22 0 529251908 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 1 0 0 0
[pid=28884/tid=28904] ppid=28882 vsize=15691916 CPUtime=0.06 cores=1,3,5,7
/proc/28884/task/28904/stat : 28904 (java) S 28882 28884 28847 0 -1 4202560 3316 0 0 0 6 0 0 0 15 0 22 0 529251908 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28906] ppid=28882 vsize=15691916 CPUtime=0.04 cores=1,3,5,7
/proc/28884/task/28906/stat : 28906 (java) S 28882 28884 28847 0 -1 4202560 62 0 0 0 3 1 0 0 15 0 22 0 529251909 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652676096 0 0 0 16800975 18446604468668119168 0 0 -1 1 0 0 0
[pid=28884/tid=28908] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28908/stat : 28908 (java) S 28882 28884 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529251910 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28910] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28910/stat : 28910 (java) S 28882 28884 28847 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529251910 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28913] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28913/stat : 28913 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 529251912 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652683185 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28914] ppid=28882 vsize=15691916 CPUtime=0.77 cores=1,3,5,7
/proc/28884/task/28914/stat : 28914 (java) S 28882 28884 28847 0 -1 4202560 11165 0 0 0 76 1 0 0 16 0 22 0 529251912 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28916] ppid=28882 vsize=15691916 CPUtime=1.31 cores=1,3,5,7
/proc/28884/task/28916/stat : 28916 (java) S 28882 28884 28847 0 -1 4202560 7175 0 0 0 130 1 0 0 16 0 22 0 529251912 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28918] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28918/stat : 28918 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529251912 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28920] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28920/stat : 28920 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529251912 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652676096 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28925] ppid=28882 vsize=15691916 CPUtime=27.58 cores=1,3,5,7
/proc/28884/task/28925/stat : 28925 (java) R 28882 28884 28847 0 -1 4202560 7056 0 0 0 2757 1 0 0 21 0 22 0 529251933 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505684743 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28884/tid=28926] ppid=28882 vsize=15691916 CPUtime=27.61 cores=1,3,5,7
/proc/28884/task/28926/stat : 28926 (java) R 28882 28884 28847 0 -1 4202560 10742 0 0 0 2760 1 0 0 25 0 22 0 529251933 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505957417 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28884/tid=28927] ppid=28882 vsize=15691916 CPUtime=27.4 cores=1,3,5,7
/proc/28884/task/28927/stat : 28927 (java) R 28882 28884 28847 0 -1 4202560 9785 0 0 0 2739 1 0 0 25 0 22 0 529251933 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505675267 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28884/tid=28928] ppid=28882 vsize=15691916 CPUtime=27.55 cores=1,3,5,7
/proc/28884/task/28928/stat : 28928 (java) R 28882 28884 28847 0 -1 4202560 5700 0 0 0 2755 0 0 0 25 0 22 0 529251933 16068521984 53499 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505957417 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 113.24
Current children cumulated vsize (KiB) 15691916

[startup+29.1016 s]
/proc/loadavg: 7.25 7.78 7.92 9/220 28929
/proc/meminfo: memFree=29273456/32951124 swapFree=67111364/67111528
[pid=28884] ppid=28882 vsize=15691916 CPUtime=114.84 cores=1,3,5,7
/proc/28884/stat : 28884 (java) S 28882 28884 28847 0 -1 4202496 89680 0 1 0 11466 18 0 0 18 0 22 0 529251907 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28884/statm: 3922979 53191 2289 9 0 3913698 0
[pid=28884/tid=28887] ppid=28882 vsize=15691916 CPUtime=0.33 cores=1,3,5,7
/proc/28884/task/28887/stat : 28887 (java) S 28882 28884 28847 0 -1 4202560 6250 0 1 0 32 1 0 0 20 0 22 0 529251908 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28891] ppid=28882 vsize=15691916 CPUtime=0.07 cores=1,3,5,7
/proc/28884/task/28891/stat : 28891 (java) S 28882 28884 28847 0 -1 4202560 4185 0 0 0 6 1 0 0 15 0 22 0 529251908 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28894] ppid=28882 vsize=15691916 CPUtime=0.06 cores=1,3,5,7
/proc/28884/task/28894/stat : 28894 (java) S 28882 28884 28847 0 -1 4202560 3451 0 0 0 6 0 0 0 16 0 22 0 529251908 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28895] ppid=28882 vsize=15691916 CPUtime=0.08 cores=1,3,5,7
/proc/28884/task/28895/stat : 28895 (java) S 28882 28884 28847 0 -1 4202560 4068 0 0 0 7 1 0 0 15 0 22 0 529251908 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28897] ppid=28882 vsize=15691916 CPUtime=0.05 cores=1,3,5,7
/proc/28884/task/28897/stat : 28897 (java) S 28882 28884 28847 0 -1 4202560 4206 0 0 0 5 0 0 0 15 0 22 0 529251908 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28899] ppid=28882 vsize=15691916 CPUtime=0.07 cores=1,3,5,7
/proc/28884/task/28899/stat : 28899 (java) S 28882 28884 28847 0 -1 4202560 4090 0 0 0 7 0 0 0 15 0 22 0 529251908 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28902] ppid=28882 vsize=15691916 CPUtime=0.06 cores=1,3,5,7
/proc/28884/task/28902/stat : 28902 (java) S 28882 28884 28847 0 -1 4202560 3575 0 0 0 6 0 0 0 15 0 22 0 529251908 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28903] ppid=28882 vsize=15691916 CPUtime=0.04 cores=1,3,5,7
/proc/28884/task/28903/stat : 28903 (java) S 28882 28884 28847 0 -1 4202560 3455 0 0 0 4 0 0 0 15 0 22 0 529251908 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 1 0 0 0
[pid=28884/tid=28904] ppid=28882 vsize=15691916 CPUtime=0.06 cores=1,3,5,7
/proc/28884/task/28904/stat : 28904 (java) S 28882 28884 28847 0 -1 4202560 3325 0 0 0 6 0 0 0 15 0 22 0 529251908 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28906] ppid=28882 vsize=15691916 CPUtime=0.04 cores=1,3,5,7
/proc/28884/task/28906/stat : 28906 (java) S 28882 28884 28847 0 -1 4202560 63 0 0 0 3 1 0 0 15 0 22 0 529251909 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652676096 0 0 0 16800975 18446604468668119168 0 0 -1 1 0 0 0
[pid=28884/tid=28908] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28908/stat : 28908 (java) S 28882 28884 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529251910 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28910] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28910/stat : 28910 (java) S 28882 28884 28847 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529251910 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28913] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28913/stat : 28913 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 529251912 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652683185 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28914] ppid=28882 vsize=15691916 CPUtime=0.77 cores=1,3,5,7
/proc/28884/task/28914/stat : 28914 (java) S 28882 28884 28847 0 -1 4202560 11165 0 0 0 76 1 0 0 16 0 22 0 529251912 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28916] ppid=28882 vsize=15691916 CPUtime=1.31 cores=1,3,5,7
/proc/28884/task/28916/stat : 28916 (java) S 28882 28884 28847 0 -1 4202560 7175 0 0 0 130 1 0 0 16 0 22 0 529251912 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28918] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28918/stat : 28918 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529251912 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28920] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28920/stat : 28920 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529251912 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652676096 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28925] ppid=28882 vsize=15691916 CPUtime=27.98 cores=1,3,5,7
/proc/28884/task/28925/stat : 28925 (java) R 28882 28884 28847 0 -1 4202560 7059 0 0 0 2797 1 0 0 22 0 22 0 529251933 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505524165 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28884/tid=28926] ppid=28882 vsize=15691916 CPUtime=28 cores=1,3,5,7
/proc/28884/task/28926/stat : 28926 (java) R 28882 28884 28847 0 -1 4202560 10743 0 0 0 2799 1 0 0 25 0 22 0 529251933 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505957077 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28884/tid=28927] ppid=28882 vsize=15691916 CPUtime=27.8 cores=1,3,5,7
/proc/28884/task/28927/stat : 28927 (java) R 28882 28884 28847 0 -1 4202560 9785 0 0 0 2779 1 0 0 25 0 22 0 529251933 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505639052 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28884/tid=28928] ppid=28882 vsize=15691916 CPUtime=27.94 cores=1,3,5,7
/proc/28884/task/28928/stat : 28928 (java) R 28882 28884 28847 0 -1 4202560 5700 0 0 0 2794 0 0 0 25 0 22 0 529251933 16068521984 53191 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505674833 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 114.84
Current children cumulated vsize (KiB) 15691916

[startup+29.5015 s]
/proc/loadavg: 7.25 7.78 7.92 9/220 28929
/proc/meminfo: memFree=29273456/32951124 swapFree=67111364/67111528
[pid=28884] ppid=28882 vsize=15691916 CPUtime=116.44 cores=1,3,5,7
/proc/28884/stat : 28884 (java) S 28882 28884 28847 0 -1 4202496 89747 0 1 0 11625 19 0 0 18 0 22 0 529251907 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28884/statm: 3922979 52980 2289 9 0 3913698 0
[pid=28884/tid=28887] ppid=28882 vsize=15691916 CPUtime=0.33 cores=1,3,5,7
/proc/28884/task/28887/stat : 28887 (java) S 28882 28884 28847 0 -1 4202560 6250 0 1 0 32 1 0 0 20 0 22 0 529251908 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28891] ppid=28882 vsize=15691916 CPUtime=0.07 cores=1,3,5,7
/proc/28884/task/28891/stat : 28891 (java) S 28882 28884 28847 0 -1 4202560 4188 0 0 0 6 1 0 0 16 0 22 0 529251908 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28894] ppid=28882 vsize=15691916 CPUtime=0.07 cores=1,3,5,7
/proc/28884/task/28894/stat : 28894 (java) S 28882 28884 28847 0 -1 4202560 3451 0 0 0 7 0 0 0 15 0 22 0 529251908 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28895] ppid=28882 vsize=15691916 CPUtime=0.08 cores=1,3,5,7
/proc/28884/task/28895/stat : 28895 (java) S 28882 28884 28847 0 -1 4202560 4087 0 0 0 7 1 0 0 16 0 22 0 529251908 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28897] ppid=28882 vsize=15691916 CPUtime=0.05 cores=1,3,5,7
/proc/28884/task/28897/stat : 28897 (java) S 28882 28884 28847 0 -1 4202560 4209 0 0 0 5 0 0 0 15 0 22 0 529251908 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28899] ppid=28882 vsize=15691916 CPUtime=0.07 cores=1,3,5,7
/proc/28884/task/28899/stat : 28899 (java) S 28882 28884 28847 0 -1 4202560 4103 0 0 0 7 0 0 0 15 0 22 0 529251908 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28902] ppid=28882 vsize=15691916 CPUtime=0.06 cores=1,3,5,7
/proc/28884/task/28902/stat : 28902 (java) S 28882 28884 28847 0 -1 4202560 3583 0 0 0 6 0 0 0 15 0 22 0 529251908 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28903] ppid=28882 vsize=15691916 CPUtime=0.05 cores=1,3,5,7
/proc/28884/task/28903/stat : 28903 (java) S 28882 28884 28847 0 -1 4202560 3468 0 0 0 5 0 0 0 16 0 22 0 529251908 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 1 0 0 0
[pid=28884/tid=28904] ppid=28882 vsize=15691916 CPUtime=0.06 cores=1,3,5,7
/proc/28884/task/28904/stat : 28904 (java) S 28882 28884 28847 0 -1 4202560 3328 0 0 0 6 0 0 0 15 0 22 0 529251908 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 1 0 0 0
[pid=28884/tid=28906] ppid=28882 vsize=15691916 CPUtime=0.04 cores=1,3,5,7
/proc/28884/task/28906/stat : 28906 (java) S 28882 28884 28847 0 -1 4202560 63 0 0 0 3 1 0 0 15 0 22 0 529251909 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652676096 0 0 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28908] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28908/stat : 28908 (java) S 28882 28884 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529251910 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28910] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28910/stat : 28910 (java) S 28882 28884 28847 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529251910 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28913] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28913/stat : 28913 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 529251912 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652683185 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28914] ppid=28882 vsize=15691916 CPUtime=0.77 cores=1,3,5,7
/proc/28884/task/28914/stat : 28914 (java) S 28882 28884 28847 0 -1 4202560 11165 0 0 0 76 1 0 0 16 0 22 0 529251912 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 3 0 0 0
[pid=28884/tid=28916] ppid=28882 vsize=15691916 CPUtime=1.31 cores=1,3,5,7
/proc/28884/task/28916/stat : 28916 (java) S 28882 28884 28847 0 -1 4202560 7175 0 0 0 130 1 0 0 16 0 22 0 529251912 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28918] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28918/stat : 28918 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 529251912 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652675481 0 4 0 16800975 18446604468668119168 0 0 -1 5 0 0 0
[pid=28884/tid=28920] ppid=28882 vsize=15691916 CPUtime=0 cores=1,3,5,7
/proc/28884/task/28920/stat : 28920 (java) S 28882 28884 28847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529251912 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 253652676096 0 4 0 16800975 18446604468668119168 0 0 -1 7 0 0 0
[pid=28884/tid=28925] ppid=28882 vsize=15691916 CPUtime=28.37 cores=1,3,5,7
/proc/28884/task/28925/stat : 28925 (java) R 28882 28884 28847 0 -1 4202560 7061 0 0 0 2836 1 0 0 25 0 22 0 529251933 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505864061 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28884/tid=28926] ppid=28882 vsize=15691916 CPUtime=28.4 cores=1,3,5,7
/proc/28884/task/28926/stat : 28926 (java) R 28882 28884 28847 0 -1 4202560 10744 0 0 0 2839 1 0 0 25 0 22 0 529251933 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505836576 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28884/tid=28927] ppid=28882 vsize=15691916 CPUtime=28.2 cores=1,3,5,7
/proc/28884/task/28927/stat : 28927 (java) R 28882 28884 28847 0 -1 4202560 9786 0 0 0 2819 1 0 0 25 0 22 0 529251933 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 46912505871905 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28884/tid=28928] ppid=28882 vsize=15691916 CPUtime=28.34 cores=1,3,5,7
/proc/28884/task/28928/stat : 28928 (java) R 28882 28884 28847 0 -1 4202560 5701 0 0 0 2834 0 0 0 25 0 22 0 529251933 16068521984 52980 33554432000 1073741824 1073778376 140733242352864 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 116.44
Current children cumulated vsize (KiB) 15691916

Child status: 10
Real time (s): 29.5216
CPU time (s): 116.493
CPU user time (s): 116.293
CPU system time (s): 0.199969
CPU usage (%): 394.603
Max. virtual memory (cumulated for all children) (KiB): 15702372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.293
system time used= 0.199969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89827
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11200
involuntary context switches= 5565

runsolver used 0.043993 second user time and 0.123981 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-30 17:15:15
IDJOB=3311599
IDBENCH=82984
IDSOLVER=1698
FILE ID=node106/3311599-1304176515
RUNJOBID= node106-1304176515-28866
PBS_JOBID= 13172424
Free space on /tmp= 72888 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311599-1304176515/watcher-3311599-1304176515 -o /tmp/evaluation-result-3311599-1304176515/solver-3311599-1304176515 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311599-1304176515.cnf -hbr 2

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

MD5SUM BENCH= ba9975e86d838537f315701adfc9f925
RANDOM SEED=531975457

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30111536 kB
Buffers:        286688 kB
Cached:        2273268 kB
SwapCached:         88 kB
Active:         896848 kB
Inactive:      1727404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30111536 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            3308 kB
Writeback:           0 kB
AnonPages:       63460 kB
Mapped:          15100 kB
Slab:           148452 kB
PageTables:       4648 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   199608 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= 72884 MiB
End job on node106 at 2011-04-30 17:15:45