Trace number 3312882

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1? (TO) 4800.12 1207.23

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf
MD5SUMad19e852103e6838347ce97648b48b74
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.141977
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52662
Number of clauses of size over 50

Solver Data 

0.10/0.12	52:35 INFO : Reading from input HOME/instance-3312882-1304178754.cnf
0.26/0.28	Executor set job limit to 1000000
0.26/0.28	Executor set job limit to 1000000
0.26/0.28	Executor set job limit to 1000000
0.26/0.28	Executor set job limit to 1000000
0.26/0.28	Starting Executor!
0.26/0.28	Starting Executor!
0.26/0.28	Starting Executor!
0.26/0.28	Starting Executor!
0.79/0.43	52:35 INFO : 125 variables remaining out of 125
0.79/0.43	52:35 INFO : 15972 literals remaining out of 15972

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3312882-1304178754/watcher-3312882-1304178754 -o /tmp/evaluation-result-3312882-1304178754/solver-3312882-1304178754 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312882-1304178754.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.83 7.84 7.91 8/198 21973
/proc/meminfo: memFree=25098600/32951124 swapFree=67111448/67111528
[pid=21973] ppid=21971 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/21973/stat : 21973 (java) R 21971 21973 21863 0 -1 4202496 957 0 0 0 0 0 0 0 25 0 1 0 510291571 23580672 444 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255101806336 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/21973/statm: 5757 455 350 9 0 124 0

[startup+0.081557 s]
/proc/loadavg: 7.83 7.84 7.91 8/198 21973
/proc/meminfo: memFree=25098600/32951124 swapFree=67111448/67111528
[pid=21973] ppid=21971 vsize=15676948 CPUtime=0.08 cores=0,2,4,6
/proc/21973/stat : 21973 (java) S 21971 21973 21863 0 -1 4202496 5345 0 1 0 7 1 0 0 25 0 18 0 510291571 16053194752 4763 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21973/statm: 3919237 4764 2106 9 0 3909956 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15676948

[startup+0.10524 s]
/proc/loadavg: 7.83 7.84 7.91 8/198 21973
/proc/meminfo: memFree=25098600/32951124 swapFree=67111448/67111528
[pid=21973] ppid=21971 vsize=15676948 CPUtime=0.1 cores=0,2,4,6
/proc/21973/stat : 21973 (java) S 21971 21973 21863 0 -1 4202496 5630 0 1 0 9 1 0 0 25 0 18 0 510291571 16053194752 5048 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21973/statm: 3919237 5048 2117 9 0 3909956 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676948

[startup+0.307151 s]
/proc/loadavg: 7.83 7.84 7.91 8/198 21973
/proc/meminfo: memFree=25098600/32951124 swapFree=67111448/67111528
[pid=21973] ppid=21971 vsize=15684096 CPUtime=0.53 cores=0,2,4,6
/proc/21973/stat : 21973 (java) S 21971 21973 21863 0 -1 4202496 12347 0 1 0 51 2 0 0 25 0 22 0 510291571 16060514304 10522 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21973/statm: 3921024 10522 2214 9 0 3911743 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 15684096

[startup+0.979028 s]
/proc/loadavg: 7.83 7.84 7.91 8/198 21973
/proc/meminfo: memFree=25098600/32951124 swapFree=67111448/67111528
[pid=21973] ppid=21971 vsize=15703652 CPUtime=2.99 cores=0,2,4,6
/proc/21973/stat : 21973 (java) S 21971 21973 21863 0 -1 4202496 47714 0 1 0 293 6 0 0 25 0 22 0 510291571 16080539648 41497 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21973/statm: 3925913 41499 2262 9 0 3916632 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 15703652

[startup+1.50694 s]
/proc/loadavg: 7.83 7.84 7.91 11/220 21995
/proc/meminfo: memFree=24916216/32951124 swapFree=67111448/67111528
[pid=21973] ppid=21971 vsize=15701016 CPUtime=5.09 cores=0,2,4,6
/proc/21973/stat : 21973 (java) S 21971 21973 21863 0 -1 4202496 62569 0 1 0 500 9 0 0 25 0 22 0 510291571 16077840384 55353 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21973/statm: 3925254 55366 2278 9 0 3915973 0
[pid=21973/tid=21975] ppid=21971 vsize=15701016 CPUtime=0.41 cores=0,2,4,6
/proc/21973/task/21975/stat : 21975 (java) S 21971 21973 21863 0 -1 4202560 7524 0 1 0 40 1 0 0 20 0 22 0 510291572 16077840384 55369 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21976] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21976/stat : 21976 (java) S 21971 21973 21863 0 -1 4202560 269 0 0 0 0 0 0 0 16 0 22 0 510291573 16077840384 55371 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21977] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21977/stat : 21977 (java) S 21971 21973 21863 0 -1 4202560 456 0 0 0 0 0 0 0 16 0 22 0 510291573 16077840384 55373 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21978] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21978/stat : 21978 (java) S 21971 21973 21863 0 -1 4202560 438 0 0 0 0 0 0 0 16 0 22 0 510291573 16077840384 55375 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21979] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21979/stat : 21979 (java) S 21971 21973 21863 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510291573 16077840384 55376 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21980] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21980/stat : 21980 (java) S 21971 21973 21863 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510291573 16077840384 55378 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21981] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21981/stat : 21981 (java) S 21971 21973 21863 0 -1 4202560 420 0 0 0 0 0 0 0 15 0 22 0 510291573 16077840384 55380 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21982] ppid=21971 vsize=15701016 CPUtime=0.01 cores=0,2,4,6
/proc/21973/task/21982/stat : 21982 (java) S 21971 21973 21863 0 -1 4202560 603 0 0 0 1 0 0 0 15 0 22 0 510291573 16077840384 55381 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21983] ppid=21971 vsize=15701016 CPUtime=0.01 cores=0,2,4,6
/proc/21973/task/21983/stat : 21983 (java) S 21971 21973 21863 0 -1 4202560 216 0 0 0 1 0 0 0 15 0 22 0 510291573 16077840384 55383 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21984] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21984/stat : 21984 (java) S 21971 21973 21863 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 510291574 16077840384 55385 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118585344 0 0 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21985] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21985/stat : 21985 (java) S 21971 21973 21863 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510291574 16077840384 55386 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21986] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21986/stat : 21986 (java) S 21971 21973 21863 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510291574 16077840384 55388 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21987] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21987/stat : 21987 (java) S 21971 21973 21863 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510291576 16077840384 55390 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118592433 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21988] ppid=21971 vsize=15701016 CPUtime=1.14 cores=0,2,4,6
/proc/21973/task/21988/stat : 21988 (java) R 21971 21973 21863 0 -1 4202560 6807 0 0 0 114 0 0 0 18 0 22 0 510291576 16077840384 55391 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 47896417554465 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21973/tid=21989] ppid=21971 vsize=15701016 CPUtime=0.57 cores=0,2,4,6
/proc/21973/task/21989/stat : 21989 (java) R 21971 21973 21863 0 -1 4202560 11263 0 0 0 56 1 0 0 17 0 22 0 510291576 16077840384 55393 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 47896417293664 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21973/tid=21990] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21990/stat : 21990 (java) S 21971 21973 21863 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510291576 16077840384 55395 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21991] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21991/stat : 21991 (java) S 21971 21973 21863 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510291576 16077840384 55397 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118585344 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21992] ppid=21971 vsize=15701016 CPUtime=1.02 cores=0,2,4,6
/proc/21973/task/21992/stat : 21992 (java) R 21971 21973 21863 0 -1 4202560 11959 0 0 0 102 0 0 0 19 0 22 0 510291599 16077840384 55398 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505938267 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=21973/tid=21993] ppid=21971 vsize=15701016 CPUtime=0.79 cores=0,2,4,6
/proc/21973/task/21993/stat : 21993 (java) R 21971 21973 21863 0 -1 4202560 10377 0 0 0 78 1 0 0 18 0 22 0 510291599 16077840384 55399 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505783061 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21973/tid=21994] ppid=21971 vsize=15701016 CPUtime=0.72 cores=0,2,4,6
/proc/21973/task/21994/stat : 21994 (java) R 21971 21973 21863 0 -1 4202560 8979 0 0 0 71 1 0 0 17 0 22 0 510291600 16077840384 55401 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505939361 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21973/tid=21995] ppid=21971 vsize=15701016 CPUtime=0.3 cores=0,2,4,6
/proc/21973/task/21995/stat : 21995 (java) R 21971 21973 21863 0 -1 4202560 1844 0 0 0 30 0 0 0 19 0 22 0 510291600 16077840384 55408 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505790835 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 15701016

[startup+3.10066 s]
/proc/loadavg: 7.83 7.84 7.91 9/220 21995
/proc/meminfo: memFree=24655072/32951124 swapFree=67111448/67111528
[pid=21973] ppid=21971 vsize=15701016 CPUtime=11.42 cores=0,2,4,6
/proc/21973/stat : 21973 (java) S 21971 21973 21863 0 -1 4202496 154634 0 1 0 1122 20 0 0 25 0 22 0 510291571 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21973/statm: 3925254 144105 2285 9 0 3915973 0
[pid=21973/tid=21975] ppid=21971 vsize=15701016 CPUtime=0.41 cores=0,2,4,6
/proc/21973/task/21975/stat : 21975 (java) S 21971 21973 21863 0 -1 4202560 7524 0 1 0 40 1 0 0 20 0 22 0 510291572 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21976] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21976/stat : 21976 (java) S 21971 21973 21863 0 -1 4202560 848 0 0 0 0 0 0 0 15 0 22 0 510291573 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21977] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21977/stat : 21977 (java) S 21971 21973 21863 0 -1 4202560 456 0 0 0 0 0 0 0 15 0 22 0 510291573 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21978] ppid=21971 vsize=15701016 CPUtime=0.01 cores=0,2,4,6
/proc/21973/task/21978/stat : 21978 (java) S 21971 21973 21863 0 -1 4202560 1104 0 0 0 1 0 0 0 15 0 22 0 510291573 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21979] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21979/stat : 21979 (java) S 21971 21973 21863 0 -1 4202560 261 0 0 0 0 0 0 0 15 0 22 0 510291573 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21980] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21980/stat : 21980 (java) S 21971 21973 21863 0 -1 4202560 460 0 0 0 0 0 0 0 15 0 22 0 510291573 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21981] ppid=21971 vsize=15701016 CPUtime=0.01 cores=0,2,4,6
/proc/21973/task/21981/stat : 21981 (java) S 21971 21973 21863 0 -1 4202560 717 0 0 0 1 0 0 0 15 0 22 0 510291573 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21982] ppid=21971 vsize=15701016 CPUtime=0.01 cores=0,2,4,6
/proc/21973/task/21982/stat : 21982 (java) S 21971 21973 21863 0 -1 4202560 1536 0 0 0 1 0 0 0 15 0 22 0 510291573 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21983] ppid=21971 vsize=15701016 CPUtime=0.01 cores=0,2,4,6
/proc/21973/task/21983/stat : 21983 (java) S 21971 21973 21863 0 -1 4202560 920 0 0 0 1 0 0 0 15 0 22 0 510291573 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21984] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21984/stat : 21984 (java) S 21971 21973 21863 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 22 0 510291574 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118585344 0 0 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21985] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21985/stat : 21985 (java) S 21971 21973 21863 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510291574 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21986] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21986/stat : 21986 (java) S 21971 21973 21863 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510291574 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21987] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21987/stat : 21987 (java) S 21971 21973 21863 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510291576 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118592433 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21988] ppid=21971 vsize=15701016 CPUtime=1.22 cores=0,2,4,6
/proc/21973/task/21988/stat : 21988 (java) S 21971 21973 21863 0 -1 4202560 6838 0 0 0 122 0 0 0 16 0 22 0 510291576 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21989] ppid=21971 vsize=15701016 CPUtime=0.86 cores=0,2,4,6
/proc/21973/task/21989/stat : 21989 (java) S 21971 21973 21863 0 -1 4202560 12338 0 0 0 84 2 0 0 16 0 22 0 510291576 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21990] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21990/stat : 21990 (java) S 21971 21973 21863 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510291576 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21991] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21991/stat : 21991 (java) S 21971 21973 21863 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510291576 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118585344 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21992] ppid=21971 vsize=15701016 CPUtime=2.6 cores=0,2,4,6
/proc/21973/task/21992/stat : 21992 (java) R 21971 21973 21863 0 -1 4202560 35418 0 0 0 257 3 0 0 23 0 22 0 510291599 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505816754 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=21973/tid=21993] ppid=21971 vsize=15701016 CPUtime=2.29 cores=0,2,4,6
/proc/21973/task/21993/stat : 21993 (java) R 21971 21973 21863 0 -1 4202560 33910 0 0 0 225 4 0 0 20 0 22 0 510291599 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505735681 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21973/tid=21994] ppid=21971 vsize=15701016 CPUtime=2.26 cores=0,2,4,6
/proc/21973/task/21994/stat : 21994 (java) R 21971 21973 21863 0 -1 4202560 33291 0 0 0 222 4 0 0 19 0 22 0 510291600 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505876537 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21973/tid=21995] ppid=21971 vsize=15701016 CPUtime=1.63 cores=0,2,4,6
/proc/21973/task/21995/stat : 21995 (java) R 21971 21973 21863 0 -1 4202560 17428 0 0 0 161 2 0 0 21 0 22 0 510291600 16077840384 144105 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505524165 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.42
Current children cumulated vsize (KiB) 15701016

[startup+6.3011 s]
/proc/loadavg: 7.84 7.84 7.91 9/220 21995
/proc/meminfo: memFree=24516792/32951124 swapFree=67111448/67111528
[pid=21973] ppid=21971 vsize=15701016 CPUtime=24.2 cores=0,2,4,6
/proc/21973/stat : 21973 (java) S 21971 21973 21863 0 -1 4202496 158216 0 1 0 2399 21 0 0 25 0 22 0 510291571 16077840384 143935 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21973/statm: 3925254 143935 2288 9 0 3915973 0
[pid=21973/tid=21975] ppid=21971 vsize=15701016 CPUtime=0.41 cores=0,2,4,6
/proc/21973/task/21975/stat : 21975 (java) S 21971 21973 21863 0 -1 4202560 7524 0 1 0 40 1 0 0 20 0 22 0 510291572 16077840384 143935 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21976] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21976/stat : 21976 (java) S 21971 21973 21863 0 -1 4202560 1466 0 0 0 0 0 0 0 16 0 22 0 510291573 16077840384 143935 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21977] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21977/stat : 21977 (java) S 21971 21973 21863 0 -1 4202560 839 0 0 0 0 0 0 0 15 0 22 0 510291573 16077840384 143935 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21978] ppid=21971 vsize=15701016 CPUtime=0.01 cores=0,2,4,6
/proc/21973/task/21978/stat : 21978 (java) S 21971 21973 21863 0 -1 4202560 1726 0 0 0 1 0 0 0 15 0 22 0 510291573 16077840384 143935 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21979] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21979/stat : 21979 (java) S 21971 21973 21863 0 -1 4202560 349 0 0 0 0 0 0 0 15 0 22 0 510291573 16077840384 143935 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21980] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21980/stat : 21980 (java) S 21971 21973 21863 0 -1 4202560 1310 0 0 0 0 0 0 0 15 0 22 0 510291573 16077840384 143935 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21981] ppid=21971 vsize=15701016 CPUtime=0.01 cores=0,2,4,6
/proc/21973/task/21981/stat : 21981 (java) S 21971 21973 21863 0 -1 4202560 1440 0 0 0 1 0 0 0 15 0 22 0 510291573 16077840384 143935 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21982] ppid=21971 vsize=15701016 CPUtime=0.01 cores=0,2,4,6
/proc/21973/task/21982/stat : 21982 (java) S 21971 21973 21863 0 -1 4202560 1709 0 0 0 1 0 0 0 15 0 22 0 510291573 16077840384 143935 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21983] ppid=21971 vsize=15701016 CPUtime=0.01 cores=0,2,4,6
/proc/21973/task/21983/stat : 21983 (java) S 21971 21973 21863 0 -1 4202560 1015 0 0 0 1 0 0 0 15 0 22 0 510291573 16077840384 143935 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21984] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21984/stat : 21984 (java) S 21971 21973 21863 0 -1 4202560 200 0 0 0 0 0 0 0 16 0 22 0 510291574 16077840384 143935 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118585344 0 0 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21985] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21985/stat : 21985 (java) S 21971 21973 21863 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510291574 16077840384 143935 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21986] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21986/stat : 21986 (java) S 21971 21973 21863 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510291574 16077840384 143935 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21987] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21987/stat : 21987 (java) S 21971 21973 21863 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510291576 16077840384 143935 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118592433 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21988] ppid=21971 vsize=15701016 CPUtime=1.25 cores=0,2,4,6
/proc/21973/task/21988/stat : 21988 (java) S 21971 21973 21863 0 -1 4202560 6843 0 0 0 125 0 0 0 15 0 22 0 510291576 16077840384 143935 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0

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

[pid=21973/tid=21993] ppid=21971 vsize=15701016 CPUtime=1049.1 cores=0,2,4,6
/proc/21973/task/21993/stat : 21993 (java) R 21971 21973 21863 0 -1 4202560 156685 0 0 0 104879 31 0 0 25 0 22 0 510291599 16077840384 82757 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505524165 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21973/tid=21994] ppid=21971 vsize=15701016 CPUtime=1048.85 cores=0,2,4,6
/proc/21973/task/21994/stat : 21994 (java) R 21971 21973 21863 0 -1 4202560 156515 0 0 0 104852 33 0 0 25 0 22 0 510291600 16077840384 82757 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505690816 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=21973/tid=21995] ppid=21971 vsize=15701016 CPUtime=1048.62 cores=0,2,4,6
/proc/21973/task/21995/stat : 21995 (java) R 21971 21973 21863 0 -1 4202560 140990 0 0 0 104833 29 0 0 25 0 22 0 510291600 16077840384 82757 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505785825 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4224.06
Current children cumulated vsize (KiB) 15701016

[startup+1122.3 s]
/proc/loadavg: 7.28 7.88 7.95 6/220 22085
/proc/meminfo: memFree=24698820/32951124 swapFree=67111448/67111528
[pid=21973] ppid=21971 vsize=15701016 CPUtime=4462.61 cores=0,2,4,6
/proc/21973/stat : 21973 (java) S 21971 21973 21863 0 -1 4202496 1137606 0 1 0 445942 319 0 0 25 0 22 0 510291571 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21973/statm: 3925254 77346 2298 9 0 3915973 0
[pid=21973/tid=21975] ppid=21971 vsize=15701016 CPUtime=0.41 cores=0,2,4,6
/proc/21973/task/21975/stat : 21975 (java) S 21971 21973 21863 0 -1 4202560 7524 0 1 0 40 1 0 0 20 0 22 0 510291572 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21976] ppid=21971 vsize=15701016 CPUtime=3.04 cores=0,2,4,6
/proc/21973/task/21976/stat : 21976 (java) S 21971 21973 21863 0 -1 4202560 57850 0 0 0 290 14 0 0 15 0 22 0 510291573 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21977] ppid=21971 vsize=15701016 CPUtime=3.07 cores=0,2,4,6
/proc/21973/task/21977/stat : 21977 (java) S 21971 21973 21863 0 -1 4202560 58330 0 0 0 292 15 0 0 16 0 22 0 510291573 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21978] ppid=21971 vsize=15701016 CPUtime=3.11 cores=0,2,4,6
/proc/21973/task/21978/stat : 21978 (java) S 21971 21973 21863 0 -1 4202560 57109 0 0 0 295 16 0 0 15 0 22 0 510291573 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21979] ppid=21971 vsize=15701016 CPUtime=3.08 cores=0,2,4,6
/proc/21973/task/21979/stat : 21979 (java) S 21971 21973 21863 0 -1 4202560 56284 0 0 0 291 17 0 0 16 0 22 0 510291573 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21980] ppid=21971 vsize=15701016 CPUtime=3.13 cores=0,2,4,6
/proc/21973/task/21980/stat : 21980 (java) S 21971 21973 21863 0 -1 4202560 58610 0 0 0 297 16 0 0 15 0 22 0 510291573 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21981] ppid=21971 vsize=15701016 CPUtime=3.13 cores=0,2,4,6
/proc/21973/task/21981/stat : 21981 (java) S 21971 21973 21863 0 -1 4202560 56773 0 0 0 299 14 0 0 15 0 22 0 510291573 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21982] ppid=21971 vsize=15701016 CPUtime=3.05 cores=0,2,4,6
/proc/21973/task/21982/stat : 21982 (java) S 21971 21973 21863 0 -1 4202560 55405 0 0 0 290 15 0 0 16 0 22 0 510291573 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21983] ppid=21971 vsize=15701016 CPUtime=3.21 cores=0,2,4,6
/proc/21973/task/21983/stat : 21983 (java) S 21971 21973 21863 0 -1 4202560 59643 0 0 0 307 14 0 0 15 0 22 0 510291573 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21984] ppid=21971 vsize=15701016 CPUtime=1.97 cores=0,2,4,6
/proc/21973/task/21984/stat : 21984 (java) S 21971 21973 21863 0 -1 4202560 2787 0 0 0 141 56 0 0 15 0 22 0 510291574 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118585344 0 0 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21985] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21985/stat : 21985 (java) S 21971 21973 21863 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510291574 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21986] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21986/stat : 21986 (java) S 21971 21973 21863 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510291574 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21987] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21987/stat : 21987 (java) S 21971 21973 21863 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510291576 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118592433 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21988] ppid=21971 vsize=15701016 CPUtime=1.28 cores=0,2,4,6
/proc/21973/task/21988/stat : 21988 (java) S 21971 21973 21863 0 -1 4202560 6852 0 0 0 128 0 0 0 15 0 22 0 510291576 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21989] ppid=21971 vsize=15701016 CPUtime=0.93 cores=0,2,4,6
/proc/21973/task/21989/stat : 21989 (java) S 21971 21973 21863 0 -1 4202560 12349 0 0 0 91 2 0 0 15 0 22 0 510291576 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21990] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21990/stat : 21990 (java) S 21971 21973 21863 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510291576 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21991] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21991/stat : 21991 (java) S 21971 21973 21863 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 510291576 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118585344 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21992] ppid=21971 vsize=15701016 CPUtime=1108.65 cores=0,2,4,6
/proc/21973/task/21992/stat : 21992 (java) R 21971 21973 21863 0 -1 4202560 168992 0 0 0 110835 30 0 0 25 0 22 0 510291599 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505719351 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21973/tid=21993] ppid=21971 vsize=15701016 CPUtime=1108.47 cores=0,2,4,6
/proc/21973/task/21993/stat : 21993 (java) R 21971 21973 21863 0 -1 4202560 164636 0 0 0 110814 33 0 0 25 0 22 0 510291599 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505703719 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21973/tid=21994] ppid=21971 vsize=15701016 CPUtime=1108.12 cores=0,2,4,6
/proc/21973/task/21994/stat : 21994 (java) R 21971 21973 21863 0 -1 4202560 164303 0 0 0 110777 35 0 0 25 0 22 0 510291600 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505736007 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21973/tid=21995] ppid=21971 vsize=15701016 CPUtime=1107.79 cores=0,2,4,6
/proc/21973/task/21995/stat : 21995 (java) R 21971 21973 21863 0 -1 4202560 148712 0 0 0 110748 31 0 0 25 0 22 0 510291600 16077840384 77346 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505735980 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4462.61
Current children cumulated vsize (KiB) 15701016

[startup+1182.3 s]
/proc/loadavg: 7.09 7.70 7.87 9/220 22087
/proc/meminfo: memFree=22098356/32951124 swapFree=67111448/67111528
[pid=21973] ppid=21971 vsize=15701016 CPUtime=4701.07 cores=0,2,4,6
/proc/21973/stat : 21973 (java) S 21971 21973 21863 0 -1 4202496 1190754 0 1 0 469771 336 0 0 25 0 22 0 510291571 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21973/statm: 3925254 72052 2298 9 0 3915973 0
[pid=21973/tid=21975] ppid=21971 vsize=15701016 CPUtime=0.41 cores=0,2,4,6
/proc/21973/task/21975/stat : 21975 (java) S 21971 21973 21863 0 -1 4202560 7524 0 1 0 40 1 0 0 20 0 22 0 510291572 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21976] ppid=21971 vsize=15701016 CPUtime=3.18 cores=0,2,4,6
/proc/21973/task/21976/stat : 21976 (java) S 21971 21973 21863 0 -1 4202560 61404 0 0 0 303 15 0 0 15 0 22 0 510291573 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21977] ppid=21971 vsize=15701016 CPUtime=3.24 cores=0,2,4,6
/proc/21973/task/21977/stat : 21977 (java) S 21971 21973 21863 0 -1 4202560 61490 0 0 0 308 16 0 0 15 0 22 0 510291573 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21978] ppid=21971 vsize=15701016 CPUtime=3.26 cores=0,2,4,6
/proc/21973/task/21978/stat : 21978 (java) S 21971 21973 21863 0 -1 4202560 60537 0 0 0 309 17 0 0 15 0 22 0 510291573 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21979] ppid=21971 vsize=15701016 CPUtime=3.24 cores=0,2,4,6
/proc/21973/task/21979/stat : 21979 (java) S 21971 21973 21863 0 -1 4202560 59612 0 0 0 305 19 0 0 15 0 22 0 510291573 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21980] ppid=21971 vsize=15701016 CPUtime=3.29 cores=0,2,4,6
/proc/21973/task/21980/stat : 21980 (java) S 21971 21973 21863 0 -1 4202560 61984 0 0 0 312 17 0 0 16 0 22 0 510291573 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21981] ppid=21971 vsize=15701016 CPUtime=3.3 cores=0,2,4,6
/proc/21973/task/21981/stat : 21981 (java) S 21971 21973 21863 0 -1 4202560 60072 0 0 0 316 14 0 0 15 0 22 0 510291573 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21982] ppid=21971 vsize=15701016 CPUtime=3.21 cores=0,2,4,6
/proc/21973/task/21982/stat : 21982 (java) S 21971 21973 21863 0 -1 4202560 59242 0 0 0 304 17 0 0 16 0 22 0 510291573 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21983] ppid=21971 vsize=15701016 CPUtime=3.37 cores=0,2,4,6
/proc/21973/task/21983/stat : 21983 (java) S 21971 21973 21863 0 -1 4202560 63510 0 0 0 321 16 0 0 15 0 22 0 510291573 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21984] ppid=21971 vsize=15701016 CPUtime=2.1 cores=0,2,4,6
/proc/21973/task/21984/stat : 21984 (java) S 21971 21973 21863 0 -1 4202560 2972 0 0 0 151 59 0 0 15 0 22 0 510291574 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118585344 0 0 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21985] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21985/stat : 21985 (java) S 21971 21973 21863 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510291574 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21986] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21986/stat : 21986 (java) S 21971 21973 21863 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510291574 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21987] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21987/stat : 21987 (java) S 21971 21973 21863 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510291576 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118592433 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21988] ppid=21971 vsize=15701016 CPUtime=1.28 cores=0,2,4,6
/proc/21973/task/21988/stat : 21988 (java) S 21971 21973 21863 0 -1 4202560 6852 0 0 0 128 0 0 0 15 0 22 0 510291576 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21989] ppid=21971 vsize=15701016 CPUtime=0.93 cores=0,2,4,6
/proc/21973/task/21989/stat : 21989 (java) S 21971 21973 21863 0 -1 4202560 12349 0 0 0 91 2 0 0 15 0 22 0 510291576 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21990] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21990/stat : 21990 (java) S 21971 21973 21863 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510291576 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21991] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21991/stat : 21991 (java) S 21971 21973 21863 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 510291576 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118585344 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21992] ppid=21971 vsize=15701016 CPUtime=1168 cores=0,2,4,6
/proc/21973/task/21992/stat : 21992 (java) R 21971 21973 21863 0 -1 4202560 175015 0 0 0 116768 32 0 0 25 0 22 0 510291599 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505985600 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21973/tid=21993] ppid=21971 vsize=15701016 CPUtime=1167.81 cores=0,2,4,6
/proc/21973/task/21993/stat : 21993 (java) R 21971 21973 21863 0 -1 4202560 170828 0 0 0 116747 34 0 0 25 0 22 0 510291599 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505790378 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=21973/tid=21994] ppid=21971 vsize=15701016 CPUtime=1167.25 cores=0,2,4,6
/proc/21973/task/21994/stat : 21994 (java) R 21971 21973 21863 0 -1 4202560 171092 0 0 0 116689 36 0 0 25 0 22 0 510291600 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505690816 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21973/tid=21995] ppid=21971 vsize=15701016 CPUtime=1167.04 cores=0,2,4,6
/proc/21973/task/21995/stat : 21995 (java) R 21971 21973 21863 0 -1 4202560 154820 0 0 0 116672 32 0 0 25 0 22 0 510291600 16077840384 72052 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505917892 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4701.07
Current children cumulated vsize (KiB) 15701016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.2 s]
/proc/loadavg: 7.40 7.72 7.88 9/220 22087
/proc/meminfo: memFree=21373048/32951124 swapFree=67111448/67111528
[pid=21973] ppid=21971 vsize=15701016 CPUtime=4800.07 cores=0,2,4,6
/proc/21973/stat : 21973 (java) S 21971 21973 21863 0 -1 4202496 1230168 0 1 0 479661 346 0 0 25 0 22 0 510291571 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21973/statm: 3925254 88283 2298 9 0 3915973 0
[pid=21973/tid=21975] ppid=21971 vsize=15701016 CPUtime=0.41 cores=0,2,4,6
/proc/21973/task/21975/stat : 21975 (java) S 21971 21973 21863 0 -1 4202560 7524 0 1 0 40 1 0 0 20 0 22 0 510291572 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21976] ppid=21971 vsize=15701016 CPUtime=3.26 cores=0,2,4,6
/proc/21973/task/21976/stat : 21976 (java) S 21971 21973 21863 0 -1 4202560 63664 0 0 0 310 16 0 0 16 0 22 0 510291573 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21977] ppid=21971 vsize=15701016 CPUtime=3.3 cores=0,2,4,6
/proc/21973/task/21977/stat : 21977 (java) S 21971 21973 21863 0 -1 4202560 63294 0 0 0 314 16 0 0 15 0 22 0 510291573 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21978] ppid=21971 vsize=15701016 CPUtime=3.33 cores=0,2,4,6
/proc/21973/task/21978/stat : 21978 (java) S 21971 21973 21863 0 -1 4202560 62083 0 0 0 315 18 0 0 15 0 22 0 510291573 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21979] ppid=21971 vsize=15701016 CPUtime=3.29 cores=0,2,4,6
/proc/21973/task/21979/stat : 21979 (java) S 21971 21973 21863 0 -1 4202560 61418 0 0 0 310 19 0 0 15 0 22 0 510291573 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21980] ppid=21971 vsize=15701016 CPUtime=3.37 cores=0,2,4,6
/proc/21973/task/21980/stat : 21980 (java) S 21971 21973 21863 0 -1 4202560 64110 0 0 0 319 18 0 0 15 0 22 0 510291573 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21981] ppid=21971 vsize=15701016 CPUtime=3.37 cores=0,2,4,6
/proc/21973/task/21981/stat : 21981 (java) S 21971 21973 21863 0 -1 4202560 62556 0 0 0 322 15 0 0 15 0 22 0 510291573 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21982] ppid=21971 vsize=15701016 CPUtime=3.27 cores=0,2,4,6
/proc/21973/task/21982/stat : 21982 (java) S 21971 21973 21863 0 -1 4202560 61290 0 0 0 310 17 0 0 15 0 22 0 510291573 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21983] ppid=21971 vsize=15701016 CPUtime=3.42 cores=0,2,4,6
/proc/21973/task/21983/stat : 21983 (java) S 21971 21973 21863 0 -1 4202560 65038 0 0 0 326 16 0 0 15 0 22 0 510291573 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21984] ppid=21971 vsize=15701016 CPUtime=2.15 cores=0,2,4,6
/proc/21973/task/21984/stat : 21984 (java) S 21971 21973 21863 0 -1 4202560 3075 0 0 0 154 61 0 0 15 0 22 0 510291574 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118585344 0 0 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21985] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21985/stat : 21985 (java) S 21971 21973 21863 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510291574 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21986] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21986/stat : 21986 (java) S 21971 21973 21863 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510291574 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21987] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21987/stat : 21987 (java) S 21971 21973 21863 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510291576 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118592433 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21988] ppid=21971 vsize=15701016 CPUtime=1.28 cores=0,2,4,6
/proc/21973/task/21988/stat : 21988 (java) S 21971 21973 21863 0 -1 4202560 6852 0 0 0 128 0 0 0 15 0 22 0 510291576 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 2 0 0 0
[pid=21973/tid=21989] ppid=21971 vsize=15701016 CPUtime=0.93 cores=0,2,4,6
/proc/21973/task/21989/stat : 21989 (java) S 21971 21973 21863 0 -1 4202560 12349 0 0 0 91 2 0 0 15 0 22 0 510291576 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 0 0 0 0
[pid=21973/tid=21990] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21990/stat : 21990 (java) S 21971 21973 21863 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510291576 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118584729 0 4 0 16800975 18446604453985338304 0 0 -1 4 0 0 0
[pid=21973/tid=21991] ppid=21971 vsize=15701016 CPUtime=0 cores=0,2,4,6
/proc/21973/task/21991/stat : 21991 (java) S 21971 21973 21863 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 510291576 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 255118585344 0 4 0 16800975 18446604453985338304 0 0 -1 6 0 0 0
[pid=21973/tid=21992] ppid=21971 vsize=15701016 CPUtime=1192.65 cores=0,2,4,6
/proc/21973/task/21992/stat : 21992 (java) R 21971 21973 21863 0 -1 4202560 180943 0 0 0 119232 33 0 0 25 0 22 0 510291599 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505524151 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21973/tid=21993] ppid=21971 vsize=15701016 CPUtime=1192.41 cores=0,2,4,6
/proc/21973/task/21993/stat : 21993 (java) R 21971 21973 21863 0 -1 4202560 176622 0 0 0 119206 35 0 0 25 0 22 0 510291599 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505970009 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21973/tid=21994] ppid=21971 vsize=15701016 CPUtime=1191.9 cores=0,2,4,6
/proc/21973/task/21994/stat : 21994 (java) R 21971 21973 21863 0 -1 4202560 177164 0 0 0 119153 37 0 0 25 0 22 0 510291600 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505965012 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21973/tid=21995] ppid=21971 vsize=15701016 CPUtime=1191.59 cores=0,2,4,6
/proc/21973/task/21995/stat : 21995 (java) R 21971 21973 21863 0 -1 4202560 160733 0 0 0 119125 34 0 0 25 0 22 0 510291600 16077840384 88283 33554432000 1073741824 1073778376 140734654864080 18446744073709551615 46912505790342 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 15701016

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1207.23
CPU time (s): 4800.12
CPU user time (s): 4796.64
CPU system time (s): 3.47947
CPU usage (%): 397.614
Max. virtual memory (cumulated for all children) (KiB): 15703664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.64
system time used= 3.47947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1230194
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= 326464
involuntary context switches= 169805

runsolver used 1.89571 second user time and 4.74328 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-30 17:52:34
IDJOB=3312882
IDBENCH=83067
IDSOLVER=1699
FILE ID=node144/3312882-1304178754
RUNJOBID= node144-1304178654-21881
PBS_JOBID= 13172446
Free space on /tmp= 73536 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312882-1304178754/watcher-3312882-1304178754 -o /tmp/evaluation-result-3312882-1304178754/solver-3312882-1304178754 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312882-1304178754.cnf

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

MD5SUM BENCH= ad19e852103e6838347ce97648b48b74
RANDOM SEED=894600094

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25098880 kB
Buffers:       2130632 kB
Cached:        4585540 kB
SwapCached:         80 kB
Active:         785832 kB
Inactive:      6520360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25098880 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            1592 kB
Writeback:           0 kB
AnonPages:      589708 kB
Mapped:          23564 kB
Slab:           480388 kB
PageTables:       7124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   945000 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= 73528 MiB
End job on node144 at 2011-04-30 18:12:44