Trace number 3311651

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)SAT 441.143 111.243

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf
MD5SUMfa5f68613be1e2c6017df353c3eb03ef
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.045992
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 54450

Solver Data 

0.11/0.11	45:56 INFO : Reading from input HOME/instance-3311651-1304178356.cnf
0.52/0.30	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.31	Starting Executor!
0.52/0.31	Starting Executor!
0.52/0.31	Starting Executor!
0.73/0.47	45:56 INFO : 50 variables remaining out of 50
0.73/0.47	45:56 INFO : 35600 literals remaining out of 35600
441.07/111.21	c Elapsed time 111.103
441.07/111.21	s SATISFIABLE
441.07/111.21	v 1 2 3 4 -5 6 -7 -8 9 -10 -11 12 13 14 -15 16 -17 18 -19 -20 -21 -22 23 -24 25 -26 -27 28 -29 30 31 32 33 34 -35 36 -37 38 -39 40 -41 42 -43 44 45 46 47 -48 49 -50 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3311651-1304178356/watcher-3311651-1304178356 -o /tmp/evaluation-result-3311651-1304178356/solver-3311651-1304178356 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311651-1304178356.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: 8.06 8.02 8.00 5/198 19050
/proc/meminfo: memFree=29124276/32951124 swapFree=67111348/67111528
[pid=19050] ppid=19048 vsize=28436 CPUtime=0 cores=0,2,4,6
/proc/19050/stat : 19050 (java) S 19048 19050 18835 0 -1 4202496 1435 0 0 0 0 0 0 0 25 0 2 0 510250902 29118464 904 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273419237 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/19050/statm: 7645 907 693 9 0 383 0
[pid=19050/tid=19051] ppid=19048 vsize=30580 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19051/stat : 19051 (java) R 19048 19050 18835 0 -1 4202560 99 0 0 0 0 0 0 0 25 0 2 0 510250902 31313920 925 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254256654080 0 0 4096 0 0 0 0 -1 4 0 0 0

[startup+0.0238379 s]
/proc/loadavg: 8.06 8.02 8.00 5/198 19050
/proc/meminfo: memFree=29124276/32951124 swapFree=67111348/67111528
[pid=19050] ppid=19048 vsize=15603088 CPUtime=0.01 cores=0,2,4,6
/proc/19050/stat : 19050 (java) S 19048 19050 18835 0 -1 4202496 3408 0 1 0 1 0 0 0 25 0 12 0 510250902 15977562112 2849 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/19050/statm: 3900772 2850 1627 9 0 3891520 0
[pid=19050/tid=19051] ppid=19048 vsize=15604116 CPUtime=0.01 cores=0,2,4,6
/proc/19050/task/19051/stat : 19051 (java) R 19048 19050 18835 0 -1 4202560 2042 0 1 0 1 0 0 0 25 0 13 0 510250902 15978614784 2852 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254261672945 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15603088

[startup+0.100822 s]
/proc/loadavg: 8.06 8.02 8.00 5/198 19050
/proc/meminfo: memFree=29124276/32951124 swapFree=67111348/67111528
[pid=19050] ppid=19048 vsize=15676008 CPUtime=0.11 cores=0,2,4,6
/proc/19050/stat : 19050 (java) S 19048 19050 18835 0 -1 4202496 5616 0 1 0 10 1 0 0 25 0 18 0 510250902 16052232192 5052 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19050/statm: 3919002 5052 2117 9 0 3909721 0
[pid=19050/tid=19051] ppid=19048 vsize=15676008 CPUtime=0.08 cores=0,2,4,6
/proc/19050/task/19051/stat : 19051 (java) R 19048 19050 18835 0 -1 4202560 3500 0 1 0 8 0 0 0 18 0 18 0 510250902 16052232192 5052 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46941760897759 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676008

[startup+0.300779 s]
/proc/loadavg: 8.06 8.02 8.00 5/198 19050
/proc/meminfo: memFree=29124276/32951124 swapFree=67111348/67111528
[pid=19050] ppid=19048 vsize=15681628 CPUtime=0.52 cores=0,2,4,6
/proc/19050/stat : 19050 (java) S 19048 19050 18835 0 -1 4202496 15317 0 1 0 50 2 0 0 25 0 18 0 510250902 16057987072 13506 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19050/statm: 3920407 13507 2207 9 0 3911126 0
[pid=19050/tid=19051] ppid=19048 vsize=15681628 CPUtime=0.28 cores=0,2,4,6
/proc/19050/task/19051/stat : 19051 (java) R 19048 19050 18835 0 -1 4202560 10162 0 1 0 27 1 0 0 18 0 18 0 510250902 16057987072 13508 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15681628

[startup+0.771665 s]
/proc/loadavg: 8.06 8.02 8.00 5/198 19050
/proc/meminfo: memFree=29124276/32951124 swapFree=67111348/67111528
[pid=19050] ppid=19048 vsize=15694956 CPUtime=1.88 cores=0,2,4,6
/proc/19050/stat : 19050 (java) S 19048 19050 18835 0 -1 4202496 32261 0 1 0 185 3 0 0 25 0 22 0 510250902 16071634944 25351 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19050/statm: 3923739 25351 2263 9 0 3914458 0
[pid=19050/tid=19051] ppid=19048 vsize=15694956 CPUtime=0.45 cores=0,2,4,6
/proc/19050/task/19051/stat : 19051 (java) S 19048 19050 18835 0 -1 4202560 10979 0 1 0 44 1 0 0 20 0 22 0 510250902 16071634944 25351 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 15694956

[startup+1.50153 s]
/proc/loadavg: 7.81 7.97 7.98 12/220 19072
/proc/meminfo: memFree=28885712/32951124 swapFree=67111348/67111528
[pid=19050] ppid=19048 vsize=15694956 CPUtime=4.76 cores=0,2,4,6
/proc/19050/stat : 19050 (java) S 19048 19050 18835 0 -1 4202496 53628 0 1 0 470 6 0 0 25 0 22 0 510250902 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19050/statm: 3923739 46711 2281 9 0 3914458 0
[pid=19050/tid=19051] ppid=19048 vsize=15694956 CPUtime=0.45 cores=0,2,4,6
/proc/19050/task/19051/stat : 19051 (java) S 19048 19050 18835 0 -1 4202560 10979 0 1 0 44 1 0 0 20 0 22 0 510250902 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19053] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19053/stat : 19053 (java) S 19048 19050 18835 0 -1 4202560 403 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19054] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19054/stat : 19054 (java) S 19048 19050 18835 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19055] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19055/stat : 19055 (java) S 19048 19050 18835 0 -1 4202560 356 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19056] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19056/stat : 19056 (java) S 19048 19050 18835 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 510250902 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19057] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19057/stat : 19057 (java) S 19048 19050 18835 0 -1 4202560 439 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19058] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19058/stat : 19058 (java) S 19048 19050 18835 0 -1 4202560 405 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19059] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19059/stat : 19059 (java) S 19048 19050 18835 0 -1 4202560 737 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19060] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19060/stat : 19060 (java) S 19048 19050 18835 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19061] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19061/stat : 19061 (java) S 19048 19050 18835 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 510250903 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273433088 0 0 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19062] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19062/stat : 19062 (java) R 19048 19050 18835 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 510250904 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273442485 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19050/tid=19063] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19063/stat : 19063 (java) S 19048 19050 18835 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 510250904 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19064] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19064/stat : 19064 (java) S 19048 19050 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510250906 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273440177 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19065] ppid=19048 vsize=15694956 CPUtime=0.63 cores=0,2,4,6
/proc/19050/task/19065/stat : 19065 (java) S 19048 19050 18835 0 -1 4202560 6758 0 0 0 63 0 0 0 15 0 22 0 510250906 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19066] ppid=19048 vsize=15694956 CPUtime=0.83 cores=0,2,4,6
/proc/19050/task/19066/stat : 19066 (java) S 19048 19050 18835 0 -1 4202560 7423 0 0 0 83 0 0 0 16 0 22 0 510250906 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19067] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19067/stat : 19067 (java) S 19048 19050 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510250906 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19068] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19068/stat : 19068 (java) S 19048 19050 18835 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510250906 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273433088 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19069] ppid=19048 vsize=15694956 CPUtime=0.63 cores=0,2,4,6
/proc/19050/task/19069/stat : 19069 (java) R 19048 19050 18835 0 -1 4202560 4984 0 0 0 63 0 0 0 18 0 22 0 510250933 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505798443 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19050/tid=19070] ppid=19048 vsize=15694956 CPUtime=0.64 cores=0,2,4,6
/proc/19050/task/19070/stat : 19070 (java) R 19048 19050 18835 0 -1 4202560 4365 0 0 0 64 0 0 0 16 0 22 0 510250933 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505789684 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19050/tid=19071] ppid=19048 vsize=15694956 CPUtime=0.7 cores=0,2,4,6
/proc/19050/task/19071/stat : 19071 (java) R 19048 19050 18835 0 -1 4202560 6459 0 0 0 70 0 0 0 16 0 22 0 510250933 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505848294 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19050/tid=19072] ppid=19048 vsize=15694956 CPUtime=0.78 cores=0,2,4,6
/proc/19050/task/19072/stat : 19072 (java) R 19048 19050 18835 0 -1 4202560 8679 0 0 0 77 1 0 0 18 0 22 0 510250933 16071634944 46711 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505983554 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 15694956

[startup+3.10125 s]
/proc/loadavg: 7.81 7.97 7.98 9/220 19072
/proc/meminfo: memFree=28876040/32951124 swapFree=67111348/67111528
[pid=19050] ppid=19048 vsize=15694956 CPUtime=11.12 cores=0,2,4,6
/proc/19050/stat : 19050 (java) S 19048 19050 18835 0 -1 4202496 57044 0 1 0 1104 8 0 0 25 0 22 0 510250902 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19050/statm: 3923739 46774 2289 9 0 3914458 0
[pid=19050/tid=19051] ppid=19048 vsize=15694956 CPUtime=0.45 cores=0,2,4,6
/proc/19050/task/19051/stat : 19051 (java) S 19048 19050 18835 0 -1 4202560 10979 0 1 0 44 1 0 0 20 0 22 0 510250902 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19053] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19053/stat : 19053 (java) S 19048 19050 18835 0 -1 4202560 645 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19054] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19054/stat : 19054 (java) S 19048 19050 18835 0 -1 4202560 412 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19055] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19055/stat : 19055 (java) S 19048 19050 18835 0 -1 4202560 882 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19056] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19056/stat : 19056 (java) S 19048 19050 18835 0 -1 4202560 371 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19057] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19057/stat : 19057 (java) S 19048 19050 18835 0 -1 4202560 1159 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19058] ppid=19048 vsize=15694956 CPUtime=0.01 cores=0,2,4,6
/proc/19050/task/19058/stat : 19058 (java) S 19048 19050 18835 0 -1 4202560 880 0 0 0 1 0 0 0 15 0 22 0 510250902 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19059] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19059/stat : 19059 (java) S 19048 19050 18835 0 -1 4202560 1043 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19060] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19060/stat : 19060 (java) S 19048 19050 18835 0 -1 4202560 300 0 0 0 0 0 0 0 16 0 22 0 510250902 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19061] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19061/stat : 19061 (java) S 19048 19050 18835 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 22 0 510250903 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273433088 0 0 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19062] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19062/stat : 19062 (java) S 19048 19050 18835 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 22 0 510250904 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19063] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19063/stat : 19063 (java) S 19048 19050 18835 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 510250904 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19064] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19064/stat : 19064 (java) S 19048 19050 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510250906 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273440177 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19065] ppid=19048 vsize=15694956 CPUtime=0.77 cores=0,2,4,6
/proc/19050/task/19065/stat : 19065 (java) S 19048 19050 18835 0 -1 4202560 6803 0 0 0 77 0 0 0 15 0 22 0 510250906 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19066] ppid=19048 vsize=15694956 CPUtime=0.92 cores=0,2,4,6
/proc/19050/task/19066/stat : 19066 (java) S 19048 19050 18835 0 -1 4202560 7443 0 0 0 92 0 0 0 16 0 22 0 510250906 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19067] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19067/stat : 19067 (java) S 19048 19050 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510250906 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19068] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19068/stat : 19068 (java) S 19048 19050 18835 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510250906 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273433088 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19069] ppid=19048 vsize=15694956 CPUtime=2.11 cores=0,2,4,6
/proc/19050/task/19069/stat : 19069 (java) R 19048 19050 18835 0 -1 4202560 4987 0 0 0 211 0 0 0 20 0 22 0 510250933 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505789773 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19050/tid=19070] ppid=19048 vsize=15694956 CPUtime=2.21 cores=0,2,4,6
/proc/19050/task/19070/stat : 19070 (java) R 19048 19050 18835 0 -1 4202560 4509 0 0 0 221 0 0 0 18 0 22 0 510250933 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505197540 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19050/tid=19071] ppid=19048 vsize=15694956 CPUtime=2.27 cores=0,2,4,6
/proc/19050/task/19071/stat : 19071 (java) R 19048 19050 18835 0 -1 4202560 6516 0 0 0 227 0 0 0 18 0 22 0 510250933 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505799101 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19050/tid=19072] ppid=19048 vsize=15694956 CPUtime=2.22 cores=0,2,4,6
/proc/19050/task/19072/stat : 19072 (java) R 19048 19050 18835 0 -1 4202560 8682 0 0 0 221 1 0 0 20 0 22 0 510250933 16071634944 46774 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505191408 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.12
Current children cumulated vsize (KiB) 15694956

[startup+6.30068 s]
/proc/loadavg: 7.83 7.97 7.98 9/220 19072
/proc/meminfo: memFree=28729960/32951124 swapFree=67111348/67111528
[pid=19050] ppid=19048 vsize=15694956 CPUtime=23.89 cores=0,2,4,6
/proc/19050/stat : 19050 (java) S 19048 19050 18835 0 -1 4202496 100855 0 1 0 2375 14 0 0 25 0 22 0 510250902 16071634944 87632 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19050/statm: 3923739 87632 2289 9 0 3914458 0
[pid=19050/tid=19051] ppid=19048 vsize=15694956 CPUtime=0.45 cores=0,2,4,6
/proc/19050/task/19051/stat : 19051 (java) S 19048 19050 18835 0 -1 4202560 10979 0 1 0 44 1 0 0 20 0 22 0 510250902 16071634944 87632 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19053] ppid=19048 vsize=15694956 CPUtime=0.01 cores=0,2,4,6
/proc/19050/task/19053/stat : 19053 (java) S 19048 19050 18835 0 -1 4202560 901 0 0 0 1 0 0 0 15 0 22 0 510250902 16071634944 87632 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19054] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19054/stat : 19054 (java) S 19048 19050 18835 0 -1 4202560 541 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 87632 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19055] ppid=19048 vsize=15694956 CPUtime=0.01 cores=0,2,4,6
/proc/19050/task/19055/stat : 19055 (java) S 19048 19050 18835 0 -1 4202560 1019 0 0 0 1 0 0 0 15 0 22 0 510250902 16071634944 87632 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19056] ppid=19048 vsize=15694956 CPUtime=0.01 cores=0,2,4,6
/proc/19050/task/19056/stat : 19056 (java) S 19048 19050 18835 0 -1 4202560 716 0 0 0 1 0 0 0 15 0 22 0 510250902 16071634944 87632 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19057] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19057/stat : 19057 (java) S 19048 19050 18835 0 -1 4202560 1388 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 87632 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19058] ppid=19048 vsize=15694956 CPUtime=0.01 cores=0,2,4,6
/proc/19050/task/19058/stat : 19058 (java) S 19048 19050 18835 0 -1 4202560 948 0 0 0 1 0 0 0 15 0 22 0 510250902 16071634944 87632 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19059] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19059/stat : 19059 (java) S 19048 19050 18835 0 -1 4202560 1084 0 0 0 0 0 0 0 15 0 22 0 510250902 16071634944 87632 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19060] ppid=19048 vsize=15694956 CPUtime=0.01 cores=0,2,4,6
/proc/19050/task/19060/stat : 19060 (java) S 19048 19050 18835 0 -1 4202560 664 0 0 0 1 0 0 0 15 0 22 0 510250902 16071634944 87632 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0

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

/proc/19050/task/19065/stat : 19065 (java) S 19048 19050 18835 0 -1 4202560 6808 0 0 0 82 0 0 0 15 0 22 0 510250906 16071634944 86341 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19066] ppid=19048 vsize=15694956 CPUtime=0.98 cores=0,2,4,6
/proc/19050/task/19066/stat : 19066 (java) S 19048 19050 18835 0 -1 4202560 7448 0 0 0 98 0 0 0 15 0 22 0 510250906 16071634944 86341 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19067] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19067/stat : 19067 (java) S 19048 19050 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510250906 16071634944 86341 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19068] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19068/stat : 19068 (java) S 19048 19050 18835 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 510250906 16071634944 86341 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273433088 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19069] ppid=19048 vsize=15694956 CPUtime=108.14 cores=0,2,4,6
/proc/19050/task/19069/stat : 19069 (java) R 19048 19050 18835 0 -1 4202560 26547 0 0 0 10811 3 0 0 25 0 22 0 510250933 16071634944 86341 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505984235 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19050/tid=19070] ppid=19048 vsize=15694956 CPUtime=108.23 cores=0,2,4,6
/proc/19050/task/19070/stat : 19070 (java) R 19048 19050 18835 0 -1 4202560 25536 0 0 0 10820 3 0 0 25 0 22 0 510250933 16071634944 86341 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505789571 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19050/tid=19071] ppid=19048 vsize=15694956 CPUtime=108.29 cores=0,2,4,6
/proc/19050/task/19071/stat : 19071 (java) R 19048 19050 18835 0 -1 4202560 28166 0 0 0 10825 4 0 0 25 0 22 0 510250933 16071634944 86341 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505797543 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19050/tid=19072] ppid=19048 vsize=15694956 CPUtime=108.02 cores=0,2,4,6
/proc/19050/task/19072/stat : 19072 (java) R 19048 19050 18835 0 -1 4202560 29764 0 0 0 10796 6 0 0 25 0 22 0 510250933 16071634944 86341 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505797658 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 437.49
Current children cumulated vsize (KiB) 15694956

[startup+110.701 s]
/proc/loadavg: 7.96 7.95 7.97 9/220 19075
/proc/meminfo: memFree=28787764/32951124 swapFree=67111348/67111528
[pid=19050] ppid=19048 vsize=15694956 CPUtime=439.09 cores=0,2,4,6
/proc/19050/stat : 19050 (java) S 19048 19050 18835 0 -1 4202496 203531 0 1 0 43869 40 0 0 25 0 22 0 510250902 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19050/statm: 3923739 86217 2291 9 0 3914458 0
[pid=19050/tid=19051] ppid=19048 vsize=15694956 CPUtime=0.45 cores=0,2,4,6
/proc/19050/task/19051/stat : 19051 (java) S 19048 19050 18835 0 -1 4202560 10979 0 1 0 44 1 0 0 20 0 22 0 510250902 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19053] ppid=19048 vsize=15694956 CPUtime=0.28 cores=0,2,4,6
/proc/19050/task/19053/stat : 19053 (java) S 19048 19050 18835 0 -1 4202560 8634 0 0 0 27 1 0 0 16 0 22 0 510250902 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19054] ppid=19048 vsize=15694956 CPUtime=0.27 cores=0,2,4,6
/proc/19050/task/19054/stat : 19054 (java) S 19048 19050 18835 0 -1 4202560 7694 0 0 0 26 1 0 0 15 0 22 0 510250902 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19055] ppid=19048 vsize=15694956 CPUtime=0.31 cores=0,2,4,6
/proc/19050/task/19055/stat : 19055 (java) S 19048 19050 18835 0 -1 4202560 9004 0 0 0 30 1 0 0 15 0 22 0 510250902 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19056] ppid=19048 vsize=15694956 CPUtime=0.26 cores=0,2,4,6
/proc/19050/task/19056/stat : 19056 (java) S 19048 19050 18835 0 -1 4202560 7628 0 0 0 25 1 0 0 15 0 22 0 510250902 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19057] ppid=19048 vsize=15694956 CPUtime=0.27 cores=0,2,4,6
/proc/19050/task/19057/stat : 19057 (java) S 19048 19050 18835 0 -1 4202560 8888 0 0 0 25 2 0 0 16 0 22 0 510250902 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19058] ppid=19048 vsize=15694956 CPUtime=0.29 cores=0,2,4,6
/proc/19050/task/19058/stat : 19058 (java) S 19048 19050 18835 0 -1 4202560 8848 0 0 0 28 1 0 0 16 0 22 0 510250902 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19059] ppid=19048 vsize=15694956 CPUtime=0.28 cores=0,2,4,6
/proc/19050/task/19059/stat : 19059 (java) S 19048 19050 18835 0 -1 4202560 7962 0 0 0 26 2 0 0 15 0 22 0 510250902 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19060] ppid=19048 vsize=15694956 CPUtime=0.26 cores=0,2,4,6
/proc/19050/task/19060/stat : 19060 (java) S 19048 19050 18835 0 -1 4202560 7917 0 0 0 25 1 0 0 15 0 22 0 510250902 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19061] ppid=19048 vsize=15694956 CPUtime=0.17 cores=0,2,4,6
/proc/19050/task/19061/stat : 19061 (java) S 19048 19050 18835 0 -1 4202560 312 0 0 0 13 4 0 0 15 0 22 0 510250903 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273433088 0 0 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19062] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19062/stat : 19062 (java) S 19048 19050 18835 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 22 0 510250904 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19063] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19063/stat : 19063 (java) S 19048 19050 18835 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 510250904 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19064] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19064/stat : 19064 (java) S 19048 19050 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510250906 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273440177 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19065] ppid=19048 vsize=15694956 CPUtime=0.82 cores=0,2,4,6
/proc/19050/task/19065/stat : 19065 (java) S 19048 19050 18835 0 -1 4202560 6808 0 0 0 82 0 0 0 15 0 22 0 510250906 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19066] ppid=19048 vsize=15694956 CPUtime=0.98 cores=0,2,4,6
/proc/19050/task/19066/stat : 19066 (java) S 19048 19050 18835 0 -1 4202560 7448 0 0 0 98 0 0 0 15 0 22 0 510250906 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19067] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19067/stat : 19067 (java) S 19048 19050 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510250906 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19068] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19068/stat : 19068 (java) S 19048 19050 18835 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 510250906 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273433088 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19069] ppid=19048 vsize=15694956 CPUtime=108.54 cores=0,2,4,6
/proc/19050/task/19069/stat : 19069 (java) R 19048 19050 18835 0 -1 4202560 26548 0 0 0 10851 3 0 0 25 0 22 0 510250933 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505798446 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19050/tid=19070] ppid=19048 vsize=15694956 CPUtime=108.63 cores=0,2,4,6
/proc/19050/task/19070/stat : 19070 (java) R 19048 19050 18835 0 -1 4202560 25536 0 0 0 10860 3 0 0 25 0 22 0 510250933 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505797658 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19050/tid=19071] ppid=19048 vsize=15694956 CPUtime=108.69 cores=0,2,4,6
/proc/19050/task/19071/stat : 19071 (java) R 19048 19050 18835 0 -1 4202560 28167 0 0 0 10865 4 0 0 25 0 22 0 510250933 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505789403 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19050/tid=19072] ppid=19048 vsize=15694956 CPUtime=108.41 cores=0,2,4,6
/proc/19050/task/19072/stat : 19072 (java) R 19048 19050 18835 0 -1 4202560 29764 0 0 0 10835 6 0 0 25 0 22 0 510250933 16071634944 86217 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505989077 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 439.09
Current children cumulated vsize (KiB) 15694956

[startup+111.107 s]
/proc/loadavg: 7.96 7.95 7.97 9/220 19075
/proc/meminfo: memFree=28750564/32951124 swapFree=67111348/67111528
[pid=19050] ppid=19048 vsize=15694956 CPUtime=440.7 cores=0,2,4,6
/proc/19050/stat : 19050 (java) S 19048 19050 18835 0 -1 4202496 203690 0 1 0 44030 40 0 0 25 0 22 0 510250902 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19050/statm: 3923739 85915 2291 9 0 3914458 0
[pid=19050/tid=19051] ppid=19048 vsize=15694956 CPUtime=0.45 cores=0,2,4,6
/proc/19050/task/19051/stat : 19051 (java) S 19048 19050 18835 0 -1 4202560 10979 0 1 0 44 1 0 0 20 0 22 0 510250902 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19053] ppid=19048 vsize=15694956 CPUtime=0.28 cores=0,2,4,6
/proc/19050/task/19053/stat : 19053 (java) S 19048 19050 18835 0 -1 4202560 8646 0 0 0 27 1 0 0 15 0 22 0 510250902 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19054] ppid=19048 vsize=15694956 CPUtime=0.27 cores=0,2,4,6
/proc/19050/task/19054/stat : 19054 (java) S 19048 19050 18835 0 -1 4202560 7746 0 0 0 26 1 0 0 16 0 22 0 510250902 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19055] ppid=19048 vsize=15694956 CPUtime=0.31 cores=0,2,4,6
/proc/19050/task/19055/stat : 19055 (java) S 19048 19050 18835 0 -1 4202560 9005 0 0 0 30 1 0 0 15 0 22 0 510250902 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19056] ppid=19048 vsize=15694956 CPUtime=0.27 cores=0,2,4,6
/proc/19050/task/19056/stat : 19056 (java) S 19048 19050 18835 0 -1 4202560 7659 0 0 0 26 1 0 0 16 0 22 0 510250902 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19057] ppid=19048 vsize=15694956 CPUtime=0.27 cores=0,2,4,6
/proc/19050/task/19057/stat : 19057 (java) S 19048 19050 18835 0 -1 4202560 8890 0 0 0 25 2 0 0 15 0 22 0 510250902 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19058] ppid=19048 vsize=15694956 CPUtime=0.29 cores=0,2,4,6
/proc/19050/task/19058/stat : 19058 (java) S 19048 19050 18835 0 -1 4202560 8848 0 0 0 28 1 0 0 15 0 22 0 510250902 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19059] ppid=19048 vsize=15694956 CPUtime=0.28 cores=0,2,4,6
/proc/19050/task/19059/stat : 19059 (java) S 19048 19050 18835 0 -1 4202560 8020 0 0 0 26 2 0 0 16 0 22 0 510250902 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19060] ppid=19048 vsize=15694956 CPUtime=0.26 cores=0,2,4,6
/proc/19050/task/19060/stat : 19060 (java) S 19048 19050 18835 0 -1 4202560 7917 0 0 0 25 1 0 0 15 0 22 0 510250902 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19061] ppid=19048 vsize=15694956 CPUtime=0.17 cores=0,2,4,6
/proc/19050/task/19061/stat : 19061 (java) S 19048 19050 18835 0 -1 4202560 312 0 0 0 13 4 0 0 15 0 22 0 510250903 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273433088 0 0 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19062] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19062/stat : 19062 (java) S 19048 19050 18835 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 22 0 510250904 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19063] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19063/stat : 19063 (java) S 19048 19050 18835 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 510250904 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19064] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19064/stat : 19064 (java) S 19048 19050 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510250906 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273440177 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19065] ppid=19048 vsize=15694956 CPUtime=0.82 cores=0,2,4,6
/proc/19050/task/19065/stat : 19065 (java) S 19048 19050 18835 0 -1 4202560 6808 0 0 0 82 0 0 0 15 0 22 0 510250906 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19066] ppid=19048 vsize=15694956 CPUtime=0.98 cores=0,2,4,6
/proc/19050/task/19066/stat : 19066 (java) S 19048 19050 18835 0 -1 4202560 7448 0 0 0 98 0 0 0 15 0 22 0 510250906 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19067] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19067/stat : 19067 (java) S 19048 19050 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510250906 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19068] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19068/stat : 19068 (java) S 19048 19050 18835 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 510250906 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273433088 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19069] ppid=19048 vsize=15694956 CPUtime=108.94 cores=0,2,4,6
/proc/19050/task/19069/stat : 19069 (java) R 19048 19050 18835 0 -1 4202560 26548 0 0 0 10891 3 0 0 25 0 22 0 510250933 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46941764716810 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19050/tid=19070] ppid=19048 vsize=15694956 CPUtime=109.03 cores=0,2,4,6
/proc/19050/task/19070/stat : 19070 (java) R 19048 19050 18835 0 -1 4202560 25538 0 0 0 10900 3 0 0 25 0 22 0 510250933 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505797543 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19050/tid=19071] ppid=19048 vsize=15694956 CPUtime=109.08 cores=0,2,4,6
/proc/19050/task/19071/stat : 19071 (java) R 19048 19050 18835 0 -1 4202560 28168 0 0 0 10904 4 0 0 25 0 22 0 510250933 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505963647 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19050/tid=19072] ppid=19048 vsize=15694956 CPUtime=108.81 cores=0,2,4,6
/proc/19050/task/19072/stat : 19072 (java) R 19048 19050 18835 0 -1 4202560 29764 0 0 0 10875 6 0 0 25 0 22 0 510250933 16071634944 85915 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505798944 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 440.7
Current children cumulated vsize (KiB) 15694956

[startup+111.201 s]
/proc/loadavg: 7.96 7.95 7.97 9/220 19075
/proc/meminfo: memFree=28750564/32951124 swapFree=67111348/67111528
[pid=19050] ppid=19048 vsize=15694956 CPUtime=441.07 cores=0,2,4,6
/proc/19050/stat : 19050 (java) S 19048 19050 18835 0 -1 4202496 203712 0 1 0 44067 40 0 0 25 0 22 0 510250902 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19050/statm: 3923739 85935 2291 9 0 3914458 0
[pid=19050/tid=19051] ppid=19048 vsize=15694956 CPUtime=0.45 cores=0,2,4,6
/proc/19050/task/19051/stat : 19051 (java) S 19048 19050 18835 0 -1 4202560 10979 0 1 0 44 1 0 0 20 0 22 0 510250902 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19053] ppid=19048 vsize=15694956 CPUtime=0.28 cores=0,2,4,6
/proc/19050/task/19053/stat : 19053 (java) S 19048 19050 18835 0 -1 4202560 8646 0 0 0 27 1 0 0 15 0 22 0 510250902 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19054] ppid=19048 vsize=15694956 CPUtime=0.27 cores=0,2,4,6
/proc/19050/task/19054/stat : 19054 (java) S 19048 19050 18835 0 -1 4202560 7746 0 0 0 26 1 0 0 16 0 22 0 510250902 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19055] ppid=19048 vsize=15694956 CPUtime=0.31 cores=0,2,4,6
/proc/19050/task/19055/stat : 19055 (java) S 19048 19050 18835 0 -1 4202560 9005 0 0 0 30 1 0 0 15 0 22 0 510250902 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19056] ppid=19048 vsize=15694956 CPUtime=0.27 cores=0,2,4,6
/proc/19050/task/19056/stat : 19056 (java) S 19048 19050 18835 0 -1 4202560 7659 0 0 0 26 1 0 0 16 0 22 0 510250902 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19057] ppid=19048 vsize=15694956 CPUtime=0.27 cores=0,2,4,6
/proc/19050/task/19057/stat : 19057 (java) S 19048 19050 18835 0 -1 4202560 8890 0 0 0 25 2 0 0 15 0 22 0 510250902 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19058] ppid=19048 vsize=15694956 CPUtime=0.29 cores=0,2,4,6
/proc/19050/task/19058/stat : 19058 (java) S 19048 19050 18835 0 -1 4202560 8848 0 0 0 28 1 0 0 15 0 22 0 510250902 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19059] ppid=19048 vsize=15694956 CPUtime=0.28 cores=0,2,4,6
/proc/19050/task/19059/stat : 19059 (java) S 19048 19050 18835 0 -1 4202560 8020 0 0 0 26 2 0 0 16 0 22 0 510250902 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 0 0 0 0
[pid=19050/tid=19060] ppid=19048 vsize=15694956 CPUtime=0.26 cores=0,2,4,6
/proc/19050/task/19060/stat : 19060 (java) S 19048 19050 18835 0 -1 4202560 7917 0 0 0 25 1 0 0 15 0 22 0 510250902 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 2 0 0 0
[pid=19050/tid=19061] ppid=19048 vsize=15694956 CPUtime=0.17 cores=0,2,4,6
/proc/19050/task/19061/stat : 19061 (java) S 19048 19050 18835 0 -1 4202560 312 0 0 0 13 4 0 0 15 0 22 0 510250903 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273433088 0 0 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19062] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19062/stat : 19062 (java) S 19048 19050 18835 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 22 0 510250904 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 6 0 0 0
[pid=19050/tid=19063] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19063/stat : 19063 (java) S 19048 19050 18835 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 510250904 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19064] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19064/stat : 19064 (java) S 19048 19050 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510250906 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273440177 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19065] ppid=19048 vsize=15694956 CPUtime=0.89 cores=0,2,4,6
/proc/19050/task/19065/stat : 19065 (java) R 19048 19050 18835 0 -1 4202560 6817 0 0 0 89 0 0 0 16 0 22 0 510250906 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46941760216561 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19050/tid=19066] ppid=19048 vsize=15694956 CPUtime=1.05 cores=0,2,4,6
/proc/19050/task/19066/stat : 19066 (java) R 19048 19050 18835 0 -1 4202560 7459 0 0 0 105 0 0 0 15 0 22 0 510250906 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46941763591232 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19050/tid=19067] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19067/stat : 19067 (java) S 19048 19050 18835 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 510250906 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273432473 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19068] ppid=19048 vsize=15694956 CPUtime=0 cores=0,2,4,6
/proc/19050/task/19068/stat : 19068 (java) S 19048 19050 18835 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 510250906 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273433088 0 4 0 16800975 18446604453936515840 0 0 -1 4 0 0 0
[pid=19050/tid=19069] ppid=19048 vsize=15694956 CPUtime=108.96 cores=0,2,4,6
/proc/19050/task/19069/stat : 19069 (java) R 19048 19050 18835 0 -1 4202560 26550 0 0 0 10893 3 0 0 25 0 22 0 510250933 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912506071089 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=19050/tid=19070] ppid=19048 vsize=15694956 CPUtime=109.06 cores=0,2,4,6
/proc/19050/task/19070/stat : 19070 (java) R 19048 19050 18835 0 -1 4202560 25538 0 0 0 10903 3 0 0 25 0 22 0 510250933 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 254273442485 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19050/tid=19071] ppid=19048 vsize=15694956 CPUtime=109.18 cores=0,2,4,6
/proc/19050/task/19071/stat : 19071 (java) R 19048 19050 18835 0 -1 4202560 28168 0 0 0 10914 4 0 0 25 0 22 0 510250933 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505194104 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=19050/tid=19072] ppid=19048 vsize=15694956 CPUtime=108.91 cores=0,2,4,6
/proc/19050/task/19072/stat : 19072 (java) R 19048 19050 18835 0 -1 4202560 29764 0 0 0 10885 6 0 0 25 0 22 0 510250933 16071634944 85935 33554432000 1073741824 1073778376 140734251354192 18446744073709551615 46912505797313 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 441.07
Current children cumulated vsize (KiB) 15694956

Child status: 10
Real time (s): 111.243
CPU time (s): 441.143
CPU user time (s): 440.725
CPU system time (s): 0.417936
CPU usage (%): 396.557
Max. virtual memory (cumulated for all children) (KiB): 15696772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 440.725
system time used= 0.417936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203743
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= 29016
involuntary context switches= 15401

runsolver used 0.176973 second user time and 0.439933 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-30 17:45:56
IDJOB=3311651
IDBENCH=83036
IDSOLVER=1698
FILE ID=node140/3311651-1304178356
RUNJOBID= node140-1304178024-18853
PBS_JOBID= 13172443
Free space on /tmp= 73292 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311651-1304178356/watcher-3311651-1304178356 -o /tmp/evaluation-result-3311651-1304178356/solver-3311651-1304178356 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311651-1304178356.cnf -hbr 2

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

MD5SUM BENCH= fa5f68613be1e2c6017df353c3eb03ef
RANDOM SEED=1649962530

node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29124424 kB
Buffers:       1062144 kB
Cached:        1842700 kB
SwapCached:        180 kB
Active:         704348 kB
Inactive:      2626300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29124424 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            1596 kB
Writeback:           0 kB
AnonPages:      425184 kB
Mapped:          23236 kB
Slab:           432440 kB
PageTables:       6036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   656252 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73292 MiB
End job on node140 at 2011-04-30 17:47:47