Trace number 3311960

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.45 1207.23

General information on the benchmark

NameSAT04/handmade/connamacher/connm-d0.04/
connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
MD5SUM41d80cc808c021a52e21ee9950bc91e0
Bench CategoryCRAFTED (crafted 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 variables764
Number of clauses9695
Sum of the clauses size29276
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 39504
Number of clauses of size 4191
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	10:57 INFO : Reading from input HOME/instance-3311960-1304187057.cnf
0.52/0.31	Executor set job limit to 1000000
0.52/0.31	Executor set job limit to 1000000
0.52/0.31	Executor set job limit to 1000000
0.52/0.31	Executor set job limit to 1000000
0.52/0.31	Starting Executor!
0.52/0.32	Starting Executor!
0.52/0.32	Starting Executor!
0.52/0.32	Starting Executor!
0.97/0.58	10:57 INFO : 764 variables remaining out of 764
0.97/0.58	10:57 INFO : 38971 literals remaining out of 38971

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

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: 3.70 5.34 6.82 2/173 27901
/proc/meminfo: memFree=27713844/32950928 swapFree=67111356/67111528
[pid=27901] ppid=27899 vsize=20404 CPUtime=0 cores=0,2,4,6
/proc/27901/stat : 27901 (java) R 27899 27901 26973 0 -1 4202496 673 0 0 0 0 0 0 0 18 0 1 0 530305339 20893696 159 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208075308679 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27901/statm: 5101 159 128 9 0 124 0

[startup+0.064069 s]
/proc/loadavg: 3.70 5.34 6.82 2/173 27901
/proc/meminfo: memFree=27713844/32950928 swapFree=67111356/67111528
[pid=27901] ppid=27899 vsize=15609780 CPUtime=0.05 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 26973 0 -1 4202496 4222 0 1 0 4 1 0 0 18 0 18 0 530305339 15984414720 3660 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27901/statm: 3902445 3660 1768 9 0 3893164 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780

[startup+0.103032 s]
/proc/loadavg: 3.70 5.34 6.82 2/173 27901
/proc/meminfo: memFree=27713844/32950928 swapFree=67111356/67111528
[pid=27901] ppid=27899 vsize=15676280 CPUtime=0.1 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 26973 0 -1 4202496 5548 0 1 0 9 1 0 0 18 0 18 0 530305339 16052510720 4974 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27901/statm: 3919070 4974 2117 9 0 3909789 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676280

[startup+0.305014 s]
/proc/loadavg: 3.70 5.34 6.82 2/173 27901
/proc/meminfo: memFree=27713844/32950928 swapFree=67111356/67111528
[pid=27901] ppid=27899 vsize=15679208 CPUtime=0.52 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 26973 0 -1 4202496 15432 0 1 0 50 2 0 0 18 0 18 0 530305339 16055508992 13917 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27901/statm: 3919802 13923 2207 9 0 3910521 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15679208

[startup+0.729396 s]
/proc/loadavg: 3.70 5.34 6.82 2/173 27901
/proc/meminfo: memFree=27713844/32950928 swapFree=67111356/67111528
[pid=27901] ppid=27899 vsize=15700288 CPUtime=1.64 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 26973 0 -1 4202496 30618 0 1 0 160 4 0 0 18 0 22 0 530305339 16077094912 25887 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27901/statm: 3925072 25887 2261 9 0 3915791 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 15700288

[startup+1.50074 s]
/proc/loadavg: 3.56 5.29 6.79 13/220 27948
/proc/meminfo: memFree=27415700/32950928 swapFree=67111356/67111528
[pid=27901] ppid=27899 vsize=15704844 CPUtime=4.7 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 26973 0 -1 4202496 62911 0 1 0 461 9 0 0 18 0 22 0 530305339 16081760256 54619 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27901/statm: 3926211 54619 2275 9 0 3916930 0
[pid=27901/tid=27908] ppid=27899 vsize=15704844 CPUtime=0.56 cores=0,2,4,6
/proc/27901/task/27908/stat : 27908 (java) S 27899 27901 26973 0 -1 4202560 12111 0 1 0 54 2 0 0 20 0 22 0 530305340 16081760256 54619 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27910] ppid=27899 vsize=15704844 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27910/stat : 27910 (java) S 27899 27901 26973 0 -1 4202560 698 0 0 0 0 0 0 0 15 0 22 0 530305341 16081760256 54619 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27912] ppid=27899 vsize=15704844 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27912/stat : 27912 (java) S 27899 27901 26973 0 -1 4202560 833 0 0 0 0 0 0 0 15 0 22 0 530305341 16081760256 54619 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27914] ppid=27899 vsize=15704844 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27914/stat : 27914 (java) S 27899 27901 26973 0 -1 4202560 2143 0 0 0 0 0 0 0 18 0 22 0 530305341 16081760256 54619 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27916] ppid=27899 vsize=15704844 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27916/stat : 27916 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530305341 16081760256 54619 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27918] ppid=27899 vsize=15704844 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27918/stat : 27918 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530305341 16081760256 54619 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27920] ppid=27899 vsize=15704844 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27920/stat : 27920 (java) S 27899 27901 26973 0 -1 4202560 1311 0 0 0 0 0 0 0 16 0 22 0 530305341 16081760256 54619 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27922] ppid=27899 vsize=15704844 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27922/stat : 27922 (java) S 27899 27901 26973 0 -1 4202560 976 0 0 0 0 0 0 0 15 0 22 0 530305341 16081760256 54619 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27924] ppid=27899 vsize=15704844 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27924/stat : 27924 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530305341 16081760256 54619 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27925] ppid=27899 vsize=15704844 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27925/stat : 27925 (java) S 27899 27901 26973 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 530305342 16081760256 54619 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048896 0 0 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27928] ppid=27899 vsize=15704844 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27928/stat : 27928 (java) S 27899 27901 26973 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 530305342 16081760256 54619 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27930] ppid=27899 vsize=15704844 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27930/stat : 27930 (java) S 27899 27901 26973 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530305342 16081760256 54565 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27931] ppid=27899 vsize=15704844 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27931/stat : 27931 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530305344 16081760256 54565 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092055985 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27932] ppid=27899 vsize=15704844 CPUtime=1.01 cores=0,2,4,6
/proc/27901/task/27932/stat : 27932 (java) R 27899 27901 26973 0 -1 4202560 7291 0 0 0 101 0 0 0 16 0 22 0 530305344 16081760256 54565 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208080275815 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27901/tid=27935] ppid=27899 vsize=15704844 CPUtime=0.64 cores=0,2,4,6
/proc/27901/task/27935/stat : 27935 (java) R 27899 27901 26973 0 -1 4202560 12655 0 0 0 63 1 0 0 25 0 22 0 530305344 16081760256 54565 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 47350852739728 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27901/tid=27936] ppid=27899 vsize=15704844 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27936/stat : 27936 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530305344 16081760256 54565 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27939] ppid=27899 vsize=15704844 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27939/stat : 27939 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530305344 16081760256 54565 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048896 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27941] ppid=27899 vsize=15704844 CPUtime=0.77 cores=0,2,4,6
/proc/27901/task/27941/stat : 27941 (java) R 27899 27901 26973 0 -1 4202560 8826 0 0 0 76 1 0 0 17 0 22 0 530305371 16081760256 54565 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092058293 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27901/tid=27942] ppid=27899 vsize=15704844 CPUtime=0.58 cores=0,2,4,6
/proc/27901/task/27942/stat : 27942 (java) R 27899 27901 26973 0 -1 4202560 6008 0 0 0 58 0 0 0 16 0 22 0 530305371 16081760256 54565 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505703808 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27901/tid=27943] ppid=27899 vsize=15704844 CPUtime=0.66 cores=0,2,4,6
/proc/27901/task/27943/stat : 27943 (java) R 27899 27901 26973 0 -1 4202560 4647 0 0 0 65 1 0 0 17 0 22 0 530305371 16081760256 54565 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912506074392 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27901/tid=27944] ppid=27899 vsize=15704844 CPUtime=0.39 cores=0,2,4,6
/proc/27901/task/27944/stat : 27944 (java) R 27899 27901 26973 0 -1 4202560 4010 0 0 0 39 0 0 0 16 0 22 0 530305371 16081760256 54565 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505357434 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.7
Current children cumulated vsize (KiB) 15704844

[startup+3.10143 s]
/proc/loadavg: 3.56 5.29 6.79 15/220 27948
/proc/meminfo: memFree=27159556/32950928 swapFree=67111356/67111528
[pid=27901] ppid=27899 vsize=15702096 CPUtime=11.08 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 26973 0 -1 4202496 165707 0 1 0 1088 20 0 0 18 0 22 0 530305339 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27901/statm: 3925524 154921 2285 9 0 3916243 0
[pid=27901/tid=27908] ppid=27899 vsize=15702096 CPUtime=0.56 cores=0,2,4,6
/proc/27901/task/27908/stat : 27908 (java) S 27899 27901 26973 0 -1 4202560 12111 0 1 0 54 2 0 0 20 0 22 0 530305340 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27910] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27910/stat : 27910 (java) S 27899 27901 26973 0 -1 4202560 2052 0 0 0 0 0 0 0 15 0 22 0 530305341 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27912] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27912/stat : 27912 (java) S 27899 27901 26973 0 -1 4202560 4265 0 0 0 0 0 0 0 15 0 22 0 530305341 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27914] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27914/stat : 27914 (java) S 27899 27901 26973 0 -1 4202560 3909 0 0 0 0 0 0 0 15 0 22 0 530305341 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27916] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27916/stat : 27916 (java) S 27899 27901 26973 0 -1 4202560 2590 0 0 0 0 0 0 0 15 0 22 0 530305341 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27918] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27918/stat : 27918 (java) S 27899 27901 26973 0 -1 4202560 1723 0 0 0 0 0 0 0 15 0 22 0 530305341 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27920] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27920/stat : 27920 (java) S 27899 27901 26973 0 -1 4202560 1802 0 0 0 0 0 0 0 15 0 22 0 530305341 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27922] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27922/stat : 27922 (java) S 27899 27901 26973 0 -1 4202560 2278 0 0 0 0 0 0 0 15 0 22 0 530305341 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27924] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27924/stat : 27924 (java) S 27899 27901 26973 0 -1 4202560 3775 0 0 0 0 0 0 0 16 0 22 0 530305341 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27925] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27925/stat : 27925 (java) S 27899 27901 26973 0 -1 4202560 450 0 0 0 0 0 0 0 15 0 22 0 530305342 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048896 0 0 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27928] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27928/stat : 27928 (java) S 27899 27901 26973 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 530305342 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27930] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27930/stat : 27930 (java) S 27899 27901 26973 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530305342 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27931] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27931/stat : 27931 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530305344 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092055985 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27932] ppid=27899 vsize=15702096 CPUtime=1.4 cores=0,2,4,6
/proc/27901/task/27932/stat : 27932 (java) S 27899 27901 26973 0 -1 4202560 11546 0 0 0 139 1 0 0 15 0 22 0 530305344 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27935] ppid=27899 vsize=15702096 CPUtime=0.78 cores=0,2,4,6
/proc/27901/task/27935/stat : 27935 (java) R 27899 27901 26973 0 -1 4202560 13725 0 0 0 77 1 0 0 25 0 22 0 530305344 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 47350855450612 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27901/tid=27936] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27936/stat : 27936 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530305344 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27939] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27939/stat : 27939 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530305344 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048896 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27941] ppid=27899 vsize=15702096 CPUtime=1.97 cores=0,2,4,6
/proc/27901/task/27941/stat : 27941 (java) R 27899 27901 26973 0 -1 4202560 30472 0 0 0 194 3 0 0 18 0 22 0 530305371 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505741464 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27901/tid=27942] ppid=27899 vsize=15702096 CPUtime=2.14 cores=0,2,4,6
/proc/27901/task/27942/stat : 27942 (java) R 27899 27901 26973 0 -1 4202560 28352 0 0 0 212 2 0 0 18 0 22 0 530305371 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505806542 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27901/tid=27943] ppid=27899 vsize=15702096 CPUtime=2.1 cores=0,2,4,6
/proc/27901/task/27943/stat : 27943 (java) R 27899 27901 26973 0 -1 4202560 19937 0 0 0 207 3 0 0 19 0 22 0 530305371 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27901/tid=27944] ppid=27899 vsize=15702096 CPUtime=1.97 cores=0,2,4,6
/proc/27901/task/27944/stat : 27944 (java) R 27899 27901 26973 0 -1 4202560 25332 0 0 0 195 2 0 0 17 0 22 0 530305371 16078946304 154921 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505872234 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.08
Current children cumulated vsize (KiB) 15702096

[startup+6.30082 s]
/proc/loadavg: 3.92 5.33 6.80 9/220 27948
/proc/meminfo: memFree=25481952/32950928 swapFree=67111356/67111528
[pid=27901] ppid=27899 vsize=15702096 CPUtime=23.85 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 26973 0 -1 4202496 293959 0 1 0 2350 35 0 0 18 0 22 0 530305339 16078946304 281743 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27901/statm: 3925524 281743 2285 9 0 3916243 0
[pid=27901/tid=27908] ppid=27899 vsize=15702096 CPUtime=0.56 cores=0,2,4,6
/proc/27901/task/27908/stat : 27908 (java) S 27899 27901 26973 0 -1 4202560 12111 0 1 0 54 2 0 0 20 0 22 0 530305340 16078946304 281743 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27910] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27910/stat : 27910 (java) S 27899 27901 26973 0 -1 4202560 2475 0 0 0 0 0 0 0 15 0 22 0 530305341 16078946304 281743 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27912] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27912/stat : 27912 (java) S 27899 27901 26973 0 -1 4202560 4265 0 0 0 0 0 0 0 15 0 22 0 530305341 16078946304 281743 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27914] ppid=27899 vsize=15702096 CPUtime=0.01 cores=0,2,4,6
/proc/27901/task/27914/stat : 27914 (java) S 27899 27901 26973 0 -1 4202560 4933 0 0 0 1 0 0 0 16 0 22 0 530305341 16078946304 281743 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27916] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27916/stat : 27916 (java) S 27899 27901 26973 0 -1 4202560 3464 0 0 0 0 0 0 0 16 0 22 0 530305341 16078946304 281743 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27918] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27918/stat : 27918 (java) S 27899 27901 26973 0 -1 4202560 1733 0 0 0 0 0 0 0 15 0 22 0 530305341 16078946304 281743 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27920] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27920/stat : 27920 (java) S 27899 27901 26973 0 -1 4202560 2789 0 0 0 0 0 0 0 16 0 22 0 530305341 16078946304 281743 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27922] ppid=27899 vsize=15702096 CPUtime=0.01 cores=0,2,4,6
/proc/27901/task/27922/stat : 27922 (java) S 27899 27901 26973 0 -1 4202560 2551 0 0 0 1 0 0 0 16 0 22 0 530305341 16078946304 281743 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27924] ppid=27899 vsize=15702096 CPUtime=0.01 cores=0,2,4,6
/proc/27901/task/27924/stat : 27924 (java) S 27899 27901 26973 0 -1 4202560 4191 0 0 0 1 0 0 0 15 0 22 0 530305341 16078946304 281743 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27925] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27925/stat : 27925 (java) S 27899 27901 26973 0 -1 4202560 450 0 0 0 0 0 0 0 15 0 22 0 530305342 16078946304 281743 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048896 0 0 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27928] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27928/stat : 27928 (java) S 27899 27901 26973 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 530305342 16078946304 281743 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27930] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27930/stat : 27930 (java) S 27899 27901 26973 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530305342 16078946304 281743 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27931] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27931/stat : 27931 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530305344 16078946304 281743 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092055985 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27932] ppid=27899 vsize=15702096 CPUtime=1.53 cores=0,2,4,6
/proc/27901/task/27932/stat : 27932 (java) S 27899 27901 26973 0 -1 4202560 11558 0 0 0 152 1 0 0 16 0 22 0 530305344 16078946304 281743 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0

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

[pid=27901/tid=27942] ppid=27899 vsize=15702096 CPUtime=1048.06 cores=0,2,4,6
/proc/27901/task/27942/stat : 27942 (java) R 27899 27901 26973 0 -1 4202560 286983 0 0 0 104765 41 0 0 25 0 22 0 530305371 16078946304 90146 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 47350855731458 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27901/tid=27943] ppid=27899 vsize=15702096 CPUtime=1048.97 cores=0,2,4,6
/proc/27901/task/27943/stat : 27943 (java) R 27899 27901 26973 0 -1 4202560 279489 0 0 0 104857 40 0 0 25 0 22 0 530305371 16078946304 90146 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505872243 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27901/tid=27944] ppid=27899 vsize=15702096 CPUtime=1048.42 cores=0,2,4,6
/proc/27901/task/27944/stat : 27944 (java) R 27899 27901 26973 0 -1 4202560 277342 0 0 0 104798 44 0 0 25 0 22 0 530305371 16078946304 90146 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505839121 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4224.22
Current children cumulated vsize (KiB) 15702096

[startup+1122.3 s]
/proc/loadavg: 8.12 8.06 7.71 9/220 27978
/proc/meminfo: memFree=26961052/32950928 swapFree=67111356/67111528
[pid=27901] ppid=27899 vsize=15702096 CPUtime=4462.82 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 26973 0 -1 4202496 2031650 0 1 0 445853 429 0 0 18 0 22 0 530305339 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27901/statm: 3925524 96470 2298 9 0 3916243 0
[pid=27901/tid=27908] ppid=27899 vsize=15702096 CPUtime=0.56 cores=0,2,4,6
/proc/27901/task/27908/stat : 27908 (java) S 27899 27901 26973 0 -1 4202560 12111 0 1 0 54 2 0 0 20 0 22 0 530305340 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27910] ppid=27899 vsize=15702096 CPUtime=3.32 cores=0,2,4,6
/proc/27901/task/27910/stat : 27910 (java) S 27899 27901 26973 0 -1 4202560 97041 0 0 0 312 20 0 0 15 0 22 0 530305341 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27912] ppid=27899 vsize=15702096 CPUtime=3.28 cores=0,2,4,6
/proc/27901/task/27912/stat : 27912 (java) S 27899 27901 26973 0 -1 4202560 99950 0 0 0 308 20 0 0 15 0 22 0 530305341 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27914] ppid=27899 vsize=15702096 CPUtime=3.26 cores=0,2,4,6
/proc/27901/task/27914/stat : 27914 (java) S 27899 27901 26973 0 -1 4202560 102293 0 0 0 304 22 0 0 15 0 22 0 530305341 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27916] ppid=27899 vsize=15702096 CPUtime=3.24 cores=0,2,4,6
/proc/27901/task/27916/stat : 27916 (java) S 27899 27901 26973 0 -1 4202560 100032 0 0 0 302 22 0 0 15 0 22 0 530305341 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27918] ppid=27899 vsize=15702096 CPUtime=3.28 cores=0,2,4,6
/proc/27901/task/27918/stat : 27918 (java) S 27899 27901 26973 0 -1 4202560 95826 0 0 0 308 20 0 0 16 0 22 0 530305341 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27920] ppid=27899 vsize=15702096 CPUtime=3.32 cores=0,2,4,6
/proc/27901/task/27920/stat : 27920 (java) S 27899 27901 26973 0 -1 4202560 103568 0 0 0 310 22 0 0 15 0 22 0 530305341 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27922] ppid=27899 vsize=15702096 CPUtime=3.34 cores=0,2,4,6
/proc/27901/task/27922/stat : 27922 (java) S 27899 27901 26973 0 -1 4202560 103265 0 0 0 314 20 0 0 16 0 22 0 530305341 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27924] ppid=27899 vsize=15702096 CPUtime=3.27 cores=0,2,4,6
/proc/27901/task/27924/stat : 27924 (java) S 27899 27901 26973 0 -1 4202560 99798 0 0 0 307 20 0 0 16 0 22 0 530305341 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27925] ppid=27899 vsize=15702096 CPUtime=2.12 cores=0,2,4,6
/proc/27901/task/27925/stat : 27925 (java) S 27899 27901 26973 0 -1 4202560 5052 0 0 0 136 76 0 0 15 0 22 0 530305342 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048896 0 0 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27928] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27928/stat : 27928 (java) S 27899 27901 26973 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 530305342 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27930] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27930/stat : 27930 (java) S 27899 27901 26973 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530305342 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27931] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27931/stat : 27931 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530305344 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092055985 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27932] ppid=27899 vsize=15702096 CPUtime=1.6 cores=0,2,4,6
/proc/27901/task/27932/stat : 27932 (java) S 27899 27901 26973 0 -1 4202560 11570 0 0 0 159 1 0 0 15 0 22 0 530305344 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27935] ppid=27899 vsize=15702096 CPUtime=0.9 cores=0,2,4,6
/proc/27901/task/27935/stat : 27935 (java) S 27899 27901 26973 0 -1 4202560 13779 0 0 0 89 1 0 0 15 0 22 0 530305344 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27936] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27936/stat : 27936 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530305344 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27939] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27939/stat : 27939 (java) S 27899 27901 26973 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 530305344 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048896 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27941] ppid=27899 vsize=15702096 CPUtime=1107.96 cores=0,2,4,6
/proc/27901/task/27941/stat : 27941 (java) R 27899 27901 26973 0 -1 4202560 296260 0 0 0 110753 43 0 0 25 0 22 0 530305371 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505837985 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27901/tid=27942] ppid=27899 vsize=15702096 CPUtime=1107.17 cores=0,2,4,6
/proc/27901/task/27942/stat : 27942 (java) R 27899 27901 26973 0 -1 4202560 301898 0 0 0 110673 44 0 0 25 0 22 0 530305371 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505839093 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27901/tid=27943] ppid=27899 vsize=15702096 CPUtime=1108.29 cores=0,2,4,6
/proc/27901/task/27943/stat : 27943 (java) R 27899 27901 26973 0 -1 4202560 295397 0 0 0 110787 42 0 0 25 0 22 0 530305371 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505923651 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27901/tid=27944] ppid=27899 vsize=15702096 CPUtime=1107.75 cores=0,2,4,6
/proc/27901/task/27944/stat : 27944 (java) R 27899 27901 26973 0 -1 4202560 292366 0 0 0 110730 45 0 0 25 0 22 0 530305371 16078946304 96470 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505807268 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4462.82
Current children cumulated vsize (KiB) 15702096

[startup+1182.3 s]
/proc/loadavg: 8.04 8.05 7.73 9/220 27980
/proc/meminfo: memFree=26857128/32950928 swapFree=67111356/67111528
[pid=27901] ppid=27899 vsize=15702096 CPUtime=4701.42 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 26973 0 -1 4202496 2144785 0 1 0 469688 454 0 0 18 0 22 0 530305339 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27901/statm: 3925524 112224 2298 9 0 3916243 0
[pid=27901/tid=27908] ppid=27899 vsize=15702096 CPUtime=0.56 cores=0,2,4,6
/proc/27901/task/27908/stat : 27908 (java) S 27899 27901 26973 0 -1 4202560 12111 0 1 0 54 2 0 0 20 0 22 0 530305340 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27910] ppid=27899 vsize=15702096 CPUtime=3.49 cores=0,2,4,6
/proc/27901/task/27910/stat : 27910 (java) S 27899 27901 26973 0 -1 4202560 102064 0 0 0 328 21 0 0 15 0 22 0 530305341 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27912] ppid=27899 vsize=15702096 CPUtime=3.47 cores=0,2,4,6
/proc/27901/task/27912/stat : 27912 (java) S 27899 27901 26973 0 -1 4202560 104600 0 0 0 325 22 0 0 15 0 22 0 530305341 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27914] ppid=27899 vsize=15702096 CPUtime=3.44 cores=0,2,4,6
/proc/27901/task/27914/stat : 27914 (java) S 27899 27901 26973 0 -1 4202560 108275 0 0 0 321 23 0 0 16 0 22 0 530305341 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27916] ppid=27899 vsize=15702096 CPUtime=3.41 cores=0,2,4,6
/proc/27901/task/27916/stat : 27916 (java) S 27899 27901 26973 0 -1 4202560 104883 0 0 0 318 23 0 0 16 0 22 0 530305341 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27918] ppid=27899 vsize=15702096 CPUtime=3.46 cores=0,2,4,6
/proc/27901/task/27918/stat : 27918 (java) S 27899 27901 26973 0 -1 4202560 100351 0 0 0 325 21 0 0 15 0 22 0 530305341 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27920] ppid=27899 vsize=15702096 CPUtime=3.49 cores=0,2,4,6
/proc/27901/task/27920/stat : 27920 (java) S 27899 27901 26973 0 -1 4202560 108689 0 0 0 326 23 0 0 16 0 22 0 530305341 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27922] ppid=27899 vsize=15702096 CPUtime=3.5 cores=0,2,4,6
/proc/27901/task/27922/stat : 27922 (java) S 27899 27901 26973 0 -1 4202560 108379 0 0 0 329 21 0 0 15 0 22 0 530305341 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27924] ppid=27899 vsize=15702096 CPUtime=3.43 cores=0,2,4,6
/proc/27901/task/27924/stat : 27924 (java) S 27899 27901 26973 0 -1 4202560 105554 0 0 0 321 22 0 0 15 0 22 0 530305341 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27925] ppid=27899 vsize=15702096 CPUtime=2.24 cores=0,2,4,6
/proc/27901/task/27925/stat : 27925 (java) S 27899 27901 26973 0 -1 4202560 5359 0 0 0 144 80 0 0 15 0 22 0 530305342 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048896 0 0 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27928] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27928/stat : 27928 (java) S 27899 27901 26973 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 530305342 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27930] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27930/stat : 27930 (java) S 27899 27901 26973 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530305342 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27931] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27931/stat : 27931 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530305344 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092055985 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27932] ppid=27899 vsize=15702096 CPUtime=1.6 cores=0,2,4,6
/proc/27901/task/27932/stat : 27932 (java) S 27899 27901 26973 0 -1 4202560 11570 0 0 0 159 1 0 0 15 0 22 0 530305344 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27935] ppid=27899 vsize=15702096 CPUtime=0.9 cores=0,2,4,6
/proc/27901/task/27935/stat : 27935 (java) S 27899 27901 26973 0 -1 4202560 13779 0 0 0 89 1 0 0 15 0 22 0 530305344 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27936] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27936/stat : 27936 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530305344 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27939] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27939/stat : 27939 (java) S 27899 27901 26973 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 530305344 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048896 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27941] ppid=27899 vsize=15702096 CPUtime=1167.31 cores=0,2,4,6
/proc/27901/task/27941/stat : 27941 (java) R 27899 27901 26973 0 -1 4202560 314093 0 0 0 116685 46 0 0 25 0 22 0 530305371 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505793171 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27901/tid=27942] ppid=27899 vsize=15702096 CPUtime=1166.32 cores=0,2,4,6
/proc/27901/task/27942/stat : 27942 (java) R 27899 27901 26973 0 -1 4202560 319982 0 0 0 116586 46 0 0 25 0 22 0 530305371 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 47350855731009 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27901/tid=27943] ppid=27899 vsize=15702096 CPUtime=1167.57 cores=0,2,4,6
/proc/27901/task/27943/stat : 27943 (java) R 27899 27901 26973 0 -1 4202560 313787 0 0 0 116712 45 0 0 25 0 22 0 530305371 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912506072883 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27901/tid=27944] ppid=27899 vsize=15702096 CPUtime=1167.05 cores=0,2,4,6
/proc/27901/task/27944/stat : 27944 (java) R 27899 27901 26973 0 -1 4202560 309861 0 0 0 116657 48 0 0 25 0 22 0 530305371 16078946304 112224 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505839276 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4701.42
Current children cumulated vsize (KiB) 15702096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.2 s]
/proc/loadavg: 8.03 8.04 7.73 9/220 27980
/proc/meminfo: memFree=26995140/32950928 swapFree=67111356/67111528
[pid=27901] ppid=27899 vsize=15702096 CPUtime=4800.4 cores=0,2,4,6
/proc/27901/stat : 27901 (java) S 27899 27901 26973 0 -1 4202496 2169688 0 1 0 479578 462 0 0 18 0 22 0 530305339 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/27901/statm: 3925524 91167 2298 9 0 3916243 0
[pid=27901/tid=27908] ppid=27899 vsize=15702096 CPUtime=0.56 cores=0,2,4,6
/proc/27901/task/27908/stat : 27908 (java) S 27899 27901 26973 0 -1 4202560 12111 0 1 0 54 2 0 0 20 0 22 0 530305340 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27910] ppid=27899 vsize=15702096 CPUtime=3.58 cores=0,2,4,6
/proc/27901/task/27910/stat : 27910 (java) S 27899 27901 26973 0 -1 4202560 104151 0 0 0 336 22 0 0 15 0 22 0 530305341 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27912] ppid=27899 vsize=15702096 CPUtime=3.53 cores=0,2,4,6
/proc/27901/task/27912/stat : 27912 (java) S 27899 27901 26973 0 -1 4202560 107329 0 0 0 331 22 0 0 15 0 22 0 530305341 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27914] ppid=27899 vsize=15702096 CPUtime=3.52 cores=0,2,4,6
/proc/27901/task/27914/stat : 27914 (java) S 27899 27901 26973 0 -1 4202560 110518 0 0 0 328 24 0 0 15 0 22 0 530305341 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27916] ppid=27899 vsize=15702096 CPUtime=3.49 cores=0,2,4,6
/proc/27901/task/27916/stat : 27916 (java) S 27899 27901 26973 0 -1 4202560 106511 0 0 0 325 24 0 0 15 0 22 0 530305341 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27918] ppid=27899 vsize=15702096 CPUtime=3.52 cores=0,2,4,6
/proc/27901/task/27918/stat : 27918 (java) S 27899 27901 26973 0 -1 4202560 101922 0 0 0 331 21 0 0 16 0 22 0 530305341 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27920] ppid=27899 vsize=15702096 CPUtime=3.58 cores=0,2,4,6
/proc/27901/task/27920/stat : 27920 (java) S 27899 27901 26973 0 -1 4202560 110220 0 0 0 334 24 0 0 15 0 22 0 530305341 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27922] ppid=27899 vsize=15702096 CPUtime=3.56 cores=0,2,4,6
/proc/27901/task/27922/stat : 27922 (java) S 27899 27901 26973 0 -1 4202560 110145 0 0 0 335 21 0 0 15 0 22 0 530305341 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27924] ppid=27899 vsize=15702096 CPUtime=3.49 cores=0,2,4,6
/proc/27901/task/27924/stat : 27924 (java) S 27899 27901 26973 0 -1 4202560 107082 0 0 0 327 22 0 0 15 0 22 0 530305341 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27925] ppid=27899 vsize=15702096 CPUtime=2.31 cores=0,2,4,6
/proc/27901/task/27925/stat : 27925 (java) S 27899 27901 26973 0 -1 4202560 5446 0 0 0 149 82 0 0 15 0 22 0 530305342 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048896 0 0 0 16800975 18446604453862553664 0 0 -1 4 0 0 0
[pid=27901/tid=27928] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27928/stat : 27928 (java) S 27899 27901 26973 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 530305342 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27930] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27930/stat : 27930 (java) S 27899 27901 26973 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 530305342 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27931] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27931/stat : 27931 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530305344 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092055985 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27932] ppid=27899 vsize=15702096 CPUtime=1.6 cores=0,2,4,6
/proc/27901/task/27932/stat : 27932 (java) S 27899 27901 26973 0 -1 4202560 11570 0 0 0 159 1 0 0 15 0 22 0 530305344 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 2 0 0 0
[pid=27901/tid=27935] ppid=27899 vsize=15702096 CPUtime=0.9 cores=0,2,4,6
/proc/27901/task/27935/stat : 27935 (java) S 27899 27901 26973 0 -1 4202560 13779 0 0 0 89 1 0 0 15 0 22 0 530305344 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27936] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27936/stat : 27936 (java) S 27899 27901 26973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530305344 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048281 0 4 0 16800975 18446604453862553664 0 0 -1 6 0 0 0
[pid=27901/tid=27939] ppid=27899 vsize=15702096 CPUtime=0 cores=0,2,4,6
/proc/27901/task/27939/stat : 27939 (java) S 27899 27901 26973 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 530305344 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 208092048896 0 4 0 16800975 18446604453862553664 0 0 -1 0 0 0 0
[pid=27901/tid=27941] ppid=27899 vsize=15702096 CPUtime=1191.85 cores=0,2,4,6
/proc/27901/task/27941/stat : 27941 (java) R 27899 27901 26973 0 -1 4202560 316665 0 0 0 119138 47 0 0 25 0 22 0 530305371 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505935926 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27901/tid=27942] ppid=27899 vsize=15702096 CPUtime=1190.93 cores=0,2,4,6
/proc/27901/task/27942/stat : 27942 (java) R 27899 27901 26973 0 -1 4202560 322364 0 0 0 119046 47 0 0 25 0 22 0 530305371 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505924116 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27901/tid=27943] ppid=27899 vsize=15702096 CPUtime=1192.18 cores=0,2,4,6
/proc/27901/task/27943/stat : 27943 (java) R 27899 27901 26973 0 -1 4202560 316076 0 0 0 119172 46 0 0 25 0 22 0 530305371 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 46912505807208 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27901/tid=27944] ppid=27899 vsize=15702096 CPUtime=1191.66 cores=0,2,4,6
/proc/27901/task/27944/stat : 27944 (java) R 27899 27901 26973 0 -1 4202560 312351 0 0 0 119117 49 0 0 25 0 22 0 530305371 16078946304 91167 33554432000 1073741824 1073778376 140736753806960 18446744073709551615 18446744073699065955 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 15702096

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.45
CPU user time (s): 4795.81
CPU system time (s): 4.63729
CPU usage (%): 397.641
Max. virtual memory (cumulated for all children) (KiB): 15704876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.81
system time used= 4.63729
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2169715
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= 248872
involuntary context switches= 135513

runsolver used 1.9707 second user time and 4.66929 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-30 20:10:57
IDJOB=3311960
IDBENCH=84634
IDSOLVER=1698
FILE ID=node127/3311960-1304187057
RUNJOBID= node127-1304187057-27885
PBS_JOBID= 13172458
Free space on /tmp= 72736 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT04/handmade/connamacher/connm-d0.04/connm-ue-csp-sat-n800-d0.04-s1788334438.used-as.sat04-976.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311960-1304187057/watcher-3311960-1304187057 -o /tmp/evaluation-result-3311960-1304187057/solver-3311960-1304187057 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311960-1304187057.cnf -hbr 2

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

MD5SUM BENCH= 41d80cc808c021a52e21ee9950bc91e0
RANDOM SEED=1699962757

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27714256 kB
Buffers:       1318204 kB
Cached:        3392072 kB
SwapCached:          8 kB
Active:         269592 kB
Inactive:      4504368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27714256 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            3596 kB
Writeback:           0 kB
AnonPages:       63408 kB
Mapped:          14484 kB
Slab:           399368 kB
PageTables:       4632 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   187752 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= 72732 MiB
End job on node127 at 2011-04-30 20:31:06