Trace number 3456869

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j CuttingPlanes 2.3.0? (TO) 1800.24 1792.7

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_16.opb
MD5SUM6e5141f298d85d1f18641c02d22506a9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark217
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 222
Optimality of the best value was proved NO
Number of variables5570
Total number of constraints10896
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10895
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 9
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 375
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 1908
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.07/0.08	c version 2.3.1.v20110525
0.07/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.08	c java.vm.version	19.1-b02
0.07/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.08	c sun.arch.data.model	64
0.07/0.08	c java.version		1.6.0_24
0.07/0.08	c os.name		Linux
0.07/0.08	c os.version		2.6.18-164.el5
0.07/0.08	c os.arch		amd64
0.07/0.08	c Free memory 		9996466904
0.07/0.08	c Max memory 		10048897024
0.07/0.08	c Total memory 		10048897024
0.07/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@38540408
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3456869-1307222152.opb
0.11/0.10	c reading problem ... 
1.50/0.91	c ... done. Wall clock time 0.801s.
1.50/0.91	c #vars     5570
1.50/0.91	c #constraints  10897
1.50/0.91	c constraints type 
1.50/0.91	c org.sat4j.pb.constraints.pb.MaxWatchPb => 10895
37.27/35.36	c cleaning 0 clauses out of 5003 with flag 0/5003
88.11/85.84	c cleaning 0 clauses out of 11000 with flag 0/11000
195.16/192.62	c cleaning 0 clauses out of 18000 with flag 0/18000
401.77/398.70	c cleaning 0 clauses out of 26000 with flag 0/26000
653.44/649.64	c cleaning 0 clauses out of 35000 with flag 0/35000
1043.82/1038.83	c cleaning 0 clauses out of 45000 with flag 0/45000
1657.88/1650.97	c cleaning 0 clauses out of 56000 with flag 0/56000
1800.01/1792.52	c starts		: 76
1800.01/1792.52	c conflicts		: 58115
1800.01/1792.52	c decisions		: 81315
1800.01/1792.52	c propagations		: 13708498
1800.01/1792.52	c inspects		: 2218055659
1800.01/1792.52	c shortcuts		: 0
1800.01/1792.52	c learnt literals	: 0
1800.01/1792.52	c learnt binary clauses	: 0
1800.01/1792.52	c learnt ternary clauses	: 0
1800.01/1792.52	c learnt constraints	: 58114
1800.01/1792.52	c ignored constraints	: 0
1800.01/1792.52	c root simplifications	: 0
1800.01/1792.52	c removed literals (reason simplification)	: 0
1800.01/1792.52	c reason swapping (by a shorter reason)	: 0
1800.01/1792.52	c Calls to reduceDB	: 7
1800.01/1792.52	c number of reductions to clauses (during analyze)	: 0
1800.01/1792.52	c number of learned constraints concerned by reduction	: 0
1800.01/1792.52	c number of learning phase by resolution	: 0
1800.01/1792.52	c number of learning phase by cutting planes	: 0
1800.01/1792.52	c speed (assignments/second)	: 7651.462532749727
1800.01/1792.52	c non guided choices	5353
1800.01/1792.55	c learnt constraints type 
1800.01/1792.55	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 10036
1800.01/1792.55	c org.sat4j.pb.constraints.pb.MaxWatchPb => 48078
1800.01/1792.55	c constraints type 
1800.01/1792.55	c org.sat4j.pb.constraints.pb.MaxWatchPb => 10895
1800.01/1792.55	s UNKNOWN
1800.01/1792.55	c Total wall clock time (in seconds): 1792.445

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456869-1307222152/watcher-3456869-1307222152 -o /tmp/evaluation-result-3456869-1307222152/solver-3456869-1307222152 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456869-1307222152.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.06 2.05 2.01 2/516 5620
/proc/meminfo: memFree=22897808/32950928 swapFree=34421304/67111528
[pid=5620] ppid=5618 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/5620/stat : 5620 (java) S 5618 5620 4849 0 -1 4202496 2075 0 1 0 0 0 0 0 18 0 2 0 912445895 10681323520 1778 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/5620/statm: 2607745 1790 906 9 0 2598901 0
[pid=5620/tid=5621] ppid=5618 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5621/stat : 5621 (java) R 5618 5620 4849 0 -1 4202560 7361 0 1 0 0 0 0 0 19 0 2 0 912445895 10694979584 8177 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251367240763 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.083734 s]
/proc/loadavg: 2.06 2.05 2.01 2/516 5620
/proc/meminfo: memFree=22897808/32950928 swapFree=34421304/67111528
[pid=5620] ppid=5618 vsize=10539992 CPUtime=0.07 cores=0,2,4,6
/proc/5620/stat : 5620 (java) S 5618 5620 4849 0 -1 4202496 12680 0 1 0 6 1 0 0 18 0 18 0 912445895 10792951808 12375 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5620/statm: 2634998 12375 2018 9 0 2625732 0
[pid=5620/tid=5621] ppid=5618 vsize=10539992 CPUtime=0.07 cores=0,2,4,6
/proc/5620/task/5621/stat : 5621 (java) R 5618 5620 4849 0 -1 4202560 10939 0 1 0 6 1 0 0 18 0 18 0 912445895 10792951808 12376 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 47027473734483 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10539992

[startup+0.100661 s]
/proc/loadavg: 2.06 2.05 2.01 2/516 5620
/proc/meminfo: memFree=22897808/32950928 swapFree=34421304/67111528
[pid=5620] ppid=5618 vsize=10540316 CPUtime=0.11 cores=0,2,4,6
/proc/5620/stat : 5620 (java) S 5618 5620 4849 0 -1 4202496 13112 0 1 0 9 2 0 0 18 0 18 0 912445895 10793283584 12807 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5620/statm: 2635079 12808 2092 9 0 2625813 0
[pid=5620/tid=5621] ppid=5618 vsize=10540316 CPUtime=0.08 cores=0,2,4,6
/proc/5620/task/5621/stat : 5621 (java) R 5618 5620 4849 0 -1 4202560 11206 0 1 0 7 1 0 0 18 0 18 0 912445895 10793283584 12808 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379373515 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) 10540316

[startup+0.307605 s]
/proc/loadavg: 2.06 2.05 2.01 2/516 5620
/proc/meminfo: memFree=22897808/32950928 swapFree=34421304/67111528
[pid=5620] ppid=5618 vsize=10554876 CPUtime=0.62 cores=0,2,4,6
/proc/5620/stat : 5620 (java) S 5618 5620 4849 0 -1 4202496 22069 0 1 0 58 4 0 0 18 0 18 0 912445895 10808193024 20061 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5620/statm: 2638719 20062 2201 9 0 2629453 0
[pid=5620/tid=5621] ppid=5618 vsize=10554876 CPUtime=0.29 cores=0,2,4,6
/proc/5620/task/5621/stat : 5621 (java) R 5618 5620 4849 0 -1 4202560 13419 0 1 0 27 2 0 0 18 0 18 0 912445895 10808193024 20063 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 10554876

[startup+0.700536 s]
/proc/loadavg: 2.06 2.05 2.01 2/516 5620
/proc/meminfo: memFree=22897808/32950928 swapFree=34421304/67111528
[pid=5620] ppid=5618 vsize=10551632 CPUtime=1.23 cores=0,2,4,6
/proc/5620/stat : 5620 (java) S 5618 5620 4849 0 -1 4202496 53314 0 1 0 115 8 0 0 18 0 18 0 912445895 10804871168 50863 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5620/statm: 2637908 50867 2212 9 0 2628642 0
[pid=5620/tid=5621] ppid=5618 vsize=10551632 CPUtime=0.68 cores=0,2,4,6
/proc/5620/task/5621/stat : 5621 (java) R 5618 5620 4849 0 -1 4202560 44530 0 1 0 62 6 0 0 18 0 18 0 912445895 10804871168 50869 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 46912505546014 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 10551632

[startup+1.50139 s]
/proc/loadavg: 2.21 2.08 2.02 5/535 5639
/proc/meminfo: memFree=22618976/32950928 swapFree=34421304/67111528
[pid=5620] ppid=5618 vsize=10552660 CPUtime=2.55 cores=0,2,4,6
/proc/5620/stat : 5620 (java) S 5618 5620 4849 0 -1 4202496 97090 0 1 0 242 13 0 0 18 0 19 0 912445895 10805923840 93839 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5620/statm: 2638165 93841 2231 9 0 2628899 0
[pid=5620/tid=5621] ppid=5618 vsize=10552660 CPUtime=1.48 cores=0,2,4,6
/proc/5620/task/5621/stat : 5621 (java) R 5618 5620 4849 0 -1 4202560 87186 0 1 0 137 11 0 0 19 0 19 0 912445895 10805923840 93842 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 46912505606523 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5620/tid=5623] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5623/stat : 5623 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912445897 10805923840 93844 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5624] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5624/stat : 5624 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912445897 10805923840 93845 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5625] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5625/stat : 5625 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912445897 10805923840 93846 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5626] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5626/stat : 5626 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912445897 10805923840 93847 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5627] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5627/stat : 5627 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912445897 10805923840 93848 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5628] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5628/stat : 5628 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912445897 10805923840 93850 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5629] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5629/stat : 5629 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912445897 10805923840 93851 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5630] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5630/stat : 5630 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912445897 10805923840 93852 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5631] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5631/stat : 5631 (java) S 5618 5620 4849 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 912445898 10805923840 93853 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 0 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5632] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5632/stat : 5632 (java) S 5618 5620 4849 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 912445898 10805923840 93854 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5633] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5633/stat : 5633 (java) S 5618 5620 4849 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912445898 10805923840 93855 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5634] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5634/stat : 5634 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912445900 10805923840 93857 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379370417 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5635] ppid=5618 vsize=10552660 CPUtime=0.54 cores=0,2,4,6
/proc/5620/task/5635/stat : 5635 (java) S 5618 5620 4849 0 -1 4202560 4699 0 0 0 54 0 0 0 15 0 19 0 912445900 10805923840 93858 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 0 0 0 0
[pid=5620/tid=5636] ppid=5618 vsize=10552660 CPUtime=0.5 cores=0,2,4,6
/proc/5620/task/5636/stat : 5636 (java) S 5618 5620 4849 0 -1 4202560 4051 0 0 0 49 1 0 0 15 0 19 0 912445900 10805923840 93859 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5637] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5637/stat : 5637 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912445900 10805923840 93860 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5638] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5638/stat : 5638 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912445900 10805923840 93862 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5639] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5639/stat : 5639 (java) S 5618 5620 4849 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912445987 10805923840 93863 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 10552660

[startup+3.10109 s]
/proc/loadavg: 2.21 2.08 2.02 3/535 5639
/proc/meminfo: memFree=22404084/32950928 swapFree=34421304/67111528
[pid=5620] ppid=5618 vsize=10552660 CPUtime=4.44 cores=0,2,4,6
/proc/5620/stat : 5620 (java) S 5618 5620 4849 0 -1 4202496 188145 0 1 0 421 23 0 0 18 0 19 0 912445895 10805923840 184117 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5620/statm: 2638165 184119 2237 9 0 2628899 0
[pid=5620/tid=5621] ppid=5618 vsize=10552660 CPUtime=3.08 cores=0,2,4,6
/proc/5620/task/5621/stat : 5621 (java) R 5618 5620 4849 0 -1 4202560 176657 0 1 0 287 21 0 0 18 0 19 0 912445895 10805923840 184120 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 46912505566897 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5620/tid=5623] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5623/stat : 5623 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912445897 10805923840 184121 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5624] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5624/stat : 5624 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912445897 10805923840 184122 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5625] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5625/stat : 5625 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912445897 10805923840 184124 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5626] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5626/stat : 5626 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912445897 10805923840 184127 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5627] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5627/stat : 5627 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912445897 10805923840 184148 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5628] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5628/stat : 5628 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912445897 10805923840 184169 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5629] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5629/stat : 5629 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912445897 10805923840 184186 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5630] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5630/stat : 5630 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912445897 10805923840 184201 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5631] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5631/stat : 5631 (java) S 5618 5620 4849 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912445898 10805923840 184221 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 0 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5632] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5632/stat : 5632 (java) S 5618 5620 4849 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 912445898 10805923840 184223 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5633] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5633/stat : 5633 (java) S 5618 5620 4849 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912445898 10805923840 184224 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5634] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5634/stat : 5634 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912445900 10805923840 184226 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379370417 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5635] ppid=5618 vsize=10552660 CPUtime=0.72 cores=0,2,4,6
/proc/5620/task/5635/stat : 5635 (java) S 5618 5620 4849 0 -1 4202560 4744 0 0 0 72 0 0 0 15 0 19 0 912445900 10805923840 184228 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 0 0 0 0
[pid=5620/tid=5636] ppid=5618 vsize=10552660 CPUtime=0.61 cores=0,2,4,6
/proc/5620/task/5636/stat : 5636 (java) R 5618 5620 4849 0 -1 4202560 5675 0 0 0 60 1 0 0 16 0 19 0 912445900 10805923840 184229 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 47027472759730 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5620/tid=5637] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5637/stat : 5637 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912445900 10805923840 184230 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5638] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5638/stat : 5638 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912445900 10805923840 184240 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5639] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5639/stat : 5639 (java) S 5618 5620 4849 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912445987 10805923840 184259 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 10552660

[startup+6.3015 s]
/proc/loadavg: 2.19 2.08 2.02 3/535 5639
/proc/meminfo: memFree=21577892/32950928 swapFree=34421304/67111528
[pid=5620] ppid=5618 vsize=10552660 CPUtime=7.93 cores=0,2,4,6
/proc/5620/stat : 5620 (java) S 5618 5620 4849 0 -1 4202496 383103 0 1 0 750 43 0 0 18 0 19 0 912445895 10805923840 377130 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5620/statm: 2638165 377132 2238 9 0 2628899 0
[pid=5620/tid=5621] ppid=5618 vsize=10552660 CPUtime=6.28 cores=0,2,4,6
/proc/5620/task/5621/stat : 5621 (java) R 5618 5620 4849 0 -1 4202560 370363 0 1 0 588 40 0 0 21 0 19 0 912445895 10805923840 377132 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 46912505879926 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5620/tid=5623] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5623/stat : 5623 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 912445897 10805923840 377133 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5624] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5624/stat : 5624 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912445897 10805923840 377134 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5625] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5625/stat : 5625 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912445897 10805923840 377134 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5626] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5626/stat : 5626 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912445897 10805923840 377136 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5627] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5627/stat : 5627 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912445897 10805923840 377138 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5628] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5628/stat : 5628 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 912445897 10805923840 377139 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5629] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5629/stat : 5629 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912445897 10805923840 377140 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5630] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5630/stat : 5630 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 912445897 10805923840 377142 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5631] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5631/stat : 5631 (java) S 5618 5620 4849 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912445898 10805923840 377143 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 0 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5632] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5632/stat : 5632 (java) S 5618 5620 4849 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 912445898 10805923840 377144 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5633] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5633/stat : 5633 (java) S 5618 5620 4849 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912445898 10805923840 377145 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5634] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5634/stat : 5634 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912445900 10805923840 377146 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379370417 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5635] ppid=5618 vsize=10552660 CPUtime=0.93 cores=0,2,4,6
/proc/5620/task/5635/stat : 5635 (java) S 5618 5620 4849 0 -1 4202560 5472 0 0 0 93 0 0 0 15 0 19 0 912445900 10805923840 377147 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 0 0 0 0
[pid=5620/tid=5636] ppid=5618 vsize=10552660 CPUtime=0.69 cores=0,2,4,6
/proc/5620/task/5636/stat : 5636 (java) S 5618 5620 4849 0 -1 4202560 6109 0 0 0 68 1 0 0 15 0 19 0 912445900 10805923840 377149 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0

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

[pid=5620/tid=5639] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5639/stat : 5639 (java) S 5618 5620 4849 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912445987 10805923840 924853 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1669.35
Current children cumulated vsize (KiB) 10552660

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/535 5736
/proc/meminfo: memFree=19124696/32950928 swapFree=34421304/67111528
[pid=5620] ppid=5618 vsize=10552660 CPUtime=1729.52 cores=0,2,4,6
/proc/5620/stat : 5620 (java) S 5618 5620 4849 0 -1 4202496 932074 0 1 0 172847 105 0 0 18 0 19 0 912445895 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5620/statm: 2638165 925239 2267 9 0 2628899 0
[pid=5620/tid=5621] ppid=5618 vsize=10552660 CPUtime=1717.85 cores=0,2,4,6
/proc/5620/task/5621/stat : 5621 (java) R 5618 5620 4849 0 -1 4202560 818308 0 1 0 171698 87 0 0 25 0 19 0 912445895 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 46912505920822 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5620/tid=5623] ppid=5618 vsize=10552660 CPUtime=0.92 cores=0,2,4,6
/proc/5620/task/5623/stat : 5623 (java) S 5618 5620 4849 0 -1 4202560 10645 0 0 0 92 0 0 0 16 0 19 0 912445897 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5624] ppid=5618 vsize=10552660 CPUtime=0.96 cores=0,2,4,6
/proc/5620/task/5624/stat : 5624 (java) S 5618 5620 4849 0 -1 4202560 7769 0 0 0 95 1 0 0 15 0 19 0 912445897 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5625] ppid=5618 vsize=10552660 CPUtime=0.93 cores=0,2,4,6
/proc/5620/task/5625/stat : 5625 (java) S 5618 5620 4849 0 -1 4202560 9054 0 0 0 92 1 0 0 15 0 19 0 912445897 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5626] ppid=5618 vsize=10552660 CPUtime=0.91 cores=0,2,4,6
/proc/5620/task/5626/stat : 5626 (java) S 5618 5620 4849 0 -1 4202560 7705 0 0 0 90 1 0 0 16 0 19 0 912445897 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 0 0 0 0
[pid=5620/tid=5627] ppid=5618 vsize=10552660 CPUtime=0.91 cores=0,2,4,6
/proc/5620/task/5627/stat : 5627 (java) S 5618 5620 4849 0 -1 4202560 10976 0 0 0 90 1 0 0 15 0 19 0 912445897 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5628] ppid=5618 vsize=10552660 CPUtime=1.19 cores=0,2,4,6
/proc/5620/task/5628/stat : 5628 (java) S 5618 5620 4849 0 -1 4202560 14140 0 0 0 118 1 0 0 16 0 19 0 912445897 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 0 0 0 0
[pid=5620/tid=5629] ppid=5618 vsize=10552660 CPUtime=1.09 cores=0,2,4,6
/proc/5620/task/5629/stat : 5629 (java) S 5618 5620 4849 0 -1 4202560 10551 0 0 0 107 2 0 0 16 0 19 0 912445897 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5630] ppid=5618 vsize=10552660 CPUtime=0.94 cores=0,2,4,6
/proc/5620/task/5630/stat : 5630 (java) S 5618 5620 4849 0 -1 4202560 12637 0 0 0 93 1 0 0 15 0 19 0 912445897 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5631] ppid=5618 vsize=10552660 CPUtime=1.84 cores=0,2,4,6
/proc/5620/task/5631/stat : 5631 (java) S 5618 5620 4849 0 -1 4202560 17418 0 0 0 182 2 0 0 15 0 19 0 912445898 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 0 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5632] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5632/stat : 5632 (java) S 5618 5620 4849 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912445898 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5633] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5633/stat : 5633 (java) S 5618 5620 4849 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912445898 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5634] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5634/stat : 5634 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912445900 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379370417 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5635] ppid=5618 vsize=10552660 CPUtime=0.98 cores=0,2,4,6
/proc/5620/task/5635/stat : 5635 (java) S 5618 5620 4849 0 -1 4202560 5475 0 0 0 98 0 0 0 15 0 19 0 912445900 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 0 0 0 0
[pid=5620/tid=5636] ppid=5618 vsize=10552660 CPUtime=0.87 cores=0,2,4,6
/proc/5620/task/5636/stat : 5636 (java) S 5618 5620 4849 0 -1 4202560 6146 0 0 0 86 1 0 0 15 0 19 0 912445900 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5637] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5637/stat : 5637 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912445900 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5638] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5638/stat : 5638 (java) S 5618 5620 4849 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 912445900 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5639] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5639/stat : 5639 (java) S 5618 5620 4849 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912445987 10805923840 925239 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1729.52
Current children cumulated vsize (KiB) 10552660

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/535 5738
/proc/meminfo: memFree=19120776/32950928 swapFree=34421304/67111528
[pid=5620] ppid=5618 vsize=10552660 CPUtime=1789.74 cores=0,2,4,6
/proc/5620/stat : 5620 (java) S 5618 5620 4849 0 -1 4202496 933010 0 1 0 178869 105 0 0 18 0 19 0 912445895 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5620/statm: 2638165 926161 2267 9 0 2628899 0
[pid=5620/tid=5621] ppid=5618 vsize=10552660 CPUtime=1777.75 cores=0,2,4,6
/proc/5620/task/5621/stat : 5621 (java) R 5618 5620 4849 0 -1 4202560 818312 0 1 0 177688 87 0 0 25 0 19 0 912445895 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 46912505606419 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5620/tid=5623] ppid=5618 vsize=10552660 CPUtime=0.92 cores=0,2,4,6
/proc/5620/task/5623/stat : 5623 (java) S 5618 5620 4849 0 -1 4202560 10646 0 0 0 92 0 0 0 15 0 19 0 912445897 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5624] ppid=5618 vsize=10552660 CPUtime=0.98 cores=0,2,4,6
/proc/5620/task/5624/stat : 5624 (java) S 5618 5620 4849 0 -1 4202560 7835 0 0 0 97 1 0 0 15 0 19 0 912445897 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5625] ppid=5618 vsize=10552660 CPUtime=0.98 cores=0,2,4,6
/proc/5620/task/5625/stat : 5625 (java) S 5618 5620 4849 0 -1 4202560 9179 0 0 0 97 1 0 0 16 0 19 0 912445897 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5626] ppid=5618 vsize=10552660 CPUtime=0.96 cores=0,2,4,6
/proc/5620/task/5626/stat : 5626 (java) S 5618 5620 4849 0 -1 4202560 7832 0 0 0 95 1 0 0 16 0 19 0 912445897 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 0 0 0 0
[pid=5620/tid=5627] ppid=5618 vsize=10552660 CPUtime=0.96 cores=0,2,4,6
/proc/5620/task/5627/stat : 5627 (java) S 5618 5620 4849 0 -1 4202560 11102 0 0 0 95 1 0 0 16 0 19 0 912445897 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5628] ppid=5618 vsize=10552660 CPUtime=1.25 cores=0,2,4,6
/proc/5620/task/5628/stat : 5628 (java) S 5618 5620 4849 0 -1 4202560 14410 0 0 0 124 1 0 0 15 0 19 0 912445897 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 0 0 0 0
[pid=5620/tid=5629] ppid=5618 vsize=10552660 CPUtime=1.14 cores=0,2,4,6
/proc/5620/task/5629/stat : 5629 (java) S 5618 5620 4849 0 -1 4202560 10678 0 0 0 112 2 0 0 15 0 19 0 912445897 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5630] ppid=5618 vsize=10552660 CPUtime=0.99 cores=0,2,4,6
/proc/5620/task/5630/stat : 5630 (java) S 5618 5620 4849 0 -1 4202560 12721 0 0 0 98 1 0 0 16 0 19 0 912445897 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5631] ppid=5618 vsize=10552660 CPUtime=1.84 cores=0,2,4,6
/proc/5620/task/5631/stat : 5631 (java) S 5618 5620 4849 0 -1 4202560 17420 0 0 0 182 2 0 0 15 0 19 0 912445898 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 0 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5632] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5632/stat : 5632 (java) S 5618 5620 4849 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912445898 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5633] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5633/stat : 5633 (java) S 5618 5620 4849 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912445898 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5634] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5634/stat : 5634 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912445900 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379370417 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5635] ppid=5618 vsize=10552660 CPUtime=0.98 cores=0,2,4,6
/proc/5620/task/5635/stat : 5635 (java) S 5618 5620 4849 0 -1 4202560 5475 0 0 0 98 0 0 0 15 0 19 0 912445900 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 0 0 0 0
[pid=5620/tid=5636] ppid=5618 vsize=10552660 CPUtime=0.87 cores=0,2,4,6
/proc/5620/task/5636/stat : 5636 (java) S 5618 5620 4849 0 -1 4202560 6146 0 0 0 86 1 0 0 15 0 19 0 912445900 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5637] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5637/stat : 5637 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912445900 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5638] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5638/stat : 5638 (java) S 5618 5620 4849 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912445900 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5639] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5639/stat : 5639 (java) S 5618 5620 4849 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912445987 10805923840 926161 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1789.74
Current children cumulated vsize (KiB) 10552660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/535 5738
/proc/meminfo: memFree=19119900/32950928 swapFree=34421304/67111528
[pid=5620] ppid=5618 vsize=10552660 CPUtime=1800.01 cores=0,2,4,6
/proc/5620/stat : 5620 (java) S 5618 5620 4849 0 -1 4202496 933261 0 1 0 179896 105 0 0 18 0 19 0 912445895 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5620/statm: 2638165 926409 2267 9 0 2628899 0
[pid=5620/tid=5621] ppid=5618 vsize=10552660 CPUtime=1787.95 cores=0,2,4,6
/proc/5620/task/5621/stat : 5621 (java) R 5618 5620 4849 0 -1 4202560 818313 0 1 0 178708 87 0 0 25 0 19 0 912445895 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 46912505915432 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5620/tid=5623] ppid=5618 vsize=10552660 CPUtime=0.94 cores=0,2,4,6
/proc/5620/task/5623/stat : 5623 (java) S 5618 5620 4849 0 -1 4202560 10683 0 0 0 94 0 0 0 16 0 19 0 912445897 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5624] ppid=5618 vsize=10552660 CPUtime=1 cores=0,2,4,6
/proc/5620/task/5624/stat : 5624 (java) S 5618 5620 4849 0 -1 4202560 7883 0 0 0 99 1 0 0 16 0 19 0 912445897 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5625] ppid=5618 vsize=10552660 CPUtime=0.98 cores=0,2,4,6
/proc/5620/task/5625/stat : 5625 (java) S 5618 5620 4849 0 -1 4202560 9180 0 0 0 97 1 0 0 15 0 19 0 912445897 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5626] ppid=5618 vsize=10552660 CPUtime=0.96 cores=0,2,4,6
/proc/5620/task/5626/stat : 5626 (java) S 5618 5620 4849 0 -1 4202560 7832 0 0 0 95 1 0 0 15 0 19 0 912445897 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 0 0 0 0
[pid=5620/tid=5627] ppid=5618 vsize=10552660 CPUtime=0.97 cores=0,2,4,6
/proc/5620/task/5627/stat : 5627 (java) S 5618 5620 4849 0 -1 4202560 11206 0 0 0 96 1 0 0 16 0 19 0 912445897 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5628] ppid=5618 vsize=10552660 CPUtime=1.26 cores=0,2,4,6
/proc/5620/task/5628/stat : 5628 (java) S 5618 5620 4849 0 -1 4202560 14464 0 0 0 125 1 0 0 16 0 19 0 912445897 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 0 0 0 0
[pid=5620/tid=5629] ppid=5618 vsize=10552660 CPUtime=1.14 cores=0,2,4,6
/proc/5620/task/5629/stat : 5629 (java) S 5618 5620 4849 0 -1 4202560 10682 0 0 0 112 2 0 0 15 0 19 0 912445897 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
[pid=5620/tid=5630] ppid=5618 vsize=10552660 CPUtime=0.99 cores=0,2,4,6
/proc/5620/task/5630/stat : 5630 (java) S 5618 5620 4849 0 -1 4202560 12721 0 0 0 98 1 0 0 15 0 19 0 912445897 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5631] ppid=5618 vsize=10552660 CPUtime=1.84 cores=0,2,4,6
/proc/5620/task/5631/stat : 5631 (java) S 5618 5620 4849 0 -1 4202560 17422 0 0 0 182 2 0 0 15 0 19 0 912445898 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 0 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5632] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5632/stat : 5632 (java) S 5618 5620 4849 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 912445898 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5633] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5633/stat : 5633 (java) S 5618 5620 4849 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 912445898 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5634] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5634/stat : 5634 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912445900 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379370417 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5635] ppid=5618 vsize=10552660 CPUtime=0.98 cores=0,2,4,6
/proc/5620/task/5635/stat : 5635 (java) S 5618 5620 4849 0 -1 4202560 5475 0 0 0 98 0 0 0 15 0 19 0 912445900 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 0 0 0 0
[pid=5620/tid=5636] ppid=5618 vsize=10552660 CPUtime=0.87 cores=0,2,4,6
/proc/5620/task/5636/stat : 5636 (java) S 5618 5620 4849 0 -1 4202560 6146 0 0 0 86 1 0 0 15 0 19 0 912445900 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5637] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5637/stat : 5637 (java) S 5618 5620 4849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912445900 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379362713 0 4 0 16800975 18446604447801023296 0 0 -1 4 0 0 0
[pid=5620/tid=5638] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5638/stat : 5638 (java) S 5618 5620 4849 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 912445900 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 4 0 16800975 18446604447801023296 0 0 -1 2 0 0 0
[pid=5620/tid=5639] ppid=5618 vsize=10552660 CPUtime=0 cores=0,2,4,6
/proc/5620/task/5639/stat : 5639 (java) S 5618 5620 4849 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912445987 10805923840 926409 33554432000 1073741824 1073778376 140737403451120 18446744073709551615 251379363328 0 4 0 16800975 18446604447801023296 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 10552660

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

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

[startup+1792.62 s]
/proc/loadavg: 2.01 2.03 2.00 3/535 5738
/proc/meminfo: memFree=19119900/32950928 swapFree=34421304/67111528
[pid=5620] ppid=5618 vsize=0 CPUtime=1800.16 cores=0,2,4,6
/proc/5620/stat : 5620 (java) Z 5618 5620 4849 0 -1 4203548 933293 0 1 0 179905 111 0 0 17 0 2 0 912445895 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5620/statm: 0 0 0 0 0 0 0
[pid=5620/tid=5621] ppid=5618 vsize=0 CPUtime=1788.04 cores=0,2,4,6
/proc/5620/task/5621/stat : 5621 (java) R 5618 5620 4849 0 -1 4203588 818313 0 1 0 178711 93 0 0 25 0 2 0 912445895 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

[startup+1792.7 s]
/proc/loadavg: 2.01 2.03 2.00 3/535 5738
/proc/meminfo: memFree=19119900/32950928 swapFree=34421304/67111528
[pid=5620] ppid=5618 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/5620/stat : 5620 (java) Z 5618 5620 4849 0 -1 4203548 933293 0 1 0 179905 119 0 0 17 0 2 0 912445895 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/5620/statm: 0 0 0 0 0 0 0
[pid=5620/tid=5621] ppid=5618 vsize=0 CPUtime=1788.12 cores=0,2,4,6
/proc/5620/task/5621/stat : 5621 (java) R 5618 5620 4849 0 -1 4203588 818313 0 1 0 178711 101 0 0 25 0 2 0 912445895 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1792.7
CPU time (s): 1800.24
CPU user time (s): 1799.05
CPU system time (s): 1.19282
CPU usage (%): 100.421
Max. virtual memory (cumulated for all children) (KiB): 10555624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.19282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 933293
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= 40383
involuntary context switches= 25204

runsolver used 9.67153 second user time and 19.732 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-04 23:15:52
IDJOB=3456869
IDBENCH=2937
IDSOLVER=1951
FILE ID=node113/3456869-1307222152
RUNJOBID= node113-1307215870-4867
PBS_JOBID= 13509106
Free space on /tmp= 73792 MiB

SOLVER NAME= Sat4j CuttingPlanes 2.3.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_16.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3456869-1307222152/watcher-3456869-1307222152 -o /tmp/evaluation-result-3456869-1307222152/solver-3456869-1307222152 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456869-1307222152.opb

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

MD5SUM BENCH= 6e5141f298d85d1f18641c02d22506a9
RANDOM SEED=1995802860

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22897964 kB
Buffers:        294424 kB
Cached:         887100 kB
SwapCached:      13476 kB
Active:        8930576 kB
Inactive:       793464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22897964 kB
SwapTotal:    67111528 kB
SwapFree:     34421304 kB
Dirty:            3072 kB
Writeback:           0 kB
AnonPages:     8540652 kB
Mapped:          29268 kB
Slab:           137376 kB
PageTables:     123520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 165146112 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= 73780 MiB
End job on node113 at 2011-06-04 23:45:47