Trace number 4106701

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)-110 1800.16 898.17

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_5.opb
MD5SUM2b02b42135ec6f53aa7a47afb99951df
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-112
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -110
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6270
Sum of products size (including duplicates)12540
Number of different products3135
Sum of products size6270

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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.11	c Pseudo Boolean Optimization by upper bound
0.11/0.11	c ManyCore solver with 2 solvers running in parallel
0.11/0.11	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.11	c Expensive reason simplification
0.11/0.11	c Glucose 2.1 dynamic restart strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.11	c --- Begin Solver configuration ---
0.11/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.11/0.11	c Learn all clauses as in MiniSAT
0.11/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.11	c No reason simplification
0.11/0.11	c Armin Biere (Picosat) restarts strategy
0.11/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.11	c timeout=2147483s
0.11/0.11	c DB Simplification allowed=false
0.11/0.11	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4106701-1466275874.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.73/0.45	c ... done. Wall clock time 0.347s.
0.73/0.45	c declared #vars     500
0.73/0.45	c internal #vars     3635
0.73/0.45	c #constraints  7270
0.73/0.45	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.73/0.45	c constraints type 
0.73/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3135
0.73/0.46	c org.sat4j.minisat.constraints.cnf.UnitClauses => 402
0.73/0.46	c org.sat4j.specs.Constr$1 => 558
0.73/0.46	c org.sat4j.minisat.constraints.cnf.UnitClause => 40
0.73/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3135
0.73/0.46	c 7270 constraints processed.
0.73/0.46	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.73/0.46	c constraints type 
0.73/0.46	c org.sat4j.specs.Constr$1 => 558
0.73/0.46	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3135
0.73/0.46	c org.sat4j.pb.constraints.pb.UnitClausesPB => 402
0.73/0.46	c org.sat4j.pb.constraints.pb.UnitClausePB => 40
0.73/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3135
0.73/0.46	c 7270 constraints processed.
0.73/0.46	c objective function length is 500 literals
1.08/0.50	c And the winner is solver0
1.60/0.96	c SATISFIABLE
1.60/0.96	c OPTIMIZING...
1.60/0.96	c Got one! Elapsed wall clock time (in seconds):0.852
1.60/0.96	o -94
1.60/0.98	c And the winner is solver0
1.80/1.46	c Got one! Elapsed wall clock time (in seconds):1.355
1.80/1.46	o -95
1.94/1.54	c And the winner is solver0
2.20/1.96	c Got one! Elapsed wall clock time (in seconds):1.857
2.20/1.96	o -96
2.20/1.97	c And the winner is solver0
2.30/2.46	c Got one! Elapsed wall clock time (in seconds):2.359
2.30/2.47	o -97
2.42/2.55	c And the winner is solver1
2.89/2.97	c Got one! Elapsed wall clock time (in seconds):2.861
2.89/2.97	o -98
2.96/3.01	c And the winner is solver1
3.11/3.47	c Got one! Elapsed wall clock time (in seconds):3.363
3.11/3.47	o -99
3.52/3.64	c And the winner is solver1
3.60/3.97	c Got one! Elapsed wall clock time (in seconds):3.864
3.60/3.97	o -100
4.37/4.31	c And the winner is solver1
4.41/4.47	c Got one! Elapsed wall clock time (in seconds):4.365
4.41/4.47	o -101
4.79/4.60	c cleaning 3749 clauses out of 7497 with flag 2256/7497
5.89/5.12	c And the winner is solver1
5.96/5.47	c Got one! Elapsed wall clock time (in seconds):5.366
5.96/5.47	o -102
6.86/5.99	c And the winner is solver1
7.05/6.47	c Got one! Elapsed wall clock time (in seconds):6.367
7.05/6.47	o -103
7.40/6.65	c cleaning 7380 clauses out of 14760 with flag 2220/18509
8.66/7.25	c cleaning 6690 clauses out of 13382 with flag 16660/24511
10.37/8.04	c cleaning 6844 clauses out of 13691 with flag 33267/31510
10.57/8.11	c And the winner is solver1
10.63/8.47	c Got one! Elapsed wall clock time (in seconds):8.369
10.63/8.47	o -104
11.59/8.99	c cleaning 6311 clauses out of 12629 with flag 11254/37292
12.00/9.15	c And the winner is solver1
12.12/9.48	c Got one! Elapsed wall clock time (in seconds):9.37
12.12/9.48	o -105
12.56/9.77	c cleaning 5671 clauses out of 11349 with flag 6949/42323
13.77/10.37	c cleaning 5839 clauses out of 11677 with flag 21109/48322
15.52/11.15	c cleaning 6418 clauses out of 12839 with flag 37461/55323
16.31/11.59	c And the winner is solver1
16.50/12.02	c Got one! Elapsed wall clock time (in seconds):11.918
16.50/12.02	o -106
16.65/12.15	c cleaning 5836 clauses out of 11678 with flag 2329/60580
17.85/12.74	c cleaning 5919 clauses out of 11843 with flag 17219/66581
19.57/13.54	c cleaning 6461 clauses out of 12923 with flag 34025/73580
21.40/14.41	c cleaning 7225 clauses out of 14462 with flag 53064/81580
23.19/15.38	c And the winner is solver1
23.19/15.38	c cleaning 8114 clauses out of 16238 with flag 73846/90581
23.35/15.53	c Got one! Elapsed wall clock time (in seconds):15.42
23.35/15.53	o -107
24.29/16.05	c cleaning 6560 clauses out of 13124 with flag 11963/95581
25.51/16.64	c cleaning 6280 clauses out of 12565 with flag 26639/101582
27.07/17.34	c cleaning 6640 clauses out of 13284 with flag 43224/108581
28.47/18.10	c cleaning 7319 clauses out of 14646 with flag 62640/116583
30.27/18.95	c cleaning 8161 clauses out of 16327 with flag 84002/125583
32.28/19.95	c cleaning 9079 clauses out of 18165 with flag 107838/135582
35.05/21.20	c cleaning 10043 clauses out of 20085 with flag 133403/146581
37.87/22.68	c cleaning 11021 clauses out of 22042 with flag 162593/158581
41.09/24.21	c cleaning 12006 clauses out of 24021 with flag 193753/171581
44.47/25.93	c cleaning 13008 clauses out of 26015 with flag 226842/185581
49.50/28.39	c cleaning 14005 clauses out of 28009 with flag 264123/200583
54.13/30.60	c cleaning 15001 clauses out of 30003 with flag 302767/216582
58.38/32.92	c And the winner is solver1
58.38/33.10	c Got one! Elapsed wall clock time (in seconds):32.992
58.38/33.10	o -108
59.97/33.97	c cleaning 15834 clauses out of 31676 with flag 12185/233256
61.57/34.76	c cleaning 10921 clauses out of 21842 with flag 27278/239256
63.37/35.62	c cleaning 8960 clauses out of 17923 with flag 43920/246258
65.57/36.72	c cleaning 8482 clauses out of 16963 with flag 63103/254258
67.57/37.73	c cleaning 8737 clauses out of 17479 with flag 83679/263256
69.77/38.89	c cleaning 9371 clauses out of 18742 with flag 107661/273256
72.37/40.19	c cleaning 10186 clauses out of 20371 with flag 133926/284256
75.69/41.76	c cleaning 11087 clauses out of 22186 with flag 163173/296257
78.89/43.31	c cleaning 12049 clauses out of 24098 with flag 194845/309256
82.50/45.13	c cleaning 13021 clauses out of 26049 with flag 229048/323256
86.69/47.23	c cleaning 14014 clauses out of 28029 with flag 265836/338257
90.49/49.19	c cleaning 15007 clauses out of 30014 with flag 304084/354256
96.43/52.02	c cleaning 16001 clauses out of 32007 with flag 347260/371256
101.83/54.76	c cleaning 16997 clauses out of 34008 with flag 391750/389258
107.63/57.65	c cleaning 18000 clauses out of 36010 with flag 437464/408257
114.82/61.16	c cleaning 18998 clauses out of 38010 with flag 488479/428257
122.22/64.81	c cleaning 20006 clauses out of 40012 with flag 542380/449257
131.02/69.21	c cleaning 21001 clauses out of 42005 with flag 598581/471256
141.15/74.66	c cleaning 22003 clauses out of 44005 with flag 657497/494257
149.41/78.71	c cleaning 22999 clauses out of 46002 with flag 715612/518257
157.82/82.97	c cleaning 23996 clauses out of 48002 with flag 774473/543256
167.88/87.91	c cleaning 24999 clauses out of 50007 with flag 837528/569257
168.09/88.03	c And the winner is solver1
168.09/88.38	c Got one! Elapsed wall clock time (in seconds):88.272
168.09/88.38	o -109
169.73/89.25	c cleaning 15360 clauses out of 30732 with flag 11189/574981
171.52/90.12	c cleaning 10682 clauses out of 21372 with flag 25039/580981
173.52/91.15	c cleaning 8836 clauses out of 17689 with flag 41958/587980
175.52/92.16	c cleaning 8422 clauses out of 16853 with flag 61533/595980
177.92/93.36	c cleaning 8710 clauses out of 17431 with flag 83434/604980
180.68/94.66	c cleaning 9361 clauses out of 18723 with flag 107097/614982
183.47/96.03	c cleaning 10177 clauses out of 20360 with flag 133929/625980
186.67/97.65	c cleaning 11090 clauses out of 22183 with flag 163375/637980
190.07/99.37	c cleaning 12044 clauses out of 24093 with flag 195429/650980
193.67/101.18	c cleaning 13025 clauses out of 26049 with flag 228592/664980
198.07/103.30	c cleaning 14011 clauses out of 28025 with flag 266689/679981
202.40/105.43	c cleaning 15008 clauses out of 30016 with flag 305852/695983
207.21/107.83	c cleaning 16003 clauses out of 32005 with flag 348550/712980
213.20/110.87	c cleaning 17002 clauses out of 34003 with flag 393464/730981
219.19/113.88	c cleaning 17996 clauses out of 36000 with flag 440261/749980
226.97/117.62	c cleaning 19003 clauses out of 38005 with flag 490606/769981
234.38/121.33	c cleaning 19998 clauses out of 40001 with flag 541458/790980
242.17/125.23	c cleaning 20999 clauses out of 42004 with flag 596667/812981
250.54/129.35	c cleaning 21999 clauses out of 44004 with flag 652420/835980
259.34/133.75	c cleaning 22999 clauses out of 46005 with flag 713131/859980
269.35/138.73	c cleaning 23999 clauses out of 48006 with flag 776154/884980
278.69/143.37	c cleaning 24995 clauses out of 50007 with flag 837012/910980
288.69/148.34	c cleaning 26005 clauses out of 52013 with flag 901640/937981
302.27/155.06	c cleaning 26998 clauses out of 54008 with flag 970449/965981
312.47/160.13	c cleaning 28000 clauses out of 56010 with flag 1041831/994981
325.12/166.33	c cleaning 29003 clauses out of 58010 with flag 1114146/1024981
342.34/174.97	c cleaning 29999 clauses out of 60006 with flag 1195592/1055980
342.72/175.18	c cleaning 0 clauses out of 7140 with flag 0/7140
363.32/185.18	c cleaning 31001 clauses out of 62008 with flag 1279583/1087981
382.12/194.48	c cleaning 32002 clauses out of 64007 with flag 1363123/1120981
401.09/203.89	c cleaning 33003 clauses out of 66005 with flag 1449251/1154981
421.01/214.34	c cleaning 34001 clauses out of 68002 with flag 1536882/1189981
436.21/221.97	c cleaning 34989 clauses out of 70000 with flag 1626051/1225980
455.28/231.40	c cleaning 36003 clauses out of 72011 with flag 1719226/1262980
471.61/239.59	c cleaning 37000 clauses out of 74008 with flag 1810931/1300980
490.56/248.90	c cleaning 38001 clauses out of 76008 with flag 1907196/1339980
511.11/259.15	c cleaning 39001 clauses out of 78007 with flag 2006935/1379980
531.27/269.17	c And the winner is solver1
531.27/269.43	c Got one! Elapsed wall clock time (in seconds):269.323
531.27/269.43	o -110
535.82/271.74	c cleaning 42194 clauses out of 84392 with flag 11140/1425366
538.22/272.94	c cleaning 24094 clauses out of 48198 with flag 25160/1431366
540.22/273.98	c cleaning 15545 clauses out of 31104 with flag 41086/1438366
542.21/274.99	c cleaning 11774 clauses out of 23558 with flag 59026/1446365
544.41/276.01	c cleaning 10385 clauses out of 20785 with flag 79227/1455366
546.41/277.09	c cleaning 10191 clauses out of 20400 with flag 101806/1465366
548.99/278.23	c cleaning 10601 clauses out of 21209 with flag 127170/1476366
551.79/279.63	c cleaning 11304 clauses out of 22607 with flag 156267/1488365
554.99/281.29	c cleaning 12149 clauses out of 24304 with flag 187310/1501366
558.99/283.25	c cleaning 13076 clauses out of 26155 with flag 222485/1515366
562.40/284.95	c cleaning 14037 clauses out of 28079 with flag 258141/1530366
566.59/287.02	c cleaning 15018 clauses out of 30041 with flag 296751/1546365
571.43/289.32	c cleaning 16008 clauses out of 32023 with flag 338213/1563365
575.61/291.42	c cleaning 17006 clauses out of 34016 with flag 380881/1581366
581.02/294.15	c cleaning 18005 clauses out of 36010 with flag 429582/1600366
587.42/297.40	c cleaning 19000 clauses out of 38005 with flag 479615/1620366
594.83/300.93	c cleaning 19999 clauses out of 40005 with flag 531129/1641366
602.64/304.88	c cleaning 21003 clauses out of 42006 with flag 587291/1663366
610.24/308.66	c cleaning 21994 clauses out of 44002 with flag 642811/1686365
618.67/312.73	c cleaning 23003 clauses out of 46008 with flag 700276/1710365
628.07/317.44	c cleaning 24001 clauses out of 48005 with flag 762470/1735365
637.94/322.30	c cleaning 24997 clauses out of 50006 with flag 827196/1761367
647.34/326.95	c cleaning 25998 clauses out of 52007 with flag 892452/1788365
657.54/332.00	c cleaning 27005 clauses out of 54010 with flag 959678/1816366
668.59/337.49	c cleaning 28001 clauses out of 56006 with flag 1029857/1845367
683.12/344.58	c cleaning 28999 clauses out of 58003 with flag 1101528/1875365
696.12/351.10	c cleaning 30000 clauses out of 60006 with flag 1175600/1906367
709.01/357.31	c cleaning 31001 clauses out of 62005 with flag 1251931/1938366
723.54/364.44	c cleaning 31997 clauses out of 64003 with flag 1331432/1971365
738.92/371.99	c cleaning 32994 clauses out of 66006 with flag 1413382/2005365
758.70/381.63	c cleaning 34001 clauses out of 68012 with flag 1501602/2040365
776.92/390.55	c cleaning 35007 clauses out of 70013 with flag 1588957/2076367
793.49/398.64	c cleaning 36000 clauses out of 72006 with flag 1676541/2113367
811.90/407.64	c cleaning 36998 clauses out of 74004 with flag 1767685/2151365
835.21/419.15	c cleaning 37998 clauses out of 76007 with flag 1861606/2190366
857.52/430.11	c cleaning 39002 clauses out of 78009 with flag 1959589/2230366
880.86/441.60	c cleaning 40003 clauses out of 80006 with flag 2063590/2271365
906.88/455.53	c cleaning 40997 clauses out of 82003 with flag 2169912/2313365
930.56/467.37	c cleaning 42003 clauses out of 84006 with flag 2278494/2356365
955.05/479.53	c cleaning 43001 clauses out of 86004 with flag 2388479/2400366
981.10/492.43	c cleaning 43998 clauses out of 88003 with flag 2501458/2445366
1002.66/503.11	c cleaning 44998 clauses out of 90005 with flag 2612250/2491366
1032.20/517.88	c cleaning 46002 clauses out of 92006 with flag 2728068/2538365
1071.37/537.22	c cleaning 47002 clauses out of 94004 with flag 2853363/2586365
1104.73/553.74	c cleaning 48002 clauses out of 96003 with flag 2972878/2635366
1142.42/572.37	c cleaning 48996 clauses out of 98002 with flag 3096151/2685367
1176.42/589.09	c cleaning 49996 clauses out of 100004 with flag 3221612/2736365
1202.35/601.84	c cleaning 0 clauses out of 12788 with flag 0/12788
1212.77/607.06	c cleaning 51005 clauses out of 102009 with flag 3353528/2788366
1249.04/624.85	c cleaning 51995 clauses out of 104004 with flag 3485626/2841366
1275.14/637.53	c cleaning 52999 clauses out of 106008 with flag 3615927/2895365
1304.25/651.95	c cleaning 54000 clauses out of 108010 with flag 3747373/2950366
1370.35/684.50	c cleaning 54998 clauses out of 110009 with flag 3886437/3006365
1444.50/722.17	c cleaning 56004 clauses out of 112013 with flag 4031010/3063367
1486.76/743.16	c cleaning 56997 clauses out of 114007 with flag 4175657/3121365
1527.90/763.59	c cleaning 58003 clauses out of 116010 with flag 4321225/3180365
1581.07/789.83	c cleaning 58998 clauses out of 118007 with flag 4474538/3240365
1639.05/818.68	c cleaning 60001 clauses out of 120010 with flag 4628323/3301366
1694.96/846.23	c cleaning 61001 clauses out of 122008 with flag 4786280/3363365
1760.16/878.50	c cleaning 61999 clauses out of 124008 with flag 4956092/3426366
1800.16/898.10	c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<<
1800.16/898.10	c starts		: 68422
1800.16/898.10	c conflicts		: 3463378
1800.16/898.10	c decisions		: 29191584
1800.16/898.10	c propagations		: 55077614
1800.16/898.10	c inspects		: 8753444634
1800.16/898.10	c shortcuts		: 0
1800.16/898.10	c learnt literals	: 0
1800.16/898.10	c learnt binary clauses	: 0
1800.16/898.10	c learnt ternary clauses	: 0
1800.16/898.10	c learnt constraints	: 3463378
1800.16/898.10	c ignored constraints	: 0
1800.16/898.10	c root simplifications	: 0
1800.16/898.10	c removed literals (reason simplification)	: 45923398
1800.16/898.10	c reason swapping (by a shorter reason)	: 0
1800.16/898.10	c Calls to reduceDB	: 142
1800.16/898.10	c Number of update (reduction) of LBD	: 82091
1800.16/898.10	c Imported unit clauses	: 0
1800.16/898.10	c number of reductions to clauses (during analyze)	: 0
1800.16/898.10	c number of learned constraints concerned by reduction	: 0
1800.16/898.10	c number of learning phase by resolution	: 0
1800.16/898.10	c number of learning phase by cutting planes	: 0
1800.16/898.10	c speed (assignments/second)	: 87609.45930469307
1800.16/898.10	c non guided choices	0
1800.16/898.13	c learnt constraints type 
1800.16/898.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 99022
1800.16/898.13	c >>>>>>>>>> Solver number 1 (13 answers) <<<<<<<<<<<<<<<<<<
1800.16/898.13	c starts		: 59
1800.16/898.13	c conflicts		: 15323
1800.16/898.13	c decisions		: 31603
1800.16/898.13	c propagations		: 306951
1800.16/898.13	c inspects		: 762979334
1800.16/898.13	c shortcuts		: 0
1800.16/898.13	c learnt literals	: 0
1800.16/898.13	c learnt binary clauses	: 0
1800.16/898.13	c learnt ternary clauses	: 0
1800.16/898.13	c learnt constraints	: 15323
1800.16/898.13	c ignored constraints	: 0
1800.16/898.13	c root simplifications	: 0
1800.16/898.13	c removed literals (reason simplification)	: 0
1800.16/898.13	c reason swapping (by a shorter reason)	: 0
1800.16/898.13	c Calls to reduceDB	: 2
1800.16/898.13	c Number of update (reduction) of LBD	: 0
1800.16/898.13	c Imported unit clauses	: 0
1800.16/898.13	c number of reductions to clauses (during analyze)	: 0
1800.16/898.13	c number of learned constraints concerned by reduction	: 0
1800.16/898.13	c number of learning phase by resolution	: 0
1800.16/898.13	c number of learning phase by cutting planes	: 0
1800.16/898.13	c speed (assignments/second)	: 342.7089043734181
1800.16/898.13	c non guided choices	0
1800.16/898.13	c learnt constraints type 
1800.16/898.13	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 965
1800.16/898.13	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14358
1800.16/898.13	s SATISFIABLE
1800.16/898.13	c Found 17 solution(s)
1800.16/898.14	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 
1800.16/898.14	c objective function=-110
1800.16/898.14	c Total wall clock time (in seconds): 898.031

Verifier Data 

OK	-110

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4106701-1466275874/watcher-4106701-1466275874 -o /tmp/evaluation-result-4106701-1466275874/solver-4106701-1466275874 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466274976-28100 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106701-1466275874.opb 

pid=28365
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: 4.16 4.09 3.33 3/193 28368
/proc/meminfo: memFree=30096576/32872528 swapFree=1542984/1696284
[pid=28368] ppid=28365 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/28368/stat : 28368 (java) S 28365 28368 28084 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 29633982 98570240 977 33554432000 1073741824 1073778376 140734581716224 140734581707360 270710898749 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28368/statm: 24065 977 743 9 0 16771 0
[pid=28368/tid=28369] ppid=28365 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28369/stat : 28369 (java) R 28365 28368 28084 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 29633982 98570240 978 33554432000 1073741824 1073778376 140734581716224 140516348165672 270707541376 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 4.16 4.09 3.33 3/193 28368
/proc/meminfo: memFree=30096576/32872528 swapFree=1542984/1696284
[pid=28368] ppid=28365 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/28368/stat : 28368 (java) S 28365 28368 28084 0 -1 4202496 4482 0 1 0 10 1 0 0 20 0 18 0 29633982 9787879424 6122 33554432000 1073741824 1073778376 140734581716224 140734581707360 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28368/statm: 2389619 6123 2156 9 0 2380296 0
[pid=28368/tid=28369] ppid=28365 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/28368/task/28369/stat : 28369 (java) R 28365 28368 28084 0 -1 4202560 2387 0 1 0 7 0 0 0 20 0 18 0 29633982 9787879424 6123 33554432000 1073741824 1073778376 140734581716224 140516348169120 140516352296325 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200258 s]
/proc/loadavg: 4.16 4.09 3.33 3/193 28368
/proc/meminfo: memFree=30096576/32872528 swapFree=1542984/1696284
[pid=28368] ppid=28365 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/28368/stat : 28368 (java) S 28365 28368 28084 0 -1 4202496 4707 0 1 0 23 1 0 0 20 0 18 0 29633982 9787879424 7326 33554432000 1073741824 1073778376 140734581716224 140734581707360 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28368/statm: 2389619 7326 2213 9 0 2380296 0
[pid=28368/tid=28369] ppid=28365 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/28368/task/28369/stat : 28369 (java) R 28365 28368 28084 0 -1 4202560 2410 0 1 0 17 0 0 0 20 0 18 0 29633982 9787879424 7326 33554432000 1073741824 1073778376 140734581716224 140516348169120 140516180504704 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300251 s]
/proc/loadavg: 4.16 4.09 3.33 3/193 28368
/proc/meminfo: memFree=30096576/32872528 swapFree=1542984/1696284
[pid=28368] ppid=28365 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/28368/stat : 28368 (java) S 28365 28368 28084 0 -1 4202496 6188 0 1 0 48 1 0 0 20 0 18 0 29633982 9787879424 9066 33554432000 1073741824 1073778376 140734581716224 140734581707360 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28368/statm: 2389619 9066 2240 9 0 2380296 0
[pid=28368/tid=28369] ppid=28365 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/28368/task/28369/stat : 28369 (java) R 28365 28368 28084 0 -1 4202560 2414 0 1 0 27 0 0 0 20 0 18 0 29633982 9787879424 9066 33554432000 1073741824 1073778376 140734581716224 140516348161952 140516180121690 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476

[startup+0.700202 s]
/proc/loadavg: 4.16 4.09 3.33 3/193 28368
/proc/meminfo: memFree=30096576/32872528 swapFree=1542984/1696284
[pid=28368] ppid=28365 vsize=9759196 CPUtime=1.4 cores=0,2,4,6
/proc/28368/stat : 28368 (java) S 28365 28368 28084 0 -1 4202496 22403 0 1 0 134 6 0 0 20 0 19 0 29633982 9993416704 24107 33554432000 1073741824 1073778376 140734581716224 140734581707360 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28368/statm: 2439799 24107 2265 9 0 2430476 0
[pid=28368/tid=28369] ppid=28365 vsize=9759196 CPUtime=0.43 cores=0,2,4,6
/proc/28368/task/28369/stat : 28369 (java) S 28365 28368 28084 0 -1 4202560 2443 0 1 0 42 1 0 0 20 0 19 0 29633982 9993416704 24107 33554432000 1073741824 1073778376 140734581716224 140516348171128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 9759196

[startup+1.50069 s]
/proc/loadavg: 4.16 4.09 3.33 1/213 28400
/proc/meminfo: memFree=29981320/32872528 swapFree=1542984/1696284
[pid=28368] ppid=28365 vsize=9824732 CPUtime=1.94 cores=0,2,4,6
/proc/28368/stat : 28368 (java) S 28365 28368 28084 0 -1 4202496 23176 0 1 0 186 8 0 0 20 0 22 0 29633982 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140734581707360 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28368/statm: 2456183 26915 2268 9 0 2446860 0
[pid=28368/tid=28369] ppid=28365 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/28368/task/28369/stat : 28369 (java) S 28365 28368 28084 0 -1 4202560 2443 0 1 0 43 2 0 0 20 0 22 0 29633982 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516348171128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28371] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28371/stat : 28371 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633983 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516309662760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28372] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28372/stat : 28372 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633983 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516308609960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28373] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28373/stat : 28373 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633983 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516307557160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28368/tid=28374] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28374/stat : 28374 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633983 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516306504360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28375] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28375/stat : 28375 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633983 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516305451560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28376] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28376/stat : 28376 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633983 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516304398760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28377] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28377/stat : 28377 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633983 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516303345960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28378] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28378/stat : 28378 (java) S 28365 28368 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29633983 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516302293160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28379] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28379/stat : 28379 (java) S 28365 28368 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 29633984 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516171672552 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28380] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28380/stat : 28380 (java) S 28365 28368 28084 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 29633985 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516170618616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28381] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28381/stat : 28381 (java) S 28365 28368 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29633985 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516169565704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28382] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28382/stat : 28382 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633987 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516168514192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28383] ppid=28365 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/28368/task/28383/stat : 28383 (java) R 28365 28368 28084 0 -1 4202560 6290 0 0 0 45 1 0 0 20 0 22 0 29633987 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516167461304 140516354140540 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28384] ppid=28365 vsize=9824732 CPUtime=0.8 cores=0,2,4,6
/proc/28368/task/28384/stat : 28384 (java) R 28365 28368 28084 0 -1 4202560 13093 0 0 0 78 2 0 0 20 0 22 0 29633987 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516166408344 140516351038537 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28385] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28385/stat : 28385 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633987 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140516165355896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28368/tid=28386] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28386/stat : 28386 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633987 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140515156683208 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28393] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28393/stat : 28393 (java) S 28365 28368 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29634030 10060525568 26915 33554432000 1073741824 1073778376 140734581716224 140515153524136 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 9824732

[startup+3.1008 s]
/proc/loadavg: 4.16 4.09 3.33 5/216 28415
/proc/meminfo: memFree=29880392/32872528 swapFree=1542984/1696284
[pid=28368] ppid=28365 vsize=9824732 CPUtime=3.11 cores=0,2,4,6
/proc/28368/stat : 28368 (java) S 28365 28368 28084 0 -1 4202496 23403 0 1 0 296 15 0 0 20 0 19 0 29633982 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140734581707360 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28368/statm: 2456183 34263 2275 9 0 2446860 0
[pid=28368/tid=28369] ppid=28365 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/28368/task/28369/stat : 28369 (java) S 28365 28368 28084 0 -1 4202560 2443 0 1 0 43 2 0 0 20 0 19 0 29633982 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516348171128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28371] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28371/stat : 28371 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29633983 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516309662760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28372] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28372/stat : 28372 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29633983 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516308609960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28373] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28373/stat : 28373 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29633983 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516307557160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28368/tid=28374] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28374/stat : 28374 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29633983 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516306504360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28375] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28375/stat : 28375 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29633983 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516305451560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28376] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28376/stat : 28376 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29633983 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516304398760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28377] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28377/stat : 28377 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29633983 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516303345960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28378] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28378/stat : 28378 (java) S 28365 28368 28084 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29633983 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516302293160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28379] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28379/stat : 28379 (java) S 28365 28368 28084 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 29633984 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516171672552 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28380] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28380/stat : 28380 (java) S 28365 28368 28084 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29633985 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516170618616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28381] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28381/stat : 28381 (java) S 28365 28368 28084 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29633985 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516169565704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28382] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28382/stat : 28382 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29633987 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516168514192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28383] ppid=28365 vsize=9824732 CPUtime=0.85 cores=0,2,4,6
/proc/28368/task/28383/stat : 28383 (java) S 28365 28368 28084 0 -1 4202560 6334 0 0 0 83 2 0 0 20 0 19 0 29633987 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516167461304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28384] ppid=28365 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/28368/task/28384/stat : 28384 (java) S 28365 28368 28084 0 -1 4202560 13238 0 0 0 116 2 0 0 20 0 19 0 29633987 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516166408504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28385] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28385/stat : 28385 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29633987 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140516165355896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28368/tid=28386] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28386/stat : 28386 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29633987 10060525568 34263 33554432000 1073741824 1073778376 140734581716224 140515156683208 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 9824732

[startup+6.30079 s]
/proc/loadavg: 4.14 4.09 3.33 6/219 28436
/proc/meminfo: memFree=29470664/32872528 swapFree=1542984/1696284
[pid=28368] ppid=28365 vsize=9824732 CPUtime=7.05 cores=0,2,4,6
/proc/28368/stat : 28368 (java) S 28365 28368 28084 0 -1 4202496 24204 0 1 0 672 33 0 0 20 0 19 0 29633982 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140734581707360 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28368/statm: 2456183 66487 2295 9 0 2446860 0
[pid=28368/tid=28369] ppid=28365 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/28368/task/28369/stat : 28369 (java) S 28365 28368 28084 0 -1 4202560 2443 0 1 0 43 2 0 0 20 0 19 0 29633982 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140516348171128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28371] ppid=28365 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/28368/task/28371/stat : 28371 (java) S 28365 28368 28084 0 -1 4202560 28 0 0 0 1 1 0 0 20 0 19 0 29633983 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140516309662760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28372] ppid=28365 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/28368/task/28372/stat : 28372 (java) S 28365 28368 28084 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 29633983 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140516308609960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28368/tid=28373] ppid=28365 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/28368/task/28373/stat : 28373 (java) S 28365 28368 28084 0 -1 4202560 149 0 0 0 3 2 0 0 20 0 19 0 29633983 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140516307557160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28368/tid=28374] ppid=28365 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/28368/task/28374/stat : 28374 (java) S 28365 28368 28084 0 -1 4202560 138 0 0 0 1 2 0 0 20 0 19 0 29633983 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140516306504360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28375] ppid=28365 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/28368/task/28375/stat : 28375 (java) S 28365 28368 28084 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 29633983 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140516305451560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28376] ppid=28365 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/28368/task/28376/stat : 28376 (java) S 28365 28368 28084 0 -1 4202560 150 0 0 0 3 2 0 0 20 0 19 0 29633983 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140516304398760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28377] ppid=28365 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/28368/task/28377/stat : 28377 (java) S 28365 28368 28084 0 -1 4202560 131 0 0 0 2 0 0 0 20 0 19 0 29633983 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140516303345960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28378] ppid=28365 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/28368/task/28378/stat : 28378 (java) S 28365 28368 28084 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 29633983 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140516302293160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28379] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28379/stat : 28379 (java) S 28365 28368 28084 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 29633984 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140516171672552 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28380] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28380/stat : 28380 (java) S 28365 28368 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29633985 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140516170618616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28381] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28381/stat : 28381 (java) S 28365 28368 28084 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29633985 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140516169565704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28382] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28382/stat : 28382 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29633987 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140516168514192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28383] ppid=28365 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/28368/task/28383/stat : 28383 (java) S 28365 28368 28084 0 -1 4202560 6342 0 0 0 108 2 0 0 20 0 19 0 29633987 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140516167461304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28384] ppid=28365 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/28368/task/28384/stat : 28384 (java) S 28365 28368 28084 0 -1 4202560 13251 0 0 0 133 2 0 0 20 0 19 0 29633987 10060525568 66487 33554432000 1073741824 1073778376 140734581716224 140516166408504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28385] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

[pid=28368/tid=28378] ppid=28365 vsize=9824732 CPUtime=5.38 cores=0,2,4,6
/proc/28368/task/28378/stat : 28378 (java) S 28365 28368 28084 0 -1 4202560 717 0 0 0 514 24 0 0 20 0 22 0 29633983 10060525568 1014851 33554432000 1073741824 1073778376 140734581716224 140516302293160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28379] ppid=28365 vsize=9824732 CPUtime=7.01 cores=0,2,4,6
/proc/28368/task/28379/stat : 28379 (java) S 28365 28368 28084 0 -1 4202560 3002 0 0 0 691 10 0 0 20 0 22 0 29633984 10060525568 1014851 33554432000 1073741824 1073778376 140734581716224 140516171672552 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28380] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28380/stat : 28380 (java) S 28365 28368 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29633985 10060525568 1014851 33554432000 1073741824 1073778376 140734581716224 140516170618616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28381] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28381/stat : 28381 (java) S 28365 28368 28084 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 29633985 10060525568 1014851 33554432000 1073741824 1073778376 140734581716224 140516169565704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28382] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28382/stat : 28382 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633987 10060525568 1014851 33554432000 1073741824 1073778376 140734581716224 140516168514192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28383] ppid=28365 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/28368/task/28383/stat : 28383 (java) S 28365 28368 28084 0 -1 4202560 6343 0 0 0 125 2 0 0 20 0 22 0 29633987 10060525568 1014851 33554432000 1073741824 1073778376 140734581716224 140516167461304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28384] ppid=28365 vsize=9824732 CPUtime=2.07 cores=0,2,4,6
/proc/28368/task/28384/stat : 28384 (java) S 28365 28368 28084 0 -1 4202560 13300 0 0 0 205 2 0 0 20 0 22 0 29633987 10060525568 1014851 33554432000 1073741824 1073778376 140734581716224 140516166408504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28385] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28385/stat : 28385 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633987 10060525568 1014851 33554432000 1073741824 1073778376 140734581716224 140516165355896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28368/tid=28386] ppid=28365 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/28368/task/28386/stat : 28386 (java) S 28365 28368 28084 0 -1 4202560 51 0 0 0 14 17 0 0 20 0 22 0 29633987 10060525568 1014851 33554432000 1073741824 1073778376 140734581716224 140515156683208 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28418] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28418/stat : 28418 (java) S 28365 28368 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29634229 10060525568 1014851 33554432000 1073741824 1073778376 140734581716224 140515154576168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28558] ppid=28365 vsize=9824732 CPUtime=599.02 cores=0,2,4,6
/proc/28368/task/28558/stat : 28558 (java) R 28365 28368 28084 0 -1 4202560 9 0 0 0 59892 10 0 0 20 0 22 0 29660925 10060525568 1014851 33554432000 1073741824 1073778376 140734581716224 140515155619856 140516181036843 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28559] ppid=28365 vsize=9824732 CPUtime=599.02 cores=0,2,4,6
/proc/28368/task/28559/stat : 28559 (java) R 28365 28368 28084 0 -1 4202560 50 0 0 0 59893 9 0 0 20 0 22 0 29660925 10060525568 1014851 33554432000 1073741824 1073778376 140734581716224 140515152469424 140516180996777 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28560] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28560/stat : 28560 (java) S 28365 28368 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29660925 10060525568 1014851 33554432000 1073741824 1073778376 140734581716224 140515153523624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1767.05
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.101 s]
/proc/loadavg: 4.25 4.21 3.86 5/219 28598
/proc/meminfo: memFree=22397840/32872528 swapFree=1542984/1696284
[pid=28368] ppid=28365 vsize=9824732 CPUtime=1799.24 cores=0,2,4,6
/proc/28368/stat : 28368 (java) S 28365 28368 28084 0 -1 4202496 34663 0 1 0 179645 279 0 0 20 0 22 0 29633982 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140734581707360 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28368/statm: 2456183 1014848 2303 9 0 2446860 0
[pid=28368/tid=28369] ppid=28365 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/28368/task/28369/stat : 28369 (java) S 28365 28368 28084 0 -1 4202560 2464 0 1 0 47 3 0 0 20 0 22 0 29633982 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516348171128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28371] ppid=28365 vsize=9824732 CPUtime=4.99 cores=0,2,4,6
/proc/28368/task/28371/stat : 28371 (java) S 28365 28368 28084 0 -1 4202560 798 0 0 0 475 24 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516309662760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28372] ppid=28365 vsize=9824732 CPUtime=5.26 cores=0,2,4,6
/proc/28368/task/28372/stat : 28372 (java) S 28365 28368 28084 0 -1 4202560 732 0 0 0 503 23 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516308609960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28373] ppid=28365 vsize=9824732 CPUtime=5.4 cores=0,2,4,6
/proc/28368/task/28373/stat : 28373 (java) S 28365 28368 28084 0 -1 4202560 896 0 0 0 518 22 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516307557160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28368/tid=28374] ppid=28365 vsize=9824732 CPUtime=5.26 cores=0,2,4,6
/proc/28368/task/28374/stat : 28374 (java) S 28365 28368 28084 0 -1 4202560 768 0 0 0 508 18 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516306504360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28375] ppid=28365 vsize=9824732 CPUtime=5.34 cores=0,2,4,6
/proc/28368/task/28375/stat : 28375 (java) S 28365 28368 28084 0 -1 4202560 877 0 0 0 506 28 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516305451560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28376] ppid=28365 vsize=9824732 CPUtime=5.53 cores=0,2,4,6
/proc/28368/task/28376/stat : 28376 (java) S 28365 28368 28084 0 -1 4202560 931 0 0 0 530 23 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516304398760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28377] ppid=28365 vsize=9824732 CPUtime=5.21 cores=0,2,4,6
/proc/28368/task/28377/stat : 28377 (java) S 28365 28368 28084 0 -1 4202560 743 0 0 0 500 21 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516303345960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28368/tid=28378] ppid=28365 vsize=9824732 CPUtime=5.58 cores=0,2,4,6
/proc/28368/task/28378/stat : 28378 (java) S 28365 28368 28084 0 -1 4202560 717 0 0 0 534 24 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516302293160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28368/tid=28379] ppid=28365 vsize=9824732 CPUtime=7.01 cores=0,2,4,6
/proc/28368/task/28379/stat : 28379 (java) S 28365 28368 28084 0 -1 4202560 3002 0 0 0 691 10 0 0 20 0 22 0 29633984 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516171672552 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28380] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28380/stat : 28380 (java) S 28365 28368 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29633985 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516170618616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28381] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28381/stat : 28381 (java) S 28365 28368 28084 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 29633985 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516169565704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28382] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28382/stat : 28382 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633987 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516168514192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28383] ppid=28365 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/28368/task/28383/stat : 28383 (java) S 28365 28368 28084 0 -1 4202560 6343 0 0 0 125 2 0 0 20 0 22 0 29633987 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516167461304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28384] ppid=28365 vsize=9824732 CPUtime=2.07 cores=0,2,4,6
/proc/28368/task/28384/stat : 28384 (java) S 28365 28368 28084 0 -1 4202560 13301 0 0 0 205 2 0 0 20 0 22 0 29633987 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516166408504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28385] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28385/stat : 28385 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633987 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516165355896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28368/tid=28386] ppid=28365 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/28368/task/28386/stat : 28386 (java) S 28365 28368 28084 0 -1 4202560 51 0 0 0 14 17 0 0 20 0 22 0 29633987 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140515156683208 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28418] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28418/stat : 28418 (java) S 28365 28368 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29634229 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140515154576168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28558] ppid=28365 vsize=9824732 CPUtime=614.41 cores=0,2,4,6
/proc/28368/task/28558/stat : 28558 (java) R 28365 28368 28084 0 -1 4202560 9 0 0 0 61431 10 0 0 20 0 22 0 29660925 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140515155626784 140516180799856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28559] ppid=28365 vsize=9824732 CPUtime=614.41 cores=0,2,4,6
/proc/28368/task/28559/stat : 28559 (java) R 28365 28368 28084 0 -1 4202560 51 0 0 0 61432 9 0 0 20 0 22 0 29660925 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140515152470008 140516181143615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28560] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28560/stat : 28560 (java) S 28365 28368 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29660925 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140515153523624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.24
Current children cumulated vsize (KiB) 9824732

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28368 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+898.101 s]
/proc/loadavg: 4.25 4.21 3.86 5/219 28598
/proc/meminfo: memFree=22397840/32872528 swapFree=1542984/1696284
[pid=28368] ppid=28365 vsize=9824732 CPUtime=1799.24 cores=0,2,4,6
/proc/28368/stat : 28368 (java) S 28365 28368 28084 0 -1 4202496 34663 0 1 0 179645 279 0 0 20 0 22 0 29633982 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140734581707360 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/28368/statm: 2456183 1014848 2303 9 0 2446860 0
[pid=28368/tid=28369] ppid=28365 vsize=9824732 CPUtime=0.5 cores=0,2,4,6
/proc/28368/task/28369/stat : 28369 (java) S 28365 28368 28084 0 -1 4202560 2464 0 1 0 47 3 0 0 20 0 22 0 29633982 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516348171128 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28371] ppid=28365 vsize=9824732 CPUtime=4.99 cores=0,2,4,6
/proc/28368/task/28371/stat : 28371 (java) S 28365 28368 28084 0 -1 4202560 798 0 0 0 475 24 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516309662760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28372] ppid=28365 vsize=9824732 CPUtime=5.26 cores=0,2,4,6
/proc/28368/task/28372/stat : 28372 (java) S 28365 28368 28084 0 -1 4202560 732 0 0 0 503 23 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516308609960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28373] ppid=28365 vsize=9824732 CPUtime=5.4 cores=0,2,4,6
/proc/28368/task/28373/stat : 28373 (java) S 28365 28368 28084 0 -1 4202560 896 0 0 0 518 22 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516307557160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28368/tid=28374] ppid=28365 vsize=9824732 CPUtime=5.26 cores=0,2,4,6
/proc/28368/task/28374/stat : 28374 (java) S 28365 28368 28084 0 -1 4202560 768 0 0 0 508 18 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516306504360 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28375] ppid=28365 vsize=9824732 CPUtime=5.34 cores=0,2,4,6
/proc/28368/task/28375/stat : 28375 (java) S 28365 28368 28084 0 -1 4202560 877 0 0 0 506 28 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516305451560 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28376] ppid=28365 vsize=9824732 CPUtime=5.53 cores=0,2,4,6
/proc/28368/task/28376/stat : 28376 (java) S 28365 28368 28084 0 -1 4202560 931 0 0 0 530 23 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516304398760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28377] ppid=28365 vsize=9824732 CPUtime=5.21 cores=0,2,4,6
/proc/28368/task/28377/stat : 28377 (java) S 28365 28368 28084 0 -1 4202560 743 0 0 0 500 21 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516303345960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28368/tid=28378] ppid=28365 vsize=9824732 CPUtime=5.58 cores=0,2,4,6
/proc/28368/task/28378/stat : 28378 (java) S 28365 28368 28084 0 -1 4202560 717 0 0 0 534 24 0 0 20 0 22 0 29633983 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516302293160 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28368/tid=28379] ppid=28365 vsize=9824732 CPUtime=7.01 cores=0,2,4,6
/proc/28368/task/28379/stat : 28379 (java) S 28365 28368 28084 0 -1 4202560 3002 0 0 0 691 10 0 0 20 0 22 0 29633984 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516171672552 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28380] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28380/stat : 28380 (java) S 28365 28368 28084 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29633985 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516170618616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28381] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28381/stat : 28381 (java) S 28365 28368 28084 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 29633985 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516169565704 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28382] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28382/stat : 28382 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633987 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516168514192 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28383] ppid=28365 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/28368/task/28383/stat : 28383 (java) S 28365 28368 28084 0 -1 4202560 6343 0 0 0 125 2 0 0 20 0 22 0 29633987 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516167461304 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28384] ppid=28365 vsize=9824732 CPUtime=2.07 cores=0,2,4,6
/proc/28368/task/28384/stat : 28384 (java) S 28365 28368 28084 0 -1 4202560 13301 0 0 0 205 2 0 0 20 0 22 0 29633987 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516166408504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28385] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28385/stat : 28385 (java) S 28365 28368 28084 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29633987 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140516165355896 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28368/tid=28386] ppid=28365 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/28368/task/28386/stat : 28386 (java) S 28365 28368 28084 0 -1 4202560 51 0 0 0 14 17 0 0 20 0 22 0 29633987 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140515156683208 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28368/tid=28418] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28418/stat : 28418 (java) S 28365 28368 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29634229 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140515154576168 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28558] ppid=28365 vsize=9824732 CPUtime=614.41 cores=0,2,4,6
/proc/28368/task/28558/stat : 28558 (java) R 28365 28368 28084 0 -1 4202560 9 0 0 0 61431 10 0 0 20 0 22 0 29660925 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140515155626784 140516180799856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28368/tid=28559] ppid=28365 vsize=9824732 CPUtime=614.41 cores=0,2,4,6
/proc/28368/task/28559/stat : 28559 (java) R 28365 28368 28084 0 -1 4202560 51 0 0 0 61432 9 0 0 20 0 22 0 29660925 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140515152470008 140516181143615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28368/tid=28560] ppid=28365 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/28368/task/28560/stat : 28560 (java) S 28365 28368 28084 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 29660925 10060525568 1014848 33554432000 1073741824 1073778376 140734581716224 140515153523624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.24
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28368 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=200392
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=150521
# CPU time returned by wait4() is 1796.35
# while last known CPU time is 1799.24
#
# 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.920017
#  lost CPU user time (s): 0.990002
#  lost CPU system time (s): -0.0700002

Real time (s): 898.17
CPU time (s): 1800.16
CPU user time (s): 1797.44
CPU system time (s): 2.72
CPU usage (%): 200.425
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.2
system time used= 3.15052
maximum resident set size= 4059504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34699
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24338
involuntary context switches= 32297

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.45317 second user time and 7.42487 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-18 20:51:14
IDJOB=4106701
IDBENCH=48194
IDSOLVER=2543
FILE ID=node125/4106701-1466275874
RUNJOBID= node125-1466274976-28100
PBS_JOBID= 19918241
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_5.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106701-1466275874/watcher-4106701-1466275874 -o /tmp/evaluation-result-4106701-1466275874/solver-4106701-1466275874 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466274976-28100 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4106701-1466275874.opb

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

MD5SUM BENCH= 2b02b42135ec6f53aa7a47afb99951df
RANDOM SEED=436624851

node125.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.683
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.36
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.683
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	: 5332.55
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.683
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	: 5332.55
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.683
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	: 5332.54
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.683
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	: 5332.55
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.683
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	: 5332.55
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.683
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	: 5332.55
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.683
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30097368 kB
Buffers:          144896 kB
Cached:           173072 kB
SwapCached:          688 kB
Active:            94064 kB
Inactive:         243724 kB
Active(anon):      20996 kB
Inactive(anon):     1040 kB
Active(file):      73068 kB
Inactive(file):   242684 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098232 kB
Dirty:              1672 kB
Writeback:             0 kB
AnonPages:       1682820 kB
Mapped:            14872 kB
Shmem:                 0 kB
Slab:             604892 kB
SReclaimable:      48236 kB
SUnreclaim:       556656 kB
KernelStack:        1616 kB
PageTables:         7832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2383644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71744 MiB
End job on node125 at 2016-06-18 21:06:12