Trace number 3312738

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.1UNSAT 3084.97 776.947

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf
MD5SUM7fa3ae3894a5c333ebdaa99700e2c639
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark9.2106
Satisfiable
(Un)Satisfiability was proved
Number of variables350
Number of clauses1491
Sum of the clauses size4473
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31491
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	50:58 INFO : Reading from input HOME/instance-3312738-1304131858.cnf
0.26/0.24	Executor set job limit to 1000000
0.26/0.24	Executor set job limit to 1000000
0.26/0.24	Executor set job limit to 1000000
0.26/0.24	Executor set job limit to 1000000
0.26/0.24	Starting Executor!
0.26/0.24	Starting Executor!
0.26/0.24	Starting Executor!
0.26/0.24	Starting Executor!
0.47/0.31	50:58 INFO : 349 variables remaining out of 350
0.47/0.31	50:58 INFO : 5948 literals remaining out of 5964
3084.94/776.92	c Elapsed time 776.81
3084.94/776.92	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3312738-1304131858/watcher-3312738-1304131858 -o /tmp/evaluation-result-3312738-1304131858/solver-3312738-1304131858 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312738-1304131858.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: 8.25 8.04 7.36 6/198 15284
/proc/meminfo: memFree=29183084/32951124 swapFree=67111348/67111528
[pid=15284] ppid=15282 vsize=20456 CPUtime=0 cores=1,3,5,7
/proc/15284/stat : 15284 (java) R 15282 15284 15043 0 -1 4202496 673 0 0 0 0 0 0 0 25 0 1 0 505601103 20946944 160 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254256646185 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/15284/statm: 5757 166 134 9 0 124 0

[startup+0.0367279 s]
/proc/loadavg: 8.25 8.04 7.36 6/198 15284
/proc/meminfo: memFree=29183084/32951124 swapFree=67111348/67111528
[pid=15284] ppid=15282 vsize=15604248 CPUtime=0.01 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15282 15284 15043 0 -1 4202496 3576 0 1 0 1 0 0 0 25 0 13 0 505601103 15978749952 3015 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/15284/statm: 3901062 3018 1667 9 0 3891810 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15604248

[startup+0.100707 s]
/proc/loadavg: 8.25 8.04 7.36 6/198 15284
/proc/meminfo: memFree=29183084/32951124 swapFree=67111348/67111528
[pid=15284] ppid=15282 vsize=15676684 CPUtime=0.1 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15282 15284 15043 0 -1 4202496 5524 0 1 0 9 1 0 0 25 0 18 0 505601103 16052924416 4919 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15284/statm: 3919171 4919 2116 9 0 3909890 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676684

[startup+0.300634 s]
/proc/loadavg: 8.25 8.04 7.36 6/198 15284
/proc/meminfo: memFree=29183084/32951124 swapFree=67111348/67111528
[pid=15284] ppid=15282 vsize=15688276 CPUtime=0.47 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15282 15284 15043 0 -1 4202496 10940 0 1 0 45 2 0 0 25 0 22 0 505601103 16064794624 9378 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15284/statm: 3922069 9378 2207 9 0 3912788 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 15688276

[startup+0.700566 s]
/proc/loadavg: 8.25 8.04 7.36 6/198 15284
/proc/meminfo: memFree=29183084/32951124 swapFree=67111348/67111528
[pid=15284] ppid=15282 vsize=15708028 CPUtime=1.93 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15282 15284 15043 0 -1 4202496 28931 0 1 0 188 5 0 0 25 0 22 0 505601103 16085020672 23353 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15284/statm: 3927007 23353 2250 9 0 3917726 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 15708028

[startup+1.50142 s]
/proc/loadavg: 8.25 8.04 7.36 10/220 15306
/proc/meminfo: memFree=29029404/32951124 swapFree=67111348/67111528
[pid=15284] ppid=15282 vsize=15705420 CPUtime=5.1 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15282 15284 15043 0 -1 4202496 55902 0 1 0 502 8 0 0 25 0 22 0 505601103 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15284/statm: 3926355 49008 2276 9 0 3917074 0
[pid=15284/tid=15286] ppid=15282 vsize=15705420 CPUtime=0.3 cores=1,3,5,7
/proc/15284/task/15286/stat : 15286 (java) S 15282 15284 15043 0 -1 4202560 5669 0 1 0 29 1 0 0 20 0 22 0 505601104 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15287] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15287/stat : 15287 (java) S 15282 15284 15043 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 505601104 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15288] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15288/stat : 15288 (java) S 15282 15284 15043 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 505601104 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15289] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15289/stat : 15289 (java) S 15282 15284 15043 0 -1 4202560 292 0 0 0 0 0 0 0 16 0 22 0 505601104 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15290] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15290/stat : 15290 (java) S 15282 15284 15043 0 -1 4202560 35 0 0 0 0 0 0 0 15 0 22 0 505601104 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15291] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15291/stat : 15291 (java) S 15282 15284 15043 0 -1 4202560 257 0 0 0 0 0 0 0 15 0 22 0 505601104 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15292] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15292/stat : 15292 (java) S 15282 15284 15043 0 -1 4202560 481 0 0 0 0 0 0 0 15 0 22 0 505601104 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15293] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15293/stat : 15293 (java) S 15282 15284 15043 0 -1 4202560 490 0 0 0 0 0 0 0 15 0 22 0 505601104 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15294] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15294/stat : 15294 (java) S 15282 15284 15043 0 -1 4202560 325 0 0 0 0 0 0 0 16 0 22 0 505601104 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15295] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15295/stat : 15295 (java) S 15282 15284 15043 0 -1 4202560 73 0 0 0 0 0 0 0 16 0 22 0 505601105 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 0 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15296] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15296/stat : 15296 (java) S 15282 15284 15043 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505601106 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15297] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15297/stat : 15297 (java) S 15282 15284 15043 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505601106 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15298] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15298/stat : 15298 (java) S 15282 15284 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505601108 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273440177 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15299] ppid=15282 vsize=15705420 CPUtime=0.74 cores=1,3,5,7
/proc/15284/task/15299/stat : 15299 (java) S 15282 15284 15043 0 -1 4202560 5975 0 0 0 73 1 0 0 25 0 22 0 505601108 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15300] ppid=15282 vsize=15705420 CPUtime=0.81 cores=1,3,5,7
/proc/15284/task/15300/stat : 15300 (java) R 15282 15284 15043 0 -1 4202560 10927 0 0 0 80 1 0 0 15 0 22 0 505601108 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 46923443443331 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15284/tid=15301] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15301/stat : 15301 (java) S 15282 15284 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505601108 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15302] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15302/stat : 15302 (java) S 15282 15284 15043 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 505601108 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15303] ppid=15282 vsize=15705420 CPUtime=0.7 cores=1,3,5,7
/proc/15284/task/15303/stat : 15303 (java) R 15282 15284 15043 0 -1 4202560 4357 0 0 0 70 0 0 0 19 0 22 0 505601127 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 46912505782049 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15284/tid=15304] ppid=15282 vsize=15705420 CPUtime=0.91 cores=1,3,5,7
/proc/15284/task/15304/stat : 15304 (java) R 15282 15284 15043 0 -1 4202560 11270 0 0 0 90 1 0 0 19 0 22 0 505601127 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 18446744073699065971 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15284/tid=15305] ppid=15282 vsize=15705420 CPUtime=0.83 cores=1,3,5,7
/proc/15284/task/15305/stat : 15305 (java) R 15282 15284 15043 0 -1 4202560 9894 0 0 0 82 1 0 0 19 0 22 0 505601127 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 46912505647554 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15284/tid=15306] ppid=15282 vsize=15705420 CPUtime=0.75 cores=1,3,5,7
/proc/15284/task/15306/stat : 15306 (java) R 15282 15284 15043 0 -1 4202560 4450 0 0 0 74 1 0 0 20 0 22 0 505601127 16082350080 49008 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 46912505782118 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 15705420

[startup+3.10114 s]
/proc/loadavg: 8.23 8.04 7.36 9/220 15306
/proc/meminfo: memFree=28866596/32951124 swapFree=67111348/67111528
[pid=15284] ppid=15282 vsize=15705420 CPUtime=11.47 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15282 15284 15043 0 -1 4202496 90401 0 1 0 1135 12 0 0 25 0 22 0 505601103 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15284/statm: 3926355 82261 2276 9 0 3917074 0
[pid=15284/tid=15286] ppid=15282 vsize=15705420 CPUtime=0.3 cores=1,3,5,7
/proc/15284/task/15286/stat : 15286 (java) S 15282 15284 15043 0 -1 4202560 5669 0 1 0 29 1 0 0 20 0 22 0 505601104 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15287] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15287/stat : 15287 (java) S 15282 15284 15043 0 -1 4202560 833 0 0 0 0 0 0 0 16 0 22 0 505601104 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15288] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15288/stat : 15288 (java) S 15282 15284 15043 0 -1 4202560 549 0 0 0 0 0 0 0 15 0 22 0 505601104 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15289] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15289/stat : 15289 (java) S 15282 15284 15043 0 -1 4202560 1159 0 0 0 0 0 0 0 15 0 22 0 505601104 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15290] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15290/stat : 15290 (java) S 15282 15284 15043 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 22 0 505601104 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15291] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15291/stat : 15291 (java) S 15282 15284 15043 0 -1 4202560 665 0 0 0 0 0 0 0 16 0 22 0 505601104 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15292] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15292/stat : 15292 (java) S 15282 15284 15043 0 -1 4202560 948 0 0 0 0 0 0 0 16 0 22 0 505601104 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15293] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15293/stat : 15293 (java) S 15282 15284 15043 0 -1 4202560 945 0 0 0 0 0 0 0 15 0 22 0 505601104 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15294] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15294/stat : 15294 (java) S 15282 15284 15043 0 -1 4202560 841 0 0 0 0 0 0 0 15 0 22 0 505601104 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15295] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15295/stat : 15295 (java) S 15282 15284 15043 0 -1 4202560 199 0 0 0 0 0 0 0 16 0 22 0 505601105 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 0 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15296] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15296/stat : 15296 (java) S 15282 15284 15043 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505601106 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15297] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15297/stat : 15297 (java) S 15282 15284 15043 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505601106 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15298] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15298/stat : 15298 (java) S 15282 15284 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505601108 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273440177 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15299] ppid=15282 vsize=15705420 CPUtime=0.78 cores=1,3,5,7
/proc/15284/task/15299/stat : 15299 (java) S 15282 15284 15043 0 -1 4202560 5981 0 0 0 77 1 0 0 16 0 22 0 505601108 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15300] ppid=15282 vsize=15705420 CPUtime=0.9 cores=1,3,5,7
/proc/15284/task/15300/stat : 15300 (java) S 15282 15284 15043 0 -1 4202560 10949 0 0 0 89 1 0 0 15 0 22 0 505601108 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15301] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15301/stat : 15301 (java) S 15282 15284 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505601108 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15302] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15302/stat : 15302 (java) S 15282 15284 15043 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 505601108 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15303] ppid=15282 vsize=15705420 CPUtime=2.19 cores=1,3,5,7
/proc/15284/task/15303/stat : 15303 (java) R 15282 15284 15043 0 -1 4202560 11121 0 0 0 218 1 0 0 22 0 22 0 505601127 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 18446744073699065918 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=15284/tid=15304] ppid=15282 vsize=15705420 CPUtime=2.5 cores=1,3,5,7
/proc/15284/task/15304/stat : 15304 (java) R 15282 15284 15043 0 -1 4202560 18884 0 0 0 248 2 0 0 23 0 22 0 505601127 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 46912506037682 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15284/tid=15305] ppid=15282 vsize=15705420 CPUtime=2.37 cores=1,3,5,7
/proc/15284/task/15305/stat : 15305 (java) R 15282 15284 15043 0 -1 4202560 17580 0 0 0 236 1 0 0 22 0 22 0 505601127 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 46912506007722 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15284/tid=15306] ppid=15282 vsize=15705420 CPUtime=2.32 cores=1,3,5,7
/proc/15284/task/15306/stat : 15306 (java) R 15282 15284 15043 0 -1 4202560 12528 0 0 0 231 1 0 0 25 0 22 0 505601127 16082350080 82261 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 46912506007647 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.47
Current children cumulated vsize (KiB) 15705420

[startup+6.30157 s]
/proc/loadavg: 8.23 8.04 7.36 9/220 15306
/proc/meminfo: memFree=28843624/32951124 swapFree=67111348/67111528
[pid=15284] ppid=15282 vsize=15705420 CPUtime=24.21 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15282 15284 15043 0 -1 4202496 98807 0 1 0 2407 14 0 0 25 0 22 0 505601103 16082350080 82913 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15284/statm: 3926355 82913 2286 9 0 3917074 0
[pid=15284/tid=15286] ppid=15282 vsize=15705420 CPUtime=0.3 cores=1,3,5,7
/proc/15284/task/15286/stat : 15286 (java) S 15282 15284 15043 0 -1 4202560 5669 0 1 0 29 1 0 0 20 0 22 0 505601104 16082350080 82913 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15287] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15287/stat : 15287 (java) S 15282 15284 15043 0 -1 4202560 1950 0 0 0 0 0 0 0 15 0 22 0 505601104 16082350080 82913 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15288] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15288/stat : 15288 (java) S 15282 15284 15043 0 -1 4202560 1144 0 0 0 0 0 0 0 15 0 22 0 505601104 16082350080 82913 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15289] ppid=15282 vsize=15705420 CPUtime=0.01 cores=1,3,5,7
/proc/15284/task/15289/stat : 15289 (java) S 15282 15284 15043 0 -1 4202560 2383 0 0 0 1 0 0 0 15 0 22 0 505601104 16082350080 82913 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15290] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15290/stat : 15290 (java) S 15282 15284 15043 0 -1 4202560 973 0 0 0 0 0 0 0 16 0 22 0 505601104 16082350080 82913 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15291] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15291/stat : 15291 (java) S 15282 15284 15043 0 -1 4202560 1857 0 0 0 0 0 0 0 15 0 22 0 505601104 16082350080 82913 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15292] ppid=15282 vsize=15705420 CPUtime=0.01 cores=1,3,5,7
/proc/15284/task/15292/stat : 15292 (java) S 15282 15284 15043 0 -1 4202560 1998 0 0 0 1 0 0 0 16 0 22 0 505601104 16082350080 82913 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15293] ppid=15282 vsize=15705420 CPUtime=0.01 cores=1,3,5,7
/proc/15284/task/15293/stat : 15293 (java) S 15282 15284 15043 0 -1 4202560 2014 0 0 0 1 0 0 0 15 0 22 0 505601104 16082350080 82913 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15294] ppid=15282 vsize=15705420 CPUtime=0.01 cores=1,3,5,7
/proc/15284/task/15294/stat : 15294 (java) S 15282 15284 15043 0 -1 4202560 2112 0 0 0 1 0 0 0 15 0 22 0 505601104 16082350080 82913 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15295] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15295/stat : 15295 (java) S 15282 15284 15043 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 22 0 505601105 16082350080 82913 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 0 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15296] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15296/stat : 15296 (java) S 15282 15284 15043 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505601106 16082350080 82913 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15297] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15297/stat : 15297 (java) S 15282 15284 15043 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505601106 16082350080 82913 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15298] ppid=15282 vsize=15705420 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15298/stat : 15298 (java) S 15282 15284 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505601108 16082350080 82913 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273440177 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15299] ppid=15282 vsize=15705420 CPUtime=0.86 cores=1,3,5,7
/proc/15284/task/15299/stat : 15299 (java) S 15282 15284 15043 0 -1 4202560 5996 0 0 0 85 1 0 0 15 0 22 0 505601108 16082350080 82913 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0

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

/proc/15284/task/15299/stat : 15299 (java) S 15282 15284 15043 0 -1 4202560 6017 0 0 0 96 1 0 0 15 0 22 0 505601108 16070922240 83223 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15300] ppid=15282 vsize=15694260 CPUtime=1 cores=1,3,5,7
/proc/15284/task/15300/stat : 15300 (java) S 15282 15284 15043 0 -1 4202560 10993 0 0 0 99 1 0 0 15 0 22 0 505601108 16070922240 83223 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15301] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15301/stat : 15301 (java) S 15282 15284 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505601108 16070922240 83223 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15302] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15302/stat : 15302 (java) S 15282 15284 15043 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 22 0 505601108 16070922240 83223 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15303] ppid=15282 vsize=15694260 CPUtime=763.65 cores=1,3,5,7
/proc/15284/task/15303/stat : 15303 (java) R 15282 15284 15043 0 -1 4202560 172349 0 0 0 76333 32 0 0 25 0 22 0 505601127 16070922240 83223 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 46912505683518 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15284/tid=15304] ppid=15282 vsize=15694260 CPUtime=764.49 cores=1,3,5,7
/proc/15284/task/15304/stat : 15304 (java) R 15282 15284 15043 0 -1 4202560 179906 0 0 0 76418 31 0 0 25 0 22 0 505601127 16070922240 83223 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 46912505523303 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=15284/tid=15305] ppid=15282 vsize=15694260 CPUtime=764.23 cores=1,3,5,7
/proc/15284/task/15305/stat : 15305 (java) R 15282 15284 15043 0 -1 4202560 178829 0 0 0 76389 34 0 0 25 0 22 0 505601127 16070922240 83223 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 46912505782009 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15284/tid=15306] ppid=15282 vsize=15694260 CPUtime=763.56 cores=1,3,5,7
/proc/15284/task/15306/stat : 15306 (java) R 15282 15284 15043 0 -1 4202560 173100 0 0 0 76325 31 0 0 25 0 22 0 505601127 16070922240 83223 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 46912505746709 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3077.33
Current children cumulated vsize (KiB) 15694260

[startup+775.901 s]
/proc/loadavg: 8.07 8.05 7.73 9/220 15386
/proc/meminfo: memFree=28813976/32951124 swapFree=67111348/67111528
[pid=15284] ppid=15282 vsize=15694260 CPUtime=3083.32 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15282 15284 15043 0 -1 4202496 1298818 0 1 0 308035 297 0 0 25 0 22 0 505601103 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15284/statm: 3923565 79633 2297 9 0 3914284 0
[pid=15284/tid=15286] ppid=15282 vsize=15694260 CPUtime=0.3 cores=1,3,5,7
/proc/15284/task/15286/stat : 15286 (java) S 15282 15284 15043 0 -1 4202560 5669 0 1 0 29 1 0 0 20 0 22 0 505601104 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15287] ppid=15282 vsize=15694260 CPUtime=2.24 cores=1,3,5,7
/proc/15284/task/15287/stat : 15287 (java) S 15282 15284 15043 0 -1 4202560 71230 0 0 0 209 15 0 0 15 0 22 0 505601104 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15288] ppid=15282 vsize=15694260 CPUtime=2.16 cores=1,3,5,7
/proc/15284/task/15288/stat : 15288 (java) S 15282 15284 15043 0 -1 4202560 69837 0 0 0 204 12 0 0 15 0 22 0 505601104 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15289] ppid=15282 vsize=15694260 CPUtime=2.21 cores=1,3,5,7
/proc/15284/task/15289/stat : 15289 (java) S 15282 15284 15043 0 -1 4202560 74846 0 0 0 207 14 0 0 16 0 22 0 505601104 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15290] ppid=15282 vsize=15694260 CPUtime=2.18 cores=1,3,5,7
/proc/15284/task/15290/stat : 15290 (java) S 15282 15284 15043 0 -1 4202560 65790 0 0 0 206 12 0 0 15 0 22 0 505601104 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15291] ppid=15282 vsize=15694260 CPUtime=2.14 cores=1,3,5,7
/proc/15284/task/15291/stat : 15291 (java) S 15282 15284 15043 0 -1 4202560 68611 0 0 0 201 13 0 0 15 0 22 0 505601104 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15292] ppid=15282 vsize=15694260 CPUtime=2.15 cores=1,3,5,7
/proc/15284/task/15292/stat : 15292 (java) S 15282 15284 15043 0 -1 4202560 69650 0 0 0 201 14 0 0 15 0 22 0 505601104 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15293] ppid=15282 vsize=15694260 CPUtime=2.11 cores=1,3,5,7
/proc/15284/task/15293/stat : 15293 (java) S 15282 15284 15043 0 -1 4202560 72785 0 0 0 197 14 0 0 16 0 22 0 505601104 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15294] ppid=15282 vsize=15694260 CPUtime=2.28 cores=1,3,5,7
/proc/15284/task/15294/stat : 15294 (java) S 15282 15284 15043 0 -1 4202560 74593 0 0 0 213 15 0 0 15 0 22 0 505601104 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15295] ppid=15282 vsize=15694260 CPUtime=1.53 cores=1,3,5,7
/proc/15284/task/15295/stat : 15295 (java) S 15282 15284 15043 0 -1 4202560 3174 0 0 0 103 50 0 0 16 0 22 0 505601105 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 0 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15296] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15296/stat : 15296 (java) S 15282 15284 15043 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505601106 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15297] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15297/stat : 15297 (java) S 15282 15284 15043 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505601106 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15298] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15298/stat : 15298 (java) S 15282 15284 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505601108 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273440177 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15299] ppid=15282 vsize=15694260 CPUtime=0.97 cores=1,3,5,7
/proc/15284/task/15299/stat : 15299 (java) S 15282 15284 15043 0 -1 4202560 6017 0 0 0 96 1 0 0 15 0 22 0 505601108 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15300] ppid=15282 vsize=15694260 CPUtime=1 cores=1,3,5,7
/proc/15284/task/15300/stat : 15300 (java) S 15282 15284 15043 0 -1 4202560 10993 0 0 0 99 1 0 0 15 0 22 0 505601108 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15301] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15301/stat : 15301 (java) S 15282 15284 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505601108 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15302] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15302/stat : 15302 (java) S 15282 15284 15043 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 22 0 505601108 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15303] ppid=15282 vsize=15694260 CPUtime=765.12 cores=1,3,5,7
/proc/15284/task/15303/stat : 15303 (java) R 15282 15284 15043 0 -1 4202560 172354 0 0 0 76480 32 0 0 25 0 22 0 505601127 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 46912505782234 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=15284/tid=15304] ppid=15282 vsize=15694260 CPUtime=766 cores=1,3,5,7
/proc/15284/task/15304/stat : 15304 (java) S 15282 15284 15043 0 -1 4202560 179910 0 0 0 76569 31 0 0 25 0 22 0 505601127 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15305] ppid=15282 vsize=15694260 CPUtime=765.75 cores=1,3,5,7
/proc/15284/task/15305/stat : 15305 (java) R 15282 15284 15043 0 -1 4202560 178831 0 0 0 76541 34 0 0 25 0 22 0 505601127 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 46912505782049 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=15284/tid=15306] ppid=15282 vsize=15694260 CPUtime=765.01 cores=1,3,5,7
/proc/15284/task/15306/stat : 15306 (java) S 15282 15284 15043 0 -1 4202560 173103 0 0 0 76470 31 0 0 25 0 22 0 505601127 16070922240 79633 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3083.32
Current children cumulated vsize (KiB) 15694260

[startup+776.702 s]
/proc/loadavg: 7.98 8.03 7.72 6/220 15387
/proc/meminfo: memFree=28838652/32951124 swapFree=67111348/67111528
[pid=15284] ppid=15282 vsize=15694260 CPUtime=3084.94 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15282 15284 15043 0 -1 4202496 1298823 0 1 0 308197 297 0 0 25 0 22 0 505601103 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15284/statm: 3923565 78833 2297 9 0 3914284 0
[pid=15284/tid=15286] ppid=15282 vsize=15694260 CPUtime=0.3 cores=1,3,5,7
/proc/15284/task/15286/stat : 15286 (java) S 15282 15284 15043 0 -1 4202560 5669 0 1 0 29 1 0 0 20 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15287] ppid=15282 vsize=15694260 CPUtime=2.24 cores=1,3,5,7
/proc/15284/task/15287/stat : 15287 (java) S 15282 15284 15043 0 -1 4202560 71230 0 0 0 209 15 0 0 15 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15288] ppid=15282 vsize=15694260 CPUtime=2.16 cores=1,3,5,7
/proc/15284/task/15288/stat : 15288 (java) S 15282 15284 15043 0 -1 4202560 69837 0 0 0 204 12 0 0 16 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15289] ppid=15282 vsize=15694260 CPUtime=2.21 cores=1,3,5,7
/proc/15284/task/15289/stat : 15289 (java) S 15282 15284 15043 0 -1 4202560 74846 0 0 0 207 14 0 0 15 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15290] ppid=15282 vsize=15694260 CPUtime=2.18 cores=1,3,5,7
/proc/15284/task/15290/stat : 15290 (java) S 15282 15284 15043 0 -1 4202560 65791 0 0 0 206 12 0 0 15 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15291] ppid=15282 vsize=15694260 CPUtime=2.14 cores=1,3,5,7
/proc/15284/task/15291/stat : 15291 (java) S 15282 15284 15043 0 -1 4202560 68611 0 0 0 201 13 0 0 16 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15292] ppid=15282 vsize=15694260 CPUtime=2.15 cores=1,3,5,7
/proc/15284/task/15292/stat : 15292 (java) S 15282 15284 15043 0 -1 4202560 69650 0 0 0 201 14 0 0 15 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15293] ppid=15282 vsize=15694260 CPUtime=2.11 cores=1,3,5,7
/proc/15284/task/15293/stat : 15293 (java) S 15282 15284 15043 0 -1 4202560 72785 0 0 0 197 14 0 0 16 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15294] ppid=15282 vsize=15694260 CPUtime=2.28 cores=1,3,5,7
/proc/15284/task/15294/stat : 15294 (java) S 15282 15284 15043 0 -1 4202560 74593 0 0 0 213 15 0 0 16 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15295] ppid=15282 vsize=15694260 CPUtime=1.53 cores=1,3,5,7
/proc/15284/task/15295/stat : 15295 (java) S 15282 15284 15043 0 -1 4202560 3174 0 0 0 103 50 0 0 15 0 22 0 505601105 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 0 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15296] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15296/stat : 15296 (java) S 15282 15284 15043 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505601106 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15297] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15297/stat : 15297 (java) S 15282 15284 15043 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505601106 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15298] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15298/stat : 15298 (java) S 15282 15284 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505601108 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273440177 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15299] ppid=15282 vsize=15694260 CPUtime=0.97 cores=1,3,5,7
/proc/15284/task/15299/stat : 15299 (java) S 15282 15284 15043 0 -1 4202560 6017 0 0 0 96 1 0 0 15 0 22 0 505601108 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15300] ppid=15282 vsize=15694260 CPUtime=1 cores=1,3,5,7
/proc/15284/task/15300/stat : 15300 (java) S 15282 15284 15043 0 -1 4202560 10993 0 0 0 99 1 0 0 15 0 22 0 505601108 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15301] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15301/stat : 15301 (java) S 15282 15284 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505601108 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15302] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15302/stat : 15302 (java) S 15282 15284 15043 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 22 0 505601108 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15303] ppid=15282 vsize=15694260 CPUtime=765.52 cores=1,3,5,7
/proc/15284/task/15303/stat : 15303 (java) S 15282 15284 15043 0 -1 4202560 172355 0 0 0 76520 32 0 0 23 0 22 0 505601127 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15304] ppid=15282 vsize=15694260 CPUtime=766.35 cores=1,3,5,7
/proc/15284/task/15304/stat : 15304 (java) S 15282 15284 15043 0 -1 4202560 179911 0 0 0 76604 31 0 0 24 0 22 0 505601127 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15305] ppid=15282 vsize=15694260 CPUtime=766.29 cores=1,3,5,7
/proc/15284/task/15305/stat : 15305 (java) S 15282 15284 15043 0 -1 4202560 178832 0 0 0 76595 34 0 0 24 0 22 0 505601127 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15306] ppid=15282 vsize=15694260 CPUtime=765.33 cores=1,3,5,7
/proc/15284/task/15306/stat : 15306 (java) S 15282 15284 15043 0 -1 4202560 173104 0 0 0 76502 31 0 0 22 0 22 0 505601127 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3084.94
Current children cumulated vsize (KiB) 15694260

[startup+776.901 s]
/proc/loadavg: 7.98 8.03 7.72 6/220 15387
/proc/meminfo: memFree=28838652/32951124 swapFree=67111348/67111528
[pid=15284] ppid=15282 vsize=15694260 CPUtime=3084.94 cores=1,3,5,7
/proc/15284/stat : 15284 (java) S 15282 15284 15043 0 -1 4202496 1298823 0 1 0 308197 297 0 0 25 0 22 0 505601103 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/15284/statm: 3923565 78833 2297 9 0 3914284 0
[pid=15284/tid=15286] ppid=15282 vsize=15694260 CPUtime=0.3 cores=1,3,5,7
/proc/15284/task/15286/stat : 15286 (java) S 15282 15284 15043 0 -1 4202560 5669 0 1 0 29 1 0 0 20 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15287] ppid=15282 vsize=15694260 CPUtime=2.24 cores=1,3,5,7
/proc/15284/task/15287/stat : 15287 (java) S 15282 15284 15043 0 -1 4202560 71230 0 0 0 209 15 0 0 15 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15288] ppid=15282 vsize=15694260 CPUtime=2.16 cores=1,3,5,7
/proc/15284/task/15288/stat : 15288 (java) S 15282 15284 15043 0 -1 4202560 69837 0 0 0 204 12 0 0 16 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15289] ppid=15282 vsize=15694260 CPUtime=2.21 cores=1,3,5,7
/proc/15284/task/15289/stat : 15289 (java) S 15282 15284 15043 0 -1 4202560 74846 0 0 0 207 14 0 0 15 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15290] ppid=15282 vsize=15694260 CPUtime=2.18 cores=1,3,5,7
/proc/15284/task/15290/stat : 15290 (java) S 15282 15284 15043 0 -1 4202560 65791 0 0 0 206 12 0 0 15 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15291] ppid=15282 vsize=15694260 CPUtime=2.14 cores=1,3,5,7
/proc/15284/task/15291/stat : 15291 (java) S 15282 15284 15043 0 -1 4202560 68611 0 0 0 201 13 0 0 16 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15292] ppid=15282 vsize=15694260 CPUtime=2.15 cores=1,3,5,7
/proc/15284/task/15292/stat : 15292 (java) S 15282 15284 15043 0 -1 4202560 69650 0 0 0 201 14 0 0 15 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15293] ppid=15282 vsize=15694260 CPUtime=2.11 cores=1,3,5,7
/proc/15284/task/15293/stat : 15293 (java) S 15282 15284 15043 0 -1 4202560 72785 0 0 0 197 14 0 0 16 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15294] ppid=15282 vsize=15694260 CPUtime=2.28 cores=1,3,5,7
/proc/15284/task/15294/stat : 15294 (java) S 15282 15284 15043 0 -1 4202560 74593 0 0 0 213 15 0 0 16 0 22 0 505601104 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15295] ppid=15282 vsize=15694260 CPUtime=1.53 cores=1,3,5,7
/proc/15284/task/15295/stat : 15295 (java) S 15282 15284 15043 0 -1 4202560 3174 0 0 0 103 50 0 0 15 0 22 0 505601105 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 0 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15296] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15296/stat : 15296 (java) S 15282 15284 15043 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 505601106 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15297] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15297/stat : 15297 (java) S 15282 15284 15043 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 505601106 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15298] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15298/stat : 15298 (java) S 15282 15284 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505601108 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273440177 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15299] ppid=15282 vsize=15694260 CPUtime=0.97 cores=1,3,5,7
/proc/15284/task/15299/stat : 15299 (java) S 15282 15284 15043 0 -1 4202560 6017 0 0 0 96 1 0 0 15 0 22 0 505601108 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15300] ppid=15282 vsize=15694260 CPUtime=1 cores=1,3,5,7
/proc/15284/task/15300/stat : 15300 (java) S 15282 15284 15043 0 -1 4202560 10993 0 0 0 99 1 0 0 15 0 22 0 505601108 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15301] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15301/stat : 15301 (java) S 15282 15284 15043 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 505601108 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273432473 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15302] ppid=15282 vsize=15694260 CPUtime=0 cores=1,3,5,7
/proc/15284/task/15302/stat : 15302 (java) S 15282 15284 15043 0 -1 4202560 41 0 0 0 0 0 0 0 15 0 22 0 505601108 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
[pid=15284/tid=15303] ppid=15282 vsize=15694260 CPUtime=765.52 cores=1,3,5,7
/proc/15284/task/15303/stat : 15303 (java) S 15282 15284 15043 0 -1 4202560 172355 0 0 0 76520 32 0 0 21 0 22 0 505601127 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 3 0 0 0
[pid=15284/tid=15304] ppid=15282 vsize=15694260 CPUtime=766.35 cores=1,3,5,7
/proc/15284/task/15304/stat : 15304 (java) S 15282 15284 15043 0 -1 4202560 179911 0 0 0 76604 31 0 0 22 0 22 0 505601127 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 5 0 0 0
[pid=15284/tid=15305] ppid=15282 vsize=15694260 CPUtime=766.29 cores=1,3,5,7
/proc/15284/task/15305/stat : 15305 (java) S 15282 15284 15043 0 -1 4202560 178832 0 0 0 76595 34 0 0 22 0 22 0 505601127 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 7 0 0 0
[pid=15284/tid=15306] ppid=15282 vsize=15694260 CPUtime=765.33 cores=1,3,5,7
/proc/15284/task/15306/stat : 15306 (java) S 15282 15284 15043 0 -1 4202560 173104 0 0 0 76502 31 0 0 20 0 22 0 505601127 16070922240 78833 33554432000 1073741824 1073778376 140736216206976 18446744073709551615 254273433088 0 4 0 16800975 18446604466037570624 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3084.94
Current children cumulated vsize (KiB) 15694260

Child status: 20
Real time (s): 776.947
CPU time (s): 3084.97
CPU user time (s): 3081.98
CPU system time (s): 2.99254
CPU usage (%): 397.063
Max. virtual memory (cumulated for all children) (KiB): 15708032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3081.98
system time used= 2.99254
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1298846
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= 180701
involuntary context switches= 103418

runsolver used 1.14682 second user time and 3.12352 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-30 04:50:58
IDJOB=3312738
IDBENCH=82923
IDSOLVER=1699
FILE ID=node140/3312738-1304131858
RUNJOBID= node140-1304130648-15062
PBS_JOBID= 13170792
Free space on /tmp= 73292 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312738-1304131858/watcher-3312738-1304131858 -o /tmp/evaluation-result-3312738-1304131858/solver-3312738-1304131858 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312738-1304131858.cnf

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

MD5SUM BENCH= 7fa3ae3894a5c333ebdaa99700e2c639
RANDOM SEED=1722117443

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29183356 kB
Buffers:       1045892 kB
Cached:        1802280 kB
SwapCached:        180 kB
Active:         669964 kB
Inactive:      2600488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29183356 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            1608 kB
Writeback:           0 kB
AnonPages:      422124 kB
Mapped:          23480 kB
Slab:           432092 kB
PageTables:       6152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   618248 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= 73292 MiB
End job on node140 at 2011-04-30 05:03:55