Trace number 3687654

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)150 1800.57 938.362

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUMd431323968e1ca4dc95d181076d01437
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark148
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 154
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
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.05/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.09	c See www.sat4j.org for details.
0.09/0.10	c version 2.3.2.v20120418
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.13	c Pseudo Boolean Optimization by upper bound
0.09/0.13	c ManyCore solver with 2 solvers running in parallel
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose learned constraints deletion strategy
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c c --- End Solver configuration ---
0.09/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.13	c No reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose learned constraints deletion strategy
0.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-3687654-1337872944.opb
0.09/0.13	c reading problem ... 
1.23/0.66	c ... done. Wall clock time 0.531s.
1.23/0.66	c declared #vars     1344
1.23/0.66	c #constraints  16376
1.23/0.66	c constraints type 
1.23/0.66	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1.23/0.66	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1.23/0.66	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1.23/0.66	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7392
1.23/0.66	c 16376 constraints processed.
1.23/0.66	c constraints type 
1.23/0.66	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1624
1.23/0.66	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6864
1.23/0.66	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 496
1.23/0.66	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7392
1.23/0.66	c 16376 constraints processed.
1.23/0.66	c objective function length is 448 literals
1.80/0.81	c  And the winner is solver0
1.99/1.16	c SATISFIABLE
1.99/1.16	c OPTIMIZING...
1.99/1.16	c Got one! Elapsed wall clock time (in seconds):1.034
1.99/1.16	o 192
2.10/1.27	c  And the winner is solver0
2.42/1.67	c Got one! Elapsed wall clock time (in seconds):1.538
2.42/1.67	o 190
2.54/1.73	c  And the winner is solver0
3.04/2.17	c Got one! Elapsed wall clock time (in seconds):2.042
3.04/2.17	o 184
3.04/2.20	c  And the winner is solver0
3.14/2.68	c Got one! Elapsed wall clock time (in seconds):2.546
3.14/2.68	o 178
3.21/2.78	c  And the winner is solver0
3.78/3.18	c Got one! Elapsed wall clock time (in seconds):3.049
3.78/3.18	o 174
5.27/3.87	c cleaning 3552 clauses out of 7114 with flag 5001/7114
6.12/4.22	c cleaning 4779 clauses out of 9562 with flag 11001/13114
6.65/4.55	c cleaning 5886 clauses out of 11783 with flag 18001/20114
7.40/4.97	c cleaning 6941 clauses out of 13896 with flag 26000/28113
8.35/5.45	c cleaning 7977 clauses out of 15955 with flag 35000/37113
9.28/5.98	c cleaning 8990 clauses out of 17980 with flag 45002/47115
10.42/6.58	c cleaning 9991 clauses out of 19988 with flag 56000/58113
11.88/7.23	c cleaning 10996 clauses out of 21998 with flag 68001/70114
13.14/7.94	c cleaning 11996 clauses out of 24001 with flag 81000/83113
14.44/8.67	c cleaning 13002 clauses out of 26005 with flag 95000/97113
16.14/9.51	c cleaning 13999 clauses out of 28005 with flag 110002/112115
17.64/10.39	c cleaning 15002 clauses out of 30004 with flag 126000/128113
19.67/11.41	c cleaning 16002 clauses out of 32003 with flag 143001/145114
21.56/12.41	c cleaning 16996 clauses out of 34000 with flag 161000/163113
23.44/13.47	c cleaning 17992 clauses out of 36004 with flag 180000/182113
25.58/14.57	c cleaning 19005 clauses out of 38012 with flag 200000/202113
28.17/15.97	c cleaning 19998 clauses out of 40007 with flag 221000/223113
30.83/17.34	c cleaning 21001 clauses out of 42009 with flag 243000/245113
33.50/18.76	c cleaning 21997 clauses out of 44008 with flag 266000/268113
36.32/20.24	c cleaning 22999 clauses out of 46011 with flag 290000/292113
39.29/21.90	c cleaning 24004 clauses out of 48014 with flag 315002/317115
42.56/23.53	c cleaning 25000 clauses out of 50009 with flag 341001/343114
45.84/25.27	c cleaning 26003 clauses out of 52009 with flag 368001/370114
49.24/27.08	c cleaning 26998 clauses out of 54005 with flag 396000/398113
52.97/29.08	c cleaning 28001 clauses out of 56007 with flag 425000/427113
56.58/30.95	c cleaning 29003 clauses out of 58006 with flag 455000/457113
60.20/32.88	c cleaning 29993 clauses out of 60003 with flag 486000/488113
63.60/34.69	c cleaning 30997 clauses out of 62011 with flag 518001/520114
67.48/36.80	c cleaning 32003 clauses out of 64013 with flag 551000/553113
72.06/39.14	c cleaning 33000 clauses out of 66010 with flag 585000/587113
75.63/41.02	c cleaning 33999 clauses out of 68010 with flag 620000/622113
79.22/42.96	c cleaning 34994 clauses out of 70011 with flag 656000/658113
84.24/45.51	c cleaning 35998 clauses out of 72017 with flag 693000/695113
89.16/48.04	c cleaning 37003 clauses out of 74019 with flag 731000/733113
94.75/50.91	c cleaning 38006 clauses out of 76017 with flag 770001/772114
100.29/53.90	c cleaning 38995 clauses out of 78012 with flag 810002/812115
106.81/57.38	c cleaning 40007 clauses out of 80015 with flag 851000/853113
112.58/60.37	c cleaning 41000 clauses out of 82009 with flag 893001/895114
118.49/63.46	c cleaning 42005 clauses out of 84009 with flag 936001/938114
121.48/65.04	c cleaning 0 clauses out of 5298 with flag 0/5303
151.92/80.24	c cleaning 42988 clauses out of 86006 with flag 980003/982116
185.66/97.25	c cleaning 43967 clauses out of 88015 with flag 1025000/1027113
236.93/122.91	c cleaning 45004 clauses out of 90048 with flag 1071000/1073113
293.18/151.66	c cleaning 45935 clauses out of 92047 with flag 1118003/1120116
360.87/185.54	c cleaning 46977 clauses out of 94111 with flag 1166002/1168115
409.46/210.05	c cleaning 48026 clauses out of 96133 with flag 1215001/1217114
458.35/234.79	c cleaning 49022 clauses out of 98108 with flag 1265002/1267115
514.76/263.32	c cleaning 49927 clauses out of 100086 with flag 1316002/1318115
545.18/278.87	c cleaning 51070 clauses out of 102157 with flag 1368000/1370113
551.67/282.44	c cleaning 52039 clauses out of 104088 with flag 1421001/1423114
560.18/287.04	c cleaning 53021 clauses out of 106049 with flag 1475001/1477114
567.88/291.42	c cleaning 54007 clauses out of 108027 with flag 1530000/1532113
576.37/296.07	c cleaning 55000 clauses out of 110020 with flag 1586000/1588113
583.67/300.09	c cleaning 56004 clauses out of 112020 with flag 1643000/1645113
591.77/304.46	c cleaning 57004 clauses out of 114016 with flag 1701000/1703113
601.63/309.99	c cleaning 58000 clauses out of 116013 with flag 1760001/1762114
611.31/315.18	c cleaning 58997 clauses out of 118014 with flag 1820002/1822115
620.18/320.00	c cleaning 60000 clauses out of 120016 with flag 1881001/1883114
629.25/324.88	c cleaning 61000 clauses out of 122016 with flag 1943001/1945114
639.20/330.45	c cleaning 62001 clauses out of 124015 with flag 2006000/2008113
648.09/335.24	c cleaning 63006 clauses out of 126015 with flag 2070001/2072114
657.36/340.20	c cleaning 63996 clauses out of 128009 with flag 2135001/2137114
667.99/345.95	c cleaning 65000 clauses out of 130012 with flag 2201000/2203113
679.84/352.42	c cleaning 66006 clauses out of 132012 with flag 2268000/2270113
690.48/358.14	c cleaning 67003 clauses out of 134007 with flag 2336001/2338114
701.91/364.24	c cleaning 67999 clauses out of 136003 with flag 2405000/2407113
712.92/370.15	c cleaning 69000 clauses out of 138004 with flag 2475000/2477113
724.48/376.60	c cleaning 69995 clauses out of 140004 with flag 2546000/2548113
737.71/383.54	c cleaning 71001 clauses out of 142009 with flag 2618000/2620113
748.73/389.45	c cleaning 71999 clauses out of 144009 with flag 2691001/2693114
762.55/396.78	c cleaning 72996 clauses out of 146010 with flag 2765001/2767114
776.85/404.57	c cleaning 74008 clauses out of 148016 with flag 2840003/2842116
783.62/408.35	c cleaning 0 clauses out of 11295 with flag 0/11300
791.79/412.88	c cleaning 74993 clauses out of 150005 with flag 2916000/2918113
852.96/443.74	c cleaning 76004 clauses out of 152012 with flag 2993000/2995113
867.39/451.65	c cleaning 77000 clauses out of 154009 with flag 3071001/3073114
880.33/458.54	c cleaning 77996 clauses out of 156008 with flag 3150000/3152113
892.05/464.81	c cleaning 78999 clauses out of 158013 with flag 3230001/3232114
905.16/471.85	c cleaning 79998 clauses out of 160014 with flag 3311001/3313114
920.72/480.35	c cleaning 81001 clauses out of 162015 with flag 3393000/3395113
934.02/487.45	c cleaning 82001 clauses out of 164015 with flag 3476001/3478114
947.92/494.86	c cleaning 82999 clauses out of 166013 with flag 3560000/3562113
1139.31/590.35	c cleaning 83995 clauses out of 168014 with flag 3645000/3647113
1344.24/693.09	c cleaning 84978 clauses out of 170021 with flag 3731002/3733115
1448.95/746.53	c  And the winner is solver0
1449.90/747.37	c Got one! Elapsed wall clock time (in seconds):747.244
1449.90/747.37	o 172
1451.28/748.00	c  And the winner is solver0
1451.67/748.43	c Got one! Elapsed wall clock time (in seconds):748.297
1451.67/748.43	o 162
1454.00/749.64	c  And the winner is solver0
1454.36/749.93	c Got one! Elapsed wall clock time (in seconds):749.801
1454.36/749.93	o 150
1455.32/750.46	c cleaning 76403 clauses out of 152816 with flag 1003/3800888
1461.62/754.16	c cleaning 41179 clauses out of 82412 with flag 7002/3806887
1468.12/758.31	c cleaning 24094 clauses out of 48232 with flag 14001/3813886
1473.94/761.86	c cleaning 16034 clauses out of 32140 with flag 22003/3821888
1479.59/765.25	c cleaning 12511 clauses out of 25104 with flag 31001/3830886
1485.51/768.77	c cleaning 11276 clauses out of 22594 with flag 41002/3840887
1492.52/773.13	c cleaning 11119 clauses out of 22316 with flag 52000/3851885
1499.61/777.21	c cleaning 11564 clauses out of 23197 with flag 64000/3863885
1507.31/781.67	c cleaning 12267 clauses out of 24633 with flag 77000/3876885
1516.59/786.85	c cleaning 13141 clauses out of 26367 with flag 91001/3890886
1527.19/793.06	c cleaning 14098 clauses out of 28225 with flag 106000/3905885
1538.20/799.13	c cleaning 15049 clauses out of 30127 with flag 122000/3921885
1550.91/806.08	c cleaning 16009 clauses out of 32079 with flag 139001/3938886
1563.99/813.12	c cleaning 17011 clauses out of 34069 with flag 157000/3956885
1579.35/821.79	c cleaning 18006 clauses out of 36058 with flag 176000/3975885
1592.79/829.02	c cleaning 18994 clauses out of 38053 with flag 196001/3995886
1608.86/837.64	c cleaning 19984 clauses out of 40058 with flag 217000/4016885
1626.94/847.27	c cleaning 20987 clauses out of 42076 with flag 239002/4038887
1647.51/858.41	c cleaning 22003 clauses out of 44089 with flag 262002/4061887
1669.65/870.02	c cleaning 22989 clauses out of 46085 with flag 286001/4085886
1691.14/881.32	c cleaning 23997 clauses out of 48095 with flag 311000/4110885
1714.68/893.67	c cleaning 24980 clauses out of 50099 with flag 337001/4136886
1744.04/909.24	c cleaning 25968 clauses out of 52118 with flag 364000/4163885
1775.36/925.43	c cleaning 26995 clauses out of 54150 with flag 392000/4191885
1800.16/938.32	c starts		: 261
1800.16/938.32	c conflicts		: 4217417
1800.16/938.32	c decisions		: 5325761
1800.16/938.32	c propagations		: 180396125
1800.16/938.32	c inspects		: 6717848968
1800.16/938.32	c shortcuts		: 0
1800.16/938.32	c learnt literals	: 0
1800.16/938.32	c learnt binary clauses	: 1
1800.16/938.32	c learnt ternary clauses	: 1
1800.16/938.32	c learnt constraints	: 4217417
1800.16/938.32	c ignored constraints	: 0
1800.16/938.32	c root simplifications	: 0
1800.16/938.32	c removed literals (reason simplification)	: 29369863
1800.16/938.32	c reason swapping (by a shorter reason)	: 0
1800.16/938.32	c Calls to reduceDB	: 106
1800.16/938.32	c number of reductions to clauses (during analyze)	: 0
1800.16/938.32	c number of learned constraints concerned by reduction	: 0
1800.16/938.32	c number of learning phase by resolution	: 0
1800.16/938.32	c number of learning phase by cutting planes	: 0
1800.16/938.32	c speed (assignments/second)	: 192393.44760580262
1800.16/938.32	c non guided choices	1545
1800.16/938.34	c learnt constraints type 
1800.16/938.34	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.16/938.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 52712
1800.16/938.34	c constraints type 
1800.16/938.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1800.16/938.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1800.16/938.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1800.16/938.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7393
1800.16/938.34	c 16377 constraints processed.
1800.16/938.34	c constraints type 
1800.16/938.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 1624
1800.16/938.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6864
1800.16/938.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 496
1800.16/938.34	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7393
1800.16/938.34	c 16377 constraints processed.
1800.16/938.34	s SATISFIABLE
1800.16/938.34	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 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 x897 -x898 x899 -x900 -x901 -x902 x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 x961 -x962 -x963 -x964 x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 x1024 x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 x1153 -x1154 x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 x1216 -x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 x1276 -x1277 x1278 -x1279 x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 x1339 x1340 -x1341 -x1342 x1343 x1344 
1800.16/938.34	c objective function=150
1800.16/938.34	c Total wall clock time (in seconds): 938.213

Verifier Data 

OK	150

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 /tmp/evaluation-result-3687654-1337872944/watcher-3687654-1337872944 -o /tmp/evaluation-result-3687654-1337872944/solver-3687654-1337872944 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687654-1337872944.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: 3.75 3.75 2.57 4/199 26953
/proc/meminfo: memFree=28432712/32873844 swapFree=7364/7364
[pid=26953] ppid=26951 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/26953/stat : 26953 (java) D 26951 26953 26250 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253419177 9515008 183 33554432000 1073741824 1073778376 140733264200896 140733264191928 215143497397 0 0 4096 0 18446744072100748580 0 0 17 0 0 0 0 0 0
/proc/26953/statm: 2323 183 140 9 0 71 0

[startup+0.0819949 s]
/proc/loadavg: 3.75 3.75 2.57 4/199 26953
/proc/meminfo: memFree=28432712/32873844 swapFree=7364/7364
[pid=26953] ppid=26951 vsize=9558412 CPUtime=0.05 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26250 0 -1 4202496 3268 0 1 0 5 0 0 0 20 0 18 0 253419177 9787813888 4476 33554432000 1073741824 1073778376 140737271006304 140737270997440 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26953/statm: 2389603 4478 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412

[startup+0.100259 s]
/proc/loadavg: 3.75 3.75 2.57 4/199 26953
/proc/meminfo: memFree=28432712/32873844 swapFree=7364/7364
[pid=26953] ppid=26951 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26250 0 -1 4202496 4085 0 1 0 8 1 0 0 20 0 18 0 253419177 9787813888 5290 33554432000 1073741824 1073778376 140737271006304 140737270997440 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26953/statm: 2389603 5293 2041 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412

[startup+0.300247 s]
/proc/loadavg: 3.75 3.75 2.57 4/199 26953
/proc/meminfo: memFree=28432712/32873844 swapFree=7364/7364
[pid=26953] ppid=26951 vsize=9558412 CPUtime=0.46 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26250 0 -1 4202496 5619 0 1 0 45 1 0 0 20 0 18 0 253419177 9787813888 10104 33554432000 1073741824 1073778376 140737271006304 140737270997440 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26953/statm: 2389603 10104 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558412

[startup+0.700174 s]
/proc/loadavg: 3.75 3.75 2.57 4/199 26953
/proc/meminfo: memFree=28432712/32873844 swapFree=7364/7364
[pid=26953] ppid=26951 vsize=9824668 CPUtime=1.4 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26250 0 -1 4202496 12283 0 1 0 136 4 0 0 20 0 22 0 253419177 10060460032 38373 33554432000 1073741824 1073778376 140737271006304 140737270997440 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26953/statm: 2456167 38373 2249 9 0 2446860 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 9824668

[startup+1.5007 s]
/proc/loadavg: 3.75 3.75 2.57 3/218 26975
/proc/meminfo: memFree=28282856/32873844 swapFree=7364/7364
[pid=26953] ppid=26951 vsize=9824668 CPUtime=2.42 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26250 0 -1 4202496 14664 0 1 0 233 9 0 0 20 0 19 0 253419177 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 140737270997440 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26953/statm: 2456167 42019 2257 9 0 2446860 0
[pid=26953/tid=26955] ppid=26951 vsize=9824668 CPUtime=0.64 cores=0,2,4,6
/proc/26953/task/26955/stat : 26955 (java) S 26951 26953 26250 0 -1 4202560 2508 0 1 0 61 3 0 0 20 0 19 0 253419178 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139781106684920 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26956] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26956/stat : 26956 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253419179 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139781068176296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26957] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26957/stat : 26957 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253419179 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139781067123752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26958] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26958/stat : 26958 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253419179 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139781066070696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26959] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26959/stat : 26959 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253419179 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139781065018152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26960] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26960/stat : 26960 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253419179 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139781063965096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26961] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26961/stat : 26961 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253419179 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139781062912552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26962] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26962/stat : 26962 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253419179 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139781061859496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26963] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26963/stat : 26963 (java) S 26951 26953 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253419179 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139781060806952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26964] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26964/stat : 26964 (java) S 26951 26953 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253419180 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139780930116456 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26965] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26965/stat : 26965 (java) S 26951 26953 26250 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253419181 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139780929062776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26966] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26966/stat : 26966 (java) S 26951 26953 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253419181 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139780928009608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26967] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26967/stat : 26967 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253419183 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139780926958352 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26968] ppid=26951 vsize=9824668 CPUtime=0.61 cores=0,2,4,6
/proc/26953/task/26968/stat : 26968 (java) S 26951 26953 26250 0 -1 4202560 4850 0 0 0 61 0 0 0 20 0 19 0 253419183 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139780925905208 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26969] ppid=26951 vsize=9824668 CPUtime=0.63 cores=0,2,4,6
/proc/26953/task/26969/stat : 26969 (java) S 26951 26953 26250 0 -1 4202560 5985 0 0 0 62 1 0 0 20 0 19 0 253419183 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139780924852664 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26970] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26970/stat : 26970 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253419184 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139780923799800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26971] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26971/stat : 26971 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253419184 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139780922747464 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26974] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26974/stat : 26974 (java) S 26951 26953 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253419244 10060460032 42019 33554432000 1073741824 1073778376 140737271006304 139779777750312 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 9824668

[startup+3.10065 s]
/proc/loadavg: 3.75 3.75 2.57 3/218 26981
/proc/meminfo: memFree=28245392/32873844 swapFree=7364/7364
[pid=26953] ppid=26951 vsize=9824668 CPUtime=3.78 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26250 0 -1 4202496 21088 0 1 0 361 17 0 0 20 0 19 0 253419177 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 140737270997440 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26953/statm: 2456167 48725 2272 9 0 2446860 0
[pid=26953/tid=26955] ppid=26951 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/26953/task/26955/stat : 26955 (java) S 26951 26953 26250 0 -1 4202560 2508 0 1 0 62 3 0 0 20 0 19 0 253419178 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139781106684920 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26956] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26956/stat : 26956 (java) S 26951 26953 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253419179 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139781068176296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26957] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26957/stat : 26957 (java) S 26951 26953 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253419179 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139781067123752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26958] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26958/stat : 26958 (java) S 26951 26953 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253419179 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139781066070696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26959] ppid=26951 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/26953/task/26959/stat : 26959 (java) S 26951 26953 26250 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 253419179 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139781065018152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26960] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26960/stat : 26960 (java) S 26951 26953 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253419179 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139781063965096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26961] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26961/stat : 26961 (java) S 26951 26953 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253419179 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139781062912552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26962] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26962/stat : 26962 (java) S 26951 26953 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253419179 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139781061859496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26963] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26963/stat : 26963 (java) S 26951 26953 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253419179 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139781060806952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26964] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26964/stat : 26964 (java) S 26951 26953 26250 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 253419180 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139780930116456 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26965] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26965/stat : 26965 (java) S 26951 26953 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253419181 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139780929062776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26966] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26966/stat : 26966 (java) S 26951 26953 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253419181 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139780928009608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26967] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26967/stat : 26967 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253419183 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139780926958352 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26968] ppid=26951 vsize=9824668 CPUtime=1.12 cores=0,2,4,6
/proc/26953/task/26968/stat : 26968 (java) S 26951 26953 26250 0 -1 4202560 6532 0 0 0 111 1 0 0 20 0 19 0 253419183 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139780925905208 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26969] ppid=26951 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/26953/task/26969/stat : 26969 (java) S 26951 26953 26250 0 -1 4202560 10599 0 0 0 103 2 0 0 20 0 19 0 253419183 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139780924852664 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26970] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26970/stat : 26970 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253419184 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139780923799800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26971] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26971/stat : 26971 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253419184 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139780922747464 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26974] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26974/stat : 26974 (java) S 26951 26953 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253419244 10060460032 48725 33554432000 1073741824 1073778376 140737271006304 139779777750312 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9824668

[startup+6.30076 s]
/proc/loadavg: 3.69 3.74 2.57 4/221 26990
/proc/meminfo: memFree=28160656/32873844 swapFree=7364/7364
[pid=26953] ppid=26951 vsize=9824668 CPUtime=10.01 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26250 0 -1 4202496 21290 0 1 0 978 23 0 0 20 0 22 0 253419177 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 140737270997440 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26953/statm: 2456167 83603 2287 9 0 2446860 0
[pid=26953/tid=26955] ppid=26951 vsize=9824668 CPUtime=0.65 cores=0,2,4,6
/proc/26953/task/26955/stat : 26955 (java) S 26951 26953 26250 0 -1 4202560 2508 0 1 0 62 3 0 0 20 0 22 0 253419178 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139781106684920 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26956] ppid=26951 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/26953/task/26956/stat : 26956 (java) S 26951 26953 26250 0 -1 4202560 24 0 0 0 6 0 0 0 20 0 22 0 253419179 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139781068176296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26957] ppid=26951 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/26953/task/26957/stat : 26957 (java) S 26951 26953 26250 0 -1 4202560 13 0 0 0 4 0 0 0 20 0 22 0 253419179 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139781067123752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26958] ppid=26951 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/26953/task/26958/stat : 26958 (java) S 26951 26953 26250 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 22 0 253419179 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139781066070696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26959] ppid=26951 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/26953/task/26959/stat : 26959 (java) S 26951 26953 26250 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 22 0 253419179 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139781065018152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26960] ppid=26951 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/26953/task/26960/stat : 26960 (java) S 26951 26953 26250 0 -1 4202560 18 0 0 0 4 0 0 0 20 0 22 0 253419179 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139781063965096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26961] ppid=26951 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/26953/task/26961/stat : 26961 (java) S 26951 26953 26250 0 -1 4202560 21 0 0 0 6 0 0 0 20 0 22 0 253419179 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139781062912552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26962] ppid=26951 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/26953/task/26962/stat : 26962 (java) S 26951 26953 26250 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 253419179 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139781061859496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26963] ppid=26951 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/26953/task/26963/stat : 26963 (java) S 26951 26953 26250 0 -1 4202560 33 0 0 0 5 0 0 0 20 0 22 0 253419179 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139781060806952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26964] ppid=26951 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/26953/task/26964/stat : 26964 (java) S 26951 26953 26250 0 -1 4202560 111 0 0 0 46 1 0 0 20 0 22 0 253419180 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139780930116456 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26965] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26965/stat : 26965 (java) S 26951 26953 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253419181 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139780929062776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26966] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26966/stat : 26966 (java) S 26951 26953 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253419181 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139780928009608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26967] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26967/stat : 26967 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419183 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139780926958352 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26968] ppid=26951 vsize=9824668 CPUtime=1.32 cores=0,2,4,6
/proc/26953/task/26968/stat : 26968 (java) S 26951 26953 26250 0 -1 4202560 6537 0 0 0 130 2 0 0 20 0 22 0 253419183 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139780925905208 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26969] ppid=26951 vsize=9824668 CPUtime=1.21 cores=0,2,4,6
/proc/26953/task/26969/stat : 26969 (java) S 26951 26953 26250 0 -1 4202560 10605 0 0 0 118 3 0 0 20 0 22 0 253419183 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139780924852664 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26970] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26970/stat : 26970 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419184 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139780923799800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26971] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26971/stat : 26971 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419184 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139780922747464 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26974] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26974/stat : 26974 (java) S 26951 26953 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253419244 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139779777750312 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26988] ppid=26951 vsize=9824668 CPUtime=2.49 cores=0,2,4,6
/proc/26953/task/26988/stat : 26988 (java) R 26951 26953 26250 0 -1 4202560 6 0 0 0 249 0 0 0 20 0 22 0 253419495 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139780920640472 139780935450517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26989] ppid=26951 vsize=9824668 CPUtime=2.48 cores=0,2,4,6
/proc/26953/task/26989/stat : 26989 (java) R 26951 26953 26250 0 -1 4202560 35 0 0 0 248 0 0 0 20 0 22 0 253419495 10060460032 83603 33554432000 1073741824 1073778376 140737271006304 139780921691008 139780936162444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0

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

[pid=26953/tid=27002] ppid=26951 vsize=9824668 CPUtime=51.94 cores=0,2,4,6
/proc/26953/task/27002/stat : 27002 (java) S 26951 26953 26250 0 -1 4202560 5 0 0 0 5194 0 0 0 20 0 22 0 253494170 10060460032 832796 33554432000 1073741824 1073778376 140737271006304 139780920640280 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=27003] ppid=26951 vsize=9824668 CPUtime=51.93 cores=0,2,4,6
/proc/26953/task/27003/stat : 27003 (java) S 26951 26953 26250 0 -1 4202560 13 0 0 0 5193 0 0 0 20 0 22 0 253494170 10060460032 832796 33554432000 1073741824 1073778376 140737271006304 139780921690744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=27004] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/27004/stat : 27004 (java) S 26951 26953 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253494170 10060460032 832796 33554432000 1073741824 1073778376 140737271006304 139779776697768 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1580.11
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.80 3.78 3.29 4/221 27076
/proc/meminfo: memFree=26085612/32873844 swapFree=7364/7364
[pid=26953] ppid=26951 vsize=9824668 CPUtime=1692.29 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26250 0 -1 4202496 39074 0 1 0 168991 238 0 0 20 0 22 0 253419177 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 140737270997440 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26953/statm: 2456167 813960 2288 9 0 2446860 0
[pid=26953/tid=26955] ppid=26951 vsize=9824668 CPUtime=0.69 cores=0,2,4,6
/proc/26953/task/26955/stat : 26955 (java) S 26951 26953 26250 0 -1 4202560 2550 0 1 0 65 4 0 0 20 0 22 0 253419178 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139781106684632 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26956] ppid=26951 vsize=9824668 CPUtime=2.74 cores=0,2,4,6
/proc/26953/task/26956/stat : 26956 (java) S 26951 26953 26250 0 -1 4202560 798 0 0 0 256 18 0 0 20 0 22 0 253419179 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139781068176296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26957] ppid=26951 vsize=9824668 CPUtime=2.86 cores=0,2,4,6
/proc/26953/task/26957/stat : 26957 (java) S 26951 26953 26250 0 -1 4202560 1072 0 0 0 271 15 0 0 20 0 22 0 253419179 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139781067123752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26958] ppid=26951 vsize=9824668 CPUtime=2.81 cores=0,2,4,6
/proc/26953/task/26958/stat : 26958 (java) S 26951 26953 26250 0 -1 4202560 803 0 0 0 266 15 0 0 20 0 22 0 253419179 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139781066070696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26959] ppid=26951 vsize=9824668 CPUtime=2.72 cores=0,2,4,6
/proc/26953/task/26959/stat : 26959 (java) S 26951 26953 26250 0 -1 4202560 1189 0 0 0 257 15 0 0 20 0 22 0 253419179 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139781065018152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26960] ppid=26951 vsize=9824668 CPUtime=2.74 cores=0,2,4,6
/proc/26953/task/26960/stat : 26960 (java) S 26951 26953 26250 0 -1 4202560 778 0 0 0 260 14 0 0 20 0 22 0 253419179 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139781063965096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26961] ppid=26951 vsize=9824668 CPUtime=3.35 cores=0,2,4,6
/proc/26953/task/26961/stat : 26961 (java) S 26951 26953 26250 0 -1 4202560 1347 0 0 0 314 21 0 0 20 0 22 0 253419179 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139781062912552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26962] ppid=26951 vsize=9824668 CPUtime=2.91 cores=0,2,4,6
/proc/26953/task/26962/stat : 26962 (java) S 26951 26953 26250 0 -1 4202560 1066 0 0 0 272 19 0 0 20 0 22 0 253419179 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139781061859496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26963] ppid=26951 vsize=9824668 CPUtime=2.62 cores=0,2,4,6
/proc/26953/task/26963/stat : 26963 (java) S 26951 26953 26250 0 -1 4202560 860 0 0 0 248 14 0 0 20 0 22 0 253419179 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139781060806952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26964] ppid=26951 vsize=9824668 CPUtime=80.08 cores=0,2,4,6
/proc/26953/task/26964/stat : 26964 (java) R 26951 26953 26250 0 -1 4202560 3331 0 0 0 7989 19 0 0 20 0 22 0 253419180 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139780930115304 139781113539840 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26965] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26965/stat : 26965 (java) S 26951 26953 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253419181 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139780929062776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26966] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26966/stat : 26966 (java) S 26951 26953 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253419181 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139780928009608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26967] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26967/stat : 26967 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419183 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139780926958352 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26968] ppid=26951 vsize=9824668 CPUtime=2 cores=0,2,4,6
/proc/26953/task/26968/stat : 26968 (java) S 26951 26953 26250 0 -1 4202560 9907 0 0 0 198 2 0 0 20 0 22 0 253419183 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139780925905208 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26969] ppid=26951 vsize=9824668 CPUtime=1.65 cores=0,2,4,6
/proc/26953/task/26969/stat : 26969 (java) S 26951 26953 26250 0 -1 4202560 12536 0 0 0 162 3 0 0 20 0 22 0 253419183 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139780924852664 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26970] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26970/stat : 26970 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419184 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139780923799800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26971] ppid=26951 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/26953/task/26971/stat : 26971 (java) S 26951 26953 26250 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 253419184 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139780922747464 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26974] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26974/stat : 26974 (java) S 26951 26953 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253419244 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139779777750312 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=27002] ppid=26951 vsize=9824668 CPUtime=103.29 cores=0,2,4,6
/proc/26953/task/27002/stat : 27002 (java) S 26951 26953 26250 0 -1 4202560 6 0 0 0 10328 1 0 0 20 0 22 0 253494170 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139780920640280 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=27003] ppid=26951 vsize=9824668 CPUtime=103.27 cores=0,2,4,6
/proc/26953/task/27003/stat : 27003 (java) S 26951 26953 26250 0 -1 4202560 17 0 0 0 10326 1 0 0 20 0 22 0 253494170 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139780921690744 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=27004] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/27004/stat : 27004 (java) S 26951 26953 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253494170 10060460032 813960 33554432000 1073741824 1073778376 140737271006304 139779776697768 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1692.29
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+938.307 s]
/proc/loadavg: 3.82 3.78 3.32 5/221 27076
/proc/meminfo: memFree=25881248/32873844 swapFree=7364/7364
[pid=26953] ppid=26951 vsize=9824668 CPUtime=1800.16 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26250 0 -1 4202496 39216 0 1 0 179776 240 0 0 20 0 22 0 253419177 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 140737270997440 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26953/statm: 2456167 813818 2288 9 0 2446860 0
[pid=26953/tid=26955] ppid=26951 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/26953/task/26955/stat : 26955 (java) S 26951 26953 26250 0 -1 4202560 2552 0 1 0 65 5 0 0 20 0 22 0 253419178 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781106684920 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26956] ppid=26951 vsize=9824668 CPUtime=2.9 cores=0,2,4,6
/proc/26953/task/26956/stat : 26956 (java) S 26951 26953 26250 0 -1 4202560 804 0 0 0 272 18 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781068176296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26957] ppid=26951 vsize=9824668 CPUtime=2.96 cores=0,2,4,6
/proc/26953/task/26957/stat : 26957 (java) S 26951 26953 26250 0 -1 4202560 1079 0 0 0 281 15 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781067123752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26958] ppid=26951 vsize=9824668 CPUtime=2.96 cores=0,2,4,6
/proc/26953/task/26958/stat : 26958 (java) S 26951 26953 26250 0 -1 4202560 803 0 0 0 281 15 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781066070696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26959] ppid=26951 vsize=9824668 CPUtime=2.82 cores=0,2,4,6
/proc/26953/task/26959/stat : 26959 (java) S 26951 26953 26250 0 -1 4202560 1189 0 0 0 267 15 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781065018152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26960] ppid=26951 vsize=9824668 CPUtime=2.87 cores=0,2,4,6
/proc/26953/task/26960/stat : 26960 (java) S 26951 26953 26250 0 -1 4202560 817 0 0 0 273 14 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781063965096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26961] ppid=26951 vsize=9824668 CPUtime=3.56 cores=0,2,4,6
/proc/26953/task/26961/stat : 26961 (java) S 26951 26953 26250 0 -1 4202560 1347 0 0 0 335 21 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781062912552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26962] ppid=26951 vsize=9824668 CPUtime=3.09 cores=0,2,4,6
/proc/26953/task/26962/stat : 26962 (java) S 26951 26953 26250 0 -1 4202560 1066 0 0 0 290 19 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781061859496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26963] ppid=26951 vsize=9824668 CPUtime=2.74 cores=0,2,4,6
/proc/26953/task/26963/stat : 26963 (java) S 26951 26953 26250 0 -1 4202560 884 0 0 0 260 14 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781060806952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26964] ppid=26951 vsize=9824668 CPUtime=84.77 cores=0,2,4,6
/proc/26953/task/26964/stat : 26964 (java) S 26951 26953 26250 0 -1 4202560 3388 0 0 0 8458 19 0 0 20 0 22 0 253419180 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780930116456 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26965] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26965/stat : 26965 (java) S 26951 26953 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253419181 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780929062776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26966] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26966/stat : 26966 (java) S 26951 26953 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253419181 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780928009608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26967] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26967/stat : 26967 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419183 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780926958352 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26968] ppid=26951 vsize=9824668 CPUtime=2 cores=0,2,4,6
/proc/26953/task/26968/stat : 26968 (java) S 26951 26953 26250 0 -1 4202560 9907 0 0 0 198 2 0 0 20 0 22 0 253419183 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780925905208 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26969] ppid=26951 vsize=9824668 CPUtime=1.65 cores=0,2,4,6
/proc/26953/task/26969/stat : 26969 (java) S 26951 26953 26250 0 -1 4202560 12536 0 0 0 162 3 0 0 20 0 22 0 253419183 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780924852664 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26970] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26970/stat : 26970 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419184 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780923799800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26971] ppid=26951 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/26953/task/26971/stat : 26971 (java) S 26951 26953 26250 0 -1 4202560 53 0 0 0 17 18 0 0 20 0 22 0 253419184 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780922747464 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26974] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26974/stat : 26974 (java) S 26951 26953 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253419244 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139779777750312 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=27002] ppid=26951 vsize=9824668 CPUtime=154.31 cores=0,2,4,6
/proc/26953/task/27002/stat : 27002 (java) R 26951 26953 26250 0 -1 4202560 7 0 0 0 15429 2 0 0 20 0 22 0 253494170 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780920639536 139780936302045 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=27003] ppid=26951 vsize=9824668 CPUtime=154.28 cores=0,2,4,6
/proc/26953/task/27003/stat : 27003 (java) R 26951 26953 26250 0 -1 4202560 21 0 0 0 15426 2 0 0 20 0 22 0 253494170 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780921690944 139780936162444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=27004] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/27004/stat : 27004 (java) S 26951 26953 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253494170 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139779776697768 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824668

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

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

[startup+938.307 s]
/proc/loadavg: 3.82 3.78 3.32 5/221 27076
/proc/meminfo: memFree=25881248/32873844 swapFree=7364/7364
[pid=26953] ppid=26951 vsize=9824668 CPUtime=1800.16 cores=0,2,4,6
/proc/26953/stat : 26953 (java) S 26951 26953 26250 0 -1 4202496 39216 0 1 0 179776 240 0 0 20 0 22 0 253419177 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 140737270997440 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/26953/statm: 2456167 813818 2288 9 0 2446860 0
[pid=26953/tid=26955] ppid=26951 vsize=9824668 CPUtime=0.7 cores=0,2,4,6
/proc/26953/task/26955/stat : 26955 (java) S 26951 26953 26250 0 -1 4202560 2552 0 1 0 65 5 0 0 20 0 22 0 253419178 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781106684920 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26956] ppid=26951 vsize=9824668 CPUtime=2.9 cores=0,2,4,6
/proc/26953/task/26956/stat : 26956 (java) S 26951 26953 26250 0 -1 4202560 804 0 0 0 272 18 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781068176296 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26957] ppid=26951 vsize=9824668 CPUtime=2.96 cores=0,2,4,6
/proc/26953/task/26957/stat : 26957 (java) S 26951 26953 26250 0 -1 4202560 1079 0 0 0 281 15 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781067123752 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26958] ppid=26951 vsize=9824668 CPUtime=2.96 cores=0,2,4,6
/proc/26953/task/26958/stat : 26958 (java) S 26951 26953 26250 0 -1 4202560 803 0 0 0 281 15 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781066070696 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26959] ppid=26951 vsize=9824668 CPUtime=2.82 cores=0,2,4,6
/proc/26953/task/26959/stat : 26959 (java) S 26951 26953 26250 0 -1 4202560 1189 0 0 0 267 15 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781065018152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26960] ppid=26951 vsize=9824668 CPUtime=2.87 cores=0,2,4,6
/proc/26953/task/26960/stat : 26960 (java) S 26951 26953 26250 0 -1 4202560 817 0 0 0 273 14 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781063965096 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26961] ppid=26951 vsize=9824668 CPUtime=3.56 cores=0,2,4,6
/proc/26953/task/26961/stat : 26961 (java) S 26951 26953 26250 0 -1 4202560 1347 0 0 0 335 21 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781062912552 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26962] ppid=26951 vsize=9824668 CPUtime=3.09 cores=0,2,4,6
/proc/26953/task/26962/stat : 26962 (java) S 26951 26953 26250 0 -1 4202560 1066 0 0 0 290 19 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781061859496 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26963] ppid=26951 vsize=9824668 CPUtime=2.74 cores=0,2,4,6
/proc/26953/task/26963/stat : 26963 (java) S 26951 26953 26250 0 -1 4202560 884 0 0 0 260 14 0 0 20 0 22 0 253419179 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139781060806952 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26964] ppid=26951 vsize=9824668 CPUtime=84.77 cores=0,2,4,6
/proc/26953/task/26964/stat : 26964 (java) S 26951 26953 26250 0 -1 4202560 3388 0 0 0 8458 19 0 0 20 0 22 0 253419180 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780930116456 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26965] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26965/stat : 26965 (java) S 26951 26953 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253419181 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780929062776 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26966] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26966/stat : 26966 (java) S 26951 26953 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253419181 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780928009608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26967] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26967/stat : 26967 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419183 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780926958352 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=26968] ppid=26951 vsize=9824668 CPUtime=2 cores=0,2,4,6
/proc/26953/task/26968/stat : 26968 (java) S 26951 26953 26250 0 -1 4202560 9907 0 0 0 198 2 0 0 20 0 22 0 253419183 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780925905208 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26953/tid=26969] ppid=26951 vsize=9824668 CPUtime=1.65 cores=0,2,4,6
/proc/26953/task/26969/stat : 26969 (java) S 26951 26953 26250 0 -1 4202560 12536 0 0 0 162 3 0 0 20 0 22 0 253419183 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780924852664 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26970] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26970/stat : 26970 (java) S 26951 26953 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253419184 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780923799800 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=26971] ppid=26951 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/26953/task/26971/stat : 26971 (java) S 26951 26953 26250 0 -1 4202560 53 0 0 0 17 18 0 0 20 0 22 0 253419184 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780922747464 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=26974] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/26974/stat : 26974 (java) S 26951 26953 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253419244 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139779777750312 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26953/tid=27002] ppid=26951 vsize=9824668 CPUtime=154.31 cores=0,2,4,6
/proc/26953/task/27002/stat : 27002 (java) R 26951 26953 26250 0 -1 4202560 7 0 0 0 15429 2 0 0 20 0 22 0 253494170 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780920639536 139780936302045 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26953/tid=27003] ppid=26951 vsize=9824668 CPUtime=154.28 cores=0,2,4,6
/proc/26953/task/27003/stat : 27003 (java) R 26951 26953 26250 0 -1 4202560 21 0 0 0 15426 2 0 0 20 0 22 0 253494170 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139780921690944 139780936162444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26953/tid=27004] ppid=26951 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26953/task/27004/stat : 27004 (java) S 26951 26953 26250 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253494170 10060460032 813818 33554432000 1073741824 1073778376 140737271006304 139779776697768 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824668

Child status: 143
Real time (s): 938.362
CPU time (s): 1800.57
CPU user time (s): 1797.91
CPU system time (s): 2.66259
CPU usage (%): 191.885
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.91
system time used= 2.6626
maximum resident set size= 3425396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39248
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27478
involuntary context switches= 42660

runsolver used 3.47147 second user time and 8.37373 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-24 17:22:24
IDJOB=3687654
IDBENCH=2006
IDSOLVER=2268
FILE ID=node133/3687654-1337872944
RUNJOBID= node133-1337871880-26266
PBS_JOBID= 14620071
Free space on /tmp= 71608 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3687654-1337872944/watcher-3687654-1337872944 -o /tmp/evaluation-result-3687654-1337872944/solver-3687654-1337872944 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3687654-1337872944.opb

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

MD5SUM BENCH= d431323968e1ca4dc95d181076d01437
RANDOM SEED=2137734220

node133.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.540
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28432984 kB
Buffers:          209240 kB
Cached:          2391764 kB
SwapCached:            0 kB
Active:          1501692 kB
Inactive:        2164520 kB
Active(anon):    1067964 kB
Inactive(anon):        0 kB
Active(file):     433728 kB
Inactive(file):  2164520 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1188 kB
Writeback:            16 kB
AnonPages:       1078460 kB
Mapped:            22600 kB
Shmem:               212 kB
Slab:             628744 kB
SReclaimable:      70936 kB
SUnreclaim:       557808 kB
KernelStack:        1632 kB
PageTables:         6456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1678896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1009664 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node133 at 2012-05-24 17:38:04