Trace number 3458044

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 2.3.0? (TO) 1800.13 1796.97

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_1_80.opb
MD5SUM4edc0ea4696bd6b7e21f8ec219e69079
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark4.15137
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1502
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12636
Sum of products size (including duplicates)25272
Number of different products6318
Sum of products size12636

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.09/0.09	c version 2.3.1.v20110525
0.09/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.09	c java.vm.version	19.1-b02
0.09/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.09	c sun.arch.data.model	64
0.09/0.09	c java.version		1.6.0_24
0.09/0.09	c os.name		Linux
0.09/0.09	c os.version		2.6.18-164.el5
0.09/0.09	c os.arch		amd64
0.09/0.09	c Free memory 		12995394264
0.09/0.09	c Max memory 		13063553024
0.09/0.09	c Total memory 		13063553024
0.09/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@38540408
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-3458044-1307165694.opb
0.11/0.11	c reading problem ... 
1.04/0.54	c ... done. Wall clock time 0.437s.
1.04/0.54	c #vars     7318
1.04/0.54	c #constraints  14139
1.04/0.54	c constraints type 
1.04/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6318
1.04/0.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1.04/0.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1.04/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6318
9.15/8.02	c cleaning 2508 clauses out of 5016 with flag 5016/5016
17.82/16.63	c cleaning 4249 clauses out of 8497 with flag 11005/11005
28.84/27.65	c cleaning 5650 clauses out of 11299 with flag 18056/18056
44.37/43.12	c cleaning 6803 clauses out of 13606 with flag 26013/26013
64.21/62.94	c cleaning 7902 clauses out of 15804 with flag 35014/35014
88.72/87.44	c cleaning 8989 clauses out of 17977 with flag 45089/45089
114.03/112.72	c cleaning 9956 clauses out of 19912 with flag 56013/56013
143.55/142.27	c cleaning 11041 clauses out of 22082 with flag 68139/68139
179.37/178.10	c cleaning 11952 clauses out of 23904 with flag 81002/81002
227.20/225.87	c cleaning 12975 clauses out of 25950 with flag 95000/95000
279.34/277.97	c cleaning 13990 clauses out of 27979 with flag 110004/110004
334.79/333.33	c cleaning 14494 clauses out of 28987 with flag 125002/125002
396.61/395.16	c cleaning 14860 clauses out of 29720 with flag 140229/140229
439.93/438.46	c cleaning 14817 clauses out of 29637 with flag 155006/155006
459.96/458.40	c cleaning 14906 clauses out of 29816 with flag 170002/170002
483.10/481.51	c cleaning 14955 clauses out of 29914 with flag 185006/185006
504.14/502.51	c cleaning 14991 clauses out of 29986 with flag 200033/200033
526.18/524.58	c cleaning 14983 clauses out of 29969 with flag 215007/215007
547.75/546.00	c cleaning 15000 clauses out of 30004 with flag 230025/230025
571.99/570.20	c cleaning 14990 clauses out of 29983 with flag 245004/245004
593.12/591.31	c cleaning 14995 clauses out of 29993 with flag 260004/260004
617.23/615.49	c cleaning 15008 clauses out of 30021 with flag 275027/275027
639.78/637.94	c cleaning 14996 clauses out of 29996 with flag 290010/290010
659.89/658.00	c cleaning 14994 clauses out of 29991 with flag 305001/305001
681.93/680.04	c cleaning 15004 clauses out of 30012 with flag 320016/320016
702.37/700.43	c cleaning 14998 clauses out of 30000 with flag 335008/335008
724.51/722.59	c cleaning 15001 clauses out of 30006 with flag 350012/350012
746.65/744.65	c cleaning 14995 clauses out of 29993 with flag 365000/365000
768.98/766.98	c cleaning 15020 clauses out of 30043 with flag 380045/380045
793.28/791.20	c cleaning 14988 clauses out of 29980 with flag 395002/395002
817.32/815.24	c cleaning 15004 clauses out of 30012 with flag 410022/410022
840.94/838.86	c cleaning 14994 clauses out of 29991 with flag 425005/425005
861.38/859.27	c cleaning 15003 clauses out of 30009 with flag 440017/440017
880.71/878.53	c cleaning 14999 clauses out of 30002 with flag 455013/455013
900.15/897.93	c cleaning 15000 clauses out of 30004 with flag 470014/470014
919.70/917.48	c cleaning 14995 clauses out of 29994 with flag 485004/485004
940.32/938.03	c cleaning 14999 clauses out of 30002 with flag 500007/500007
963.53/961.20	c cleaning 15014 clauses out of 30031 with flag 515035/515035
987.87/985.61	c cleaning 14992 clauses out of 29987 with flag 530005/530005
1010.09/1007.73	c cleaning 14997 clauses out of 29998 with flag 545008/545008
1033.52/1031.12	c cleaning 14996 clauses out of 29996 with flag 560003/560003
1057.54/1055.15	c cleaning 15003 clauses out of 30009 with flag 575012/575012
1082.15/1079.73	c cleaning 15009 clauses out of 30021 with flag 590027/590027
1106.26/1103.86	c cleaning 14989 clauses out of 29985 with flag 605000/605000
1127.98/1125.58	c cleaning 14999 clauses out of 30001 with flag 620005/620005
1149.83/1147.36	c cleaning 14998 clauses out of 29998 with flag 635001/635001
1172.26/1169.75	c cleaning 15002 clauses out of 30007 with flag 650008/650008
1193.69/1191.19	c cleaning 15007 clauses out of 30017 with flag 665020/665020
1216.49/1213.92	c cleaning 14995 clauses out of 29993 with flag 680003/680003
1237.82/1235.27	c cleaning 14997 clauses out of 29997 with flag 695002/695002
1260.52/1257.99	c cleaning 14997 clauses out of 29998 with flag 710000/710000
1283.73/1281.12	c cleaning 14999 clauses out of 30001 with flag 725000/725000
1306.07/1303.44	c cleaning 15011 clauses out of 30026 with flag 740024/740024
1328.87/1326.25	c cleaning 14998 clauses out of 30000 with flag 755009/755009
1352.57/1349.96	c cleaning 15001 clauses out of 30005 with flag 770012/770012
1377.08/1374.49	c cleaning 15027 clauses out of 30058 with flag 785066/785066
1401.11/1398.44	c cleaning 14988 clauses out of 29979 with flag 800014/800014
1423.64/1420.90	c cleaning 14997 clauses out of 29998 with flag 815021/815021
1447.36/1444.62	c cleaning 15016 clauses out of 30033 with flag 830053/830053
1471.48/1468.72	c cleaning 14993 clauses out of 29989 with flag 845025/845025
1496.53/1493.71	c cleaning 14984 clauses out of 29971 with flag 860000/860000
1522.53/1519.77	c cleaning 14992 clauses out of 29987 with flag 875000/875000
1552.35/1549.51	c cleaning 15004 clauses out of 30011 with flag 890016/890016
1576.18/1573.37	c cleaning 14994 clauses out of 29991 with flag 905000/905000
1597.52/1594.69	c cleaning 14999 clauses out of 30002 with flag 920005/920005
1618.76/1615.82	c cleaning 15002 clauses out of 30013 with flag 935015/935015
1639.88/1636.96	c cleaning 14998 clauses out of 30000 with flag 950004/950004
1662.11/1659.20	c cleaning 14997 clauses out of 29998 with flag 965000/965000
1690.64/1687.61	c cleaning 15010 clauses out of 30023 with flag 980022/980022
1712.37/1709.35	c cleaning 15003 clauses out of 30009 with flag 995018/995018
1735.97/1732.96	c cleaning 15006 clauses out of 30015 with flag 1010027/1010027
1758.07/1755.01	c cleaning 15000 clauses out of 30004 with flag 1025022/1025022
1780.41/1777.37	c cleaning 15011 clauses out of 30025 with flag 1040043/1040043
1800.03/1796.92	c starts		: 188
1800.03/1796.92	c conflicts		: 1052896
1800.03/1796.92	c decisions		: 2661901
1800.03/1796.92	c propagations		: 33822131
1800.03/1796.92	c inspects		: 1358664166
1800.03/1796.92	c shortcuts		: 0
1800.03/1796.92	c learnt literals	: 0
1800.03/1796.92	c learnt binary clauses	: 0
1800.03/1796.92	c learnt ternary clauses	: 4
1800.03/1796.92	c learnt constraints	: 1052896
1800.03/1796.92	c ignored constraints	: 0
1800.03/1796.92	c root simplifications	: 0
1800.03/1796.92	c removed literals (reason simplification)	: 4935833
1800.03/1796.92	c reason swapping (by a shorter reason)	: 0
1800.03/1796.92	c Calls to reduceDB	: 73
1800.03/1796.92	c number of reductions to clauses (during analyze)	: 0
1800.03/1796.92	c number of learned constraints concerned by reduction	: 0
1800.03/1796.92	c number of learning phase by resolution	: 0
1800.03/1796.92	c number of learning phase by cutting planes	: 0
1800.03/1796.92	c speed (assignments/second)	: 18827.979777062264
1800.03/1796.92	c non guided choices	6798
1800.03/1796.93	c learnt constraints type 
1800.03/1796.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 27874
1800.03/1796.93	c constraints type 
1800.03/1796.93	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6318
1800.03/1796.93	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1800.03/1796.93	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1800.03/1796.93	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6318
1800.03/1796.93	s UNKNOWN
1800.03/1796.93	c Total wall clock time (in seconds): 1796.826

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-3458044-1307165694/watcher-3458044-1307165694 -o /tmp/evaluation-result-3458044-1307165694/solver-3458044-1307165694 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458044-1307165694.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.10 2.05 2.01 5/432 7162
/proc/meminfo: memFree=26002764/32950928 swapFree=52006644/67111528
[pid=7162] ppid=7160 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/7162/stat : 7162 (java) S 7160 7162 6914 0 -1 4202496 2339 0 1 0 0 0 0 0 25 0 2 0 284178844 13833195520 2040 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/7162/statm: 3377245 2055 906 9 0 3368401 0
[pid=7162/tid=7163] ppid=7160 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7163/stat : 7163 (java) R 7160 7162 6914 0 -1 4202560 5610 0 1 0 0 0 0 0 25 0 2 0 284178844 13850947584 6425 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.0894619 s]
/proc/loadavg: 2.10 2.05 2.01 5/432 7162
/proc/meminfo: memFree=26002764/32950928 swapFree=52006644/67111528
[pid=7162] ppid=7160 vsize=13622108 CPUtime=0.09 cores=0,2,4,6
/proc/7162/stat : 7162 (java) S 7160 7162 6914 0 -1 4202496 15450 0 1 0 7 2 0 0 25 0 18 0 284178844 13949038592 15146 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7162/statm: 3405527 15146 2093 9 0 3396261 0
[pid=7162/tid=7163] ppid=7160 vsize=13622108 CPUtime=0.08 cores=0,2,4,6
/proc/7162/task/7163/stat : 7163 (java) R 7160 7162 6914 0 -1 4202560 13557 0 1 0 6 2 0 0 18 0 18 0 284178844 13949038592 15146 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218880226337 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13622108

[startup+0.104936 s]
/proc/loadavg: 2.10 2.05 2.01 5/432 7162
/proc/meminfo: memFree=26002764/32950928 swapFree=52006644/67111528
[pid=7162] ppid=7160 vsize=13622108 CPUtime=0.11 cores=0,2,4,6
/proc/7162/stat : 7162 (java) S 7160 7162 6914 0 -1 4202496 15628 0 1 0 9 2 0 0 25 0 18 0 284178844 13949038592 15324 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7162/statm: 3405527 15324 2093 9 0 3396261 0
[pid=7162/tid=7163] ppid=7160 vsize=13622108 CPUtime=0.09 cores=0,2,4,6
/proc/7162/task/7163/stat : 7163 (java) R 7160 7162 6914 0 -1 4202560 13735 0 1 0 7 2 0 0 18 0 18 0 284178844 13949038592 15324 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 47292027064577 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622108

[startup+0.315455 s]
/proc/loadavg: 2.10 2.05 2.01 5/432 7162
/proc/meminfo: memFree=26002764/32950928 swapFree=52006644/67111528
[pid=7162] ppid=7160 vsize=13624156 CPUtime=0.51 cores=0,2,4,6
/proc/7162/stat : 7162 (java) S 7160 7162 6914 0 -1 4202496 18867 0 1 0 49 2 0 0 25 0 18 0 284178844 13951135744 18483 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7162/statm: 3406039 18484 2222 9 0 3396773 0
[pid=7162/tid=7163] ppid=7160 vsize=13624156 CPUtime=0.3 cores=0,2,4,6
/proc/7162/task/7163/stat : 7163 (java) R 7160 7162 6914 0 -1 4202560 16196 0 1 0 28 2 0 0 18 0 18 0 284178844 13951135744 18484 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 46912505574869 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13624156

[startup+0.700815 s]
/proc/loadavg: 2.10 2.05 2.01 5/432 7162
/proc/meminfo: memFree=26002764/32950928 swapFree=52006644/67111528
[pid=7162] ppid=7160 vsize=13637472 CPUtime=1.55 cores=0,2,4,6
/proc/7162/stat : 7162 (java) S 7160 7162 6914 0 -1 4202496 40443 0 1 0 149 6 0 0 25 0 19 0 284178844 13964771328 37296 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7162/statm: 3409368 37296 2234 9 0 3400102 0
[pid=7162/tid=7163] ppid=7160 vsize=13637472 CPUtime=0.67 cores=0,2,4,6
/proc/7162/task/7163/stat : 7163 (java) R 7160 7162 6914 0 -1 4202560 30421 0 1 0 64 3 0 0 19 0 19 0 284178844 13964771328 37296 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 46912505847050 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 13637472

[startup+1.50067 s]
/proc/loadavg: 2.09 2.05 2.01 3/452 7182
/proc/meminfo: memFree=25511572/32950928 swapFree=52006644/67111528
[pid=7162] ppid=7160 vsize=13637472 CPUtime=2.47 cores=0,2,4,6
/proc/7162/stat : 7162 (java) S 7160 7162 6914 0 -1 4202496 40731 0 1 0 241 6 0 0 25 0 19 0 284178844 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7162/statm: 3409368 37575 2236 9 0 3400102 0
[pid=7162/tid=7163] ppid=7160 vsize=13637472 CPUtime=1.47 cores=0,2,4,6
/proc/7162/task/7163/stat : 7163 (java) R 7160 7162 6914 0 -1 4202560 30661 0 1 0 144 3 0 0 20 0 19 0 284178844 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 46912505947024 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7162/tid=7165] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7165/stat : 7165 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7166] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7166/stat : 7166 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7167] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7167/stat : 7167 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7168] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7168/stat : 7168 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7169] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7169/stat : 7169 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7170] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7170/stat : 7170 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7171] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7171/stat : 7171 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7172] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7172/stat : 7172 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7173] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7173/stat : 7173 (java) S 7160 7162 6914 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 284178847 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 0 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7174] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7174/stat : 7174 (java) S 7160 7162 6914 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 284178848 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7175] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7175/stat : 7175 (java) S 7160 7162 6914 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 284178848 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7176] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7176/stat : 7176 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178850 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892388785 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7177] ppid=7160 vsize=13637472 CPUtime=0.46 cores=0,2,4,6
/proc/7162/task/7177/stat : 7177 (java) S 7160 7162 6914 0 -1 4202560 4558 0 0 0 46 0 0 0 25 0 19 0 284178850 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 0 0 0 0
[pid=7162/tid=7178] ppid=7160 vsize=13637472 CPUtime=0.51 cores=0,2,4,6
/proc/7162/task/7178/stat : 7178 (java) S 7160 7162 6914 0 -1 4202560 4353 0 0 0 50 1 0 0 15 0 19 0 284178850 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 4 0 0 0
[pid=7162/tid=7179] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7179/stat : 7179 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178850 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7180] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7180/stat : 7180 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 284178850 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 4 0 16800975 18446604446939407488 0 0 -1 0 0 0 0
[pid=7162/tid=7181] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7181/stat : 7181 (java) S 7160 7162 6914 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 284178900 13964771328 37575 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 13637472

[startup+3.10139 s]
/proc/loadavg: 2.09 2.05 2.01 4/452 7182
/proc/meminfo: memFree=25508896/32950928 swapFree=52006644/67111528
[pid=7162] ppid=7160 vsize=13637472 CPUtime=4.24 cores=0,2,4,6
/proc/7162/stat : 7162 (java) S 7160 7162 6914 0 -1 4202496 43454 0 1 0 418 6 0 0 25 0 19 0 284178844 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7162/statm: 3409368 38653 2240 9 0 3400102 0
[pid=7162/tid=7163] ppid=7160 vsize=13637472 CPUtime=3.08 cores=0,2,4,6
/proc/7162/task/7163/stat : 7163 (java) R 7160 7162 6914 0 -1 4202560 31684 0 1 0 304 4 0 0 25 0 19 0 284178844 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 46912506043764 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7162/tid=7165] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7165/stat : 7165 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7166] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7166/stat : 7166 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7167] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7167/stat : 7167 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7168] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7168/stat : 7168 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7169] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7169/stat : 7169 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7170] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7170/stat : 7170 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7171] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7171/stat : 7171 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7172] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7172/stat : 7172 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7173] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7173/stat : 7173 (java) S 7160 7162 6914 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 284178847 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 0 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7174] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7174/stat : 7174 (java) S 7160 7162 6914 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 284178848 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7175] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7175/stat : 7175 (java) S 7160 7162 6914 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 284178848 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7176] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7176/stat : 7176 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178850 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892388785 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7177] ppid=7160 vsize=13637472 CPUtime=0.49 cores=0,2,4,6
/proc/7162/task/7177/stat : 7177 (java) S 7160 7162 6914 0 -1 4202560 4564 0 0 0 49 0 0 0 17 0 19 0 284178850 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 0 0 0 0
[pid=7162/tid=7178] ppid=7160 vsize=13637472 CPUtime=0.65 cores=0,2,4,6
/proc/7162/task/7178/stat : 7178 (java) S 7160 7162 6914 0 -1 4202560 6047 0 0 0 64 1 0 0 16 0 19 0 284178850 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 4 0 0 0
[pid=7162/tid=7179] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7179/stat : 7179 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178850 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7180] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7180/stat : 7180 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 284178850 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 4 0 16800975 18446604446939407488 0 0 -1 0 0 0 0
[pid=7162/tid=7181] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7181/stat : 7181 (java) S 7160 7162 6914 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 284178900 13964771328 38653 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 13637472

[startup+6.30083 s]
/proc/loadavg: 2.09 2.05 2.01 3/452 7182
/proc/meminfo: memFree=25487448/32950928 swapFree=52006644/67111528
[pid=7162] ppid=7160 vsize=13637472 CPUtime=7.45 cores=0,2,4,6
/proc/7162/stat : 7162 (java) S 7160 7162 6914 0 -1 4202496 46290 0 1 0 738 7 0 0 25 0 19 0 284178844 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7162/statm: 3409368 41481 2241 9 0 3400102 0
[pid=7162/tid=7163] ppid=7160 vsize=13637472 CPUtime=6.28 cores=0,2,4,6
/proc/7162/task/7163/stat : 7163 (java) R 7160 7162 6914 0 -1 4202560 34519 0 1 0 624 4 0 0 25 0 19 0 284178844 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 46912505837987 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7162/tid=7165] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7165/stat : 7165 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7166] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7166/stat : 7166 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7167] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7167/stat : 7167 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7168] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7168/stat : 7168 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7169] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7169/stat : 7169 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7170] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7170/stat : 7170 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7171] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7171/stat : 7171 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7172] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7172/stat : 7172 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178846 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7173] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7173/stat : 7173 (java) S 7160 7162 6914 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 284178847 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 0 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7174] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7174/stat : 7174 (java) S 7160 7162 6914 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 284178848 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7175] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7175/stat : 7175 (java) S 7160 7162 6914 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 284178848 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7176] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7176/stat : 7176 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178850 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892388785 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7177] ppid=7160 vsize=13637472 CPUtime=0.49 cores=0,2,4,6
/proc/7162/task/7177/stat : 7177 (java) S 7160 7162 6914 0 -1 4202560 4564 0 0 0 49 0 0 0 17 0 19 0 284178850 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 0 0 0 0
[pid=7162/tid=7178] ppid=7160 vsize=13637472 CPUtime=0.65 cores=0,2,4,6
/proc/7162/task/7178/stat : 7178 (java) S 7160 7162 6914 0 -1 4202560 6047 0 0 0 64 1 0 0 15 0 19 0 284178850 13964771328 41481 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 4 0 0 0

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

[pid=7162/tid=7170] ppid=7160 vsize=13637472 CPUtime=0.29 cores=0,2,4,6
/proc/7162/task/7170/stat : 7170 (java) S 7160 7162 6914 0 -1 4202560 1050 0 0 0 29 0 0 0 16 0 19 0 284178846 13964771328 101246 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 4 0 0 0
[pid=7162/tid=7171] ppid=7160 vsize=13637472 CPUtime=0.26 cores=0,2,4,6
/proc/7162/task/7171/stat : 7171 (java) S 7160 7162 6914 0 -1 4202560 3235 0 0 0 26 0 0 0 15 0 19 0 284178846 13964771328 101246 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 4 0 0 0
[pid=7162/tid=7172] ppid=7160 vsize=13637472 CPUtime=0.33 cores=0,2,4,6
/proc/7162/task/7172/stat : 7172 (java) S 7160 7162 6914 0 -1 4202560 5263 0 0 0 32 1 0 0 16 0 19 0 284178846 13964771328 101246 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 0 0 0 0
[pid=7162/tid=7173] ppid=7160 vsize=13637472 CPUtime=3.95 cores=0,2,4,6
/proc/7162/task/7173/stat : 7173 (java) S 7160 7162 6914 0 -1 4202560 29580 0 0 0 391 4 0 0 15 0 19 0 284178847 13964771328 101246 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 0 0 16800975 18446604446939407488 0 0 -1 6 0 0 0
[pid=7162/tid=7174] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7174/stat : 7174 (java) S 7160 7162 6914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 284178848 13964771328 101246 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7175] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7175/stat : 7175 (java) S 7160 7162 6914 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 284178848 13964771328 101246 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7176] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7176/stat : 7176 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178850 13964771328 101246 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892388785 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7177] ppid=7160 vsize=13637472 CPUtime=0.61 cores=0,2,4,6
/proc/7162/task/7177/stat : 7177 (java) S 7160 7162 6914 0 -1 4202560 4596 0 0 0 61 0 0 0 15 0 19 0 284178850 13964771328 101246 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 0 0 0 0
[pid=7162/tid=7178] ppid=7160 vsize=13637472 CPUtime=0.68 cores=0,2,4,6
/proc/7162/task/7178/stat : 7178 (java) S 7160 7162 6914 0 -1 4202560 6053 0 0 0 67 1 0 0 15 0 19 0 284178850 13964771328 101246 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 4 0 0 0
[pid=7162/tid=7179] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7179/stat : 7179 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178850 13964771328 101246 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7180] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7180/stat : 7180 (java) S 7160 7162 6914 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 284178850 13964771328 101246 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7181] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7181/stat : 7181 (java) S 7160 7162 6914 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 284178900 13964771328 101246 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1725.37
Current children cumulated vsize (KiB) 13637472

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/452 7238
/proc/meminfo: memFree=24898424/32950928 swapFree=52006644/67111528
[pid=7162] ppid=7160 vsize=13637472 CPUtime=1785.42 cores=0,2,4,6
/proc/7162/stat : 7162 (java) S 7160 7162 6914 0 -1 4202496 106375 0 1 0 178524 18 0 0 25 0 19 0 284178844 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7162/statm: 3409368 101264 2267 9 0 3400102 0
[pid=7162/tid=7163] ppid=7160 vsize=13637472 CPUtime=1777.33 cores=0,2,4,6
/proc/7162/task/7163/stat : 7163 (java) R 7160 7162 6914 0 -1 4202560 35894 0 1 0 177727 6 0 0 25 0 19 0 284178844 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 46912506043941 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7162/tid=7165] ppid=7160 vsize=13637472 CPUtime=0.28 cores=0,2,4,6
/proc/7162/task/7165/stat : 7165 (java) S 7160 7162 6914 0 -1 4202560 4245 0 0 0 28 0 0 0 15 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7166] ppid=7160 vsize=13637472 CPUtime=0.36 cores=0,2,4,6
/proc/7162/task/7166/stat : 7166 (java) S 7160 7162 6914 0 -1 4202560 3540 0 0 0 36 0 0 0 15 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7167] ppid=7160 vsize=13637472 CPUtime=0.3 cores=0,2,4,6
/proc/7162/task/7167/stat : 7167 (java) S 7160 7162 6914 0 -1 4202560 6301 0 0 0 30 0 0 0 16 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 6 0 0 0
[pid=7162/tid=7168] ppid=7160 vsize=13637472 CPUtime=0.33 cores=0,2,4,6
/proc/7162/task/7168/stat : 7168 (java) S 7160 7162 6914 0 -1 4202560 3928 0 0 0 33 0 0 0 16 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 6 0 0 0
[pid=7162/tid=7169] ppid=7160 vsize=13637472 CPUtime=0.37 cores=0,2,4,6
/proc/7162/task/7169/stat : 7169 (java) S 7160 7162 6914 0 -1 4202560 1432 0 0 0 37 0 0 0 15 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 4 0 0 0
[pid=7162/tid=7170] ppid=7160 vsize=13637472 CPUtime=0.3 cores=0,2,4,6
/proc/7162/task/7170/stat : 7170 (java) S 7160 7162 6914 0 -1 4202560 1050 0 0 0 30 0 0 0 16 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 4 0 0 0
[pid=7162/tid=7171] ppid=7160 vsize=13637472 CPUtime=0.27 cores=0,2,4,6
/proc/7162/task/7171/stat : 7171 (java) S 7160 7162 6914 0 -1 4202560 3235 0 0 0 27 0 0 0 15 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 6 0 0 0
[pid=7162/tid=7172] ppid=7160 vsize=13637472 CPUtime=0.34 cores=0,2,4,6
/proc/7162/task/7172/stat : 7172 (java) S 7160 7162 6914 0 -1 4202560 5263 0 0 0 33 1 0 0 15 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7173] ppid=7160 vsize=13637472 CPUtime=4.13 cores=0,2,4,6
/proc/7162/task/7173/stat : 7173 (java) S 7160 7162 6914 0 -1 4202560 29584 0 0 0 409 4 0 0 15 0 19 0 284178847 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 0 0 16800975 18446604446939407488 0 0 -1 0 0 0 0
[pid=7162/tid=7174] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7174/stat : 7174 (java) S 7160 7162 6914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 284178848 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7175] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7175/stat : 7175 (java) S 7160 7162 6914 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 284178848 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7176] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7176/stat : 7176 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178850 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892388785 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7177] ppid=7160 vsize=13637472 CPUtime=0.61 cores=0,2,4,6
/proc/7162/task/7177/stat : 7177 (java) S 7160 7162 6914 0 -1 4202560 4596 0 0 0 61 0 0 0 15 0 19 0 284178850 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 0 0 0 0
[pid=7162/tid=7178] ppid=7160 vsize=13637472 CPUtime=0.68 cores=0,2,4,6
/proc/7162/task/7178/stat : 7178 (java) S 7160 7162 6914 0 -1 4202560 6053 0 0 0 67 1 0 0 15 0 19 0 284178850 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 4 0 0 0
[pid=7162/tid=7179] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7179/stat : 7179 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178850 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7180] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7180/stat : 7180 (java) S 7160 7162 6914 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 284178850 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7181] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7181/stat : 7181 (java) S 7160 7162 6914 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 284178900 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1785.42
Current children cumulated vsize (KiB) 13637472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.9 s]
/proc/loadavg: 2.04 2.02 2.00 3/452 7239
/proc/meminfo: memFree=24898780/32950928 swapFree=52006644/67111528
[pid=7162] ppid=7160 vsize=13637472 CPUtime=1800.03 cores=0,2,4,6
/proc/7162/stat : 7162 (java) S 7160 7162 6914 0 -1 4202496 106377 0 1 0 179984 19 0 0 25 0 19 0 284178844 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7162/statm: 3409368 101264 2267 9 0 3400102 0
[pid=7162/tid=7163] ppid=7160 vsize=13637472 CPUtime=1791.94 cores=0,2,4,6
/proc/7162/task/7163/stat : 7163 (java) R 7160 7162 6914 0 -1 4202560 35894 0 1 0 179187 7 0 0 25 0 19 0 284178844 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 46912506043732 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7162/tid=7165] ppid=7160 vsize=13637472 CPUtime=0.28 cores=0,2,4,6
/proc/7162/task/7165/stat : 7165 (java) S 7160 7162 6914 0 -1 4202560 4245 0 0 0 28 0 0 0 15 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7166] ppid=7160 vsize=13637472 CPUtime=0.36 cores=0,2,4,6
/proc/7162/task/7166/stat : 7166 (java) S 7160 7162 6914 0 -1 4202560 3540 0 0 0 36 0 0 0 15 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7167] ppid=7160 vsize=13637472 CPUtime=0.3 cores=0,2,4,6
/proc/7162/task/7167/stat : 7167 (java) S 7160 7162 6914 0 -1 4202560 6301 0 0 0 30 0 0 0 16 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 6 0 0 0
[pid=7162/tid=7168] ppid=7160 vsize=13637472 CPUtime=0.33 cores=0,2,4,6
/proc/7162/task/7168/stat : 7168 (java) S 7160 7162 6914 0 -1 4202560 3928 0 0 0 33 0 0 0 16 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 6 0 0 0
[pid=7162/tid=7169] ppid=7160 vsize=13637472 CPUtime=0.37 cores=0,2,4,6
/proc/7162/task/7169/stat : 7169 (java) S 7160 7162 6914 0 -1 4202560 1432 0 0 0 37 0 0 0 15 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 4 0 0 0
[pid=7162/tid=7170] ppid=7160 vsize=13637472 CPUtime=0.3 cores=0,2,4,6
/proc/7162/task/7170/stat : 7170 (java) S 7160 7162 6914 0 -1 4202560 1050 0 0 0 30 0 0 0 16 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 4 0 0 0
[pid=7162/tid=7171] ppid=7160 vsize=13637472 CPUtime=0.27 cores=0,2,4,6
/proc/7162/task/7171/stat : 7171 (java) S 7160 7162 6914 0 -1 4202560 3235 0 0 0 27 0 0 0 15 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 6 0 0 0
[pid=7162/tid=7172] ppid=7160 vsize=13637472 CPUtime=0.34 cores=0,2,4,6
/proc/7162/task/7172/stat : 7172 (java) S 7160 7162 6914 0 -1 4202560 5263 0 0 0 33 1 0 0 15 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7173] ppid=7160 vsize=13637472 CPUtime=4.13 cores=0,2,4,6
/proc/7162/task/7173/stat : 7173 (java) S 7160 7162 6914 0 -1 4202560 29584 0 0 0 409 4 0 0 15 0 19 0 284178847 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 0 0 16800975 18446604446939407488 0 0 -1 0 0 0 0
[pid=7162/tid=7174] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7174/stat : 7174 (java) S 7160 7162 6914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 284178848 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7175] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7175/stat : 7175 (java) S 7160 7162 6914 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 284178848 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7176] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7176/stat : 7176 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178850 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892388785 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7177] ppid=7160 vsize=13637472 CPUtime=0.61 cores=0,2,4,6
/proc/7162/task/7177/stat : 7177 (java) S 7160 7162 6914 0 -1 4202560 4596 0 0 0 61 0 0 0 15 0 19 0 284178850 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 0 0 0 0
[pid=7162/tid=7178] ppid=7160 vsize=13637472 CPUtime=0.68 cores=0,2,4,6
/proc/7162/task/7178/stat : 7178 (java) S 7160 7162 6914 0 -1 4202560 6053 0 0 0 67 1 0 0 15 0 19 0 284178850 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 4 0 0 0
[pid=7162/tid=7179] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7179/stat : 7179 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178850 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7180] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7180/stat : 7180 (java) S 7160 7162 6914 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 284178850 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7181] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7181/stat : 7181 (java) S 7160 7162 6914 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 284178900 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13637472

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

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

[startup+1796.9 s]
/proc/loadavg: 2.04 2.02 2.00 3/452 7239
/proc/meminfo: memFree=24898780/32950928 swapFree=52006644/67111528
[pid=7162] ppid=7160 vsize=13637472 CPUtime=1800.03 cores=0,2,4,6
/proc/7162/stat : 7162 (java) S 7160 7162 6914 0 -1 4202496 106377 0 1 0 179984 19 0 0 25 0 19 0 284178844 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/7162/statm: 3409368 101264 2267 9 0 3400102 0
[pid=7162/tid=7163] ppid=7160 vsize=13637472 CPUtime=1791.94 cores=0,2,4,6
/proc/7162/task/7163/stat : 7163 (java) R 7160 7162 6914 0 -1 4202560 35894 0 1 0 179187 7 0 0 25 0 19 0 284178844 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 46912506043732 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7162/tid=7165] ppid=7160 vsize=13637472 CPUtime=0.28 cores=0,2,4,6
/proc/7162/task/7165/stat : 7165 (java) S 7160 7162 6914 0 -1 4202560 4245 0 0 0 28 0 0 0 15 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7166] ppid=7160 vsize=13637472 CPUtime=0.36 cores=0,2,4,6
/proc/7162/task/7166/stat : 7166 (java) S 7160 7162 6914 0 -1 4202560 3540 0 0 0 36 0 0 0 15 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7167] ppid=7160 vsize=13637472 CPUtime=0.3 cores=0,2,4,6
/proc/7162/task/7167/stat : 7167 (java) S 7160 7162 6914 0 -1 4202560 6301 0 0 0 30 0 0 0 16 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 6 0 0 0
[pid=7162/tid=7168] ppid=7160 vsize=13637472 CPUtime=0.33 cores=0,2,4,6
/proc/7162/task/7168/stat : 7168 (java) S 7160 7162 6914 0 -1 4202560 3928 0 0 0 33 0 0 0 16 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 6 0 0 0
[pid=7162/tid=7169] ppid=7160 vsize=13637472 CPUtime=0.37 cores=0,2,4,6
/proc/7162/task/7169/stat : 7169 (java) S 7160 7162 6914 0 -1 4202560 1432 0 0 0 37 0 0 0 15 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 4 0 0 0
[pid=7162/tid=7170] ppid=7160 vsize=13637472 CPUtime=0.3 cores=0,2,4,6
/proc/7162/task/7170/stat : 7170 (java) S 7160 7162 6914 0 -1 4202560 1050 0 0 0 30 0 0 0 16 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 4 0 0 0
[pid=7162/tid=7171] ppid=7160 vsize=13637472 CPUtime=0.27 cores=0,2,4,6
/proc/7162/task/7171/stat : 7171 (java) S 7160 7162 6914 0 -1 4202560 3235 0 0 0 27 0 0 0 15 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 6 0 0 0
[pid=7162/tid=7172] ppid=7160 vsize=13637472 CPUtime=0.34 cores=0,2,4,6
/proc/7162/task/7172/stat : 7172 (java) S 7160 7162 6914 0 -1 4202560 5263 0 0 0 33 1 0 0 15 0 19 0 284178846 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7173] ppid=7160 vsize=13637472 CPUtime=4.13 cores=0,2,4,6
/proc/7162/task/7173/stat : 7173 (java) S 7160 7162 6914 0 -1 4202560 29584 0 0 0 409 4 0 0 15 0 19 0 284178847 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 0 0 16800975 18446604446939407488 0 0 -1 0 0 0 0
[pid=7162/tid=7174] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7174/stat : 7174 (java) S 7160 7162 6914 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 284178848 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7175] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7175/stat : 7175 (java) S 7160 7162 6914 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 284178848 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7176] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7176/stat : 7176 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178850 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892388785 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7177] ppid=7160 vsize=13637472 CPUtime=0.61 cores=0,2,4,6
/proc/7162/task/7177/stat : 7177 (java) S 7160 7162 6914 0 -1 4202560 4596 0 0 0 61 0 0 0 15 0 19 0 284178850 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 0 0 0 0
[pid=7162/tid=7178] ppid=7160 vsize=13637472 CPUtime=0.68 cores=0,2,4,6
/proc/7162/task/7178/stat : 7178 (java) S 7160 7162 6914 0 -1 4202560 6053 0 0 0 67 1 0 0 15 0 19 0 284178850 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 4 0 0 0
[pid=7162/tid=7179] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7179/stat : 7179 (java) S 7160 7162 6914 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 284178850 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381081 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7180] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7180/stat : 7180 (java) S 7160 7162 6914 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 284178850 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
[pid=7162/tid=7181] ppid=7160 vsize=13637472 CPUtime=0 cores=0,2,4,6
/proc/7162/task/7181/stat : 7181 (java) S 7160 7162 6914 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 284178900 13964771328 101264 33554432000 1073741824 1073778376 140734761627760 18446744073709551615 218892381696 0 4 0 16800975 18446604446939407488 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13637472

Child status: 143
Real time (s): 1796.97
CPU time (s): 1800.13
CPU user time (s): 1799.92
CPU system time (s): 0.210967
CPU usage (%): 100.176
Max. virtual memory (cumulated for all children) (KiB): 13637472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106414
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= 38886
involuntary context switches= 8638

runsolver used 7.71283 second user time and 16.8344 second system time

The end

Launcher Data 

Begin job on node112 at 2011-06-04 07:34:54
IDJOB=3458044
IDBENCH=48369
IDSOLVER=1952
FILE ID=node112/3458044-1307165694
RUNJOBID= node112-1307163894-6932
PBS_JOBID= 13508820
Free space on /tmp= 73912 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_500_10_1_80.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458044-1307165694/watcher-3458044-1307165694 -o /tmp/evaluation-result-3458044-1307165694/solver-3458044-1307165694 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458044-1307165694.opb

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

MD5SUM BENCH= 4edc0ea4696bd6b7e21f8ec219e69079
RANDOM SEED=1370404719

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26003044 kB
Buffers:        334700 kB
Cached:        5590628 kB
SwapCached:      31280 kB
Active:         981188 kB
Inactive:      5686532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26003044 kB
SwapTotal:    67111528 kB
SwapFree:     52006644 kB
Dirty:            1672 kB
Writeback:           0 kB
AnonPages:      718752 kB
Mapped:          19788 kB
Slab:           155352 kB
PageTables:      59092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 112050316 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= 73908 MiB
End job on node112 at 2011-06-04 08:04:53