Trace number 3312603

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.1SAT 999.487 251.464

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf
MD5SUMee861b5bc3d48577f06373bd13f4b8a5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.035993
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 54450

Solver Data 

0.10/0.11	45:39 INFO : Reading from input HOME/instance-3312603-1304124339.cnf
0.53/0.31	Executor set job limit to 1000000
0.53/0.31	Executor set job limit to 1000000
0.53/0.31	Executor set job limit to 1000000
0.53/0.31	Executor set job limit to 1000000
0.53/0.31	Starting Executor!
0.53/0.31	Starting Executor!
0.53/0.31	Starting Executor!
0.53/0.31	Starting Executor!
0.73/0.47	45:40 INFO : 50 variables remaining out of 50
0.73/0.47	45:40 INFO : 35600 literals remaining out of 35600
999.30/251.44	c Elapsed time 251.327
999.30/251.44	s SATISFIABLE
999.30/251.44	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 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-3312603-1304124339/watcher-3312603-1304124339 -o /tmp/evaluation-result-3312603-1304124339/solver-3312603-1304124339 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312603-1304124339.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.44 7.92 7.78 4/194 29810
/proc/meminfo: memFree=30868992/32951124 swapFree=67111524/67111528
[pid=29810] ppid=29808 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/29810/stat : 29810 (java) S 29808 29810 29326 0 -1 4202496 1423 0 0 0 0 0 0 0 25 0 2 0 524034874 27824128 894 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624913381 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/29810/statm: 6793 894 684 9 0 381 0
[pid=29810/tid=29811] ppid=29808 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29811/stat : 29811 (java) R 29808 29810 29326 0 -1 4202560 79 0 0 0 0 0 0 0 25 0 2 0 524034875 31313920 906 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270608187402 0 0 4096 0 0 0 0 -1 3 0 0 0

[startup+0.0705041 s]
/proc/loadavg: 7.44 7.92 7.78 4/194 29810
/proc/meminfo: memFree=30868992/32951124 swapFree=67111524/67111528
[pid=29810] ppid=29808 vsize=15675304 CPUtime=0.06 cores=1,3,5,7
/proc/29810/stat : 29810 (java) S 29808 29810 29326 0 -1 4202496 4434 0 1 0 5 1 0 0 25 0 18 0 524034874 16051511296 3874 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29810/statm: 3918826 3874 1779 9 0 3909545 0
[pid=29810/tid=29811] ppid=29808 vsize=15675304 CPUtime=0.05 cores=1,3,5,7
/proc/29810/task/29811/stat : 29811 (java) R 29808 29810 29326 0 -1 4202560 3008 0 1 0 5 0 0 0 19 0 18 0 524034875 16051511296 3874 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624937419 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15675304

[startup+0.100499 s]
/proc/loadavg: 7.44 7.92 7.78 4/194 29810
/proc/meminfo: memFree=30868992/32951124 swapFree=67111524/67111528
[pid=29810] ppid=29808 vsize=15676056 CPUtime=0.1 cores=1,3,5,7
/proc/29810/stat : 29810 (java) S 29808 29810 29326 0 -1 4202496 5576 0 1 0 9 1 0 0 25 0 18 0 524034874 16052281344 5016 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29810/statm: 3919014 5018 2118 9 0 3909733 0
[pid=29810/tid=29811] ppid=29808 vsize=15676056 CPUtime=0.09 cores=1,3,5,7
/proc/29810/task/29811/stat : 29811 (java) R 29808 29810 29326 0 -1 4202560 3442 0 1 0 8 1 0 0 18 0 18 0 524034875 16052281344 5018 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 47427828673475 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676056

[startup+0.304516 s]
/proc/loadavg: 7.44 7.92 7.78 4/194 29810
/proc/meminfo: memFree=30868992/32951124 swapFree=67111524/67111528
[pid=29810] ppid=29808 vsize=15678376 CPUtime=0.53 cores=1,3,5,7
/proc/29810/stat : 29810 (java) S 29808 29810 29326 0 -1 4202496 15475 0 1 0 50 3 0 0 25 0 18 0 524034874 16054657024 13815 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29810/statm: 3919594 13815 2208 9 0 3910313 0
[pid=29810/tid=29811] ppid=29808 vsize=15678376 CPUtime=0.29 cores=1,3,5,7
/proc/29810/task/29811/stat : 29811 (java) R 29808 29810 29326 0 -1 4202560 10188 0 1 0 27 2 0 0 18 0 18 0 524034875 16054657024 13816 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 47427830212627 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 15678376

[startup+0.700361 s]
/proc/loadavg: 7.44 7.92 7.78 4/194 29810
/proc/meminfo: memFree=30868992/32951124 swapFree=67111524/67111528
[pid=29810] ppid=29808 vsize=15692320 CPUtime=1.57 cores=1,3,5,7
/proc/29810/stat : 29810 (java) S 29808 29810 29326 0 -1 4202496 26787 0 1 0 153 4 0 0 25 0 22 0 524034874 16068935680 21114 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29810/statm: 3923080 21114 2261 9 0 3913799 0
[pid=29810/tid=29811] ppid=29808 vsize=15692320 CPUtime=0.46 cores=1,3,5,7
/proc/29810/task/29811/stat : 29811 (java) S 29808 29810 29326 0 -1 4202560 10950 0 1 0 44 2 0 0 20 0 22 0 524034875 16068935680 21114 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 15692320

[startup+1.50122 s]
/proc/loadavg: 7.44 7.92 7.78 14/220 29836
/proc/meminfo: memFree=30560148/32951124 swapFree=67111524/67111528
[pid=29810] ppid=29808 vsize=15692320 CPUtime=4.74 cores=1,3,5,7
/proc/29810/stat : 29810 (java) S 29808 29810 29326 0 -1 4202496 55304 0 1 0 466 8 0 0 25 0 22 0 524034874 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29810/statm: 3923080 46536 2278 9 0 3913799 0
[pid=29810/tid=29811] ppid=29808 vsize=15692320 CPUtime=0.46 cores=1,3,5,7
/proc/29810/task/29811/stat : 29811 (java) S 29808 29810 29326 0 -1 4202560 10950 0 1 0 44 2 0 0 20 0 22 0 524034875 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29813] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29813/stat : 29813 (java) S 29808 29810 29326 0 -1 4202560 650 0 0 0 0 0 0 0 15 0 22 0 524034875 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29814] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29814/stat : 29814 (java) S 29808 29810 29326 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 524034875 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29815] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29815/stat : 29815 (java) S 29808 29810 29326 0 -1 4202560 443 0 0 0 0 0 0 0 15 0 22 0 524034875 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29816] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29816/stat : 29816 (java) S 29808 29810 29326 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 22 0 524034875 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29817] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29817/stat : 29817 (java) S 29808 29810 29326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524034875 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29818] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29818/stat : 29818 (java) S 29808 29810 29326 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 22 0 524034875 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29819] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29819/stat : 29819 (java) S 29808 29810 29326 0 -1 4202560 747 0 0 0 0 0 0 0 15 0 22 0 524034875 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29820] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29820/stat : 29820 (java) S 29808 29810 29326 0 -1 4202560 513 0 0 0 0 0 0 0 16 0 22 0 524034875 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29821] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29821/stat : 29821 (java) S 29808 29810 29326 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 22 0 524034876 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624927232 0 0 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29822] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29822/stat : 29822 (java) S 29808 29810 29326 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 524034876 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29823] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29823/stat : 29823 (java) R 29808 29810 29326 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 524034876 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29810/tid=29824] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29824/stat : 29824 (java) S 29808 29810 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524034879 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624934321 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29825] ppid=29808 vsize=15692320 CPUtime=0.53 cores=1,3,5,7
/proc/29810/task/29825/stat : 29825 (java) R 29808 29810 29326 0 -1 4202560 6278 0 0 0 52 1 0 0 25 0 22 0 524034879 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 47427831358986 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29810/tid=29826] ppid=29808 vsize=15692320 CPUtime=1 cores=1,3,5,7
/proc/29810/task/29826/stat : 29826 (java) S 29808 29810 29326 0 -1 4202560 9461 0 0 0 100 0 0 0 15 0 22 0 524034879 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29827] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29827/stat : 29827 (java) S 29808 29810 29326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524034879 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29828] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29828/stat : 29828 (java) S 29808 29810 29326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524034879 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624927232 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29833] ppid=29808 vsize=15692320 CPUtime=0.81 cores=1,3,5,7
/proc/29810/task/29833/stat : 29833 (java) R 29808 29810 29326 0 -1 4202560 8508 0 0 0 81 0 0 0 17 0 22 0 524034905 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29810/tid=29834] ppid=29808 vsize=15692320 CPUtime=0.64 cores=1,3,5,7
/proc/29810/task/29834/stat : 29834 (java) R 29808 29810 29326 0 -1 4202560 5186 0 0 0 64 0 0 0 16 0 22 0 524034905 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912506017091 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29810/tid=29835] ppid=29808 vsize=15692320 CPUtime=0.57 cores=1,3,5,7
/proc/29810/task/29835/stat : 29835 (java) R 29808 29810 29326 0 -1 4202560 8388 0 0 0 56 1 0 0 18 0 22 0 524034905 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912505802360 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29810/tid=29836] ppid=29808 vsize=15692320 CPUtime=0.65 cores=1,3,5,7
/proc/29810/task/29836/stat : 29836 (java) R 29808 29810 29326 0 -1 4202560 2676 0 0 0 65 0 0 0 17 0 22 0 524034905 16068935680 46536 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912505966475 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 15692320

[startup+3.10094 s]
/proc/loadavg: 7.44 7.92 7.78 10/220 29836
/proc/meminfo: memFree=30512904/32951124 swapFree=67111524/67111528
[pid=29810] ppid=29808 vsize=15692320 CPUtime=11.1 cores=1,3,5,7
/proc/29810/stat : 29810 (java) S 29808 29810 29326 0 -1 4202496 61200 0 1 0 1101 9 0 0 25 0 22 0 524034874 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29810/statm: 3923080 49612 2286 9 0 3913799 0
[pid=29810/tid=29811] ppid=29808 vsize=15692320 CPUtime=0.46 cores=1,3,5,7
/proc/29810/task/29811/stat : 29811 (java) S 29808 29810 29326 0 -1 4202560 10950 0 1 0 44 2 0 0 20 0 22 0 524034875 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29813] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29813/stat : 29813 (java) S 29808 29810 29326 0 -1 4202560 1114 0 0 0 0 0 0 0 15 0 22 0 524034875 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29814] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29814/stat : 29814 (java) S 29808 29810 29326 0 -1 4202560 434 0 0 0 0 0 0 0 15 0 22 0 524034875 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29815] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29815/stat : 29815 (java) S 29808 29810 29326 0 -1 4202560 665 0 0 0 0 0 0 0 16 0 22 0 524034875 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29816] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29816/stat : 29816 (java) S 29808 29810 29326 0 -1 4202560 667 0 0 0 0 0 0 0 15 0 22 0 524034875 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29817] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29817/stat : 29817 (java) S 29808 29810 29326 0 -1 4202560 1017 0 0 0 0 0 0 0 16 0 22 0 524034875 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29818] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29818/stat : 29818 (java) S 29808 29810 29326 0 -1 4202560 270 0 0 0 0 0 0 0 16 0 22 0 524034875 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29819] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29819/stat : 29819 (java) S 29808 29810 29326 0 -1 4202560 1349 0 0 0 0 0 0 0 15 0 22 0 524034875 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29820] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29820/stat : 29820 (java) S 29808 29810 29326 0 -1 4202560 644 0 0 0 0 0 0 0 15 0 22 0 524034875 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29821] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29821/stat : 29821 (java) S 29808 29810 29326 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 524034876 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624927232 0 0 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29822] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29822/stat : 29822 (java) S 29808 29810 29326 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 524034876 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29823] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29823/stat : 29823 (java) S 29808 29810 29326 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 524034876 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29824] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29824/stat : 29824 (java) S 29808 29810 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524034879 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624934321 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29825] ppid=29808 vsize=15692320 CPUtime=0.55 cores=1,3,5,7
/proc/29810/task/29825/stat : 29825 (java) R 29808 29810 29326 0 -1 4202560 6291 0 0 0 54 1 0 0 20 0 22 0 524034879 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29810/tid=29826] ppid=29808 vsize=15692320 CPUtime=1.18 cores=1,3,5,7
/proc/29810/task/29826/stat : 29826 (java) S 29808 29810 29326 0 -1 4202560 10345 0 0 0 118 0 0 0 15 0 22 0 524034879 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29827] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29827/stat : 29827 (java) S 29808 29810 29326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524034879 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29828] ppid=29808 vsize=15692320 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29828/stat : 29828 (java) S 29808 29810 29326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524034879 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624927232 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29833] ppid=29808 vsize=15692320 CPUtime=2.39 cores=1,3,5,7
/proc/29810/task/29833/stat : 29833 (java) R 29808 29810 29326 0 -1 4202560 8777 0 0 0 239 0 0 0 19 0 22 0 524034905 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912505802293 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29810/tid=29834] ppid=29808 vsize=15692320 CPUtime=2.22 cores=1,3,5,7
/proc/29810/task/29834/stat : 29834 (java) R 29808 29810 29326 0 -1 4202560 5494 0 0 0 222 0 0 0 18 0 22 0 524034905 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 18446744073699065918 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29810/tid=29835] ppid=29808 vsize=15692320 CPUtime=1.97 cores=1,3,5,7
/proc/29810/task/29835/stat : 29835 (java) S 29808 29810 29326 0 -1 4202560 8580 0 0 0 196 1 0 0 20 0 22 0 524034905 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29836] ppid=29808 vsize=15692320 CPUtime=2.21 cores=1,3,5,7
/proc/29810/task/29836/stat : 29836 (java) S 29808 29810 29326 0 -1 4202560 3154 0 0 0 221 0 0 0 20 0 22 0 524034905 16068935680 49612 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624927232 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.1
Current children cumulated vsize (KiB) 15692320

[startup+6.30137 s]
/proc/loadavg: 7.57 7.94 7.79 9/220 29837
/proc/meminfo: memFree=30379116/32951124 swapFree=67111524/67111528
[pid=29810] ppid=29808 vsize=15688536 CPUtime=23.84 cores=1,3,5,7
/proc/29810/stat : 29810 (java) S 29808 29810 29326 0 -1 4202496 90339 0 1 0 2371 13 0 0 25 0 22 0 524034874 16065060864 74544 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29810/statm: 3922134 74544 2289 9 0 3912853 0
[pid=29810/tid=29811] ppid=29808 vsize=15688536 CPUtime=0.46 cores=1,3,5,7
/proc/29810/task/29811/stat : 29811 (java) S 29808 29810 29326 0 -1 4202560 10950 0 1 0 44 2 0 0 20 0 22 0 524034875 16065060864 74544 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29813] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29813/stat : 29813 (java) S 29808 29810 29326 0 -1 4202560 1419 0 0 0 0 0 0 0 15 0 22 0 524034875 16065060864 74544 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29814] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29814/stat : 29814 (java) S 29808 29810 29326 0 -1 4202560 594 0 0 0 0 0 0 0 15 0 22 0 524034875 16065060864 74544 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29815] ppid=29808 vsize=15688536 CPUtime=0.01 cores=1,3,5,7
/proc/29810/task/29815/stat : 29815 (java) S 29808 29810 29326 0 -1 4202560 862 0 0 0 1 0 0 0 15 0 22 0 524034875 16065060864 74544 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29816] ppid=29808 vsize=15688536 CPUtime=0.01 cores=1,3,5,7
/proc/29810/task/29816/stat : 29816 (java) S 29808 29810 29326 0 -1 4202560 1059 0 0 0 1 0 0 0 15 0 22 0 524034875 16065060864 74544 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29817] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29817/stat : 29817 (java) S 29808 29810 29326 0 -1 4202560 1296 0 0 0 0 0 0 0 15 0 22 0 524034875 16065060864 74544 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29818] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29818/stat : 29818 (java) S 29808 29810 29326 0 -1 4202560 510 0 0 0 0 0 0 0 15 0 22 0 524034875 16065060864 74544 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29819] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29819/stat : 29819 (java) S 29808 29810 29326 0 -1 4202560 1489 0 0 0 0 0 0 0 15 0 22 0 524034875 16065060864 74544 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29820] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29820/stat : 29820 (java) S 29808 29810 29326 0 -1 4202560 928 0 0 0 0 0 0 0 16 0 22 0 524034875 16065060864 74544 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0

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

/proc/29810/task/29825/stat : 29825 (java) S 29808 29810 29326 0 -1 4202560 6316 0 0 0 66 1 0 0 16 0 22 0 524034879 16065060864 133392 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29826] ppid=29808 vsize=15688536 CPUtime=1.22 cores=1,3,5,7
/proc/29810/task/29826/stat : 29826 (java) S 29808 29810 29326 0 -1 4202560 10355 0 0 0 122 0 0 0 15 0 22 0 524034879 16065060864 133392 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29827] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29827/stat : 29827 (java) S 29808 29810 29326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524034879 16065060864 133392 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29828] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29828/stat : 29828 (java) S 29808 29810 29326 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 524034879 16065060864 133392 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624927232 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29833] ppid=29808 vsize=15688536 CPUtime=246.7 cores=1,3,5,7
/proc/29810/task/29833/stat : 29833 (java) R 29808 29810 29326 0 -1 4202560 41132 0 0 0 24662 8 0 0 25 0 22 0 524034905 16065060864 133392 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912505804025 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29810/tid=29834] ppid=29808 vsize=15688536 CPUtime=246.83 cores=1,3,5,7
/proc/29810/task/29834/stat : 29834 (java) R 29808 29810 29326 0 -1 4202560 37688 0 0 0 24676 7 0 0 25 0 22 0 524034905 16065060864 133392 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 47427831633847 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29810/tid=29835] ppid=29808 vsize=15688536 CPUtime=246.27 cores=1,3,5,7
/proc/29810/task/29835/stat : 29835 (java) R 29808 29810 29326 0 -1 4202560 41596 0 0 0 24618 9 0 0 25 0 22 0 524034905 16065060864 133392 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912505694792 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29810/tid=29836] ppid=29808 vsize=15688536 CPUtime=246.13 cores=1,3,5,7
/proc/29810/task/29836/stat : 29836 (java) R 29808 29810 29326 0 -1 4202560 35108 0 0 0 24607 6 0 0 25 0 22 0 524034905 16065060864 133392 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 47427831632315 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 994.92
Current children cumulated vsize (KiB) 15688536

[startup+251.101 s]
/proc/loadavg: 8.04 8.02 7.85 9/220 29843
/proc/meminfo: memFree=29818056/32951124 swapFree=67111524/67111528
[pid=29810] ppid=29808 vsize=15688536 CPUtime=998.11 cores=1,3,5,7
/proc/29810/stat : 29810 (java) S 29808 29810 29326 0 -1 4202496 334626 0 1 0 99729 82 0 0 25 0 22 0 524034874 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29810/statm: 3922134 133156 2291 9 0 3912853 0
[pid=29810/tid=29811] ppid=29808 vsize=15688536 CPUtime=0.46 cores=1,3,5,7
/proc/29810/task/29811/stat : 29811 (java) S 29808 29810 29326 0 -1 4202560 10950 0 1 0 44 2 0 0 20 0 22 0 524034875 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29813] ppid=29808 vsize=15688536 CPUtime=0.79 cores=1,3,5,7
/proc/29810/task/29813/stat : 29813 (java) S 29808 29810 29326 0 -1 4202560 19740 0 0 0 75 4 0 0 16 0 22 0 524034875 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29814] ppid=29808 vsize=15688536 CPUtime=0.78 cores=1,3,5,7
/proc/29810/task/29814/stat : 29814 (java) S 29808 29810 29326 0 -1 4202560 17321 0 0 0 73 5 0 0 15 0 22 0 524034875 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29815] ppid=29808 vsize=15688536 CPUtime=0.8 cores=1,3,5,7
/proc/29810/task/29815/stat : 29815 (java) S 29808 29810 29326 0 -1 4202560 17681 0 0 0 76 4 0 0 15 0 22 0 524034875 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29816] ppid=29808 vsize=15688536 CPUtime=0.75 cores=1,3,5,7
/proc/29810/task/29816/stat : 29816 (java) S 29808 29810 29326 0 -1 4202560 18126 0 0 0 72 3 0 0 16 0 22 0 524034875 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29817] ppid=29808 vsize=15688536 CPUtime=0.77 cores=1,3,5,7
/proc/29810/task/29817/stat : 29817 (java) S 29808 29810 29326 0 -1 4202560 18463 0 0 0 73 4 0 0 15 0 22 0 524034875 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29818] ppid=29808 vsize=15688536 CPUtime=0.76 cores=1,3,5,7
/proc/29810/task/29818/stat : 29818 (java) S 29808 29810 29326 0 -1 4202560 18524 0 0 0 72 4 0 0 16 0 22 0 524034875 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29819] ppid=29808 vsize=15688536 CPUtime=0.75 cores=1,3,5,7
/proc/29810/task/29819/stat : 29819 (java) S 29808 29810 29326 0 -1 4202560 18461 0 0 0 72 3 0 0 15 0 22 0 524034875 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29820] ppid=29808 vsize=15688536 CPUtime=0.79 cores=1,3,5,7
/proc/29810/task/29820/stat : 29820 (java) S 29808 29810 29326 0 -1 4202560 21020 0 0 0 74 5 0 0 16 0 22 0 524034875 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29821] ppid=29808 vsize=15688536 CPUtime=0.31 cores=1,3,5,7
/proc/29810/task/29821/stat : 29821 (java) S 29808 29810 29326 0 -1 4202560 743 0 0 0 22 9 0 0 15 0 22 0 524034876 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624927232 0 0 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29822] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29822/stat : 29822 (java) S 29808 29810 29326 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 524034876 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29823] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29823/stat : 29823 (java) S 29808 29810 29326 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 524034876 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29824] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29824/stat : 29824 (java) S 29808 29810 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524034879 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624934321 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29825] ppid=29808 vsize=15688536 CPUtime=0.67 cores=1,3,5,7
/proc/29810/task/29825/stat : 29825 (java) S 29808 29810 29326 0 -1 4202560 6316 0 0 0 66 1 0 0 16 0 22 0 524034879 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29826] ppid=29808 vsize=15688536 CPUtime=1.22 cores=1,3,5,7
/proc/29810/task/29826/stat : 29826 (java) S 29808 29810 29326 0 -1 4202560 10355 0 0 0 122 0 0 0 15 0 22 0 524034879 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29827] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29827/stat : 29827 (java) S 29808 29810 29326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524034879 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29828] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29828/stat : 29828 (java) S 29808 29810 29326 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 524034879 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624927232 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29833] ppid=29808 vsize=15688536 CPUtime=247.49 cores=1,3,5,7
/proc/29810/task/29833/stat : 29833 (java) R 29808 29810 29326 0 -1 4202560 41133 0 0 0 24741 8 0 0 25 0 22 0 524034905 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912505803931 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29810/tid=29834] ppid=29808 vsize=15688536 CPUtime=247.62 cores=1,3,5,7
/proc/29810/task/29834/stat : 29834 (java) R 29808 29810 29326 0 -1 4202560 37689 0 0 0 24755 7 0 0 25 0 22 0 524034905 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912505967425 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29810/tid=29835] ppid=29808 vsize=15688536 CPUtime=247.06 cores=1,3,5,7
/proc/29810/task/29835/stat : 29835 (java) R 29808 29810 29326 0 -1 4202560 41596 0 0 0 24697 9 0 0 25 0 22 0 524034905 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912506025040 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29810/tid=29836] ppid=29808 vsize=15688536 CPUtime=246.92 cores=1,3,5,7
/proc/29810/task/29836/stat : 29836 (java) R 29808 29810 29326 0 -1 4202560 35109 0 0 0 24686 6 0 0 25 0 22 0 524034905 16065060864 133156 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912505803641 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 998.11
Current children cumulated vsize (KiB) 15688536

[startup+251.301 s]
/proc/loadavg: 8.04 8.02 7.85 9/220 29843
/proc/meminfo: memFree=29818056/32951124 swapFree=67111524/67111528
[pid=29810] ppid=29808 vsize=15688536 CPUtime=998.91 cores=1,3,5,7
/proc/29810/stat : 29810 (java) S 29808 29810 29326 0 -1 4202496 334652 0 1 0 99809 82 0 0 25 0 22 0 524034874 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29810/statm: 3922134 133180 2291 9 0 3912853 0
[pid=29810/tid=29811] ppid=29808 vsize=15688536 CPUtime=0.46 cores=1,3,5,7
/proc/29810/task/29811/stat : 29811 (java) S 29808 29810 29326 0 -1 4202560 10950 0 1 0 44 2 0 0 20 0 22 0 524034875 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29813] ppid=29808 vsize=15688536 CPUtime=0.79 cores=1,3,5,7
/proc/29810/task/29813/stat : 29813 (java) S 29808 29810 29326 0 -1 4202560 19740 0 0 0 75 4 0 0 16 0 22 0 524034875 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29814] ppid=29808 vsize=15688536 CPUtime=0.78 cores=1,3,5,7
/proc/29810/task/29814/stat : 29814 (java) S 29808 29810 29326 0 -1 4202560 17321 0 0 0 73 5 0 0 15 0 22 0 524034875 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29815] ppid=29808 vsize=15688536 CPUtime=0.8 cores=1,3,5,7
/proc/29810/task/29815/stat : 29815 (java) S 29808 29810 29326 0 -1 4202560 17681 0 0 0 76 4 0 0 15 0 22 0 524034875 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29816] ppid=29808 vsize=15688536 CPUtime=0.75 cores=1,3,5,7
/proc/29810/task/29816/stat : 29816 (java) S 29808 29810 29326 0 -1 4202560 18126 0 0 0 72 3 0 0 16 0 22 0 524034875 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29817] ppid=29808 vsize=15688536 CPUtime=0.77 cores=1,3,5,7
/proc/29810/task/29817/stat : 29817 (java) S 29808 29810 29326 0 -1 4202560 18463 0 0 0 73 4 0 0 15 0 22 0 524034875 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29818] ppid=29808 vsize=15688536 CPUtime=0.76 cores=1,3,5,7
/proc/29810/task/29818/stat : 29818 (java) S 29808 29810 29326 0 -1 4202560 18524 0 0 0 72 4 0 0 16 0 22 0 524034875 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29819] ppid=29808 vsize=15688536 CPUtime=0.75 cores=1,3,5,7
/proc/29810/task/29819/stat : 29819 (java) S 29808 29810 29326 0 -1 4202560 18461 0 0 0 72 3 0 0 15 0 22 0 524034875 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29820] ppid=29808 vsize=15688536 CPUtime=0.79 cores=1,3,5,7
/proc/29810/task/29820/stat : 29820 (java) S 29808 29810 29326 0 -1 4202560 21020 0 0 0 74 5 0 0 16 0 22 0 524034875 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29821] ppid=29808 vsize=15688536 CPUtime=0.31 cores=1,3,5,7
/proc/29810/task/29821/stat : 29821 (java) S 29808 29810 29326 0 -1 4202560 743 0 0 0 22 9 0 0 16 0 22 0 524034876 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624927232 0 0 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29822] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29822/stat : 29822 (java) S 29808 29810 29326 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 524034876 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29823] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29823/stat : 29823 (java) S 29808 29810 29326 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 524034876 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29824] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29824/stat : 29824 (java) S 29808 29810 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524034879 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624934321 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29825] ppid=29808 vsize=15688536 CPUtime=0.77 cores=1,3,5,7
/proc/29810/task/29825/stat : 29825 (java) S 29808 29810 29326 0 -1 4202560 6327 0 0 0 76 1 0 0 15 0 22 0 524034879 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29826] ppid=29808 vsize=15688536 CPUtime=1.34 cores=1,3,5,7
/proc/29810/task/29826/stat : 29826 (java) R 29808 29810 29326 0 -1 4202560 10368 0 0 0 134 0 0 0 16 0 22 0 524034879 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 47427828638050 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29810/tid=29827] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29827/stat : 29827 (java) S 29808 29810 29326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524034879 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29828] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29828/stat : 29828 (java) S 29808 29810 29326 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 524034879 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624927232 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29833] ppid=29808 vsize=15688536 CPUtime=247.69 cores=1,3,5,7
/proc/29810/task/29833/stat : 29833 (java) R 29808 29810 29326 0 -1 4202560 41133 0 0 0 24761 8 0 0 25 0 22 0 524034905 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912505216086 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29810/tid=29834] ppid=29808 vsize=15688536 CPUtime=247.82 cores=1,3,5,7
/proc/29810/task/29834/stat : 29834 (java) R 29808 29810 29326 0 -1 4202560 37689 0 0 0 24775 7 0 0 25 0 22 0 524034905 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912505121228 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29810/tid=29835] ppid=29808 vsize=15688536 CPUtime=247.16 cores=1,3,5,7
/proc/29810/task/29835/stat : 29835 (java) R 29808 29810 29326 0 -1 4202560 41596 0 0 0 24707 9 0 0 25 0 22 0 524034905 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912505694795 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29810/tid=29836] ppid=29808 vsize=15688536 CPUtime=247.01 cores=1,3,5,7
/proc/29810/task/29836/stat : 29836 (java) R 29808 29810 29326 0 -1 4202560 35111 0 0 0 24695 6 0 0 25 0 22 0 524034905 16065060864 133180 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912505228240 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 998.91
Current children cumulated vsize (KiB) 15688536

[startup+251.401 s]
/proc/loadavg: 8.04 8.02 7.85 9/220 29843
/proc/meminfo: memFree=29818056/32951124 swapFree=67111524/67111528
[pid=29810] ppid=29808 vsize=15688536 CPUtime=999.3 cores=1,3,5,7
/proc/29810/stat : 29810 (java) S 29808 29810 29326 0 -1 4202496 334766 0 1 0 99848 82 0 0 25 0 22 0 524034874 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29810/statm: 3922134 133293 2291 9 0 3912853 0
[pid=29810/tid=29811] ppid=29808 vsize=15688536 CPUtime=0.46 cores=1,3,5,7
/proc/29810/task/29811/stat : 29811 (java) S 29808 29810 29326 0 -1 4202560 10950 0 1 0 44 2 0 0 20 0 22 0 524034875 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29813] ppid=29808 vsize=15688536 CPUtime=0.79 cores=1,3,5,7
/proc/29810/task/29813/stat : 29813 (java) S 29808 29810 29326 0 -1 4202560 19740 0 0 0 75 4 0 0 15 0 22 0 524034875 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29814] ppid=29808 vsize=15688536 CPUtime=0.78 cores=1,3,5,7
/proc/29810/task/29814/stat : 29814 (java) S 29808 29810 29326 0 -1 4202560 17353 0 0 0 73 5 0 0 15 0 22 0 524034875 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29815] ppid=29808 vsize=15688536 CPUtime=0.8 cores=1,3,5,7
/proc/29810/task/29815/stat : 29815 (java) S 29808 29810 29326 0 -1 4202560 17682 0 0 0 76 4 0 0 15 0 22 0 524034875 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29816] ppid=29808 vsize=15688536 CPUtime=0.75 cores=1,3,5,7
/proc/29810/task/29816/stat : 29816 (java) S 29808 29810 29326 0 -1 4202560 18126 0 0 0 72 3 0 0 15 0 22 0 524034875 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29817] ppid=29808 vsize=15688536 CPUtime=0.77 cores=1,3,5,7
/proc/29810/task/29817/stat : 29817 (java) S 29808 29810 29326 0 -1 4202560 18463 0 0 0 73 4 0 0 15 0 22 0 524034875 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29818] ppid=29808 vsize=15688536 CPUtime=0.76 cores=1,3,5,7
/proc/29810/task/29818/stat : 29818 (java) S 29808 29810 29326 0 -1 4202560 18557 0 0 0 72 4 0 0 15 0 22 0 524034875 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29819] ppid=29808 vsize=15688536 CPUtime=0.76 cores=1,3,5,7
/proc/29810/task/29819/stat : 29819 (java) S 29808 29810 29326 0 -1 4202560 18482 0 0 0 73 3 0 0 15 0 22 0 524034875 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29820] ppid=29808 vsize=15688536 CPUtime=0.79 cores=1,3,5,7
/proc/29810/task/29820/stat : 29820 (java) S 29808 29810 29326 0 -1 4202560 21021 0 0 0 74 5 0 0 15 0 22 0 524034875 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29821] ppid=29808 vsize=15688536 CPUtime=0.31 cores=1,3,5,7
/proc/29810/task/29821/stat : 29821 (java) S 29808 29810 29326 0 -1 4202560 756 0 0 0 22 9 0 0 15 0 22 0 524034876 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624927232 0 0 0 16800975 18446604467606476992 0 0 -1 5 0 0 0
[pid=29810/tid=29822] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29822/stat : 29822 (java) S 29808 29810 29326 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 524034876 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29823] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29823/stat : 29823 (java) S 29808 29810 29326 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 524034876 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29824] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29824/stat : 29824 (java) S 29808 29810 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524034879 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624934321 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29825] ppid=29808 vsize=15688536 CPUtime=0.77 cores=1,3,5,7
/proc/29810/task/29825/stat : 29825 (java) S 29808 29810 29326 0 -1 4202560 6327 0 0 0 76 1 0 0 15 0 22 0 524034879 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 1 0 0 0
[pid=29810/tid=29826] ppid=29808 vsize=15688536 CPUtime=1.44 cores=1,3,5,7
/proc/29810/task/29826/stat : 29826 (java) R 29808 29810 29326 0 -1 4202560 10380 0 0 0 144 0 0 0 16 0 22 0 524034879 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 47427827156530 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29810/tid=29827] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29827/stat : 29827 (java) S 29808 29810 29326 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 524034879 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476992 0 0 -1 3 0 0 0
[pid=29810/tid=29828] ppid=29808 vsize=15688536 CPUtime=0 cores=1,3,5,7
/proc/29810/task/29828/stat : 29828 (java) S 29808 29810 29326 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 524034879 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 270624927232 0 4 0 16800975 18446604467606476992 0 0 -1 7 0 0 0
[pid=29810/tid=29833] ppid=29808 vsize=15688536 CPUtime=247.79 cores=1,3,5,7
/proc/29810/task/29833/stat : 29833 (java) R 29808 29810 29326 0 -1 4202560 41133 0 0 0 24771 8 0 0 25 0 22 0 524034905 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912505935583 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29810/tid=29834] ppid=29808 vsize=15688536 CPUtime=247.91 cores=1,3,5,7
/proc/29810/task/29834/stat : 29834 (java) R 29808 29810 29326 0 -1 4202560 37690 0 0 0 24784 7 0 0 18 0 22 0 524034905 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912505796419 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29810/tid=29835] ppid=29808 vsize=15688536 CPUtime=247.26 cores=1,3,5,7
/proc/29810/task/29835/stat : 29835 (java) R 29808 29810 29326 0 -1 4202560 41596 0 0 0 24717 9 0 0 25 0 22 0 524034905 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912506575242 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29810/tid=29836] ppid=29808 vsize=15688536 CPUtime=247.01 cores=1,3,5,7
/proc/29810/task/29836/stat : 29836 (java) R 29808 29810 29326 0 -1 4202560 35111 0 0 0 24695 6 0 0 25 0 22 0 524034905 16065060864 133293 33554432000 1073741824 1073778376 140735115424720 18446744073709551615 46912505164132 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 999.3
Current children cumulated vsize (KiB) 15688536

Child status: 10
Real time (s): 251.464
CPU time (s): 999.487
CPU user time (s): 998.639
CPU system time (s): 0.847871
CPU usage (%): 397.467
Max. virtual memory (cumulated for all children) (KiB): 15694136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 998.639
system time used= 0.847871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334805
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= 53577
involuntary context switches= 31570

runsolver used 0.416936 second user time and 0.967852 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-30 02:45:39
IDJOB=3312603
IDBENCH=82788
IDSOLVER=1699
FILE ID=node108/3312603-1304124339
RUNJOBID= node108-1304123130-29640
PBS_JOBID= 13170727
Free space on /tmp= 72120 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312603-1304124339/watcher-3312603-1304124339 -o /tmp/evaluation-result-3312603-1304124339/solver-3312603-1304124339 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312603-1304124339.cnf

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

MD5SUM BENCH= ee861b5bc3d48577f06373bd13f4b8a5
RANDOM SEED=1717342526

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.820
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.820
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:      30869636 kB
Buffers:        550336 kB
Cached:        1059592 kB
SwapCached:          4 kB
Active:         126344 kB
Inactive:      1563280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30869636 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3548 kB
Writeback:           0 kB
AnonPages:       79796 kB
Mapped:          22948 kB
Slab:           327400 kB
PageTables:       4344 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   776872 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= 72116 MiB
End job on node108 at 2011-04-30 02:49:51