Trace number 3688718

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)-13 1800.1 912.937

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_1.opb
MD5SUM26861ca996cf8fd2abe5c211e1f47a26
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark214.256
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1220
Sum of products size (including duplicates)2440
Number of different products610
Sum of products size1220

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3688718-1337879445.opb
0.08/0.13	c reading problem ... 
0.20/0.27	c ... done. Wall clock time 0.14s.
0.20/0.27	c declared #vars     100
0.20/0.27	c internal #vars     710
0.20/0.27	c #constraints  1372
0.20/0.27	c constraints type 
0.20/0.27	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 610
0.20/0.27	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
0.20/0.27	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50
0.20/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 610
0.20/0.27	c 1372 constraints processed.
0.20/0.27	c constraints type 
0.20/0.27	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 50
0.20/0.27	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 610
0.20/0.27	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102
0.20/0.27	c org.sat4j.pb.constraints.pb.MaxWatchPb => 610
0.20/0.27	c 1372 constraints processed.
0.20/0.27	c objective function length is 50 literals
0.46/0.38	c  And the winner is solver0
0.90/0.77	c SATISFIABLE
0.90/0.77	c OPTIMIZING...
0.90/0.77	c Got one! Elapsed wall clock time (in seconds):0.643
0.90/0.77	o -7
0.90/0.78	c  And the winner is solver0
0.96/1.27	c Got one! Elapsed wall clock time (in seconds):1.145
0.96/1.27	o -9
1.04/1.34	c  And the winner is solver0
1.26/1.77	c Got one! Elapsed wall clock time (in seconds):1.646
1.26/1.77	o -10
2.93/2.25	c cleaning 2961 clauses out of 5925 with flag 5000/5925
4.00/2.55	c cleaning 4481 clauses out of 8966 with flag 11002/11927
4.93/2.85	c  And the winner is solver1
5.08/3.28	c Got one! Elapsed wall clock time (in seconds):3.156
5.08/3.28	o -11
5.51/3.53	c cleaning 7579 clauses out of 15158 with flag 5000/22600
6.23/3.84	c cleaning 6788 clauses out of 13579 with flag 11000/28600
6.81/4.17	c cleaning 6894 clauses out of 13791 with flag 18000/35600
7.59/4.55	c cleaning 7448 clauses out of 14897 with flag 26000/43600
8.54/5.01	c cleaning 8223 clauses out of 16450 with flag 35001/52601
9.52/5.51	c cleaning 9101 clauses out of 18226 with flag 45000/62600
10.44/6.09	c cleaning 10064 clauses out of 20127 with flag 56002/73602
11.78/6.74	c cleaning 11027 clauses out of 22064 with flag 68003/85603
13.13/7.45	c cleaning 12012 clauses out of 24034 with flag 81000/98600
13.69/7.79	c  And the winner is solver1
13.85/7.80	c Got one! Elapsed wall clock time (in seconds):7.674
13.85/7.80	o -12
14.44/8.13	c cleaning 11526 clauses out of 23053 with flag 5000/109631
14.96/8.49	c cleaning 8752 clauses out of 17527 with flag 11000/115631
15.72/8.87	c cleaning 7880 clauses out of 15775 with flag 18000/122631
16.44/9.26	c cleaning 7947 clauses out of 15895 with flag 26000/130631
17.38/9.73	c cleaning 8468 clauses out of 16948 with flag 35000/139631
18.29/10.24	c cleaning 9241 clauses out of 18481 with flag 45001/149632
19.42/10.84	c cleaning 10119 clauses out of 20239 with flag 56000/160631
20.54/11.45	c cleaning 11055 clauses out of 22120 with flag 68000/172631
21.88/12.16	c cleaning 12030 clauses out of 24065 with flag 81000/185631
23.37/12.96	c cleaning 13009 clauses out of 26036 with flag 95001/199632
25.09/13.85	c cleaning 14011 clauses out of 28026 with flag 110000/214631
27.03/14.83	c cleaning 15004 clauses out of 30017 with flag 126002/230633
29.15/15.95	c cleaning 15991 clauses out of 32011 with flag 143000/247631
31.67/17.24	c cleaning 16999 clauses out of 34020 with flag 161000/265631
34.19/18.57	c cleaning 18004 clauses out of 36022 with flag 180001/284632
37.10/20.01	c cleaning 19006 clauses out of 38017 with flag 200000/304631
40.00/21.54	c cleaning 20004 clauses out of 40012 with flag 221001/325632
43.09/23.14	c cleaning 21004 clauses out of 42007 with flag 243000/347631
46.81/25.00	c cleaning 21995 clauses out of 44004 with flag 266001/370632
50.34/26.86	c cleaning 23004 clauses out of 46009 with flag 290001/394632
54.04/28.75	c cleaning 23997 clauses out of 48004 with flag 315000/419631
58.08/30.81	c cleaning 25001 clauses out of 50008 with flag 341001/445632
62.37/33.07	c cleaning 25995 clauses out of 52006 with flag 368000/472631
66.83/35.34	c cleaning 27003 clauses out of 54012 with flag 396001/500632
72.11/38.06	c cleaning 27996 clauses out of 56008 with flag 425000/529631
77.71/40.91	c cleaning 28991 clauses out of 58012 with flag 455000/559631
83.38/43.80	c cleaning 30001 clauses out of 60021 with flag 486000/590631
89.05/46.77	c cleaning 30998 clauses out of 62020 with flag 518000/622631
90.52/47.54	c  And the winner is solver1
90.52/47.57	c Got one! Elapsed wall clock time (in seconds):47.445
90.52/47.57	o -13
91.32/48.06	c cleaning 22343 clauses out of 44699 with flag 5000/636308
92.32/48.64	c cleaning 14176 clauses out of 28356 with flag 11000/642308
93.17/49.13	c cleaning 10574 clauses out of 21181 with flag 18001/649309
94.03/49.64	c cleaning 9296 clauses out of 18606 with flag 26000/657308
94.89/50.16	c cleaning 9149 clauses out of 18315 with flag 35005/666313
96.09/50.80	c cleaning 9582 clauses out of 19165 with flag 45004/676312
96.94/51.39	c cleaning 10283 clauses out of 20579 with flag 56000/687308
98.21/52.00	c cleaning 11144 clauses out of 22298 with flag 68002/699310
99.27/52.69	c cleaning 12061 clauses out of 24152 with flag 81000/712308
101.04/53.60	c cleaning 13036 clauses out of 26093 with flag 95002/726310
102.69/54.52	c cleaning 14028 clauses out of 28056 with flag 110001/741309
104.34/55.49	c cleaning 15012 clauses out of 30028 with flag 126001/757309
106.60/56.60	c cleaning 16002 clauses out of 32018 with flag 143003/774311
108.58/57.78	c cleaning 16998 clauses out of 34014 with flag 161001/792309
110.82/58.99	c cleaning 18003 clauses out of 36015 with flag 180000/811308
113.27/60.30	c cleaning 19005 clauses out of 38012 with flag 200000/831308
116.13/61.79	c cleaning 19988 clauses out of 40008 with flag 221001/852309
119.30/63.42	c cleaning 21002 clauses out of 42020 with flag 243001/874309
122.36/65.04	c cleaning 22008 clauses out of 44018 with flag 266001/897309
125.61/66.79	c cleaning 22999 clauses out of 46009 with flag 290000/921308
129.47/68.76	c cleaning 23989 clauses out of 48010 with flag 315000/946308
133.63/70.94	c cleaning 25002 clauses out of 50022 with flag 341001/972309
138.07/73.22	c cleaning 25995 clauses out of 52022 with flag 368003/999311
142.31/75.41	c cleaning 27007 clauses out of 54025 with flag 396001/1027309
146.76/77.77	c cleaning 27999 clauses out of 56017 with flag 425000/1056308
151.88/80.47	c cleaning 29009 clauses out of 58021 with flag 455003/1086311
156.92/83.06	c cleaning 29999 clauses out of 60009 with flag 486000/1117308
157.56/83.44	c cleaning 0 clauses out of 6493 with flag 0/6495
163.54/86.25	c cleaning 31004 clauses out of 62011 with flag 518001/1149309
169.88/89.51	c cleaning 31995 clauses out of 64006 with flag 551000/1182308
175.35/92.39	c cleaning 32998 clauses out of 66011 with flag 585000/1216308
181.79/95.62	c cleaning 33999 clauses out of 68013 with flag 620000/1251308
188.43/99.01	c cleaning 35008 clauses out of 70015 with flag 656001/1287309
195.34/102.69	c cleaning 36003 clauses out of 72006 with flag 693000/1324308
202.58/106.37	c cleaning 36989 clauses out of 74003 with flag 731000/1362308
209.00/109.66	c cleaning 38006 clauses out of 76015 with flag 770001/1401309
216.83/113.65	c cleaning 38996 clauses out of 78008 with flag 810000/1441308
224.96/117.81	c cleaning 40007 clauses out of 80014 with flag 851002/1482310
233.57/122.27	c cleaning 40994 clauses out of 82005 with flag 893000/1524308
243.17/127.18	c cleaning 41999 clauses out of 84011 with flag 936000/1567308
251.77/131.54	c cleaning 42989 clauses out of 86012 with flag 980000/1611308
260.66/136.11	c cleaning 44009 clauses out of 88023 with flag 1025000/1656308
270.63/141.28	c cleaning 44997 clauses out of 90014 with flag 1071000/1702308
281.24/146.62	c cleaning 46005 clauses out of 92017 with flag 1118000/1749308
291.83/152.08	c cleaning 46998 clauses out of 94012 with flag 1166000/1797308
304.89/158.73	c cleaning 47992 clauses out of 96014 with flag 1215000/1846308
316.47/164.67	c cleaning 49006 clauses out of 98023 with flag 1265001/1896309
329.24/171.17	c cleaning 50005 clauses out of 100018 with flag 1316002/1947310
340.82/177.02	c cleaning 50999 clauses out of 102014 with flag 1368003/1999311
353.24/183.46	c cleaning 51997 clauses out of 104012 with flag 1421000/2052308
365.82/189.80	c cleaning 53009 clauses out of 106019 with flag 1475004/2106312
377.97/196.01	c cleaning 53999 clauses out of 108009 with flag 1530003/2161311
391.56/202.97	c cleaning 54994 clauses out of 110009 with flag 1586002/2217310
405.23/209.98	c cleaning 56004 clauses out of 112014 with flag 1643001/2274309
420.03/217.40	c cleaning 56998 clauses out of 114010 with flag 1701001/2332309
436.03/225.52	c cleaning 57997 clauses out of 116011 with flag 1760000/2391308
452.40/233.85	c cleaning 59002 clauses out of 118016 with flag 1820002/2451310
469.24/242.43	c cleaning 60004 clauses out of 120012 with flag 1881000/2512308
486.03/250.92	c cleaning 60990 clauses out of 122008 with flag 1943000/2574308
502.40/259.23	c cleaning 62000 clauses out of 124018 with flag 2006000/2637308
521.17/268.79	c cleaning 62993 clauses out of 126018 with flag 2070000/2701308
537.64/277.14	c cleaning 64006 clauses out of 128029 with flag 2135004/2766312
557.08/286.95	c cleaning 65008 clauses out of 130022 with flag 2201003/2832311
575.11/296.07	c cleaning 66000 clauses out of 132014 with flag 2268003/2899311
597.81/307.47	c cleaning 66989 clauses out of 134012 with flag 2336001/2967309
620.10/318.76	c cleaning 67993 clauses out of 136022 with flag 2405000/3036308
641.32/329.42	c cleaning 69004 clauses out of 138031 with flag 2475002/3106310
660.77/339.28	c cleaning 70002 clauses out of 140027 with flag 2546002/3177310
682.03/349.90	c cleaning 71003 clauses out of 142025 with flag 2618002/3249310
705.54/361.86	c cleaning 72003 clauses out of 144020 with flag 2691000/3322308
729.36/373.84	c cleaning 72998 clauses out of 146017 with flag 2765000/3396308
750.82/384.66	c cleaning 73999 clauses out of 148020 with flag 2840001/3471309
774.44/396.53	c cleaning 75005 clauses out of 150022 with flag 2916002/3547310
802.12/410.56	c cleaning 76002 clauses out of 152017 with flag 2993002/3624310
825.60/422.40	c cleaning 77003 clauses out of 154014 with flag 3071001/3702309
849.84/434.60	c cleaning 77999 clauses out of 156010 with flag 3150000/3781308
873.89/446.65	c cleaning 78997 clauses out of 158012 with flag 3230001/3861309
900.97/460.38	c cleaning 79995 clauses out of 160014 with flag 3311000/3942308
930.66/475.21	c cleaning 81000 clauses out of 162019 with flag 3393000/4024308
961.93/490.92	c cleaning 81997 clauses out of 164021 with flag 3476002/4107310
969.64/494.99	c cleaning 0 clauses out of 12495 with flag 0/12497
986.63/503.63	c cleaning 83000 clauses out of 166022 with flag 3560000/4191308
1016.69/518.77	c cleaning 84004 clauses out of 168023 with flag 3645001/4276309
1044.30/532.68	c cleaning 85003 clauses out of 170018 with flag 3731000/4362308
1071.54/546.30	c cleaning 85999 clauses out of 172015 with flag 3818000/4449308
1103.96/562.75	c cleaning 86994 clauses out of 174017 with flag 3906001/4537309
1131.60/576.68	c cleaning 88003 clauses out of 176022 with flag 3995000/4626308
1165.11/593.46	c cleaning 88988 clauses out of 178020 with flag 4085001/4716309
1202.38/612.15	c cleaning 89992 clauses out of 180032 with flag 4176001/4807309
1230.61/626.40	c cleaning 90999 clauses out of 182040 with flag 4268001/4899309
1260.05/641.27	c cleaning 92009 clauses out of 184040 with flag 4361000/4992308
1292.93/657.75	c cleaning 92993 clauses out of 186031 with flag 4455000/5086308
1328.38/675.57	c cleaning 94010 clauses out of 188040 with flag 4550002/5181310
1358.01/690.59	c cleaning 95008 clauses out of 190031 with flag 4646003/5277311
1398.82/711.02	c cleaning 95994 clauses out of 192020 with flag 4743000/5374308
1433.31/728.39	c cleaning 97007 clauses out of 194026 with flag 4841000/5472308
1470.38/746.94	c cleaning 97993 clauses out of 196019 with flag 4940000/5571308
1509.32/766.67	c cleaning 98998 clauses out of 198028 with flag 5040002/5671310
1549.22/786.63	c cleaning 99989 clauses out of 200030 with flag 5141002/5772310
1587.47/805.81	c cleaning 101004 clauses out of 202044 with flag 5243005/5874313
1625.93/825.11	c cleaning 102000 clauses out of 204036 with flag 5346001/5977309
1665.56/845.13	c cleaning 103007 clauses out of 206035 with flag 5450000/6081308
1706.82/865.83	c cleaning 103999 clauses out of 208028 with flag 5555000/6186308
1752.52/888.80	c cleaning 105003 clauses out of 210029 with flag 5661000/6292308
1787.54/906.32	c cleaning 106011 clauses out of 212026 with flag 5768000/6399308
1800.09/912.92	c starts		: 50
1800.09/912.92	c conflicts		: 16526
1800.09/912.92	c decisions		: 30463
1800.09/912.92	c propagations		: 820373
1800.09/912.92	c inspects		: 640745784
1800.09/912.92	c shortcuts		: 0
1800.09/912.92	c learnt literals	: 0
1800.09/912.92	c learnt binary clauses	: 0
1800.09/912.92	c learnt ternary clauses	: 0
1800.09/912.92	c learnt constraints	: 16524
1800.09/912.92	c ignored constraints	: 0
1800.09/912.92	c root simplifications	: 0
1800.09/912.92	c removed literals (reason simplification)	: 0
1800.09/912.92	c reason swapping (by a shorter reason)	: 0
1800.09/912.92	c Calls to reduceDB	: 2
1800.09/912.92	c number of reductions to clauses (during analyze)	: 0
1800.09/912.92	c number of learned constraints concerned by reduction	: 0
1800.09/912.92	c number of learning phase by resolution	: 0
1800.09/912.92	c number of learning phase by cutting planes	: 0
1800.09/912.92	c speed (assignments/second)	: 900.3818297756983
1800.09/912.92	c non guided choices	0
1800.09/912.93	c learnt constraints type 
1800.09/912.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
1800.09/912.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 16522
1800.09/912.93	c constraints type 
1800.09/912.93	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 610
1800.09/912.93	c org.sat4j.minisat.constraints.card.MinWatchCard => 103
1800.09/912.93	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50
1800.09/912.93	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 610
1800.09/912.93	c 1373 constraints processed.
1800.09/912.93	c constraints type 
1800.09/912.93	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 50
1800.09/912.93	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 610
1800.09/912.93	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 103
1800.09/912.93	c org.sat4j.pb.constraints.pb.MaxWatchPb => 610
1800.09/912.93	c 1373 constraints processed.
1800.09/912.93	s SATISFIABLE
1800.09/912.93	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 
1800.09/912.93	c objective function=-13
1800.09/912.93	c Total wall clock time (in seconds): 912.8

Verifier Data 

OK	-13

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-3688718-1337879445/watcher-3688718-1337879445 -o /tmp/evaluation-result-3688718-1337879445/solver-3688718-1337879445 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688718-1337879445.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.85 3.92 3.85 4/198 22995
/proc/meminfo: memFree=26251248/32873844 swapFree=6868/6868
[pid=22995] ppid=22993 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22995/stat : 22995 (java) D 22993 22995 20082 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 254011512 9515008 176 33554432000 1073741824 1073778376 140734732068032 140734732050760 209097409424 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22995/statm: 2323 176 133 9 0 71 0

[startup+0.0114619 s]
/proc/loadavg: 3.85 3.92 3.85 4/198 22995
/proc/meminfo: memFree=26251248/32873844 swapFree=6868/6868
[pid=22995] ppid=22993 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/22995/stat : 22995 (java) S 22993 22995 20082 0 -1 4202496 1146 0 0 0 0 0 0 0 20 0 2 0 254011512 24780800 866 33554432000 1073741824 1073778376 140737014399136 140737014390272 209100767293 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22995/statm: 38818 869 657 9 0 33153 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 24200

[startup+0.100225 s]
/proc/loadavg: 3.85 3.92 3.85 4/198 22995
/proc/meminfo: memFree=26251248/32873844 swapFree=6868/6868
[pid=22995] ppid=22993 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/22995/stat : 22995 (java) S 22993 22995 20082 0 -1 4202496 4210 0 1 0 7 1 0 0 20 0 18 0 254011512 9787813888 4897 33554432000 1073741824 1073778376 140737014399136 140737014390272 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22995/statm: 2389603 4898 2079 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300191 s]
/proc/loadavg: 3.85 3.92 3.85 4/198 22995
/proc/meminfo: memFree=26251248/32873844 swapFree=6868/6868
[pid=22995] ppid=22993 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/22995/stat : 22995 (java) S 22993 22995 20082 0 -1 4202496 6031 0 1 0 44 2 0 0 20 0 22 0 254011512 10060460032 9200 33554432000 1073741824 1073778376 140737014399136 140737014390272 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22995/statm: 2456167 9200 2223 9 0 2446860 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9824668

[startup+0.700209 s]
/proc/loadavg: 3.85 3.92 3.85 4/198 22995
/proc/meminfo: memFree=26251248/32873844 swapFree=6868/6868
[pid=22995] ppid=22993 vsize=9824668 CPUtime=0.9 cores=1,3,5,7
/proc/22995/stat : 22995 (java) S 22993 22995 20082 0 -1 4202496 9631 0 1 0 85 5 0 0 20 0 19 0 254011512 10060460032 11635 33554432000 1073741824 1073778376 140737014399136 140737014390272 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22995/statm: 2456167 11635 2236 9 0 2446860 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 9824668

[startup+1.50077 s]
/proc/loadavg: 3.85 3.92 3.85 3/217 23020
/proc/meminfo: memFree=26208804/32873844 swapFree=6868/6868
[pid=22995] ppid=22993 vsize=9824668 CPUtime=1.26 cores=1,3,5,7
/proc/22995/stat : 22995 (java) S 22993 22995 20082 0 -1 4202496 9693 0 1 0 118 8 0 0 20 0 19 0 254011512 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 140737014390272 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22995/statm: 2456167 14237 2241 9 0 2446860 0
[pid=22995/tid=22997] ppid=22993 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/22995/task/22997/stat : 22997 (java) S 22993 22995 20082 0 -1 4202560 2514 0 1 0 23 1 0 0 20 0 19 0 254011513 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999895200760 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=22998] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/22998/stat : 22998 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999833930408 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=22999] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/22999/stat : 22999 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999832877864 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23000] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23000/stat : 23000 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999831825320 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23001] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23001/stat : 23001 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999830772776 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23002] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23002/stat : 23002 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999829719208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23003] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23003/stat : 23003 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999733037352 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23004] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23004/stat : 23004 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999731984808 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23005] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23005/stat : 23005 (java) S 22993 22995 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999730932264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23006] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23006/stat : 23006 (java) S 22993 22995 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254011516 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999718734440 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23007] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23007/stat : 23007 (java) S 22993 22995 20082 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254011516 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999717680760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23008] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23008/stat : 23008 (java) S 22993 22995 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254011516 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999716628104 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23009] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23009/stat : 23009 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254011519 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999715576848 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23010] ppid=22993 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/22995/task/23010/stat : 23010 (java) S 22993 22995 20082 0 -1 4202560 2805 0 0 0 28 0 0 0 20 0 19 0 254011519 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999714523192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23011] ppid=22993 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/22995/task/23011/stat : 23011 (java) S 22993 22995 20082 0 -1 4202560 3055 0 0 0 29 2 0 0 20 0 19 0 254011519 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999713470648 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23012] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23012/stat : 23012 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254011519 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999712418296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23013] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23013/stat : 23013 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254011519 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999711365960 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23017] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23017/stat : 23017 (java) S 22993 22995 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254011540 10060460032 14237 33554432000 1073741824 1073778376 140737014399136 139999707154088 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9824668

[startup+3.10067 s]
/proc/loadavg: 3.85 3.92 3.85 7/220 23026
/proc/meminfo: memFree=26116900/32873844 swapFree=6868/6868
[pid=22995] ppid=22993 vsize=9824668 CPUtime=5.08 cores=1,3,5,7
/proc/22995/stat : 22995 (java) S 22993 22995 20082 0 -1 4202496 18812 0 1 0 493 15 0 0 20 0 19 0 254011512 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 140737014390272 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22995/statm: 2456167 50760 2278 9 0 2446860 0
[pid=22995/tid=22997] ppid=22993 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/22995/task/22997/stat : 22997 (java) S 22993 22995 20082 0 -1 4202560 2514 0 1 0 23 1 0 0 20 0 19 0 254011513 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999895200760 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=22998] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/22998/stat : 22998 (java) S 22993 22995 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999833930408 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=22999] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/22999/stat : 22999 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999832877864 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23000] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23000/stat : 23000 (java) S 22993 22995 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999831825320 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23001] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23001/stat : 23001 (java) S 22993 22995 20082 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999830772776 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23002] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23002/stat : 23002 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999829719208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23003] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23003/stat : 23003 (java) S 22993 22995 20082 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999733037352 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23004] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23004/stat : 23004 (java) S 22993 22995 20082 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999731984808 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23005] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23005/stat : 23005 (java) S 22993 22995 20082 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254011515 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999730932264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23006] ppid=22993 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/22995/task/23006/stat : 23006 (java) S 22993 22995 20082 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 19 0 254011516 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999718734440 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23007] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23007/stat : 23007 (java) S 22993 22995 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254011516 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999717680760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23008] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23008/stat : 23008 (java) S 22993 22995 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254011516 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999716628104 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23009] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23009/stat : 23009 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254011519 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999715576848 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23010] ppid=22993 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/22995/task/23010/stat : 23010 (java) S 22993 22995 20082 0 -1 4202560 6282 0 0 0 107 2 0 0 20 0 19 0 254011519 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999714523192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23011] ppid=22993 vsize=9824668 CPUtime=1.22 cores=1,3,5,7
/proc/22995/task/23011/stat : 23011 (java) S 22993 22995 20082 0 -1 4202560 8564 0 0 0 120 2 0 0 20 0 19 0 254011519 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999713470648 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23012] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23012/stat : 23012 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254011519 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999712418296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23013] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23013/stat : 23013 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254011519 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999711365960 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23026] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23026/stat : 23026 (java) S 22993 22995 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254011691 10060460032 50760 33554432000 1073741824 1073778376 140737014399136 139999709258536 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 9824668

[startup+6.30093 s]
/proc/loadavg: 4.02 3.95 3.86 5/220 23029
/proc/meminfo: memFree=26010712/32873844 swapFree=6868/6868
[pid=22995] ppid=22993 vsize=9824668 CPUtime=10.98 cores=1,3,5,7
/proc/22995/stat : 22995 (java) S 22993 22995 20082 0 -1 4202496 18999 0 1 0 1080 18 0 0 20 0 22 0 254011512 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 140737014390272 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22995/statm: 2456167 69587 2279 9 0 2446860 0
[pid=22995/tid=22997] ppid=22993 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/22995/task/22997/stat : 22997 (java) S 22993 22995 20082 0 -1 4202560 2514 0 1 0 23 1 0 0 20 0 22 0 254011513 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999895200760 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=22998] ppid=22993 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22995/task/22998/stat : 22998 (java) S 22993 22995 20082 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 254011515 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999833930408 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=22999] ppid=22993 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22995/task/22999/stat : 22999 (java) S 22993 22995 20082 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 254011515 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999832877864 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23000] ppid=22993 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22995/task/23000/stat : 23000 (java) S 22993 22995 20082 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 254011515 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999831825320 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23001] ppid=22993 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22995/task/23001/stat : 23001 (java) S 22993 22995 20082 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 254011515 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999830772776 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23002] ppid=22993 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22995/task/23002/stat : 23002 (java) S 22993 22995 20082 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 254011515 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999829719208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23003] ppid=22993 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22995/task/23003/stat : 23003 (java) S 22993 22995 20082 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 254011515 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999733037352 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23004] ppid=22993 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22995/task/23004/stat : 23004 (java) S 22993 22995 20082 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 254011515 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999731984808 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23005] ppid=22993 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22995/task/23005/stat : 23005 (java) S 22993 22995 20082 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 254011515 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999730932264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23006] ppid=22993 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/22995/task/23006/stat : 23006 (java) S 22993 22995 20082 0 -1 4202560 103 0 0 0 40 2 0 0 20 0 22 0 254011516 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999718734440 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23007] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23007/stat : 23007 (java) S 22993 22995 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254011516 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999717680760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23008] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23008/stat : 23008 (java) S 22993 22995 20082 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254011516 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999716628104 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23009] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23009/stat : 23009 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254011519 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999715576848 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23010] ppid=22993 vsize=9824668 CPUtime=1.17 cores=1,3,5,7
/proc/22995/task/23010/stat : 23010 (java) S 22993 22995 20082 0 -1 4202560 6283 0 0 0 115 2 0 0 20 0 22 0 254011519 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999714523192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23011] ppid=22993 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/22995/task/23011/stat : 23011 (java) S 22993 22995 20082 0 -1 4202560 8571 0 0 0 132 2 0 0 20 0 22 0 254011519 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999713470648 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23012] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23012/stat : 23012 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254011519 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999712418296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23013] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23013/stat : 23013 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254011519 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999711365960 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23026] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23026/stat : 23026 (java) S 22993 22995 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254011691 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999709258536 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23027] ppid=22993 vsize=9824668 CPUtime=2.56 cores=1,3,5,7
/proc/22995/task/23027/stat : 23027 (java) R 22993 22995 20082 0 -1 4202560 9 0 0 0 256 0 0 0 20 0 22 0 254011841 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999708205280 139999835403761 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23028] ppid=22993 vsize=9824668 CPUtime=2.56 cores=1,3,5,7
/proc/22995/task/23028/stat : 23028 (java) R 22993 22995 20082 0 -1 4202560 38 0 0 0 255 1 0 0 20 0 22 0 254011841 10060460032 69587 33554432000 1073741824 1073778376 140737014399136 139999710310872 139999835560903 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0

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

[pid=22995/tid=23001] ppid=22993 vsize=9824668 CPUtime=3.35 cores=1,3,5,7
/proc/22995/task/23001/stat : 23001 (java) S 22993 22995 20082 0 -1 4202560 634 0 0 0 328 7 0 0 20 0 22 0 254011515 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999830772776 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23002] ppid=22993 vsize=9824668 CPUtime=3.27 cores=1,3,5,7
/proc/22995/task/23002/stat : 23002 (java) S 22993 22995 20082 0 -1 4202560 352 0 0 0 322 5 0 0 20 0 22 0 254011515 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999829719208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23003] ppid=22993 vsize=9824668 CPUtime=3.35 cores=1,3,5,7
/proc/22995/task/23003/stat : 23003 (java) S 22993 22995 20082 0 -1 4202560 456 0 0 0 330 5 0 0 20 0 22 0 254011515 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999733037352 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23004] ppid=22993 vsize=9824668 CPUtime=3.34 cores=1,3,5,7
/proc/22995/task/23004/stat : 23004 (java) S 22993 22995 20082 0 -1 4202560 552 0 0 0 328 6 0 0 20 0 22 0 254011515 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999731984808 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23005] ppid=22993 vsize=9824668 CPUtime=3.19 cores=1,3,5,7
/proc/22995/task/23005/stat : 23005 (java) S 22993 22995 20082 0 -1 4202560 461 0 0 0 314 5 0 0 20 0 22 0 254011515 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999730932264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23006] ppid=22993 vsize=9824668 CPUtime=35.6 cores=1,3,5,7
/proc/22995/task/23006/stat : 23006 (java) S 22993 22995 20082 0 -1 4202560 1629 0 0 0 3532 28 0 0 20 0 22 0 254011516 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999718734440 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23007] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23007/stat : 23007 (java) S 22993 22995 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254011516 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999717680760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23008] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23008/stat : 23008 (java) S 22993 22995 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254011516 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999716628104 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23009] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23009/stat : 23009 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254011519 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999715576848 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23010] ppid=22993 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/22995/task/23010/stat : 23010 (java) S 22993 22995 20082 0 -1 4202560 6290 0 0 0 119 2 0 0 20 0 22 0 254011519 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999714523192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23011] ppid=22993 vsize=9824668 CPUtime=2.03 cores=1,3,5,7
/proc/22995/task/23011/stat : 23011 (java) S 22993 22995 20082 0 -1 4202560 11911 0 0 0 199 4 0 0 20 0 22 0 254011519 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999713470648 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23012] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23012/stat : 23012 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254011519 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999712418296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23013] ppid=22993 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/22995/task/23013/stat : 23013 (java) S 22993 22995 20082 0 -1 4202560 51 0 0 0 29 19 0 0 20 0 22 0 254011519 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999711365960 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23026] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23026/stat : 23026 (java) S 22993 22995 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254011691 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999709258536 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23034] ppid=22993 vsize=9824668 CPUtime=793.56 cores=1,3,5,7
/proc/22995/task/23034/stat : 23034 (java) R 22993 22995 20082 0 -1 4202560 93 0 0 0 79342 14 0 0 20 0 22 0 254016270 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999707151616 139999835442376 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23035] ppid=22993 vsize=9824668 CPUtime=793.59 cores=1,3,5,7
/proc/22995/task/23035/stat : 23035 (java) R 22993 22995 20082 0 -1 4202560 2196 0 0 0 79336 23 0 0 20 0 22 0 254016270 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999708204096 139999835547095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23036] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23036/stat : 23036 (java) S 22993 22995 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254016270 10060460032 213291 33554432000 1073741824 1073778376 140737014399136 139999710311336 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1739.62
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+912.901 s]
/proc/loadavg: 3.90 3.91 3.87 5/219 23181
/proc/meminfo: memFree=26972680/32873844 swapFree=6868/6868
[pid=22995] ppid=22993 vsize=9824668 CPUtime=1800.09 cores=1,3,5,7
/proc/22995/stat : 22995 (java) S 22993 22995 20082 0 -1 4202496 32987 0 1 0 179875 134 0 0 20 0 22 0 254011512 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 140737014390272 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22995/statm: 2456167 233248 2280 9 0 2446860 0
[pid=22995/tid=22997] ppid=22993 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/22995/task/22997/stat : 22997 (java) S 22993 22995 20082 0 -1 4202560 2549 0 1 0 27 3 0 0 20 0 22 0 254011513 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999895200760 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=22998] ppid=22993 vsize=9824668 CPUtime=3.4 cores=1,3,5,7
/proc/22995/task/22998/stat : 22998 (java) S 22993 22995 20082 0 -1 4202560 694 0 0 0 333 7 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999833930408 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=22999] ppid=22993 vsize=9824668 CPUtime=3.56 cores=1,3,5,7
/proc/22995/task/22999/stat : 22999 (java) S 22993 22995 20082 0 -1 4202560 765 0 0 0 349 7 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999832877864 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23000] ppid=22993 vsize=9824668 CPUtime=3.55 cores=1,3,5,7
/proc/22995/task/23000/stat : 23000 (java) S 22993 22995 20082 0 -1 4202560 777 0 0 0 350 5 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999831825320 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23001] ppid=22993 vsize=9824668 CPUtime=3.5 cores=1,3,5,7
/proc/22995/task/23001/stat : 23001 (java) S 22993 22995 20082 0 -1 4202560 635 0 0 0 343 7 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999830772776 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23002] ppid=22993 vsize=9824668 CPUtime=3.42 cores=1,3,5,7
/proc/22995/task/23002/stat : 23002 (java) S 22993 22995 20082 0 -1 4202560 353 0 0 0 337 5 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999829719208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23003] ppid=22993 vsize=9824668 CPUtime=3.46 cores=1,3,5,7
/proc/22995/task/23003/stat : 23003 (java) S 22993 22995 20082 0 -1 4202560 456 0 0 0 341 5 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999733037352 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23004] ppid=22993 vsize=9824668 CPUtime=3.47 cores=1,3,5,7
/proc/22995/task/23004/stat : 23004 (java) S 22993 22995 20082 0 -1 4202560 555 0 0 0 341 6 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999731984808 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23005] ppid=22993 vsize=9824668 CPUtime=3.33 cores=1,3,5,7
/proc/22995/task/23005/stat : 23005 (java) S 22993 22995 20082 0 -1 4202560 463 0 0 0 328 5 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999730932264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23006] ppid=22993 vsize=9824668 CPUtime=36.83 cores=1,3,5,7
/proc/22995/task/23006/stat : 23006 (java) S 22993 22995 20082 0 -1 4202560 2194 0 0 0 3654 29 0 0 20 0 22 0 254011516 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999718734440 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23007] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23007/stat : 23007 (java) S 22993 22995 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254011516 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999717680760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23008] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23008/stat : 23008 (java) S 22993 22995 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254011516 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999716628104 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23009] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23009/stat : 23009 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254011519 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999715576848 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23010] ppid=22993 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/22995/task/23010/stat : 23010 (java) S 22993 22995 20082 0 -1 4202560 6290 0 0 0 119 2 0 0 20 0 22 0 254011519 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999714523192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23011] ppid=22993 vsize=9824668 CPUtime=2.03 cores=1,3,5,7
/proc/22995/task/23011/stat : 23011 (java) S 22993 22995 20082 0 -1 4202560 11911 0 0 0 199 4 0 0 20 0 22 0 254011519 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999713470648 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23012] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23012/stat : 23012 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254011519 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999712418296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23013] ppid=22993 vsize=9824668 CPUtime=0.5 cores=1,3,5,7
/proc/22995/task/23013/stat : 23013 (java) S 22993 22995 20082 0 -1 4202560 53 0 0 0 30 20 0 0 20 0 22 0 254011519 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999711365960 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23026] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23026/stat : 23026 (java) S 22993 22995 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254011691 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999709258536 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23034] ppid=22993 vsize=9824668 CPUtime=822.55 cores=1,3,5,7
/proc/22995/task/23034/stat : 23034 (java) R 22993 22995 20082 0 -1 4202560 105 0 0 0 82241 14 0 0 20 0 22 0 254016270 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999707152432 139999835505446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23035] ppid=22993 vsize=9824668 CPUtime=822.55 cores=1,3,5,7
/proc/22995/task/23035/stat : 23035 (java) R 22993 22995 20082 0 -1 4202560 2730 0 0 0 82230 25 0 0 20 0 22 0 254016270 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999708205312 139999835548040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23036] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23036/stat : 23036 (java) S 22993 22995 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254016270 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999710311336 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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+912.901 s]
/proc/loadavg: 3.90 3.91 3.87 5/219 23181
/proc/meminfo: memFree=26972680/32873844 swapFree=6868/6868
[pid=22995] ppid=22993 vsize=9824668 CPUtime=1800.09 cores=1,3,5,7
/proc/22995/stat : 22995 (java) S 22993 22995 20082 0 -1 4202496 32987 0 1 0 179875 134 0 0 20 0 22 0 254011512 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 140737014390272 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22995/statm: 2456167 233248 2280 9 0 2446860 0
[pid=22995/tid=22997] ppid=22993 vsize=9824668 CPUtime=0.3 cores=1,3,5,7
/proc/22995/task/22997/stat : 22997 (java) S 22993 22995 20082 0 -1 4202560 2549 0 1 0 27 3 0 0 20 0 22 0 254011513 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999895200760 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=22998] ppid=22993 vsize=9824668 CPUtime=3.4 cores=1,3,5,7
/proc/22995/task/22998/stat : 22998 (java) S 22993 22995 20082 0 -1 4202560 694 0 0 0 333 7 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999833930408 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=22999] ppid=22993 vsize=9824668 CPUtime=3.56 cores=1,3,5,7
/proc/22995/task/22999/stat : 22999 (java) S 22993 22995 20082 0 -1 4202560 765 0 0 0 349 7 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999832877864 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23000] ppid=22993 vsize=9824668 CPUtime=3.55 cores=1,3,5,7
/proc/22995/task/23000/stat : 23000 (java) S 22993 22995 20082 0 -1 4202560 777 0 0 0 350 5 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999831825320 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23001] ppid=22993 vsize=9824668 CPUtime=3.5 cores=1,3,5,7
/proc/22995/task/23001/stat : 23001 (java) S 22993 22995 20082 0 -1 4202560 635 0 0 0 343 7 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999830772776 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23002] ppid=22993 vsize=9824668 CPUtime=3.42 cores=1,3,5,7
/proc/22995/task/23002/stat : 23002 (java) S 22993 22995 20082 0 -1 4202560 353 0 0 0 337 5 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999829719208 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23003] ppid=22993 vsize=9824668 CPUtime=3.46 cores=1,3,5,7
/proc/22995/task/23003/stat : 23003 (java) S 22993 22995 20082 0 -1 4202560 456 0 0 0 341 5 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999733037352 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23004] ppid=22993 vsize=9824668 CPUtime=3.47 cores=1,3,5,7
/proc/22995/task/23004/stat : 23004 (java) S 22993 22995 20082 0 -1 4202560 555 0 0 0 341 6 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999731984808 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23005] ppid=22993 vsize=9824668 CPUtime=3.33 cores=1,3,5,7
/proc/22995/task/23005/stat : 23005 (java) S 22993 22995 20082 0 -1 4202560 463 0 0 0 328 5 0 0 20 0 22 0 254011515 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999730932264 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23006] ppid=22993 vsize=9824668 CPUtime=36.83 cores=1,3,5,7
/proc/22995/task/23006/stat : 23006 (java) S 22993 22995 20082 0 -1 4202560 2194 0 0 0 3654 29 0 0 20 0 22 0 254011516 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999718734440 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23007] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23007/stat : 23007 (java) S 22993 22995 20082 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254011516 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999717680760 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23008] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23008/stat : 23008 (java) S 22993 22995 20082 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254011516 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999716628104 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23009] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23009/stat : 23009 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254011519 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999715576848 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23010] ppid=22993 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/22995/task/23010/stat : 23010 (java) S 22993 22995 20082 0 -1 4202560 6290 0 0 0 119 2 0 0 20 0 22 0 254011519 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999714523192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22995/tid=23011] ppid=22993 vsize=9824668 CPUtime=2.03 cores=1,3,5,7
/proc/22995/task/23011/stat : 23011 (java) S 22993 22995 20082 0 -1 4202560 11911 0 0 0 199 4 0 0 20 0 22 0 254011519 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999713470648 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23012] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23012/stat : 23012 (java) S 22993 22995 20082 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254011519 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999712418296 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23013] ppid=22993 vsize=9824668 CPUtime=0.5 cores=1,3,5,7
/proc/22995/task/23013/stat : 23013 (java) S 22993 22995 20082 0 -1 4202560 53 0 0 0 30 20 0 0 20 0 22 0 254011519 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999711365960 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22995/tid=23026] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23026/stat : 23026 (java) S 22993 22995 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254011691 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999709258536 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23034] ppid=22993 vsize=9824668 CPUtime=822.55 cores=1,3,5,7
/proc/22995/task/23034/stat : 23034 (java) R 22993 22995 20082 0 -1 4202560 105 0 0 0 82241 14 0 0 20 0 22 0 254016270 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999707152432 139999835505446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22995/tid=23035] ppid=22993 vsize=9824668 CPUtime=822.55 cores=1,3,5,7
/proc/22995/task/23035/stat : 23035 (java) R 22993 22995 20082 0 -1 4202560 2730 0 0 0 82230 25 0 0 20 0 22 0 254016270 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999708205312 139999835548040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22995/tid=23036] ppid=22993 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22995/task/23036/stat : 23036 (java) S 22993 22995 20082 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 254016270 10060460032 233248 33554432000 1073741824 1073778376 140737014399136 139999710311336 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9824668

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22995 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=510192
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=800726
# CPU time returned by wait4() is 1796.31
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.00999451
#  lost CPU user time (s): 0.00999451
#  lost CPU system time (s): 0

Real time (s): 912.937
CPU time (s): 1800.1
CPU user time (s): 1798.76
CPU system time (s): 1.34
CPU usage (%): 197.177
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.51
system time used= 1.80073
maximum resident set size= 1280076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33022
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= 32839
involuntary context switches= 60602

runsolver used 3.82142 second user time and 8.97363 second system time

The end

Launcher Data 

Begin job on node105 at 2012-05-24 19:10:45
IDJOB=3688718
IDBENCH=48227
IDSOLVER=2268
FILE ID=node105/3688718-1337879445
RUNJOBID= node105-1337871882-20099
PBS_JOBID= 14620099
Free space on /tmp= 71624 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_1.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688718-1337879445/watcher-3688718-1337879445 -o /tmp/evaluation-result-3688718-1337879445/solver-3688718-1337879445 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688718-1337879445.opb

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

MD5SUM BENCH= 26861ca996cf8fd2abe5c211e1f47a26
RANDOM SEED=17280435

node105.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.882
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.76
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.882
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.91
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.882
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.91
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.882
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.882
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	: 5438.54
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.882
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.91
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.882
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.92
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.882
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	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26251628 kB
Buffers:          180188 kB
Cached:          1847104 kB
SwapCached:         6340 kB
Active:          4368904 kB
Inactive:        1476220 kB
Active(anon):    3805500 kB
Inactive(anon):    14612 kB
Active(file):     563404 kB
Inactive(file):  1461608 kB
Unevictable:        6868 kB
Mlocked:            6868 kB
SwapTotal:      67108856 kB
SwapFree:       67101824 kB
Dirty:               480 kB
Writeback:             0 kB
AnonPages:       3826604 kB
Mapped:            22456 kB
Shmem:                 8 kB
Slab:             623336 kB
SReclaimable:      65612 kB
SUnreclaim:       557724 kB
KernelStack:        1632 kB
PageTables:        11756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    4646220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3727360 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 node105 at 2012-05-24 19:26:00