Trace number 4081189

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)20 1800.02 897.775

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
MD5SUM4b56e6775cc4a081c8696ef0fa81b784
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark0.008998
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved YES
Number of variables81
Total number of constraints81
Number of constraints which are clauses81
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 81
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 81
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 81
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.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@16fd0b7
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@4413ee
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@75786e64
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@4413ee
0.11/0.11	c --- End Solver configuration ---
0.11/0.11	c solving HOME/instance-4081189-1465226124.opb
0.11/0.11	c reading problem ... 
0.11/0.11	c  objective function found
0.11/0.13	c ... done. Wall clock time 0.026s.
0.11/0.13	c declared #vars     81
0.11/0.13	c #constraints  81
0.11/0.14	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.14	c constraints type 
0.11/0.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 81
0.11/0.14	c 81 constraints processed.
0.11/0.14	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.14	c constraints type 
0.11/0.14	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 81
0.11/0.14	c 81 constraints processed.
0.11/0.14	c objective function length is 81 literals
0.11/0.14	c And the winner is solver0
0.16/0.64	c SATISFIABLE
0.16/0.64	c OPTIMIZING...
0.16/0.64	c Got one! Elapsed wall clock time (in seconds):0.532
0.16/0.64	o 27
0.16/0.64	c And the winner is solver0
0.16/1.14	c Got one! Elapsed wall clock time (in seconds):1.035
0.16/1.14	o 26
0.16/1.17	c And the winner is solver1
0.31/1.64	c Got one! Elapsed wall clock time (in seconds):1.536
0.31/1.64	o 25
0.47/1.79	c And the winner is solver1
0.89/2.14	c Got one! Elapsed wall clock time (in seconds):2.037
0.89/2.14	o 24
1.49/2.30	c And the winner is solver1
2.04/2.64	c Got one! Elapsed wall clock time (in seconds):2.538
2.04/2.64	o 23
2.21/2.71	c cleaning 3130 clauses out of 6259 with flag 2521/6259
2.52/2.89	c cleaning 4565 clauses out of 9130 with flag 17132/12260
3.32/3.13	c cleaning 5782 clauses out of 11565 with flag 34028/19260
3.57/3.24	c And the winner is solver1
3.68/3.65	c Got one! Elapsed wall clock time (in seconds):3.54
3.68/3.65	o 22
3.78/3.73	c cleaning 5823 clauses out of 11645 with flag 4918/25122
4.21/3.94	c cleaning 5910 clauses out of 11822 with flag 20541/31122
4.21/3.95	c And the winner is solver1
4.33/4.15	c Got one! Elapsed wall clock time (in seconds):4.04
4.33/4.15	o 21
4.63/4.32	c cleaning 5607 clauses out of 11213 with flag 12200/36423
4.85/4.49	c cleaning 5803 clauses out of 11605 with flag 28653/42422
5.44/4.71	c cleaning 6398 clauses out of 12803 with flag 46986/49423
5.89/4.97	c cleaning 7202 clauses out of 14405 with flag 68189/57423
6.69/5.30	c cleaning 8102 clauses out of 16203 with flag 91731/66423
7.50/5.70	c cleaning 9051 clauses out of 18102 with flag 116654/76424
8.30/6.19	c cleaning 10026 clauses out of 20052 with flag 149189/87425
9.58/6.74	c cleaning 11010 clauses out of 22023 with flag 182686/99422
10.76/7.39	c cleaning 12005 clauses out of 24013 with flag 221093/112422
12.60/8.22	c cleaning 13005 clauses out of 26009 with flag 265778/126423
14.55/9.16	c cleaning 14002 clauses out of 28004 with flag 309525/141423
16.38/10.04	c cleaning 15000 clauses out of 30001 with flag 348808/157422
18.61/11.11	c cleaning 15997 clauses out of 32001 with flag 391144/174422
20.39/12.09	c cleaning 16998 clauses out of 34005 with flag 436024/192423
22.41/13.09	c cleaning 18005 clauses out of 36009 with flag 482724/211425
24.61/14.12	c cleaning 18999 clauses out of 38002 with flag 529499/231423
26.81/15.27	c cleaning 20000 clauses out of 40003 with flag 578778/252423
29.62/16.63	c cleaning 20998 clauses out of 42003 with flag 629266/274423
32.64/18.19	c cleaning 21998 clauses out of 44005 with flag 687593/297423
36.43/20.01	c cleaning 23003 clauses out of 46006 with flag 746992/321422
39.85/21.71	c cleaning 23992 clauses out of 48003 with flag 806619/346422
43.45/23.50	c cleaning 25001 clauses out of 50011 with flag 868625/372422
47.06/25.37	c cleaning 26004 clauses out of 52012 with flag 931760/399424
51.05/27.30	c cleaning 26995 clauses out of 54006 with flag 998503/427422
56.13/29.84	c cleaning 28000 clauses out of 56011 with flag 1065772/456422
58.59/31.02	c cleaning 0 clauses out of 6146 with flag 0/6147
61.89/32.56	c cleaning 29004 clauses out of 58012 with flag 1136868/486423
67.12/35.20	c cleaning 29999 clauses out of 60008 with flag 1207700/517423
72.77/37.99	c cleaning 31003 clauses out of 62009 with flag 1281522/549423
78.96/41.06	c cleaning 31999 clauses out of 64005 with flag 1357977/582422
87.97/45.55	c cleaning 32992 clauses out of 66006 with flag 1435194/616422
96.18/49.68	c cleaning 34005 clauses out of 68014 with flag 1517167/651422
104.82/53.93	c cleaning 35001 clauses out of 70009 with flag 1606827/687422
114.21/58.69	c cleaning 36005 clauses out of 72009 with flag 1693829/724423
125.26/64.18	c cleaning 36998 clauses out of 74003 with flag 1785986/762422
136.09/69.52	c cleaning 37996 clauses out of 76005 with flag 1881219/801422
146.74/74.88	c cleaning 39002 clauses out of 78012 with flag 1973595/841425
157.95/80.47	c cleaning 40003 clauses out of 80009 with flag 2065797/882424
168.94/85.91	c cleaning 40997 clauses out of 82004 with flag 2161491/924422
181.34/92.19	c cleaning 41999 clauses out of 84007 with flag 2257990/967422
194.97/98.90	c cleaning 43003 clauses out of 86010 with flag 2358514/1011424
209.54/106.24	c cleaning 43997 clauses out of 88006 with flag 2460064/1056423
225.55/114.21	c cleaning 45002 clauses out of 90009 with flag 2564921/1102423
242.59/122.70	c cleaning 45995 clauses out of 92006 with flag 2679390/1149422
259.06/130.99	c cleaning 47003 clauses out of 94011 with flag 2797646/1197422
273.07/137.93	c cleaning 0 clauses out of 12146 with flag 0/12147
277.09/139.97	c cleaning 47998 clauses out of 96008 with flag 2914338/1246422
297.12/150.00	c cleaning 49002 clauses out of 98010 with flag 3032951/1296422
317.15/159.94	c cleaning 50001 clauses out of 100008 with flag 3154503/1347422
336.00/169.32	c cleaning 51002 clauses out of 102007 with flag 3272806/1399422
356.48/179.54	c cleaning 51993 clauses out of 104005 with flag 3394003/1452422
376.19/189.31	c cleaning 53000 clauses out of 106012 with flag 3516705/1506422
399.16/200.77	c cleaning 54003 clauses out of 108012 with flag 3640486/1561422
425.10/213.60	c cleaning 55003 clauses out of 110010 with flag 3766571/1617423
449.84/225.93	c cleaning 55999 clauses out of 112008 with flag 3895781/1674424
474.01/237.93	c cleaning 56999 clauses out of 114007 with flag 4027210/1732422
499.94/250.81	c cleaning 57997 clauses out of 116008 with flag 4161682/1791422
528.10/264.87	c cleaning 59001 clauses out of 118011 with flag 4297579/1851422
559.44/280.42	c cleaning 60002 clauses out of 120010 with flag 4436626/1912422
590.03/295.60	c cleaning 61000 clauses out of 122008 with flag 4601695/1974422
620.37/310.73	c cleaning 61995 clauses out of 124008 with flag 4754719/2037422
653.39/327.14	c cleaning 63005 clauses out of 126013 with flag 4907837/2101422
685.98/343.34	c cleaning 64000 clauses out of 128008 with flag 5068867/2166422
724.99/362.76	c cleaning 64997 clauses out of 130009 with flag 5241034/2232423
759.86/380.08	c cleaning 66003 clauses out of 132013 with flag 5391354/2299424
765.90/383.02	c cleaning 0 clauses out of 19146 with flag 0/19147
795.25/397.61	c cleaning 66999 clauses out of 134008 with flag 5544525/2367422
834.29/417.02	c cleaning 67997 clauses out of 136009 with flag 5699395/2436422
870.92/435.23	c cleaning 68995 clauses out of 138013 with flag 5856677/2506423
913.96/456.65	c cleaning 70008 clauses out of 140018 with flag 6021894/2577423
959.50/479.22	c cleaning 71002 clauses out of 142009 with flag 6188874/2649422
1002.22/500.61	c cleaning 71998 clauses out of 144007 with flag 6361806/2722422
1029.79/514.33	c And the winner is solver1
1029.79/514.77	c Got one! Elapsed wall clock time (in seconds):514.666
1029.79/514.77	o 20
1033.06/516.42	c cleaning 64543 clauses out of 129092 with flag 12124/2779505
1034.27/517.05	c cleaning 35273 clauses out of 70549 with flag 26848/2785505
1035.28/517.50	c cleaning 21134 clauses out of 42275 with flag 44474/2792504
1035.88/517.89	c cleaning 14568 clauses out of 29142 with flag 65177/2800505
1036.70/518.25	c cleaning 11778 clauses out of 23573 with flag 87821/2809504
1037.68/518.79	c cleaning 10891 clauses out of 21796 with flag 113812/2819505
1038.70/519.27	c cleaning 10949 clauses out of 21905 with flag 142323/2830505
1039.69/519.79	c cleaning 11477 clauses out of 22956 with flag 174924/2842505
1040.90/520.35	c cleaning 12232 clauses out of 24478 with flag 208286/2855504
1041.91/520.89	c cleaning 13122 clauses out of 26247 with flag 242852/2869505
1043.12/521.48	c cleaning 14057 clauses out of 28124 with flag 280999/2884504
1044.51/522.17	c cleaning 15032 clauses out of 30068 with flag 320515/2900505
1046.12/522.98	c cleaning 16014 clauses out of 32035 with flag 364673/2917504
1047.92/523.87	c cleaning 17005 clauses out of 34021 with flag 412932/2935504
1049.75/524.72	c cleaning 18007 clauses out of 36017 with flag 463569/2954505
1051.96/525.83	c cleaning 19003 clauses out of 38010 with flag 518908/2974505
1054.60/527.12	c cleaning 20001 clauses out of 40007 with flag 579920/2995505
1056.97/528.31	c cleaning 21000 clauses out of 42005 with flag 637120/3017504
1059.59/529.69	c cleaning 21997 clauses out of 44005 with flag 700211/3040504
1063.22/531.41	c cleaning 23001 clauses out of 46008 with flag 771612/3064504
1066.85/533.27	c cleaning 24002 clauses out of 48007 with flag 841582/3089504
1071.28/535.48	c cleaning 24999 clauses out of 50006 with flag 916575/3115505
1076.30/538.00	c cleaning 26002 clauses out of 52007 with flag 996028/3142505
1081.12/540.32	c cleaning 26999 clauses out of 54005 with flag 1073843/3170505
1086.77/543.17	c cleaning 28001 clauses out of 56005 with flag 1162386/3199504
1092.61/546.05	c cleaning 29001 clauses out of 58005 with flag 1252389/3229505
1098.49/548.94	c cleaning 30000 clauses out of 60003 with flag 1332214/3260504
1103.10/551.21	c cleaning 30998 clauses out of 62003 with flag 1414024/3292504
1108.10/553.78	c cleaning 31999 clauses out of 64005 with flag 1507308/3325504
1113.53/556.45	c cleaning 33002 clauses out of 66007 with flag 1606418/3359505
1119.59/559.49	c cleaning 33999 clauses out of 68005 with flag 1709667/3394505
1125.60/562.44	c cleaning 35001 clauses out of 70005 with flag 1804483/3430504
1131.23/565.23	c cleaning 35999 clauses out of 72004 with flag 1898885/3467504
1137.69/568.41	c cleaning 37000 clauses out of 74005 with flag 2004598/3505504
1143.92/571.51	c cleaning 38003 clauses out of 76007 with flag 2109183/3544506
1151.19/575.10	c cleaning 39000 clauses out of 78003 with flag 2213772/3584505
1159.03/579.08	c cleaning 39997 clauses out of 80002 with flag 2329176/3625504
1166.89/582.98	c cleaning 41001 clauses out of 82005 with flag 2454371/3667504
1175.98/587.42	c cleaning 42000 clauses out of 84004 with flag 2586233/3710504
1186.22/592.55	c cleaning 43001 clauses out of 86005 with flag 2717723/3754505
1196.92/597.82	c cleaning 44001 clauses out of 88004 with flag 2843791/3799505
1207.98/603.39	c cleaning 44997 clauses out of 90002 with flag 2970271/3845504
1218.68/608.62	c cleaning 46002 clauses out of 92005 with flag 3094271/3892504
1231.13/614.86	c cleaning 47001 clauses out of 94005 with flag 3222549/3940506
1241.60/620.07	c cleaning 47995 clauses out of 96003 with flag 3354014/3989505
1253.46/625.98	c cleaning 49002 clauses out of 98007 with flag 3487795/4039504
1265.52/631.99	c cleaning 49999 clauses out of 100005 with flag 3631782/4090504
1278.81/638.56	c cleaning 51002 clauses out of 102006 with flag 3781439/4142504
1293.51/645.86	c cleaning 51994 clauses out of 104004 with flag 3921721/4195504
1309.76/653.93	c cleaning 53003 clauses out of 106010 with flag 4076539/4249504
1327.51/662.78	c cleaning 54002 clauses out of 108009 with flag 4226889/4304506
1346.23/672.01	c cleaning 55002 clauses out of 110007 with flag 4386625/4360506
1354.50/676.19	c cleaning 0 clauses out of 24938 with flag 0/24939
1364.55/681.16	c cleaning 56001 clauses out of 112003 with flag 4562426/4417504
1384.91/691.27	c cleaning 57001 clauses out of 114004 with flag 4720285/4475506
1405.66/701.54	c cleaning 57994 clauses out of 116002 with flag 4892969/4534505
1431.48/714.51	c cleaning 58999 clauses out of 118008 with flag 5079969/4594505
1455.65/726.57	c cleaning 60005 clauses out of 120009 with flag 5256120/4655505
1479.99/738.64	c cleaning 61000 clauses out of 122003 with flag 5430179/4717504
1502.68/749.96	c cleaning 62000 clauses out of 124003 with flag 5599651/4780504
1530.86/763.92	c cleaning 63001 clauses out of 126003 with flag 5785851/4844504
1558.62/777.77	c cleaning 64000 clauses out of 128002 with flag 5966360/4909504
1583.52/790.16	c cleaning 64999 clauses out of 130002 with flag 6144755/4975504
1611.68/804.17	c cleaning 66002 clauses out of 132004 with flag 6340498/5042505
1633.86/815.13	c cleaning 66997 clauses out of 134001 with flag 6530687/5110504
1653.54/824.96	c cleaning 68003 clauses out of 136005 with flag 6717882/5179505
1670.63/833.45	c cleaning 68998 clauses out of 138001 with flag 6908466/5249504
1691.16/843.65	c cleaning 69997 clauses out of 140003 with flag 7102610/5320504
1712.86/854.47	c cleaning 71000 clauses out of 142006 with flag 7304773/5392504
1733.22/864.58	c cleaning 72001 clauses out of 144009 with flag 7515054/5465507
1756.38/876.01	c cleaning 73001 clauses out of 146006 with flag 7732391/5539505
1793.77/894.60	c cleaning 74001 clauses out of 148005 with flag 7947501/5614505
1800.02/897.71	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.02/897.71	c starts		: 59565
1800.02/897.71	c conflicts		: 5631394
1800.02/897.71	c decisions		: 9603558
1800.02/897.71	c propagations		: 57436972
1800.02/897.71	c inspects		: 17591494953
1800.02/897.71	c shortcuts		: 0
1800.02/897.71	c learnt literals	: 0
1800.02/897.71	c learnt binary clauses	: 0
1800.02/897.71	c learnt ternary clauses	: 0
1800.02/897.71	c learnt constraints	: 5631394
1800.02/897.71	c ignored constraints	: 0
1800.02/897.71	c root simplifications	: 0
1800.02/897.71	c removed literals (reason simplification)	: 12115790
1800.02/897.71	c reason swapping (by a shorter reason)	: 0
1800.02/897.71	c Calls to reduceDB	: 145
1800.02/897.71	c Number of update (reduction) of LBD	: 579951
1800.02/897.71	c Imported unit clauses	: 0
1800.02/897.71	c number of reductions to clauses (during analyze)	: 0
1800.02/897.71	c number of learned constraints concerned by reduction	: 0
1800.02/897.71	c number of learning phase by resolution	: 0
1800.02/897.71	c number of learning phase by cutting planes	: 0
1800.02/897.71	c speed (assignments/second)	: 149990.656426514
1800.02/897.71	c non guided choices	0
1800.02/897.74	c learnt constraints type 
1800.02/897.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 90893
1800.02/897.74	c >>>>>>>>>> Solver number 1 (6 answers) <<<<<<<<<<<<<<<<<<
1800.02/897.74	c starts		: 63
1800.02/897.74	c conflicts		: 28525
1800.02/897.74	c decisions		: 50747
1800.02/897.74	c propagations		: 413096
1800.02/897.74	c inspects		: 1144064187
1800.02/897.74	c shortcuts		: 0
1800.02/897.74	c learnt literals	: 0
1800.02/897.74	c learnt binary clauses	: 0
1800.02/897.74	c learnt ternary clauses	: 0
1800.02/897.74	c learnt constraints	: 28524
1800.02/897.74	c ignored constraints	: 0
1800.02/897.74	c root simplifications	: 0
1800.02/897.74	c removed literals (reason simplification)	: 0
1800.02/897.74	c reason swapping (by a shorter reason)	: 0
1800.02/897.74	c Calls to reduceDB	: 4
1800.02/897.74	c Number of update (reduction) of LBD	: 0
1800.02/897.74	c Imported unit clauses	: 0
1800.02/897.74	c number of reductions to clauses (during analyze)	: 0
1800.02/897.74	c number of learned constraints concerned by reduction	: 0
1800.02/897.74	c number of learning phase by resolution	: 0
1800.02/897.74	c number of learning phase by cutting planes	: 0
1800.02/897.74	c speed (assignments/second)	: 460.7391974516894
1800.02/897.74	c non guided choices	0
1800.02/897.75	c learnt constraints type 
1800.02/897.75	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 405
1800.02/897.75	c org.sat4j.pb.constraints.pb.MaxWatchPb => 28119
1800.02/897.75	s SATISFIABLE
1800.02/897.75	c Found 8 solution(s)
1800.02/897.75	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 
1800.02/897.75	c objective function=20
1800.02/897.75	c Total wall clock time (in seconds): 897.645

Verifier Data 

OK	20

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-4081189-1465226124/watcher-4081189-1465226124 -o /tmp/evaluation-result-4081189-1465226124/solver-4081189-1465226124 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465218446-31432 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081189-1465226124.opb 

pid=1527
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: 4.26 4.20 4.18 4/197 1530
/proc/meminfo: memFree=29791332/32872528 swapFree=14448/1543360
[pid=1530] ppid=1527 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/1530/stat : 1530 (java) R 1527 1530 31415 0 -1 4202496 1221 0 0 0 0 0 0 0 20 0 1 0 104546003 24780800 864 33554432000 1073741824 1073778376 140737451170448 140737451159512 266438995878 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1530/statm: 6050 867 654 9 0 385 0
[pid=1530/tid=1531] ppid=1527 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1531/stat : 1531 (java) R 1527 1530 31415 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 104546004 98570240 977 33554432000 1073741824 1073778376 140737451170448 140564104822312 266435642752 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 4.26 4.20 4.18 4/197 1530
/proc/meminfo: memFree=29791332/32872528 swapFree=14448/1543360
[pid=1530] ppid=1527 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/1530/stat : 1530 (java) S 1527 1530 31415 0 -1 4202496 4509 0 1 0 10 1 0 0 20 0 18 0 104546003 9787879424 6132 33554432000 1073741824 1073778376 140737451170448 140737451161584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1530/statm: 2389619 6132 2158 9 0 2380296 0
[pid=1530/tid=1531] ppid=1527 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/1530/task/1531/stat : 1531 (java) R 1527 1530 31415 0 -1 4202560 2390 0 1 0 6 1 0 0 20 0 18 0 104546004 9787879424 6132 33554432000 1073741824 1073778376 140737451170448 140564104827224 266439025933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200382 s]
/proc/loadavg: 4.26 4.20 4.18 4/197 1530
/proc/meminfo: memFree=29791332/32872528 swapFree=14448/1543360
[pid=1530] ppid=1527 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/1530/stat : 1530 (java) S 1527 1530 31415 0 -1 4202496 4587 0 1 0 15 1 0 0 20 0 19 0 104546003 10060525568 7700 33554432000 1073741824 1073778376 140737451170448 140737451161584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1530/statm: 2456183 7700 2173 9 0 2446860 0
[pid=1530/tid=1531] ppid=1527 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/1530/task/1531/stat : 1531 (java) S 1527 1530 31415 0 -1 4202560 2399 0 1 0 11 1 0 0 20 0 19 0 104546004 10060525568 7700 33554432000 1073741824 1073778376 140737451170448 140564104827768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 9824732

[startup+0.30038 s]
/proc/loadavg: 4.26 4.20 4.18 4/197 1530
/proc/meminfo: memFree=29791332/32872528 swapFree=14448/1543360
[pid=1530] ppid=1527 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/1530/stat : 1530 (java) S 1527 1530 31415 0 -1 4202496 4587 0 1 0 15 1 0 0 20 0 19 0 104546003 10060525568 7700 33554432000 1073741824 1073778376 140737451170448 140737451161584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1530/statm: 2456183 7700 2173 9 0 2446860 0
[pid=1530/tid=1531] ppid=1527 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/1530/task/1531/stat : 1531 (java) S 1527 1530 31415 0 -1 4202560 2399 0 1 0 11 1 0 0 20 0 19 0 104546004 10060525568 7700 33554432000 1073741824 1073778376 140737451170448 140564104827768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 9824732

[startup+0.700302 s]
/proc/loadavg: 4.26 4.20 4.18 4/197 1530
/proc/meminfo: memFree=29791332/32872528 swapFree=14448/1543360
[pid=1530] ppid=1527 vsize=9824732 CPUtime=0.16 cores=1,3,5,7
/proc/1530/stat : 1530 (java) S 1527 1530 31415 0 -1 4202496 4614 0 1 0 15 1 0 0 20 0 19 0 104546003 10060525568 8736 33554432000 1073741824 1073778376 140737451170448 140737451161584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1530/statm: 2456183 8736 2173 9 0 2446860 0
[pid=1530/tid=1531] ppid=1527 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/1530/task/1531/stat : 1531 (java) S 1527 1530 31415 0 -1 4202560 2402 0 1 0 11 1 0 0 20 0 19 0 104546004 10060525568 8736 33554432000 1073741824 1073778376 140737451170448 140564104827768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 9824732

[startup+1.50077 s]
/proc/loadavg: 4.26 4.20 4.18 3/216 1558
/proc/meminfo: memFree=29762360/32872528 swapFree=14448/1543360
[pid=1530] ppid=1527 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/1530/stat : 1530 (java) S 1527 1530 31415 0 -1 4202496 6567 0 1 0 27 4 0 0 20 0 19 0 104546003 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140737451161584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1530/statm: 2456183 10902 2224 9 0 2446860 0
[pid=1530/tid=1531] ppid=1527 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/1530/task/1531/stat : 1531 (java) S 1527 1530 31415 0 -1 4202560 2405 0 1 0 11 1 0 0 20 0 19 0 104546004 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140564104827768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1533] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1533/stat : 1533 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104546005 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140564082928424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1534] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1534/stat : 1534 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104546005 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140564081875624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1535] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1535/stat : 1535 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104546005 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140564080823336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1536] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1536/stat : 1536 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104546005 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140563743501224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1537] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1537/stat : 1537 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104546005 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140563742447912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1538] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1538/stat : 1538 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104546005 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140563741395112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1539] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1539/stat : 1539 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104546005 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140563740342824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1541] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1541/stat : 1541 (java) S 1527 1530 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104546005 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140563739290024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1542] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1542/stat : 1542 (java) S 1527 1530 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104546006 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140563727092456 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1543] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1543/stat : 1543 (java) S 1527 1530 31415 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104546006 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140563726038520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1544] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1544/stat : 1544 (java) S 1527 1530 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104546006 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140563724986120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1545] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1545/stat : 1545 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104546008 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140563723934608 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1546] ppid=1527 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/1530/task/1546/stat : 1546 (java) S 1527 1530 31415 0 -1 4202560 989 0 0 0 4 0 0 0 20 0 19 0 104546008 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140563722881208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1547] ppid=1527 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/1530/task/1547/stat : 1547 (java) S 1527 1530 31415 0 -1 4202560 1815 0 0 0 5 0 0 0 20 0 19 0 104546008 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140563721828408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1548] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1548/stat : 1548 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104546008 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140563720776312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1551] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1551/stat : 1551 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104546008 10060525568 10902 33554432000 1073741824 1073778376 140737451170448 140563719723720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9824732

[startup+3.10092 s]
/proc/loadavg: 4.26 4.20 4.18 7/219 1567
/proc/meminfo: memFree=29733828/32872528 swapFree=14448/1543360
[pid=1530] ppid=1527 vsize=9824732 CPUtime=3.32 cores=1,3,5,7
/proc/1530/stat : 1530 (java) S 1527 1530 31415 0 -1 4202496 24141 0 1 0 320 12 0 0 20 0 22 0 104546003 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140737451161584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1530/statm: 2456183 45345 2272 9 0 2446860 0
[pid=1530/tid=1531] ppid=1527 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/1530/task/1531/stat : 1531 (java) S 1527 1530 31415 0 -1 4202560 2406 0 1 0 11 1 0 0 20 0 22 0 104546004 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140564104827768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1533] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1533/stat : 1533 (java) S 1527 1530 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104546005 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140564082928424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1534] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1534/stat : 1534 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104546005 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140564081875624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1535] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1535/stat : 1535 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104546005 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140564080823336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1536] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1536/stat : 1536 (java) S 1527 1530 31415 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 104546005 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140563743501224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1537] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1537/stat : 1537 (java) S 1527 1530 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104546005 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140563742447912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1538] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1538/stat : 1538 (java) S 1527 1530 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104546005 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140563741395112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1539] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1539/stat : 1539 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104546005 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140563740342824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1541] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1541/stat : 1541 (java) S 1527 1530 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104546005 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140563739290024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1542] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1542/stat : 1542 (java) S 1527 1530 31415 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104546006 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140563727092456 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1543] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1543/stat : 1543 (java) S 1527 1530 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104546006 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140563726038520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1544] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1544/stat : 1544 (java) S 1527 1530 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104546006 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140563724986120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1545] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1545/stat : 1545 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104546008 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140563723934608 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1546] ppid=1527 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/1530/task/1546/stat : 1546 (java) S 1527 1530 31415 0 -1 4202560 7001 0 0 0 75 2 0 0 20 0 22 0 104546008 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140563722881208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1547] ppid=1527 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/1530/task/1547/stat : 1547 (java) S 1527 1530 31415 0 -1 4202560 13259 0 0 0 82 3 0 0 20 0 22 0 104546008 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140563721828408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1548] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1548/stat : 1548 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104546008 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140563720776312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1551] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1551/stat : 1551 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104546008 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140563719723720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1561] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1561/stat : 1561 (java) S 1527 1530 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104546118 10060525568 45345 33554432000 1073741824 1073778376 140737451170448 140563717518632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 9824732

[startup+6.30097 s]
/proc/loadavg: 4.08 4.16 4.17 5/219 1576
/proc/meminfo: memFree=29462944/32872528 swapFree=14448/1543360
[pid=1530] ppid=1527 vsize=9824732 CPUtime=8.73 cores=1,3,5,7
/proc/1530/stat : 1530 (java) S 1527 1530 31415 0 -1 4202496 24800 0 1 0 848 25 0 0 20 0 22 0 104546003 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140737451161584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1530/statm: 2456183 115476 2274 9 0 2446860 0
[pid=1530/tid=1531] ppid=1527 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/1530/task/1531/stat : 1531 (java) S 1527 1530 31415 0 -1 4202560 2407 0 1 0 11 1 0 0 20 0 22 0 104546004 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140564104827768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1533] ppid=1527 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/1530/task/1533/stat : 1533 (java) S 1527 1530 31415 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 22 0 104546005 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140564082928424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1534] ppid=1527 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/1530/task/1534/stat : 1534 (java) S 1527 1530 31415 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 104546005 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140564081875624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1535] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1535/stat : 1535 (java) S 1527 1530 31415 0 -1 4202560 78 0 0 0 0 0 0 0 20 0 22 0 104546005 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140564080823336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1536] ppid=1527 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/1530/task/1536/stat : 1536 (java) S 1527 1530 31415 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 22 0 104546005 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140563743501224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1537] ppid=1527 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/1530/task/1537/stat : 1537 (java) S 1527 1530 31415 0 -1 4202560 87 0 0 0 2 0 0 0 20 0 22 0 104546005 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140563742447912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1538] ppid=1527 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/1530/task/1538/stat : 1538 (java) S 1527 1530 31415 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 104546005 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140563741395112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1539] ppid=1527 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/1530/task/1539/stat : 1539 (java) S 1527 1530 31415 0 -1 4202560 70 0 0 0 1 0 0 0 20 0 22 0 104546005 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140563740342824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1541] ppid=1527 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/1530/task/1541/stat : 1541 (java) S 1527 1530 31415 0 -1 4202560 71 0 0 0 1 0 0 0 20 0 22 0 104546005 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140563739290024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1542] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1542/stat : 1542 (java) S 1527 1530 31415 0 -1 4202560 188 0 0 0 0 0 0 0 20 0 22 0 104546006 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140563727092456 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1543] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1543/stat : 1543 (java) S 1527 1530 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104546006 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140563726038520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1544] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1544/stat : 1544 (java) S 1527 1530 31415 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104546006 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140563724986120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1545] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1545/stat : 1545 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104546008 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140563723934608 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1546] ppid=1527 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/1530/task/1546/stat : 1546 (java) S 1527 1530 31415 0 -1 4202560 7002 0 0 0 81 2 0 0 20 0 22 0 104546008 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140563722881208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1547] ppid=1527 vsize=9824732 CPUtime=0.96 cores=1,3,5,7
/proc/1530/task/1547/stat : 1547 (java) S 1527 1530 31415 0 -1 4202560 13260 0 0 0 93 3 0 0 20 0 22 0 104546008 10060525568 115476 33554432000 1073741824 1073778376 140737451170448 140563721828408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1548] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

[pid=1530/tid=1541] ppid=1527 vsize=9824732 CPUtime=2.84 cores=1,3,5,7
/proc/1530/task/1541/stat : 1541 (java) S 1527 1530 31415 0 -1 4202560 390 0 0 0 278 6 0 0 20 0 22 0 104546005 10060525568 526015 33554432000 1073741824 1073778376 140737451170448 140563739290024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1542] ppid=1527 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/1530/task/1542/stat : 1542 (java) S 1527 1530 31415 0 -1 4202560 1315 0 0 0 69 34 0 0 20 0 22 0 104546006 10060525568 526015 33554432000 1073741824 1073778376 140737451170448 140563727092456 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1543] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1543/stat : 1543 (java) S 1527 1530 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104546006 10060525568 526015 33554432000 1073741824 1073778376 140737451170448 140563726038520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1544] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1544/stat : 1544 (java) S 1527 1530 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104546006 10060525568 526015 33554432000 1073741824 1073778376 140737451170448 140563724986120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1545] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1545/stat : 1545 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104546008 10060525568 526015 33554432000 1073741824 1073778376 140737451170448 140563723934608 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1546] ppid=1527 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/1530/task/1546/stat : 1546 (java) S 1527 1530 31415 0 -1 4202560 8101 0 0 0 102 2 0 0 20 0 22 0 104546008 10060525568 526015 33554432000 1073741824 1073778376 140737451170448 140563722881208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1547] ppid=1527 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/1530/task/1547/stat : 1547 (java) S 1527 1530 31415 0 -1 4202560 16337 0 0 0 141 3 0 0 20 0 22 0 104546008 10060525568 526015 33554432000 1073741824 1073778376 140737451170448 140563721828408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1548] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1548/stat : 1548 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104546008 10060525568 526015 33554432000 1073741824 1073778376 140737451170448 140563720776312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1551] ppid=1527 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/1530/task/1551/stat : 1551 (java) S 1527 1530 31415 0 -1 4202560 51 0 0 0 13 21 0 0 20 0 22 0 104546008 10060525568 526015 33554432000 1073741824 1073778376 140737451170448 140563719723720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1561] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1561/stat : 1561 (java) S 1527 1530 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104546118 10060525568 526015 33554432000 1073741824 1073778376 140737451170448 140563717518632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1676] ppid=1527 vsize=9824732 CPUtime=362.97 cores=1,3,5,7
/proc/1530/task/1676/stat : 1676 (java) R 1527 1530 31415 0 -1 4202560 96 0 0 0 36292 5 0 0 20 0 22 0 104597481 10060525568 526015 33554432000 1073741824 1073778376 140737451170448 140563718569728 140563962119442 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1677] ppid=1527 vsize=9824732 CPUtime=362.96 cores=1,3,5,7
/proc/1530/task/1677/stat : 1677 (java) R 1527 1530 31415 0 -1 4202560 59 0 0 0 36290 6 0 0 20 0 22 0 104597481 10060525568 526015 33554432000 1073741824 1073778376 140737451170448 140563715410992 140563962199501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1678] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1678/stat : 1678 (java) S 1527 1530 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104597481 10060525568 526015 33554432000 1073741824 1073778376 140737451170448 140563716466216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1766.71
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+897.708 s]
/proc/loadavg: 4.33 4.29 4.22 5/220 1689
/proc/meminfo: memFree=25343916/32872528 swapFree=14448/1543360
[pid=1530] ppid=1527 vsize=9824732 CPUtime=1797.7 cores=1,3,5,7
/proc/1530/stat : 1530 (java) S 1527 1530 31415 0 -1 4202496 34481 0 1 0 179594 176 0 0 20 0 22 0 104546003 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140737451161584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1530/statm: 2456183 521478 2282 9 0 2446860 0
[pid=1530/tid=1531] ppid=1527 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/1530/task/1531/stat : 1531 (java) S 1527 1530 31415 0 -1 4202560 2415 0 1 0 14 3 0 0 20 0 22 0 104546004 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140564104827768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1533] ppid=1527 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/1530/task/1533/stat : 1533 (java) S 1527 1530 31415 0 -1 4202560 359 0 0 0 293 7 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140564082928424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1534] ppid=1527 vsize=9824732 CPUtime=3.02 cores=1,3,5,7
/proc/1530/task/1534/stat : 1534 (java) S 1527 1530 31415 0 -1 4202560 348 0 0 0 296 6 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140564081875624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1535] ppid=1527 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/1530/task/1535/stat : 1535 (java) S 1527 1530 31415 0 -1 4202560 391 0 0 0 294 5 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140564080823336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1536] ppid=1527 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/1530/task/1536/stat : 1536 (java) S 1527 1530 31415 0 -1 4202560 358 0 0 0 303 6 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563743501224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1537] ppid=1527 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/1530/task/1537/stat : 1537 (java) S 1527 1530 31415 0 -1 4202560 426 0 0 0 295 6 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563742447912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1538] ppid=1527 vsize=9824732 CPUtime=3.03 cores=1,3,5,7
/proc/1530/task/1538/stat : 1538 (java) S 1527 1530 31415 0 -1 4202560 325 0 0 0 299 4 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563741395112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1539] ppid=1527 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/1530/task/1539/stat : 1539 (java) S 1527 1530 31415 0 -1 4202560 386 0 0 0 290 5 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563740342824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1541] ppid=1527 vsize=9824732 CPUtime=2.9 cores=1,3,5,7
/proc/1530/task/1541/stat : 1541 (java) S 1527 1530 31415 0 -1 4202560 390 0 0 0 284 6 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563739290024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1542] ppid=1527 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/1530/task/1542/stat : 1542 (java) S 1527 1530 31415 0 -1 4202560 1315 0 0 0 69 34 0 0 20 0 22 0 104546006 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563727092456 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1543] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1543/stat : 1543 (java) S 1527 1530 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104546006 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563726038520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1544] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1544/stat : 1544 (java) S 1527 1530 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104546006 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563724986120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1545] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1545/stat : 1545 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104546008 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563723934608 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1546] ppid=1527 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/1530/task/1546/stat : 1546 (java) S 1527 1530 31415 0 -1 4202560 8101 0 0 0 102 2 0 0 20 0 22 0 104546008 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563722881208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1547] ppid=1527 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/1530/task/1547/stat : 1547 (java) S 1527 1530 31415 0 -1 4202560 16337 0 0 0 141 3 0 0 20 0 22 0 104546008 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563721828408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1548] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1548/stat : 1548 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104546008 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563720776312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1551] ppid=1527 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/1530/task/1551/stat : 1551 (java) S 1527 1530 31415 0 -1 4202560 51 0 0 0 13 22 0 0 20 0 22 0 104546008 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563719723720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1561] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1561/stat : 1561 (java) S 1527 1530 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104546118 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563717518632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1676] ppid=1527 vsize=9824732 CPUtime=378.21 cores=1,3,5,7
/proc/1530/task/1676/stat : 1676 (java) R 1527 1530 31415 0 -1 4202560 99 0 0 0 37816 5 0 0 20 0 22 0 104597481 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563718569728 140563962119548 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1677] ppid=1527 vsize=9824732 CPUtime=378.2 cores=1,3,5,7
/proc/1530/task/1677/stat : 1677 (java) R 1527 1530 31415 0 -1 4202560 61 0 0 0 37814 6 0 0 20 0 22 0 104597481 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563715411088 140563962179004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1678] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1678/stat : 1678 (java) S 1527 1530 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104597481 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563716466216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.7
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 1530 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+897.708 s]
/proc/loadavg: 4.33 4.29 4.22 5/220 1689
/proc/meminfo: memFree=25343916/32872528 swapFree=14448/1543360
[pid=1530] ppid=1527 vsize=9824732 CPUtime=1797.7 cores=1,3,5,7
/proc/1530/stat : 1530 (java) S 1527 1530 31415 0 -1 4202496 34481 0 1 0 179594 176 0 0 20 0 22 0 104546003 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140737451161584 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1530/statm: 2456183 521478 2282 9 0 2446860 0
[pid=1530/tid=1531] ppid=1527 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/1530/task/1531/stat : 1531 (java) S 1527 1530 31415 0 -1 4202560 2415 0 1 0 14 3 0 0 20 0 22 0 104546004 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140564104827768 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1533] ppid=1527 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/1530/task/1533/stat : 1533 (java) S 1527 1530 31415 0 -1 4202560 359 0 0 0 293 7 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140564082928424 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1534] ppid=1527 vsize=9824732 CPUtime=3.02 cores=1,3,5,7
/proc/1530/task/1534/stat : 1534 (java) S 1527 1530 31415 0 -1 4202560 348 0 0 0 296 6 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140564081875624 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1535] ppid=1527 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/1530/task/1535/stat : 1535 (java) S 1527 1530 31415 0 -1 4202560 391 0 0 0 294 5 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140564080823336 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1536] ppid=1527 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/1530/task/1536/stat : 1536 (java) S 1527 1530 31415 0 -1 4202560 358 0 0 0 303 6 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563743501224 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1537] ppid=1527 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/1530/task/1537/stat : 1537 (java) S 1527 1530 31415 0 -1 4202560 426 0 0 0 295 6 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563742447912 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1538] ppid=1527 vsize=9824732 CPUtime=3.03 cores=1,3,5,7
/proc/1530/task/1538/stat : 1538 (java) S 1527 1530 31415 0 -1 4202560 325 0 0 0 299 4 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563741395112 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1539] ppid=1527 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/1530/task/1539/stat : 1539 (java) S 1527 1530 31415 0 -1 4202560 386 0 0 0 290 5 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563740342824 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1541] ppid=1527 vsize=9824732 CPUtime=2.9 cores=1,3,5,7
/proc/1530/task/1541/stat : 1541 (java) S 1527 1530 31415 0 -1 4202560 390 0 0 0 284 6 0 0 20 0 22 0 104546005 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563739290024 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1542] ppid=1527 vsize=9824732 CPUtime=1.03 cores=1,3,5,7
/proc/1530/task/1542/stat : 1542 (java) S 1527 1530 31415 0 -1 4202560 1315 0 0 0 69 34 0 0 20 0 22 0 104546006 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563727092456 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1543] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1543/stat : 1543 (java) S 1527 1530 31415 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104546006 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563726038520 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1544] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1544/stat : 1544 (java) S 1527 1530 31415 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104546006 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563724986120 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1545] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1545/stat : 1545 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104546008 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563723934608 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1546] ppid=1527 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/1530/task/1546/stat : 1546 (java) S 1527 1530 31415 0 -1 4202560 8101 0 0 0 102 2 0 0 20 0 22 0 104546008 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563722881208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1547] ppid=1527 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/1530/task/1547/stat : 1547 (java) S 1527 1530 31415 0 -1 4202560 16337 0 0 0 141 3 0 0 20 0 22 0 104546008 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563721828408 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1548] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1548/stat : 1548 (java) S 1527 1530 31415 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104546008 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563720776312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1551] ppid=1527 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/1530/task/1551/stat : 1551 (java) S 1527 1530 31415 0 -1 4202560 51 0 0 0 13 22 0 0 20 0 22 0 104546008 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563719723720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1530/tid=1561] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1561/stat : 1561 (java) S 1527 1530 31415 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104546118 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563717518632 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1530/tid=1676] ppid=1527 vsize=9824732 CPUtime=378.21 cores=1,3,5,7
/proc/1530/task/1676/stat : 1676 (java) R 1527 1530 31415 0 -1 4202560 99 0 0 0 37816 5 0 0 20 0 22 0 104597481 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563718569728 140563962119548 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1530/tid=1677] ppid=1527 vsize=9824732 CPUtime=378.2 cores=1,3,5,7
/proc/1530/task/1677/stat : 1677 (java) R 1527 1530 31415 0 -1 4202560 61 0 0 0 37814 6 0 0 20 0 22 0 104597481 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563715411088 140563962179004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1530/tid=1678] ppid=1527 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/1530/task/1678/stat : 1678 (java) S 1527 1530 31415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104597481 10060525568 521478 33554432000 1073741824 1073778376 140737451170448 140563716466216 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.7
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1530 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=278228
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=21692
# CPU time returned by wait4() is 1796.3
# while last known CPU time is 1797.7
#
# 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): 2.32007
#  lost CPU user time (s): 2.46997
#  lost CPU system time (s): -0.15

Real time (s): 897.775
CPU time (s): 1800.02
CPU user time (s): 1798.41
CPU system time (s): 1.61
CPU usage (%): 200.498
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.28
system time used= 2.02169
maximum resident set size= 2750592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34528
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= 32743
involuntary context switches= 49100

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62315 second user time and 7.63384 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-06 17:15:24
IDJOB=4081189
IDBENCH=2213
IDSOLVER=2543
FILE ID=node116/4081189-1465226124
RUNJOBID= node116-1465218446-31432
PBS_JOBID= 19843214
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g9x9.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081189-1465226124/watcher-4081189-1465226124 -o /tmp/evaluation-result-4081189-1465226124/solver-4081189-1465226124 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465218446-31432 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081189-1465226124.opb

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

MD5SUM BENCH= 4b56e6775cc4a081c8696ef0fa81b784
RANDOM SEED=1467154603

node116.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		: 2667.134
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	: 5334.26
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		: 2667.134
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		: 2667.134
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		: 2667.134
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.55
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		: 2667.134
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		: 2667.134
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		: 2667.134
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		: 2667.134
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:        29791488 kB
Buffers:           17680 kB
Cached:            90348 kB
SwapCached:         1432 kB
Active:           783240 kB
Inactive:          50024 kB
Active(anon):     726480 kB
Inactive(anon):     1372 kB
Active(file):      56760 kB
Inactive(file):    48652 kB
Unevictable:     1543360 kB
Mlocked:           14448 kB
SwapTotal:      67108856 kB
SwapFree:       67098876 kB
Dirty:               832 kB
Writeback:             4 kB
AnonPages:       2266028 kB
Mapped:            15324 kB
Shmem:                 0 kB
Slab:             565836 kB
SReclaimable:       9632 kB
SUnreclaim:       556204 kB
KernelStack:        1656 kB
PageTables:         8980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2883176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2195456 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= 71732 MiB
End job on node116 at 2016-06-06 17:30:22