Trace number 3492338

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
Sat4j Resolution 2011-06-08OPTIMUM 28.4217 27.5455

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111219799--soft-66-100-0.wbo
MD5SUM37c9692c41d7d7588ca490820e101eb5
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.854869
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints29
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 1556
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 1555
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1258
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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.00/0.08	c version 2.3.1.v20110525
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@761a626f
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose learned constraints deletion strategy
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-3492338-1307909559.wbo
0.11/0.11	c reading problem ... 
0.11/0.16	c ... done. Wall clock time 0.054s.
0.11/0.16	c #vars     198
0.11/0.16	c #constraints  101
0.11/0.16	c constraints type 
0.11/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26
0.11/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 49
0.11/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4
0.11/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 22
0.53/0.38	c SATISFIABLE
0.53/0.38	c OPTIMIZING...
0.53/0.38	c Got one! Elapsed wall clock time (in seconds):0.27
0.53/0.38	o 367
0.67/0.46	c cleaning 2767 clauses out of 5539 with flag 2002/5539
0.92/0.65	c cleaning 4382 clauses out of 8770 with flag 8000/11537
1.14/0.82	c Got one! Elapsed wall clock time (in seconds):0.71
1.14/0.82	o 281
1.24/0.99	c cleaning 7413 clauses out of 14830 with flag 5001/21979
1.36/1.04	c Got one! Elapsed wall clock time (in seconds):0.936
1.36/1.04	o 228
1.49/1.15	c cleaning 6210 clauses out of 12428 with flag 4001/26990
1.71/1.33	c cleaning 6104 clauses out of 12218 with flag 10001/32990
1.91/1.51	c Got one! Elapsed wall clock time (in seconds):1.401
1.91/1.51	o 191
2.01/1.68	c cleaning 8516 clauses out of 17039 with flag 5002/43915
2.21/1.87	c cleaning 7254 clauses out of 14521 with flag 11000/49913
2.32/1.99	c Got one! Elapsed wall clock time (in seconds):1.886
2.32/1.99	o 162
2.42/2.03	c cleaning 6280 clauses out of 12566 with flag 1000/55212
2.62/2.21	c cleaning 6138 clauses out of 12286 with flag 7000/61212
2.71/2.38	c Got one! Elapsed wall clock time (in seconds):2.278
2.71/2.38	o 161
2.91/2.55	c cleaning 8562 clauses out of 17129 with flag 5003/72193
3.11/2.74	c cleaning 7276 clauses out of 14564 with flag 11000/78190
3.31/2.94	c cleaning 7143 clauses out of 14289 with flag 18001/85191
3.52/3.17	c cleaning 7570 clauses out of 15146 with flag 26001/93191
3.82/3.45	c cleaning 8281 clauses out of 16578 with flag 35003/102193
3.92/3.50	c Got one! Elapsed wall clock time (in seconds):3.399
3.92/3.50	o 160
4.02/3.63	c cleaning 6958 clauses out of 13921 with flag 4001/107817
4.22/3.81	c cleaning 6477 clauses out of 12962 with flag 10000/113816
4.42/4.06	c cleaning 6740 clauses out of 13485 with flag 17000/120816
4.73/4.32	c cleaning 7364 clauses out of 14745 with flag 25000/128816
5.03/4.60	c cleaning 8189 clauses out of 16382 with flag 34001/137817
5.23/4.85	c Got one! Elapsed wall clock time (in seconds):4.749
5.23/4.85	o 158
5.43/5.05	c cleaning 11179 clauses out of 22367 with flag 5001/151991
5.63/5.27	c cleaning 8589 clauses out of 17188 with flag 11001/157991
5.94/5.51	c cleaning 7795 clauses out of 15600 with flag 18002/164992
6.03/5.67	c Got one! Elapsed wall clock time (in seconds):5.559
6.03/5.67	o 136
6.23/5.86	c cleaning 8901 clauses out of 17807 with flag 5001/174994
6.43/6.05	c cleaning 7449 clauses out of 14906 with flag 11001/180994
6.63/6.27	c cleaning 7225 clauses out of 14457 with flag 18001/187994
6.94/6.52	c cleaning 7612 clauses out of 15231 with flag 26000/195993
7.23/6.82	c cleaning 8304 clauses out of 16619 with flag 35000/204993
7.53/7.13	c cleaning 9150 clauses out of 18315 with flag 45000/214993
7.73/7.34	c Got one! Elapsed wall clock time (in seconds):7.231
7.73/7.34	o 127
7.93/7.53	c cleaning 10575 clauses out of 21160 with flag 5001/226988
8.14/7.74	c cleaning 8289 clauses out of 16587 with flag 11003/232990
8.34/7.97	c cleaning 7641 clauses out of 15295 with flag 18000/239987
8.64/8.24	c cleaning 7821 clauses out of 15654 with flag 26000/247987
8.94/8.52	c cleaning 8412 clauses out of 16833 with flag 35000/256987
9.25/8.84	c cleaning 9209 clauses out of 18423 with flag 45002/266989
9.54/9.15	c cleaning 9600 clauses out of 19213 with flag 55001/276988
9.84/9.46	c cleaning 9801 clauses out of 19612 with flag 65000/286987
10.14/9.77	c cleaning 9905 clauses out of 19813 with flag 75002/296989
10.44/10.08	c cleaning 9949 clauses out of 19907 with flag 85001/306988
10.74/10.37	c Got one! Elapsed wall clock time (in seconds):10.267
10.74/10.37	o 118
10.94/10.57	c cleaning 12374 clauses out of 24756 with flag 5002/321786
11.15/10.78	c cleaning 9187 clauses out of 18380 with flag 11000/327784
11.45/11.01	c cleaning 8090 clauses out of 16193 with flag 18000/334784
11.66/11.28	c cleaning 8043 clauses out of 16103 with flag 26000/342784
11.96/11.56	c cleaning 8525 clauses out of 17060 with flag 35000/351784
12.36/11.93	c cleaning 9266 clauses out of 18535 with flag 45000/361784
12.66/12.25	c cleaning 9627 clauses out of 19269 with flag 55000/371784
12.96/12.57	c cleaning 9815 clauses out of 19642 with flag 65000/381784
13.37/12.92	c cleaning 9909 clauses out of 19828 with flag 75001/391785
13.67/13.28	c cleaning 9957 clauses out of 19921 with flag 85003/401787
14.07/13.60	c cleaning 9978 clauses out of 19965 with flag 95004/411788
14.37/13.91	c cleaning 9987 clauses out of 19984 with flag 105001/421785
14.47/14.05	c Got one! Elapsed wall clock time (in seconds):13.943
14.47/14.05	o 101
14.47/14.09	c cleaning 7741 clauses out of 15489 with flag 1002/427277
14.67/14.27	c cleaning 6871 clauses out of 13746 with flag 7000/433275
14.86/14.49	c cleaning 6929 clauses out of 13875 with flag 14000/440275
15.06/14.70	c Got one! Elapsed wall clock time (in seconds):14.591
15.06/14.70	o 83
15.26/14.89	c cleaning 9268 clauses out of 18544 with flag 5000/451873
15.46/15.08	c cleaning 7636 clauses out of 15277 with flag 11001/457874
15.79/15.32	c cleaning 7319 clauses out of 14642 with flag 18002/464875
15.79/15.38	c Got one! Elapsed wall clock time (in seconds):15.275
15.79/15.38	o 81
15.99/15.50	c cleaning 6502 clauses out of 13009 with flag 4001/470561
16.08/15.69	c cleaning 6249 clauses out of 12506 with flag 10000/476560
16.39/15.91	c cleaning 6623 clauses out of 13258 with flag 17001/483561
16.59/16.15	c cleaning 7312 clauses out of 14634 with flag 25000/491560
16.89/16.41	c cleaning 8158 clauses out of 16322 with flag 34000/500560
17.20/16.72	c cleaning 9075 clauses out of 18164 with flag 44000/510560
17.50/17.04	c cleaning 9540 clauses out of 19090 with flag 54001/520561
17.80/17.37	c cleaning 9770 clauses out of 19549 with flag 64000/530560
18.20/17.72	c cleaning 9884 clauses out of 19780 with flag 74001/540561
18.50/18.04	c cleaning 9943 clauses out of 19896 with flag 84001/550561
18.80/18.38	c cleaning 9973 clauses out of 19953 with flag 94001/560561
19.00/18.52	c Got one! Elapsed wall clock time (in seconds):18.416
19.00/18.52	o 80
19.00/18.56	c cleaning 7899 clauses out of 15804 with flag 1000/566385
19.21/18.75	c cleaning 6950 clauses out of 13906 with flag 7001/572386
19.40/18.98	c cleaning 6975 clauses out of 13956 with flag 14001/579386
19.70/19.24	c cleaning 7485 clauses out of 14982 with flag 22002/587387
20.00/19.53	c cleaning 8244 clauses out of 16495 with flag 31000/596385
20.31/19.84	c cleaning 9124 clauses out of 18253 with flag 41002/606387
20.70/20.22	c cleaning 9559 clauses out of 19127 with flag 51000/616385
21.00/20.56	c cleaning 9778 clauses out of 19568 with flag 61000/626385
21.41/20.91	c cleaning 9892 clauses out of 19791 with flag 71001/636386
21.70/21.28	c cleaning 9946 clauses out of 19898 with flag 81000/646385
22.11/21.60	c cleaning 9968 clauses out of 19952 with flag 91000/656385
22.41/21.92	c cleaning 9985 clauses out of 19984 with flag 101000/666385
22.71/22.25	c cleaning 9996 clauses out of 20000 with flag 111001/676386
23.01/22.58	c cleaning 9997 clauses out of 20003 with flag 121000/686385
23.41/22.90	c cleaning 9995 clauses out of 20006 with flag 131000/696385
23.71/23.22	c cleaning 9999 clauses out of 20011 with flag 141000/706385
23.91/23.42	c Got one! Elapsed wall clock time (in seconds):23.315
23.91/23.42	o 65
24.01/23.59	c cleaning 10744 clauses out of 21497 with flag 5000/717870
24.31/23.80	c cleaning 8372 clauses out of 16754 with flag 11001/723871
24.51/24.01	c cleaning 7689 clauses out of 15383 with flag 18002/730872
24.72/24.26	c cleaning 7843 clauses out of 15692 with flag 26000/738870
25.01/24.54	c cleaning 8418 clauses out of 16849 with flag 35000/747870
25.21/24.70	c Got one! Elapsed wall clock time (in seconds):24.597
25.21/24.70	o 17
25.31/24.87	c cleaning 9391 clauses out of 18790 with flag 5001/758229
25.51/25.06	c cleaning 7696 clauses out of 15399 with flag 11001/764229
25.72/25.27	c cleaning 7348 clauses out of 14705 with flag 18003/771231
26.02/25.50	c cleaning 7672 clauses out of 15354 with flag 26000/779228
26.32/25.80	c cleaning 8334 clauses out of 16682 with flag 35000/788228
26.32/25.84	c Got one! Elapsed wall clock time (in seconds):25.736
26.32/25.84	o 1
26.42/25.96	c cleaning 6771 clauses out of 13553 with flag 4001/793433
26.62/26.15	c cleaning 6387 clauses out of 12782 with flag 10001/799433
26.82/26.35	c cleaning 6694 clauses out of 13396 with flag 17002/806434
27.02/26.58	c cleaning 7345 clauses out of 14700 with flag 25000/814432
27.32/26.85	c cleaning 8176 clauses out of 16355 with flag 34000/823432
27.76/27.22	c cleaning 9085 clauses out of 18179 with flag 44000/833432
28.36/27.53	c starts		: 188
28.36/27.53	c conflicts		: 842091
28.36/27.53	c decisions		: 1328378
28.36/27.53	c propagations		: 19475680
28.36/27.53	c inspects		: 164668641
28.36/27.53	c shortcuts		: 0
28.36/27.53	c learnt literals	: 6
28.36/27.53	c learnt binary clauses	: 14
28.36/27.54	c learnt ternary clauses	: 313
28.36/27.54	c learnt constraints	: 842084
28.36/27.54	c ignored constraints	: 0
28.36/27.54	c root simplifications	: 0
28.36/27.54	c removed literals (reason simplification)	: 6007312
28.36/27.54	c reason swapping (by a shorter reason)	: 0
28.36/27.54	c Calls to reduceDB	: 99
28.36/27.54	c number of reductions to clauses (during analyze)	: 0
28.36/27.54	c number of learned constraints concerned by reduction	: 0
28.36/27.54	c number of learning phase by resolution	: 0
28.36/27.54	c number of learning phase by cutting planes	: 0
28.36/27.54	c speed (assignments/second)	: 1.1496859504132232E7
28.36/27.54	c non guided choices	847
28.36/27.54	c learnt constraints type 
28.36/27.54	c constraints type 
28.36/27.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 26
28.36/27.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 49
28.36/27.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 4
28.36/27.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 22
28.36/27.54	s OPTIMUM FOUND
28.36/27.54	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 
28.36/27.54	c objective function=1
28.36/27.54	c Total wall clock time (in seconds): 27.43

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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 /var/tmp/evaluation-result-3492338-1307909559/watcher-3492338-1307909559 -o /var/tmp/evaluation-result-3492338-1307909559/solver-3492338-1307909559 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492338-1307909559.wbo 

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

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.05 1.92 1.70 3/195 4966
/proc/meminfo: memFree=1033256/32951124 swapFree=67055716/67111528
[pid=4966] ppid=4964 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/4966/stat : 4966 (java) R 4964 4966 2916 0 -1 4202496 950 0 0 0 0 0 0 0 25 0 1 0 635147163 23580672 693 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268655699432 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4966/statm: 5757 693 509 9 0 124 0

[startup+0.018791 s]
/proc/loadavg: 2.05 1.92 1.70 3/195 4966
/proc/meminfo: memFree=1033256/32951124 swapFree=67055716/67111528
[pid=4966] ppid=4964 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/4966/stat : 4966 (java) S 4964 4966 2916 0 -1 4202496 7285 0 1 0 0 0 0 0 25 0 2 0 635147163 10694979584 6986 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/4966/statm: 2611079 7008 917 9 0 2602235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316

[startup+0.10074 s]
/proc/loadavg: 2.05 1.92 1.70 3/195 4966
/proc/meminfo: memFree=1033256/32951124 swapFree=67055716/67111528
[pid=4966] ppid=4964 vsize=10539496 CPUtime=0.11 cores=1,3,5,7
/proc/4966/stat : 4966 (java) S 4964 4966 2916 0 -1 4202496 13153 0 1 0 10 1 0 0 25 0 18 0 635147163 10792443904 12777 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4966/statm: 2634874 12777 2092 9 0 2625608 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539496

[startup+0.300705 s]
/proc/loadavg: 2.05 1.92 1.70 3/195 4966
/proc/meminfo: memFree=1033256/32951124 swapFree=67055716/67111528
[pid=4966] ppid=4964 vsize=10542968 CPUtime=0.53 cores=1,3,5,7
/proc/4966/stat : 4966 (java) S 4964 4966 2916 0 -1 4202496 16209 0 1 0 52 1 0 0 25 0 19 0 635147163 10795999232 14799 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4966/statm: 2635742 14799 2214 9 0 2626476 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10542968

[startup+0.700634 s]
/proc/loadavg: 2.05 1.92 1.70 3/195 4966
/proc/meminfo: memFree=1033256/32951124 swapFree=67055716/67111528
[pid=4966] ppid=4964 vsize=10542640 CPUtime=1.04 cores=1,3,5,7
/proc/4966/stat : 4966 (java) S 4964 4966 2916 0 -1 4202496 17333 0 1 0 102 2 0 0 25 0 19 0 635147163 10795663360 15734 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4966/statm: 2635660 15734 2246 9 0 2626394 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10542640

[startup+1.50149 s]
/proc/loadavg: 2.05 1.92 1.70 6/214 4985
/proc/meminfo: memFree=979312/32951124 swapFree=67055716/67111528
[pid=4966] ppid=4964 vsize=10542988 CPUtime=1.91 cores=1,3,5,7
/proc/4966/stat : 4966 (java) S 4964 4966 2916 0 -1 4202496 17923 0 1 0 189 2 0 0 25 0 19 0 635147163 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4966/statm: 2635747 16230 2248 9 0 2626481 0
[pid=4966/tid=4968] ppid=4964 vsize=10542988 CPUtime=1.41 cores=1,3,5,7
/proc/4966/task/4968/stat : 4968 (java) R 4964 4966 2916 0 -1 4202560 12014 0 1 0 140 1 0 0 20 0 19 0 635147164 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 46912505596035 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4966/tid=4969] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4969/stat : 4969 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635147165 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4970] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4970/stat : 4970 (java) S 4964 4966 2916 0 -1 4202560 167 0 0 0 0 0 0 0 15 0 19 0 635147165 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4971] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4971/stat : 4971 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635147165 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4972] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4972/stat : 4972 (java) S 4964 4966 2916 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 635147165 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4973] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4973/stat : 4973 (java) S 4964 4966 2916 0 -1 4202560 67 0 0 0 0 0 0 0 16 0 19 0 635147165 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4974] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4974/stat : 4974 (java) S 4964 4966 2916 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 19 0 635147165 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4975] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4975/stat : 4975 (java) S 4964 4966 2916 0 -1 4202560 205 0 0 0 0 0 0 0 16 0 19 0 635147165 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4976] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4976/stat : 4976 (java) S 4964 4966 2916 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 635147165 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4977] ppid=4964 vsize=10542988 CPUtime=0.05 cores=1,3,5,7
/proc/4966/task/4977/stat : 4977 (java) S 4964 4966 2916 0 -1 4202560 475 0 0 0 5 0 0 0 15 0 19 0 635147166 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 0 0 16800975 18446604455984871552 0 0 -1 1 0 0 0
[pid=4966/tid=4978] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4978/stat : 4978 (java) S 4964 4966 2916 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 635147167 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4979] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4979/stat : 4979 (java) S 4964 4966 2916 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 635147167 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4980] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4980/stat : 4980 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635147169 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672485809 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4981] ppid=4964 vsize=10542988 CPUtime=0.18 cores=1,3,5,7
/proc/4966/task/4981/stat : 4981 (java) S 4964 4966 2916 0 -1 4202560 1759 0 0 0 18 0 0 0 15 0 19 0 635147169 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4982] ppid=4964 vsize=10542988 CPUtime=0.21 cores=1,3,5,7
/proc/4966/task/4982/stat : 4982 (java) S 4964 4966 2916 0 -1 4202560 1836 0 0 0 21 0 0 0 15 0 19 0 635147169 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4983] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4983/stat : 4983 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635147169 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4984] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4984/stat : 4984 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635147169 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4985] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4985/stat : 4985 (java) S 4964 4966 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635147180 10796019712 16230 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 10542988

[startup+3.10124 s]
/proc/loadavg: 2.05 1.92 1.70 3/214 4985
/proc/meminfo: memFree=976336/32951124 swapFree=67055716/67111528
[pid=4966] ppid=4964 vsize=10542988 CPUtime=3.52 cores=1,3,5,7
/proc/4966/stat : 4966 (java) S 4964 4966 2916 0 -1 4202496 18132 0 1 0 350 2 0 0 25 0 19 0 635147163 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4966/statm: 2635747 16432 2248 9 0 2626481 0
[pid=4966/tid=4968] ppid=4964 vsize=10542988 CPUtime=2.92 cores=1,3,5,7
/proc/4966/task/4968/stat : 4968 (java) R 4964 4966 2916 0 -1 4202560 12021 0 1 0 291 1 0 0 23 0 19 0 635147164 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 46912505610604 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4966/tid=4969] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4969/stat : 4969 (java) S 4964 4966 2916 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 635147165 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4970] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4970/stat : 4970 (java) S 4964 4966 2916 0 -1 4202560 167 0 0 0 0 0 0 0 15 0 19 0 635147165 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4971] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4971/stat : 4971 (java) S 4964 4966 2916 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 635147165 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4972] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4972/stat : 4972 (java) S 4964 4966 2916 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 19 0 635147165 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4973] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4973/stat : 4973 (java) S 4964 4966 2916 0 -1 4202560 69 0 0 0 0 0 0 0 16 0 19 0 635147165 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4974] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4974/stat : 4974 (java) S 4964 4966 2916 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 635147165 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4975] ppid=4964 vsize=10542988 CPUtime=0.01 cores=1,3,5,7
/proc/4966/task/4975/stat : 4975 (java) S 4964 4966 2916 0 -1 4202560 206 0 0 0 1 0 0 0 16 0 19 0 635147165 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4976] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4976/stat : 4976 (java) S 4964 4966 2916 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 635147165 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4977] ppid=4964 vsize=10542988 CPUtime=0.14 cores=1,3,5,7
/proc/4966/task/4977/stat : 4977 (java) S 4964 4966 2916 0 -1 4202560 542 0 0 0 14 0 0 0 15 0 19 0 635147166 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 0 0 16800975 18446604455984871552 0 0 -1 1 0 0 0
[pid=4966/tid=4978] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4978/stat : 4978 (java) S 4964 4966 2916 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 635147167 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4979] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4979/stat : 4979 (java) S 4964 4966 2916 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 635147167 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4980] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4980/stat : 4980 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635147169 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672485809 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4981] ppid=4964 vsize=10542988 CPUtime=0.18 cores=1,3,5,7
/proc/4966/task/4981/stat : 4981 (java) S 4964 4966 2916 0 -1 4202560 1759 0 0 0 18 0 0 0 15 0 19 0 635147169 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4982] ppid=4964 vsize=10542988 CPUtime=0.21 cores=1,3,5,7
/proc/4966/task/4982/stat : 4982 (java) S 4964 4966 2916 0 -1 4202560 1836 0 0 0 21 0 0 0 15 0 19 0 635147169 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4983] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4983/stat : 4983 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635147169 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4984] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4984/stat : 4984 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635147169 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4985] ppid=4964 vsize=10542988 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4985/stat : 4985 (java) S 4964 4966 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635147180 10796019712 16432 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 10542988

[startup+6.30068 s]
/proc/loadavg: 2.05 1.92 1.71 3/214 4986
/proc/meminfo: memFree=975592/32951124 swapFree=67055716/67111528
[pid=4966] ppid=4964 vsize=10542384 CPUtime=6.73 cores=1,3,5,7
/proc/4966/stat : 4966 (java) S 4964 4966 2916 0 -1 4202496 18279 0 1 0 670 3 0 0 25 0 19 0 635147163 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4966/statm: 2635596 16430 2248 9 0 2626330 0
[pid=4966/tid=4968] ppid=4964 vsize=10542384 CPUtime=5.94 cores=1,3,5,7
/proc/4966/task/4968/stat : 4968 (java) R 4964 4966 2916 0 -1 4202560 12036 0 1 0 593 1 0 0 19 0 19 0 635147164 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 46912505535458 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4966/tid=4969] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4969/stat : 4969 (java) S 4964 4966 2916 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 635147165 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4970] ppid=4964 vsize=10542384 CPUtime=0.01 cores=1,3,5,7
/proc/4966/task/4970/stat : 4970 (java) S 4964 4966 2916 0 -1 4202560 167 0 0 0 1 0 0 0 16 0 19 0 635147165 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4971] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4971/stat : 4971 (java) S 4964 4966 2916 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 635147165 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4972] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4972/stat : 4972 (java) S 4964 4966 2916 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 635147165 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4973] ppid=4964 vsize=10542384 CPUtime=0.01 cores=1,3,5,7
/proc/4966/task/4973/stat : 4973 (java) S 4964 4966 2916 0 -1 4202560 69 0 0 0 1 0 0 0 15 0 19 0 635147165 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4974] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4974/stat : 4974 (java) S 4964 4966 2916 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 19 0 635147165 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4975] ppid=4964 vsize=10542384 CPUtime=0.01 cores=1,3,5,7
/proc/4966/task/4975/stat : 4975 (java) S 4964 4966 2916 0 -1 4202560 207 0 0 0 1 0 0 0 15 0 19 0 635147165 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4976] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4976/stat : 4976 (java) S 4964 4966 2916 0 -1 4202560 92 0 0 0 0 0 0 0 16 0 19 0 635147165 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4977] ppid=4964 vsize=10542384 CPUtime=0.29 cores=1,3,5,7
/proc/4966/task/4977/stat : 4977 (java) S 4964 4966 2916 0 -1 4202560 668 0 0 0 29 0 0 0 15 0 19 0 635147166 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 0 0 16800975 18446604455984871552 0 0 -1 1 0 0 0
[pid=4966/tid=4978] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4978/stat : 4978 (java) S 4964 4966 2916 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 635147167 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4979] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4979/stat : 4979 (java) S 4964 4966 2916 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 635147167 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4980] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4980/stat : 4980 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635147169 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672485809 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4981] ppid=4964 vsize=10542384 CPUtime=0.18 cores=1,3,5,7
/proc/4966/task/4981/stat : 4981 (java) S 4964 4966 2916 0 -1 4202560 1759 0 0 0 18 0 0 0 15 0 19 0 635147169 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4982] ppid=4964 vsize=10542384 CPUtime=0.21 cores=1,3,5,7
/proc/4966/task/4982/stat : 4982 (java) S 4964 4966 2916 0 -1 4202560 1836 0 0 0 21 0 0 0 15 0 19 0 635147169 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4983] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4983/stat : 4983 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635147169 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4984] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4984/stat : 4984 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635147169 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4985] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4985/stat : 4985 (java) S 4964 4966 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635147180 10795401216 16430 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 10542384

[startup+12.7016 s]

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

/proc/4966/task/4970/stat : 4970 (java) S 4964 4966 2916 0 -1 4202560 190 0 0 0 2 0 0 0 16 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 1 0 0 0
[pid=4966/tid=4971] ppid=4964 vsize=10542384 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4971/stat : 4971 (java) S 4964 4966 2916 0 -1 4202560 70 0 0 0 2 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4972] ppid=4964 vsize=10542384 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4972/stat : 4972 (java) S 4964 4966 2916 0 -1 4202560 180 0 0 0 2 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 1 0 0 0
[pid=4966/tid=4973] ppid=4964 vsize=10542384 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4973/stat : 4973 (java) S 4964 4966 2916 0 -1 4202560 97 0 0 0 2 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4974] ppid=4964 vsize=10542384 CPUtime=0.01 cores=1,3,5,7
/proc/4966/task/4974/stat : 4974 (java) S 4964 4966 2916 0 -1 4202560 73 0 0 0 1 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4975] ppid=4964 vsize=10542384 CPUtime=0.03 cores=1,3,5,7
/proc/4966/task/4975/stat : 4975 (java) S 4964 4966 2916 0 -1 4202560 210 0 0 0 3 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4976] ppid=4964 vsize=10542384 CPUtime=0.01 cores=1,3,5,7
/proc/4966/task/4976/stat : 4976 (java) S 4964 4966 2916 0 -1 4202560 175 0 0 0 1 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4977] ppid=4964 vsize=10542384 CPUtime=1.17 cores=1,3,5,7
/proc/4966/task/4977/stat : 4977 (java) S 4964 4966 2916 0 -1 4202560 888 0 0 0 115 2 0 0 16 0 19 0 635147166 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 0 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4978] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4978/stat : 4978 (java) S 4964 4966 2916 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 635147167 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4979] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4979/stat : 4979 (java) S 4964 4966 2916 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 635147167 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4980] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4980/stat : 4980 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635147169 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672485809 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4981] ppid=4964 vsize=10542384 CPUtime=0.18 cores=1,3,5,7
/proc/4966/task/4981/stat : 4981 (java) S 4964 4966 2916 0 -1 4202560 1759 0 0 0 18 0 0 0 15 0 19 0 635147169 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4982] ppid=4964 vsize=10542384 CPUtime=0.23 cores=1,3,5,7
/proc/4966/task/4982/stat : 4982 (java) S 4964 4966 2916 0 -1 4202560 2242 0 0 0 23 0 0 0 15 0 19 0 635147169 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4983] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4983/stat : 4983 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635147169 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4984] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4984/stat : 4984 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635147169 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4985] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4985/stat : 4985 (java) S 4964 4966 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635147180 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 26.02
Current children cumulated vsize (KiB) 10542384

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

[startup+26.3012 s]
/proc/loadavg: 2.03 1.93 1.71 3/214 4986
/proc/meminfo: memFree=973112/32951124 swapFree=67055716/67111528
[pid=4966] ppid=4964 vsize=10542384 CPUtime=26.82 cores=1,3,5,7
/proc/4966/stat : 4966 (java) S 4964 4966 2916 0 -1 4202496 19148 0 1 0 2677 5 0 0 25 0 19 0 635147163 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4966/statm: 2635596 16826 2249 9 0 2626330 0
[pid=4966/tid=4968] ppid=4964 vsize=10542384 CPUtime=24.95 cores=1,3,5,7
/proc/4966/task/4968/stat : 4968 (java) R 4964 4966 2916 0 -1 4202560 12106 0 1 0 2494 1 0 0 18 0 19 0 635147164 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 46912505549017 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4966/tid=4969] ppid=4964 vsize=10542384 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4969/stat : 4969 (java) S 4964 4966 2916 0 -1 4202560 7 0 0 0 2 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4970] ppid=4964 vsize=10542384 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4970/stat : 4970 (java) S 4964 4966 2916 0 -1 4202560 190 0 0 0 2 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4971] ppid=4964 vsize=10542384 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4971/stat : 4971 (java) S 4964 4966 2916 0 -1 4202560 70 0 0 0 2 0 0 0 16 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 1 0 0 0
[pid=4966/tid=4972] ppid=4964 vsize=10542384 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4972/stat : 4972 (java) S 4964 4966 2916 0 -1 4202560 180 0 0 0 2 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 1 0 0 0
[pid=4966/tid=4973] ppid=4964 vsize=10542384 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4973/stat : 4973 (java) S 4964 4966 2916 0 -1 4202560 97 0 0 0 2 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4974] ppid=4964 vsize=10542384 CPUtime=0.01 cores=1,3,5,7
/proc/4966/task/4974/stat : 4974 (java) S 4964 4966 2916 0 -1 4202560 73 0 0 0 1 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4975] ppid=4964 vsize=10542384 CPUtime=0.03 cores=1,3,5,7
/proc/4966/task/4975/stat : 4975 (java) S 4964 4966 2916 0 -1 4202560 210 0 0 0 3 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4976] ppid=4964 vsize=10542384 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4976/stat : 4976 (java) S 4964 4966 2916 0 -1 4202560 175 0 0 0 2 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4977] ppid=4964 vsize=10542384 CPUtime=1.22 cores=1,3,5,7
/proc/4966/task/4977/stat : 4977 (java) S 4964 4966 2916 0 -1 4202560 888 0 0 0 120 2 0 0 16 0 19 0 635147166 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 0 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4978] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4978/stat : 4978 (java) S 4964 4966 2916 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 635147167 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4979] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4979/stat : 4979 (java) S 4964 4966 2916 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 635147167 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4980] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4980/stat : 4980 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635147169 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672485809 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4981] ppid=4964 vsize=10542384 CPUtime=0.18 cores=1,3,5,7
/proc/4966/task/4981/stat : 4981 (java) S 4964 4966 2916 0 -1 4202560 1759 0 0 0 18 0 0 0 15 0 19 0 635147169 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4982] ppid=4964 vsize=10542384 CPUtime=0.23 cores=1,3,5,7
/proc/4966/task/4982/stat : 4982 (java) S 4964 4966 2916 0 -1 4202560 2242 0 0 0 23 0 0 0 15 0 19 0 635147169 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4983] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4983/stat : 4983 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635147169 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4984] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4984/stat : 4984 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635147169 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4985] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4985/stat : 4985 (java) S 4964 4966 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635147180 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 26.82
Current children cumulated vsize (KiB) 10542384

[startup+27.101 s]
/proc/loadavg: 2.03 1.93 1.71 3/214 4986
/proc/meminfo: memFree=973112/32951124 swapFree=67055716/67111528
[pid=4966] ppid=4964 vsize=10542384 CPUtime=27.63 cores=1,3,5,7
/proc/4966/stat : 4966 (java) S 4964 4966 2916 0 -1 4202496 19151 0 1 0 2757 6 0 0 25 0 19 0 635147163 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4966/statm: 2635596 16826 2249 9 0 2626330 0
[pid=4966/tid=4968] ppid=4964 vsize=10542384 CPUtime=25.7 cores=1,3,5,7
/proc/4966/task/4968/stat : 4968 (java) R 4964 4966 2916 0 -1 4202560 12109 0 1 0 2569 1 0 0 18 0 19 0 635147164 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 46912505611183 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4966/tid=4969] ppid=4964 vsize=10542384 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4969/stat : 4969 (java) S 4964 4966 2916 0 -1 4202560 7 0 0 0 2 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4970] ppid=4964 vsize=10542384 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4970/stat : 4970 (java) S 4964 4966 2916 0 -1 4202560 190 0 0 0 2 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4971] ppid=4964 vsize=10542384 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4971/stat : 4971 (java) S 4964 4966 2916 0 -1 4202560 70 0 0 0 2 0 0 0 16 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 1 0 0 0
[pid=4966/tid=4972] ppid=4964 vsize=10542384 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4972/stat : 4972 (java) S 4964 4966 2916 0 -1 4202560 180 0 0 0 2 0 0 0 16 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 1 0 0 0
[pid=4966/tid=4973] ppid=4964 vsize=10542384 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4973/stat : 4973 (java) S 4964 4966 2916 0 -1 4202560 97 0 0 0 2 0 0 0 16 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4974] ppid=4964 vsize=10542384 CPUtime=0.01 cores=1,3,5,7
/proc/4966/task/4974/stat : 4974 (java) S 4964 4966 2916 0 -1 4202560 73 0 0 0 1 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4975] ppid=4964 vsize=10542384 CPUtime=0.03 cores=1,3,5,7
/proc/4966/task/4975/stat : 4975 (java) S 4964 4966 2916 0 -1 4202560 210 0 0 0 3 0 0 0 15 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 1 0 0 0
[pid=4966/tid=4976] ppid=4964 vsize=10542384 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4976/stat : 4976 (java) S 4964 4966 2916 0 -1 4202560 175 0 0 0 2 0 0 0 16 0 19 0 635147165 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4977] ppid=4964 vsize=10542384 CPUtime=1.25 cores=1,3,5,7
/proc/4966/task/4977/stat : 4977 (java) S 4964 4966 2916 0 -1 4202560 888 0 0 0 123 2 0 0 16 0 19 0 635147166 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 0 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4978] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4978/stat : 4978 (java) S 4964 4966 2916 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 635147167 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4979] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4979/stat : 4979 (java) S 4964 4966 2916 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 635147167 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4980] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4980/stat : 4980 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635147169 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672485809 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4981] ppid=4964 vsize=10542384 CPUtime=0.18 cores=1,3,5,7
/proc/4966/task/4981/stat : 4981 (java) S 4964 4966 2916 0 -1 4202560 1759 0 0 0 18 0 0 0 15 0 19 0 635147169 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4982] ppid=4964 vsize=10542384 CPUtime=0.23 cores=1,3,5,7
/proc/4966/task/4982/stat : 4982 (java) S 4964 4966 2916 0 -1 4202560 2242 0 0 0 23 0 0 0 15 0 19 0 635147169 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4983] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4983/stat : 4983 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635147169 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4984] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4984/stat : 4984 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635147169 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4985] ppid=4964 vsize=10542384 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4985/stat : 4985 (java) S 4964 4966 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635147180 10795401216 16826 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 27.63
Current children cumulated vsize (KiB) 10542384

[startup+27.5069 s]
/proc/loadavg: 2.03 1.93 1.71 4/214 4986
/proc/meminfo: memFree=953892/32951124 swapFree=67055716/67111528
[pid=4966] ppid=4964 vsize=10561720 CPUtime=28.36 cores=1,3,5,7
/proc/4966/stat : 4966 (java) S 4964 4966 2916 0 -1 4202496 26920 0 1 0 2830 6 0 0 25 0 19 0 635147163 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4966/statm: 2640430 22031 2250 9 0 2631164 0
[pid=4966/tid=4968] ppid=4964 vsize=10561720 CPUtime=26.08 cores=1,3,5,7
/proc/4966/task/4968/stat : 4968 (java) R 4964 4966 2916 0 -1 4202560 12112 0 1 0 2607 1 0 0 18 0 19 0 635147164 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 46912505551090 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4966/tid=4969] ppid=4964 vsize=10561720 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4969/stat : 4969 (java) S 4964 4966 2916 0 -1 4202560 7 0 0 0 2 0 0 0 15 0 19 0 635147165 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4970] ppid=4964 vsize=10561720 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4970/stat : 4970 (java) S 4964 4966 2916 0 -1 4202560 190 0 0 0 2 0 0 0 15 0 19 0 635147165 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4971] ppid=4964 vsize=10561720 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4971/stat : 4971 (java) S 4964 4966 2916 0 -1 4202560 70 0 0 0 2 0 0 0 15 0 19 0 635147165 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 1 0 0 0
[pid=4966/tid=4972] ppid=4964 vsize=10561720 CPUtime=0.03 cores=1,3,5,7
/proc/4966/task/4972/stat : 4972 (java) S 4964 4966 2916 0 -1 4202560 180 0 0 0 3 0 0 0 16 0 19 0 635147165 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4973] ppid=4964 vsize=10561720 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4973/stat : 4973 (java) S 4964 4966 2916 0 -1 4202560 97 0 0 0 2 0 0 0 15 0 19 0 635147165 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4974] ppid=4964 vsize=10561720 CPUtime=0.01 cores=1,3,5,7
/proc/4966/task/4974/stat : 4974 (java) S 4964 4966 2916 0 -1 4202560 73 0 0 0 1 0 0 0 15 0 19 0 635147165 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4975] ppid=4964 vsize=10561720 CPUtime=0.04 cores=1,3,5,7
/proc/4966/task/4975/stat : 4975 (java) S 4964 4966 2916 0 -1 4202560 210 0 0 0 4 0 0 0 16 0 19 0 635147165 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 1 0 0 0
[pid=4966/tid=4976] ppid=4964 vsize=10561720 CPUtime=0.02 cores=1,3,5,7
/proc/4966/task/4976/stat : 4976 (java) S 4964 4966 2916 0 -1 4202560 175 0 0 0 2 0 0 0 16 0 19 0 635147165 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 1 0 0 0
[pid=4966/tid=4977] ppid=4964 vsize=10561720 CPUtime=1.27 cores=1,3,5,7
/proc/4966/task/4977/stat : 4977 (java) S 4964 4966 2916 0 -1 4202560 897 0 0 0 125 2 0 0 15 0 19 0 635147166 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 0 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4978] ppid=4964 vsize=10561720 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4978/stat : 4978 (java) S 4964 4966 2916 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 635147167 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4979] ppid=4964 vsize=10561720 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4979/stat : 4979 (java) S 4964 4966 2916 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 635147167 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4980] ppid=4964 vsize=10561720 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4980/stat : 4980 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635147169 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672485809 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4981] ppid=4964 vsize=10561720 CPUtime=0.22 cores=1,3,5,7
/proc/4966/task/4981/stat : 4981 (java) S 4964 4966 2916 0 -1 4202560 2219 0 0 0 22 0 0 0 15 0 19 0 635147169 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 5 0 0 0
[pid=4966/tid=4982] ppid=4964 vsize=10561720 CPUtime=0.52 cores=1,3,5,7
/proc/4966/task/4982/stat : 4982 (java) S 4964 4966 2916 0 -1 4202560 9539 0 0 0 51 1 0 0 16 0 19 0 635147169 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
[pid=4966/tid=4983] ppid=4964 vsize=10561720 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4983/stat : 4983 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635147169 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478105 0 4 0 16800975 18446604455984871552 0 0 -1 7 0 0 0
[pid=4966/tid=4984] ppid=4964 vsize=10561720 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4984/stat : 4984 (java) S 4964 4966 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635147169 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 4 0 16800975 18446604455984871552 0 0 -1 1 0 0 0
[pid=4966/tid=4985] ppid=4964 vsize=10561720 CPUtime=0 cores=1,3,5,7
/proc/4966/task/4985/stat : 4985 (java) S 4964 4966 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635147180 10815201280 22031 33554432000 1073741824 1073778376 140734449033472 18446744073709551615 268672478720 0 4 0 16800975 18446604455984871552 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 28.36
Current children cumulated vsize (KiB) 10561720

Child status: 30
Real time (s): 27.5455
CPU time (s): 28.4217
CPU user time (s): 28.3477
CPU system time (s): 0.073988
CPU usage (%): 103.181
Max. virtual memory (cumulated for all children) (KiB): 10565032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.3477
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26939
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= 3517
involuntary context switches= 1427

runsolver used 0.056991 second user time and 0.106983 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-12 22:12:39
IDJOB=3492338
IDBENCH=78765
IDSOLVER=1982
FILE ID=node107/3492338-1307909559
RUNJOBID= node107-1307908886-4789
PBS_JOBID= 13559596
Free space on /var/tmp= 2892 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111219799--soft-66-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492338-1307909559/watcher-3492338-1307909559 -o /var/tmp/evaluation-result-3492338-1307909559/solver-3492338-1307909559 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492338-1307909559.wbo

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

MD5SUM BENCH= 37c9692c41d7d7588ca490820e101eb5
RANDOM SEED=904723200

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1033908 kB
Buffers:         59812 kB
Cached:       30723152 kB
SwapCached:      20072 kB
Active:       15773180 kB
Inactive:     15184108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1033908 kB
SwapTotal:    67111528 kB
SwapFree:     67055716 kB
Dirty:             136 kB
Writeback:           0 kB
AnonPages:      171540 kB
Mapped:          21128 kB
Slab:           896496 kB
PageTables:       5064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10539396 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 /var/tmp at the end= 2892 MiB
End job on node107 at 2011-06-12 22:13:07