Trace number 3311235

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 4800.38 1205.25

General information on the benchmark

Namerandom/large/
unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf
MD5SUM6105ec111e1e16da586afadcc6f09041
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses34000
Sum of the clauses size238000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 534000

Solver Data 

0.09/0.18	47:15 INFO : Reading from input HOME/instance-3311235-1307645235.cnf
0.74/0.85	Executor set job limit to 1000000
0.74/0.85	Executor set job limit to 1000000
0.74/0.85	Executor set job limit to 1000000
0.74/0.85	Executor set job limit to 1000000
0.74/0.85	Starting Executor!
0.74/0.85	Starting Executor!
0.74/0.85	Starting Executor!
0.74/0.85	Starting Executor!
2.04/1.46	47:17 INFO : 400 variables remaining out of 400
2.04/1.46	47:17 INFO : 272000 literals remaining out of 272000

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: 977)

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-3311235-1307645235/watcher-3311235-1307645235 -o /tmp/evaluation-result-3311235-1307645235/solver-3311235-1307645235 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311235-1307645235.cnf -hbr 2 

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

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


[startup+0 s]
/proc/loadavg: 3.68 3.96 3.98 2/175 22586
/proc/meminfo: memFree=32161348/32951124 swapFree=67063272/67111528
[pid=22586] ppid=22584 vsize=9020 CPUtime=0 cores=1,3,5,7
/proc/22586/stat : 22586 (java) R 22584 22586 22550 0 -1 4194304 582 0 0 0 0 0 0 0 24 0 1 0 876121675 9236480 86 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232330929713 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22586/statm: 2255 88 71 9 0 34 0

[startup+0.070932 s]
/proc/loadavg: 3.68 3.96 3.98 2/175 22586
/proc/meminfo: memFree=32161348/32951124 swapFree=67063272/67111528
[pid=22586] ppid=22584 vsize=15609780 CPUtime=0.05 cores=1,3,5,7
/proc/22586/stat : 22586 (java) S 22584 22586 22550 0 -1 4202496 4335 0 1 0 5 0 0 0 24 0 18 0 876121675 15984414720 3774 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22586/statm: 3902445 3776 1778 9 0 3893164 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780

[startup+0.100932 s]
/proc/loadavg: 3.68 3.96 3.98 2/175 22586
/proc/meminfo: memFree=32161348/32951124 swapFree=67063272/67111528
[pid=22586] ppid=22584 vsize=15676648 CPUtime=0.09 cores=1,3,5,7
/proc/22586/stat : 22586 (java) S 22584 22586 22550 0 -1 4202496 5309 0 1 0 8 1 0 0 24 0 18 0 876121675 16052887552 4748 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22586/statm: 3919162 4748 2116 9 0 3909881 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676648

[startup+0.300893 s]
/proc/loadavg: 3.68 3.96 3.98 2/175 22586
/proc/meminfo: memFree=32161348/32951124 swapFree=67063272/67111528
[pid=22586] ppid=22584 vsize=15678020 CPUtime=0.33 cores=1,3,5,7
/proc/22586/stat : 22586 (java) S 22584 22586 22550 0 -1 4202496 7893 0 1 0 32 1 0 0 24 0 18 0 876121675 16054292480 7183 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22586/statm: 3919505 7185 2198 9 0 3910224 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 15678020

[startup+0.700825 s]
/proc/loadavg: 3.68 3.96 3.98 2/175 22586
/proc/meminfo: memFree=32161348/32951124 swapFree=67063272/67111528
[pid=22586] ppid=22584 vsize=15680680 CPUtime=0.74 cores=1,3,5,7
/proc/22586/stat : 22586 (java) S 22584 22586 22550 0 -1 4202496 41128 0 1 0 68 6 0 0 24 0 18 0 876121675 16057016320 39548 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22586/statm: 3920170 39548 2223 9 0 3910889 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 15680680

[startup+1.50068 s]
/proc/loadavg: 3.68 3.96 3.98 4/217 22635
/proc/meminfo: memFree=31850012/32951124 swapFree=67063272/67111528
[pid=22586] ppid=22584 vsize=15698428 CPUtime=2.31 cores=1,3,5,7
/proc/22586/stat : 22586 (java) S 22584 22586 22550 0 -1 4202496 56051 0 1 0 223 8 0 0 24 0 22 0 876121675 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22586/statm: 3924607 48092 2265 9 0 3915326 0
[pid=22586/tid=22588] ppid=22584 vsize=15698428 CPUtime=1.11 cores=1,3,5,7
/proc/22586/task/22588/stat : 22588 (java) S 22584 22586 22550 0 -1 4202560 35691 0 1 0 106 5 0 0 21 0 22 0 876121676 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 31
[pid=22586/tid=22589] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22589/stat : 22589 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 876121677 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22590] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22590/stat : 22590 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 876121677 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22591] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22591/stat : 22591 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 876121677 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22592] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22592/stat : 22592 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 876121677 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22593] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22593/stat : 22593 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 876121677 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22594] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22594/stat : 22594 (java) S 22584 22586 22550 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 876121677 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 1 0 0 0
[pid=22586/tid=22595] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22595/stat : 22595 (java) S 22584 22586 22550 0 -1 4202560 346 0 0 0 0 0 0 0 20 0 22 0 876121677 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22596] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22596/stat : 22596 (java) S 22584 22586 22550 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 22 0 876121677 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22597] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22597/stat : 22597 (java) S 22584 22586 22550 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 876121678 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708928 0 0 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22598] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22598/stat : 22598 (java) S 22584 22586 22550 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 876121678 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22599] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22599/stat : 22599 (java) S 22584 22586 22550 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 876121678 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22600] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22600/stat : 22600 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876121680 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347716017 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22601] ppid=22584 vsize=15698428 CPUtime=0.44 cores=1,3,5,7
/proc/22586/task/22601/stat : 22601 (java) R 22584 22586 22550 0 -1 4202560 3622 0 0 0 44 0 0 0 15 0 22 0 876121681 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 47701312560817 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22586/tid=22602] ppid=22584 vsize=15698428 CPUtime=0.69 cores=1,3,5,7
/proc/22586/task/22602/stat : 22602 (java) R 22584 22586 22550 0 -1 4202560 14884 0 0 0 68 1 0 0 16 0 22 0 876121681 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 47701313099180 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22586/tid=22603] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22603/stat : 22603 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 876121681 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22604] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22604/stat : 22604 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876121681 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708928 0 4 0 16800975 18446604455808834368 0 0 -1 1 0 0 0
[pid=22586/tid=22632] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22632/stat : 22632 (java) S 22584 22586 22550 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 876121761 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708928 0 4 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
[pid=22586/tid=22633] ppid=22584 vsize=15698428 CPUtime=0.02 cores=1,3,5,7
/proc/22586/task/22633/stat : 22633 (java) R 22584 22586 22550 0 -1 4202560 22 0 0 0 2 0 0 0 15 0 22 0 876121761 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912505178756 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22586/tid=22634] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22634/stat : 22634 (java) S 22584 22586 22550 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 876121761 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708928 0 4 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
[pid=22586/tid=22635] ppid=22584 vsize=15698428 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22635/stat : 22635 (java) S 22584 22586 22550 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 876121761 16075190272 48092 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708928 0 4 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 15698428

[startup+3.10136 s]
/proc/loadavg: 3.68 3.96 3.98 10/221 22639
/proc/meminfo: memFree=31793188/32951124 swapFree=67063272/67111528
[pid=22586] ppid=22584 vsize=15700224 CPUtime=7.89 cores=1,3,5,7
/proc/22586/stat : 22586 (java) S 22584 22586 22550 0 -1 4202496 81207 0 1 0 777 12 0 0 24 0 22 0 876121675 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22586/statm: 3925056 71015 2274 9 0 3915775 0
[pid=22586/tid=22588] ppid=22584 vsize=15700224 CPUtime=1.11 cores=1,3,5,7
/proc/22586/task/22588/stat : 22588 (java) S 22584 22586 22550 0 -1 4202560 35691 0 1 0 106 5 0 0 21 0 22 0 876121676 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 31
[pid=22586/tid=22589] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22589/stat : 22589 (java) S 22584 22586 22550 0 -1 4202560 2405 0 0 0 0 0 0 0 16 0 22 0 876121677 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22590] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22590/stat : 22590 (java) S 22584 22586 22550 0 -1 4202560 3445 0 0 0 0 0 0 0 16 0 22 0 876121677 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
[pid=22586/tid=22591] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22591/stat : 22591 (java) S 22584 22586 22550 0 -1 4202560 3081 0 0 0 0 0 0 0 15 0 22 0 876121677 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 1 0 0 0
[pid=22586/tid=22592] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22592/stat : 22592 (java) S 22584 22586 22550 0 -1 4202560 1824 0 0 0 0 0 0 0 15 0 22 0 876121677 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22593] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22593/stat : 22593 (java) S 22584 22586 22550 0 -1 4202560 1624 0 0 0 0 0 0 0 15 0 22 0 876121677 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
[pid=22586/tid=22594] ppid=22584 vsize=15700224 CPUtime=0.01 cores=1,3,5,7
/proc/22586/task/22594/stat : 22594 (java) S 22584 22586 22550 0 -1 4202560 4252 0 0 0 1 0 0 0 16 0 22 0 876121677 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 1 0 0 0
[pid=22586/tid=22595] ppid=22584 vsize=15700224 CPUtime=0.01 cores=1,3,5,7
/proc/22586/task/22595/stat : 22595 (java) S 22584 22586 22550 0 -1 4202560 3917 0 0 0 1 0 0 0 16 0 22 0 876121677 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22596] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22596/stat : 22596 (java) S 22584 22586 22550 0 -1 4202560 2926 0 0 0 0 0 0 0 15 0 22 0 876121677 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
[pid=22586/tid=22597] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22597/stat : 22597 (java) S 22584 22586 22550 0 -1 4202560 113 0 0 0 0 0 0 0 15 0 22 0 876121678 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708928 0 0 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22598] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22598/stat : 22598 (java) S 22584 22586 22550 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 876121678 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22599] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22599/stat : 22599 (java) S 22584 22586 22550 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 876121678 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22600] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22600/stat : 22600 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876121680 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347716017 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22601] ppid=22584 vsize=15700224 CPUtime=0.67 cores=1,3,5,7
/proc/22586/task/22601/stat : 22601 (java) S 22584 22586 22550 0 -1 4202560 4510 0 0 0 67 0 0 0 15 0 22 0 876121681 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22602] ppid=22584 vsize=15700224 CPUtime=1.01 cores=1,3,5,7
/proc/22586/task/22602/stat : 22602 (java) S 22584 22586 22550 0 -1 4202560 15969 0 0 0 99 2 0 0 15 0 22 0 876121681 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22603] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22603/stat : 22603 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 876121681 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22604] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22604/stat : 22604 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876121681 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708928 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22632] ppid=22584 vsize=15700224 CPUtime=1.34 cores=1,3,5,7
/proc/22586/task/22632/stat : 22632 (java) R 22584 22586 22550 0 -1 4202560 15 0 0 0 134 0 0 0 17 0 22 0 876121761 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912505911982 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22586/tid=22633] ppid=22584 vsize=15700224 CPUtime=1.15 cores=1,3,5,7
/proc/22586/task/22633/stat : 22633 (java) R 22584 22586 22550 0 -1 4202560 27 0 0 0 115 0 0 0 16 0 22 0 876121761 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912505911863 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22586/tid=22634] ppid=22584 vsize=15700224 CPUtime=1.27 cores=1,3,5,7
/proc/22586/task/22634/stat : 22634 (java) R 22584 22586 22550 0 -1 4202560 13 0 0 0 127 0 0 0 16 0 22 0 876121761 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 18446744073699066057 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22586/tid=22635] ppid=22584 vsize=15700224 CPUtime=1.18 cores=1,3,5,7
/proc/22586/task/22635/stat : 22635 (java) R 22584 22586 22550 0 -1 4202560 9 0 0 0 118 0 0 0 16 0 22 0 876121761 16077029376 71015 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912505912123 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 15700224

[startup+6.30079 s]
/proc/loadavg: 4.03 4.03 4.00 11/221 22640
/proc/meminfo: memFree=30744168/32951124 swapFree=67063272/67111528
[pid=22586] ppid=22584 vsize=15700224 CPUtime=20.66 cores=1,3,5,7
/proc/22586/stat : 22586 (java) S 22584 22586 22550 0 -1 4202496 210394 0 1 0 2032 34 0 0 24 0 22 0 876121675 16077029376 197857 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22586/statm: 3925056 197857 2274 9 0 3915775 0
[pid=22586/tid=22588] ppid=22584 vsize=15700224 CPUtime=1.11 cores=1,3,5,7
/proc/22586/task/22588/stat : 22588 (java) S 22584 22586 22550 0 -1 4202560 35691 0 1 0 106 5 0 0 21 0 22 0 876121676 16077029376 197857 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 31
[pid=22586/tid=22589] ppid=22584 vsize=15700224 CPUtime=0.07 cores=1,3,5,7
/proc/22586/task/22589/stat : 22589 (java) S 22584 22586 22550 0 -1 4202560 21821 0 0 0 3 4 0 0 16 0 22 0 876121677 16077029376 197857 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
[pid=22586/tid=22590] ppid=22584 vsize=15700224 CPUtime=0.02 cores=1,3,5,7
/proc/22586/task/22590/stat : 22590 (java) S 22584 22586 22550 0 -1 4202560 8235 0 0 0 1 1 0 0 15 0 22 0 876121677 16077029376 197857 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 1 0 0 0
[pid=22586/tid=22591] ppid=22584 vsize=15700224 CPUtime=0.03 cores=1,3,5,7
/proc/22586/task/22591/stat : 22591 (java) S 22584 22586 22550 0 -1 4202560 10690 0 0 0 2 1 0 0 15 0 22 0 876121677 16077029376 197857 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 1 0 0 0
[pid=22586/tid=22592] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22592/stat : 22592 (java) S 22584 22586 22550 0 -1 4202560 1824 0 0 0 0 0 0 0 15 0 22 0 876121677 16077029376 197857 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22593] ppid=22584 vsize=15700224 CPUtime=0.05 cores=1,3,5,7
/proc/22586/task/22593/stat : 22593 (java) S 22584 22586 22550 0 -1 4202560 17007 0 0 0 3 2 0 0 16 0 22 0 876121677 16077029376 197857 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 1 0 0 0
[pid=22586/tid=22594] ppid=22584 vsize=15700224 CPUtime=0.06 cores=1,3,5,7
/proc/22586/task/22594/stat : 22594 (java) S 22584 22586 22550 0 -1 4202560 18420 0 0 0 3 3 0 0 16 0 22 0 876121677 16077029376 197857 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22595] ppid=22584 vsize=15700224 CPUtime=0.04 cores=1,3,5,7
/proc/22586/task/22595/stat : 22595 (java) S 22584 22586 22550 0 -1 4202560 13198 0 0 0 2 2 0 0 15 0 22 0 876121677 16077029376 197857 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22596] ppid=22584 vsize=15700224 CPUtime=0.03 cores=1,3,5,7
/proc/22586/task/22596/stat : 22596 (java) S 22584 22586 22550 0 -1 4202560 10582 0 0 0 1 2 0 0 16 0 22 0 876121677 16077029376 197857 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
[pid=22586/tid=22597] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22597/stat : 22597 (java) S 22584 22586 22550 0 -1 4202560 425 0 0 0 0 0 0 0 15 0 22 0 876121678 16077029376 197857 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708928 0 0 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22598] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22598/stat : 22598 (java) S 22584 22586 22550 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 876121678 16077029376 197857 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22599] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22599/stat : 22599 (java) S 22584 22586 22550 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 876121678 16077029376 197857 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22600] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22600/stat : 22600 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876121680 16077029376 197857 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347716017 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22601] ppid=22584 vsize=15700224 CPUtime=0.67 cores=1,3,5,7
/proc/22586/task/22601/stat : 22601 (java) S 22584 22586 22550 0 -1 4202560 4510 0 0 0 67 0 0 0 15 0 22 0 876121681 16077029376 197857 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0

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

[pid=22586/tid=22633] ppid=22584 vsize=15700224 CPUtime=1051.49 cores=1,3,5,7
/proc/22586/task/22633/stat : 22633 (java) R 22584 22586 22550 0 -1 4202560 232005 0 0 0 105120 29 0 0 25 0 22 0 876121761 16077029376 194321 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912505912347 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22586/tid=22634] ppid=22584 vsize=15700224 CPUtime=1051.79 cores=1,3,5,7
/proc/22586/task/22634/stat : 22634 (java) R 22584 22586 22550 0 -1 4202560 232091 0 0 0 105146 33 0 0 21 0 22 0 876121761 16077029376 194321 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912505523191 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22586/tid=22635] ppid=22584 vsize=15700224 CPUtime=1050.98 cores=1,3,5,7
/proc/22586/task/22635/stat : 22635 (java) R 22584 22586 22550 0 -1 4202560 231720 0 0 0 105068 30 0 0 25 0 22 0 876121761 16077029376 194321 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912505671936 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4231.01
Current children cumulated vsize (KiB) 15700224

[startup+1122.3 s]
/proc/loadavg: 5.07 5.13 5.08 6/221 22681
/proc/meminfo: memFree=16054408/32951124 swapFree=67063272/67111528
[pid=22586] ppid=22584 vsize=15700224 CPUtime=4470.08 cores=1,3,5,7
/proc/22586/stat : 22586 (java) S 22584 22586 22550 0 -1 4202496 1650382 0 1 0 446695 313 0 0 24 0 22 0 876121675 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22586/statm: 3925056 200187 2298 9 0 3915775 0
[pid=22586/tid=22588] ppid=22584 vsize=15700224 CPUtime=1.11 cores=1,3,5,7
/proc/22586/task/22588/stat : 22588 (java) S 22584 22586 22550 0 -1 4202560 35691 0 1 0 106 5 0 0 21 0 22 0 876121676 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 31
[pid=22586/tid=22589] ppid=22584 vsize=15700224 CPUtime=2.78 cores=1,3,5,7
/proc/22586/task/22589/stat : 22589 (java) S 22584 22586 22550 0 -1 4202560 87319 0 0 0 260 18 0 0 15 0 22 0 876121677 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22590] ppid=22584 vsize=15700224 CPUtime=2.66 cores=1,3,5,7
/proc/22586/task/22590/stat : 22590 (java) S 22584 22586 22550 0 -1 4202560 61072 0 0 0 254 12 0 0 16 0 22 0 876121677 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22591] ppid=22584 vsize=15700224 CPUtime=2.78 cores=1,3,5,7
/proc/22586/task/22591/stat : 22591 (java) S 22584 22586 22550 0 -1 4202560 85496 0 0 0 261 17 0 0 16 0 22 0 876121677 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22592] ppid=22584 vsize=15700224 CPUtime=2.75 cores=1,3,5,7
/proc/22586/task/22592/stat : 22592 (java) S 22584 22586 22550 0 -1 4202560 66340 0 0 0 259 16 0 0 16 0 22 0 876121677 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 1 0 0 0
[pid=22586/tid=22593] ppid=22584 vsize=15700224 CPUtime=2.71 cores=1,3,5,7
/proc/22586/task/22593/stat : 22593 (java) S 22584 22586 22550 0 -1 4202560 85790 0 0 0 253 18 0 0 15 0 22 0 876121677 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
[pid=22586/tid=22594] ppid=22584 vsize=15700224 CPUtime=2.69 cores=1,3,5,7
/proc/22586/task/22594/stat : 22594 (java) S 22584 22586 22550 0 -1 4202560 68004 0 0 0 255 14 0 0 15 0 22 0 876121677 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22595] ppid=22584 vsize=15700224 CPUtime=2.81 cores=1,3,5,7
/proc/22586/task/22595/stat : 22595 (java) S 22584 22586 22550 0 -1 4202560 85336 0 0 0 262 19 0 0 15 0 22 0 876121677 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22596] ppid=22584 vsize=15700224 CPUtime=2.84 cores=1,3,5,7
/proc/22586/task/22596/stat : 22596 (java) S 22584 22586 22550 0 -1 4202560 78504 0 0 0 268 16 0 0 16 0 22 0 876121677 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
[pid=22586/tid=22597] ppid=22584 vsize=15700224 CPUtime=0.96 cores=1,3,5,7
/proc/22586/task/22597/stat : 22597 (java) S 22584 22586 22550 0 -1 4202560 8402 0 0 0 58 38 0 0 15 0 22 0 876121678 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708928 0 0 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
[pid=22586/tid=22598] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22598/stat : 22598 (java) S 22584 22586 22550 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 876121678 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22599] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22599/stat : 22599 (java) S 22584 22586 22550 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 876121678 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22600] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22600/stat : 22600 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876121680 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347716017 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22601] ppid=22584 vsize=15700224 CPUtime=0.97 cores=1,3,5,7
/proc/22586/task/22601/stat : 22601 (java) S 22584 22586 22550 0 -1 4202560 4558 0 0 0 97 0 0 0 16 0 22 0 876121681 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22602] ppid=22584 vsize=15700224 CPUtime=1.37 cores=1,3,5,7
/proc/22586/task/22602/stat : 22602 (java) S 22584 22586 22550 0 -1 4202560 16026 0 0 0 135 2 0 0 15 0 22 0 876121681 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22603] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22603/stat : 22603 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 876121681 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22604] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22604/stat : 22604 (java) S 22584 22586 22550 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 876121681 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708928 0 4 0 16800975 18446604455808834368 0 0 -1 1 0 0 0
[pid=22586/tid=22632] ppid=22584 vsize=15700224 CPUtime=1111.07 cores=1,3,5,7
/proc/22586/task/22632/stat : 22632 (java) R 22584 22586 22550 0 -1 4202560 240216 0 0 0 111072 35 0 0 25 0 22 0 876121761 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912506092629 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22586/tid=22633] ppid=22584 vsize=15700224 CPUtime=1110.87 cores=1,3,5,7
/proc/22586/task/22633/stat : 22633 (java) R 22584 22586 22550 0 -1 4202560 240762 0 0 0 111057 30 0 0 25 0 22 0 876121761 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912506158347 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22586/tid=22634] ppid=22584 vsize=15700224 CPUtime=1111.19 cores=1,3,5,7
/proc/22586/task/22634/stat : 22634 (java) R 22584 22586 22550 0 -1 4202560 242596 0 0 0 111085 34 0 0 25 0 22 0 876121761 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912505711552 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22586/tid=22635] ppid=22584 vsize=15700224 CPUtime=1110.37 cores=1,3,5,7
/proc/22586/task/22635/stat : 22635 (java) R 22584 22586 22550 0 -1 4202560 242820 0 0 0 111006 31 0 0 25 0 22 0 876121761 16077029376 200187 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912505711552 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4470.08
Current children cumulated vsize (KiB) 15700224

[startup+1182.3 s]
/proc/loadavg: 5.09 5.12 5.07 6/221 22683
/proc/meminfo: memFree=16113756/32951124 swapFree=67063272/67111528
[pid=22586] ppid=22584 vsize=15700224 CPUtime=4709.03 cores=1,3,5,7
/proc/22586/stat : 22586 (java) S 22584 22586 22550 0 -1 4202496 1719006 0 1 0 470574 329 0 0 24 0 22 0 876121675 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22586/statm: 3925056 184219 2298 9 0 3915775 0
[pid=22586/tid=22588] ppid=22584 vsize=15700224 CPUtime=1.11 cores=1,3,5,7
/proc/22586/task/22588/stat : 22588 (java) S 22584 22586 22550 0 -1 4202560 35691 0 1 0 106 5 0 0 21 0 22 0 876121676 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 31
[pid=22586/tid=22589] ppid=22584 vsize=15700224 CPUtime=2.96 cores=1,3,5,7
/proc/22586/task/22589/stat : 22589 (java) S 22584 22586 22550 0 -1 4202560 91351 0 0 0 277 19 0 0 15 0 22 0 876121677 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22590] ppid=22584 vsize=15700224 CPUtime=2.86 cores=1,3,5,7
/proc/22586/task/22590/stat : 22590 (java) S 22584 22586 22550 0 -1 4202560 66032 0 0 0 272 14 0 0 16 0 22 0 876121677 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22591] ppid=22584 vsize=15700224 CPUtime=2.96 cores=1,3,5,7
/proc/22586/task/22591/stat : 22591 (java) S 22584 22586 22550 0 -1 4202560 89789 0 0 0 278 18 0 0 15 0 22 0 876121677 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22592] ppid=22584 vsize=15700224 CPUtime=2.93 cores=1,3,5,7
/proc/22586/task/22592/stat : 22592 (java) S 22584 22586 22550 0 -1 4202560 71120 0 0 0 276 17 0 0 16 0 22 0 876121677 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
[pid=22586/tid=22593] ppid=22584 vsize=15700224 CPUtime=2.92 cores=1,3,5,7
/proc/22586/task/22593/stat : 22593 (java) S 22584 22586 22550 0 -1 4202560 90971 0 0 0 273 19 0 0 16 0 22 0 876121677 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22594] ppid=22584 vsize=15700224 CPUtime=2.88 cores=1,3,5,7
/proc/22586/task/22594/stat : 22594 (java) S 22584 22586 22550 0 -1 4202560 73099 0 0 0 273 15 0 0 15 0 22 0 876121677 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
[pid=22586/tid=22595] ppid=22584 vsize=15700224 CPUtime=3.01 cores=1,3,5,7
/proc/22586/task/22595/stat : 22595 (java) S 22584 22586 22550 0 -1 4202560 90225 0 0 0 281 20 0 0 16 0 22 0 876121677 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 1 0 0 0
[pid=22586/tid=22596] ppid=22584 vsize=15700224 CPUtime=3.03 cores=1,3,5,7
/proc/22586/task/22596/stat : 22596 (java) S 22584 22586 22550 0 -1 4202560 83544 0 0 0 287 16 0 0 15 0 22 0 876121677 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22597] ppid=22584 vsize=15700224 CPUtime=1.03 cores=1,3,5,7
/proc/22586/task/22597/stat : 22597 (java) S 22584 22586 22550 0 -1 4202560 8679 0 0 0 63 40 0 0 15 0 22 0 876121678 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708928 0 0 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
[pid=22586/tid=22598] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22598/stat : 22598 (java) S 22584 22586 22550 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 876121678 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22599] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22599/stat : 22599 (java) S 22584 22586 22550 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 876121678 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22600] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22600/stat : 22600 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876121680 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347716017 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22601] ppid=22584 vsize=15700224 CPUtime=0.97 cores=1,3,5,7
/proc/22586/task/22601/stat : 22601 (java) S 22584 22586 22550 0 -1 4202560 4558 0 0 0 97 0 0 0 16 0 22 0 876121681 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22602] ppid=22584 vsize=15700224 CPUtime=1.37 cores=1,3,5,7
/proc/22586/task/22602/stat : 22602 (java) S 22584 22586 22550 0 -1 4202560 16026 0 0 0 135 2 0 0 15 0 22 0 876121681 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22603] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22603/stat : 22603 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 876121681 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22604] ppid=22584 vsize=15700224 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22604/stat : 22604 (java) S 22584 22586 22550 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 876121681 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708928 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22632] ppid=22584 vsize=15700224 CPUtime=1170.43 cores=1,3,5,7
/proc/22586/task/22632/stat : 22632 (java) R 22584 22586 22550 0 -1 4202560 246740 0 0 0 117006 37 0 0 25 0 22 0 876121761 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912505856169 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22586/tid=22633] ppid=22584 vsize=15700224 CPUtime=1170.28 cores=1,3,5,7
/proc/22586/task/22633/stat : 22633 (java) R 22584 22586 22550 0 -1 4202560 248919 0 0 0 116997 31 0 0 25 0 22 0 876121761 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912506172257 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22586/tid=22634] ppid=22584 vsize=15700224 CPUtime=1170.49 cores=1,3,5,7
/proc/22586/task/22634/stat : 22634 (java) R 22584 22586 22550 0 -1 4202560 250606 0 0 0 117014 35 0 0 25 0 22 0 876121761 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912506158300 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22586/tid=22635] ppid=22584 vsize=15700224 CPUtime=1169.65 cores=1,3,5,7
/proc/22586/task/22635/stat : 22635 (java) R 22584 22586 22550 0 -1 4202560 250202 0 0 0 116932 33 0 0 25 0 22 0 876121761 16077029376 184219 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4709.03
Current children cumulated vsize (KiB) 15700224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.2 s]
/proc/loadavg: 5.06 5.11 5.07 6/221 22684
/proc/meminfo: memFree=16076036/32951124 swapFree=67063272/67111528
[pid=22586] ppid=22584 vsize=15765760 CPUtime=4800.32 cores=1,3,5,7
/proc/22586/stat : 22586 (java) S 22584 22586 22550 0 -1 4202496 1758857 0 1 0 479697 335 0 0 24 0 22 0 876121675 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22586/statm: 3941440 194893 2298 9 0 3932159 0
[pid=22586/tid=22588] ppid=22584 vsize=15765760 CPUtime=1.11 cores=1,3,5,7
/proc/22586/task/22588/stat : 22588 (java) S 22584 22586 22550 0 -1 4202560 35691 0 1 0 106 5 0 0 21 0 22 0 876121676 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 31
[pid=22586/tid=22589] ppid=22584 vsize=15765760 CPUtime=3.03 cores=1,3,5,7
/proc/22586/task/22589/stat : 22589 (java) S 22584 22586 22550 0 -1 4202560 92044 0 0 0 284 19 0 0 15 0 22 0 876121677 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 1 0 0 0
[pid=22586/tid=22590] ppid=22584 vsize=15765760 CPUtime=2.95 cores=1,3,5,7
/proc/22586/task/22590/stat : 22590 (java) S 22584 22586 22550 0 -1 4202560 67368 0 0 0 281 14 0 0 15 0 22 0 876121677 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22591] ppid=22584 vsize=15765760 CPUtime=3.03 cores=1,3,5,7
/proc/22586/task/22591/stat : 22591 (java) S 22584 22586 22550 0 -1 4202560 91082 0 0 0 284 19 0 0 15 0 22 0 876121677 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22592] ppid=22584 vsize=15765760 CPUtime=3.01 cores=1,3,5,7
/proc/22586/task/22592/stat : 22592 (java) S 22584 22586 22550 0 -1 4202560 72553 0 0 0 283 18 0 0 16 0 22 0 876121677 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 1 0 0 0
[pid=22586/tid=22593] ppid=22584 vsize=15765760 CPUtime=3 cores=1,3,5,7
/proc/22586/task/22593/stat : 22593 (java) S 22584 22586 22550 0 -1 4202560 92162 0 0 0 280 20 0 0 15 0 22 0 876121677 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 1 0 0 0
[pid=22586/tid=22594] ppid=22584 vsize=15765760 CPUtime=2.96 cores=1,3,5,7
/proc/22586/task/22594/stat : 22594 (java) S 22584 22586 22550 0 -1 4202560 74070 0 0 0 280 16 0 0 16 0 22 0 876121677 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22595] ppid=22584 vsize=15765760 CPUtime=3.08 cores=1,3,5,7
/proc/22586/task/22595/stat : 22595 (java) S 22584 22586 22550 0 -1 4202560 90971 0 0 0 288 20 0 0 16 0 22 0 876121677 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
[pid=22586/tid=22596] ppid=22584 vsize=15765760 CPUtime=3.1 cores=1,3,5,7
/proc/22586/task/22596/stat : 22596 (java) S 22584 22586 22550 0 -1 4202560 84260 0 0 0 294 16 0 0 15 0 22 0 876121677 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22597] ppid=22584 vsize=15765760 CPUtime=1.04 cores=1,3,5,7
/proc/22586/task/22597/stat : 22597 (java) S 22584 22586 22550 0 -1 4202560 8769 0 0 0 63 41 0 0 15 0 22 0 876121678 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708928 0 0 0 16800975 18446604455808834368 0 0 -1 7 0 0 0
[pid=22586/tid=22598] ppid=22584 vsize=15765760 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22598/stat : 22598 (java) S 22584 22586 22550 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 876121678 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22599] ppid=22584 vsize=15765760 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22599/stat : 22599 (java) S 22584 22586 22550 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 876121678 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22600] ppid=22584 vsize=15765760 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22600/stat : 22600 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 876121680 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347716017 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22601] ppid=22584 vsize=15765760 CPUtime=0.97 cores=1,3,5,7
/proc/22586/task/22601/stat : 22601 (java) S 22584 22586 22550 0 -1 4202560 4558 0 0 0 97 0 0 0 16 0 22 0 876121681 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22602] ppid=22584 vsize=15765760 CPUtime=1.37 cores=1,3,5,7
/proc/22586/task/22602/stat : 22602 (java) S 22584 22586 22550 0 -1 4202560 16026 0 0 0 135 2 0 0 15 0 22 0 876121681 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22603] ppid=22584 vsize=15765760 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22603/stat : 22603 (java) S 22584 22586 22550 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 876121681 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708313 0 4 0 16800975 18446604455808834368 0 0 -1 5 0 0 0
[pid=22586/tid=22604] ppid=22584 vsize=15765760 CPUtime=0 cores=1,3,5,7
/proc/22586/task/22604/stat : 22604 (java) S 22584 22586 22550 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 876121681 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 232347708928 0 4 0 16800975 18446604455808834368 0 0 -1 3 0 0 0
[pid=22586/tid=22632] ppid=22584 vsize=15765760 CPUtime=1193.13 cores=1,3,5,7
/proc/22586/task/22632/stat : 22632 (java) R 22584 22586 22550 0 -1 4202560 255342 0 0 0 119275 38 0 0 25 0 22 0 876121761 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912506206511 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22586/tid=22633] ppid=22584 vsize=15765760 CPUtime=1192.85 cores=1,3,5,7
/proc/22586/task/22633/stat : 22633 (java) R 22584 22586 22550 0 -1 4202560 256715 0 0 0 119253 32 0 0 25 0 22 0 876121761 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 46912505896288 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22586/tid=22634] ppid=22584 vsize=15765760 CPUtime=1193.2 cores=1,3,5,7
/proc/22586/task/22634/stat : 22634 (java) R 22584 22586 22550 0 -1 4202560 258213 0 0 0 119284 36 0 0 25 0 22 0 876121761 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22586/tid=22635] ppid=22584 vsize=15765760 CPUtime=1192.34 cores=1,3,5,7
/proc/22586/task/22635/stat : 22635 (java) R 22584 22586 22550 0 -1 4202560 257577 0 0 0 119201 33 0 0 25 0 22 0 876121761 16144138240 194893 33554432000 1073741824 1073778376 140736738288208 18446744073709551615 18446744073699065863 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 15765760

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): 1205.25
CPU time (s): 4800.38
CPU user time (s): 4797
CPU system time (s): 3.38449
CPU usage (%): 398.291
Max. virtual memory (cumulated for all children) (KiB): 15765760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797
system time used= 3.38448
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1758883
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= 106456
involuntary context switches= 76930

runsolver used 1.9417 second user time and 4.69129 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-09 20:47:15
IDJOB=3311235
IDBENCH=82620
IDSOLVER=1698
FILE ID=node132/3311235-1307645235
RUNJOBID= node132-1307645235-22569
PBS_JOBID= 13549411
Free space on /tmp= 74188 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/large/unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311235-1307645235/watcher-3311235-1307645235 -o /tmp/evaluation-result-3311235-1307645235/solver-3311235-1307645235 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311235-1307645235.cnf -hbr 2

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

MD5SUM BENCH= 6105ec111e1e16da586afadcc6f09041
RANDOM SEED=1346398273

node132.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	: 5332.74
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.76
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.67
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.82
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:      32162496 kB
Buffers:        187304 kB
Cached:         373164 kB
SwapCached:       9968 kB
Active:         312104 kB
Inactive:       269528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32162496 kB
SwapTotal:    67111528 kB
SwapFree:     67063272 kB
Dirty:            2724 kB
Writeback:           0 kB
AnonPages:       19260 kB
Mapped:           8488 kB
Slab:           141056 kB
PageTables:       4660 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   159420 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74180 MiB
End job on node132 at 2011-06-09 21:07:22