Trace number 4081109

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)24 1800.89 897.675

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-count.b.opb
MD5SUM931342e76f648ae82c047d164917a326
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.049991
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables466
Total number of constraints694
Number of constraints which are clauses694
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 constraint2
Maximum length of a constraint78
Number of terms in the objective function 466
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 466
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 466
Number of bits of the biggest sum of numbers9
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.10	c version PB16.v20160501
0.00/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.10	c java.vm.version	19.1-b02
0.00/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		1.6.0_24
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.13	c Pseudo Boolean Optimization by upper bound
0.09/0.13	c ManyCore solver with 2 solvers running in parallel
0.09/0.13	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.13	c Expensive reason simplification
0.09/0.13	c Glucose 2.1 dynamic restart strategy
0.09/0.13	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.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.13	c --- Begin Solver configuration ---
0.09/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.13	c Learn all clauses as in MiniSAT
0.09/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.13	c No reason simplification
0.09/0.13	c Armin Biere (Picosat) restarts strategy
0.09/0.13	c Glucose 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.09/0.13	c timeout=2147483s
0.09/0.13	c DB Simplification allowed=false
0.09/0.13	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.13	c --- End Solver configuration ---
0.09/0.13	c solving HOME/instance-4081109-1465225320.opb
0.09/0.13	c reading problem ... 
0.09/0.13	c  objective function found
0.54/0.33	c ... done. Wall clock time 0.206s.
0.54/0.33	c declared #vars     466
0.54/0.33	c #constraints  694
0.54/0.33	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.54/0.33	c constraints type 
0.54/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 663
0.54/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 31
0.54/0.34	c 694 constraints processed.
0.54/0.34	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.54/0.34	c constraints type 
0.54/0.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 31
0.54/0.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 663
0.54/0.34	c 694 constraints processed.
0.54/0.34	c objective function length is 466 literals
0.54/0.35	c And the winner is solver0
0.70/0.84	c SATISFIABLE
0.70/0.84	c OPTIMIZING...
0.70/0.84	c Got one! Elapsed wall clock time (in seconds):0.712
0.70/0.84	o 30
0.70/0.86	c And the winner is solver0
0.82/1.34	c Got one! Elapsed wall clock time (in seconds):1.217
0.82/1.34	o 29
0.82/1.39	c And the winner is solver1
1.35/1.85	c Got one! Elapsed wall clock time (in seconds):1.721
1.35/1.85	o 28
1.94/2.02	c And the winner is solver1
2.25/2.35	c Got one! Elapsed wall clock time (in seconds):2.223
2.25/2.35	o 27
2.83/2.68	c cleaning 2817 clauses out of 5634 with flag 13968/5634
4.12/3.17	c cleaning 4398 clauses out of 8816 with flag 34977/11633
5.35/3.75	c cleaning 5682 clauses out of 11418 with flag 59414/18633
6.83/4.49	c cleaning 6853 clauses out of 13736 with flag 85949/26633
8.31/5.16	c cleaning 7936 clauses out of 15885 with flag 119849/35635
10.02/5.96	c cleaning 8958 clauses out of 17947 with flag 156763/45633
11.68/6.73	c cleaning 9989 clauses out of 19989 with flag 200671/56633
13.53/7.67	c cleaning 10997 clauses out of 22001 with flag 243198/68634
15.85/8.75	c cleaning 11994 clauses out of 24003 with flag 292382/81633
18.05/9.88	c cleaning 13001 clauses out of 26009 with flag 345330/95633
20.47/11.03	c cleaning 13996 clauses out of 28008 with flag 401137/110633
23.16/12.34	c cleaning 15004 clauses out of 30012 with flag 460678/126633
25.96/13.72	c cleaning 15988 clauses out of 32008 with flag 524391/143633
29.26/15.35	c cleaning 16973 clauses out of 34020 with flag 596030/161633
32.27/16.88	c cleaning 18003 clauses out of 36047 with flag 671698/180633
35.67/18.50	c cleaning 19014 clauses out of 38044 with flag 753487/200633
39.59/20.46	c cleaning 20015 clauses out of 40030 with flag 830108/221633
43.59/22.45	c cleaning 20966 clauses out of 42015 with flag 912655/243633
48.51/24.84	c cleaning 21986 clauses out of 44049 with flag 997666/266633
52.71/26.92	c cleaning 23012 clauses out of 46064 with flag 1090753/290634
56.90/29.08	c cleaning 24018 clauses out of 48051 with flag 1180483/315633
57.10/29.18	c And the winner is solver1
57.29/29.43	c Got one! Elapsed wall clock time (in seconds):29.302
57.29/29.43	o 26
57.85/29.72	c cleaning 14804 clauses out of 29689 with flag 16064/321289
58.63/30.17	c cleaning 10434 clauses out of 20885 with flag 38346/327289
59.64/30.60	c cleaning 8718 clauses out of 17451 with flag 65028/334289
60.44/31.08	c cleaning 8359 clauses out of 16733 with flag 93825/342289
61.64/31.65	c cleaning 8685 clauses out of 17374 with flag 128939/351289
62.03/31.82	c And the winner is solver1
62.09/31.93	c Got one! Elapsed wall clock time (in seconds):31.805
62.09/31.93	o 25
62.54/32.19	c cleaning 7313 clauses out of 14625 with flag 8549/357225
63.54/32.60	c cleaning 6655 clauses out of 13309 with flag 22855/363222
64.56/33.11	c cleaning 6827 clauses out of 13653 with flag 42839/370221
65.75/33.76	c cleaning 7413 clauses out of 14826 with flag 64591/378221
67.15/34.46	c cleaning 8207 clauses out of 16414 with flag 91304/387222
68.55/35.14	c cleaning 9103 clauses out of 18206 with flag 126322/397221
70.35/36.09	c cleaning 9981 clauses out of 20103 with flag 163462/408221
72.15/36.94	c cleaning 11060 clauses out of 22122 with flag 209043/420221
74.15/37.97	c cleaning 12030 clauses out of 24066 with flag 250853/433225
76.23/38.99	c cleaning 13012 clauses out of 26032 with flag 295556/447221
78.25/39.96	c cleaning 13974 clauses out of 28020 with flag 358532/462221
80.85/41.26	c cleaning 15018 clauses out of 30046 with flag 416602/478221
83.85/42.71	c cleaning 16015 clauses out of 32029 with flag 471706/495222
86.67/44.17	c cleaning 16995 clauses out of 34018 with flag 535525/513226
89.65/45.61	c cleaning 18008 clauses out of 36018 with flag 599289/532221
92.86/47.30	c cleaning 18984 clauses out of 38010 with flag 666844/552221
97.36/49.49	c cleaning 20006 clauses out of 40026 with flag 731506/573221
101.76/51.62	c cleaning 21006 clauses out of 42020 with flag 808476/595221
106.76/54.14	c cleaning 22008 clauses out of 44015 with flag 880144/618222
111.36/56.45	c cleaning 22964 clauses out of 46006 with flag 950859/642221
116.71/59.02	c cleaning 24016 clauses out of 48042 with flag 1041982/667221
121.51/61.40	c cleaning 25003 clauses out of 50026 with flag 1133957/693221
126.71/64.03	c And the winner is solver1
126.80/64.45	c Got one! Elapsed wall clock time (in seconds):64.321
126.80/64.45	o 24
127.49/64.90	c cleaning 28149 clauses out of 56331 with flag 15372/724529
128.69/65.40	c cleaning 17072 clauses out of 34182 with flag 38326/730529
129.69/65.91	c cleaning 12049 clauses out of 24111 with flag 63515/737530
130.69/66.48	c cleaning 10028 clauses out of 20061 with flag 90967/745529
131.89/67.07	c cleaning 9501 clauses out of 19033 with flag 121495/754529
133.49/67.84	c cleaning 9743 clauses out of 19532 with flag 153868/764529
134.90/68.59	c cleaning 10370 clauses out of 20789 with flag 188930/775529
136.72/69.48	c cleaning 11210 clauses out of 22421 with flag 233934/787531
139.05/70.54	c cleaning 12104 clauses out of 24209 with flag 280009/800529
141.05/71.52	c cleaning 13031 clauses out of 26109 with flag 331261/814533
143.03/72.57	c cleaning 14003 clauses out of 28074 with flag 384995/829529
145.23/73.68	c cleaning 15021 clauses out of 30071 with flag 448816/845529
147.84/75.00	c cleaning 16022 clauses out of 32053 with flag 510750/862532
151.43/76.74	c cleaning 16990 clauses out of 34028 with flag 570692/880529
154.44/78.26	c cleaning 18003 clauses out of 36038 with flag 636507/899529
158.74/80.37	c cleaning 19015 clauses out of 38035 with flag 699429/919529
161.93/81.99	c cleaning 20004 clauses out of 40020 with flag 776367/940529
165.73/83.83	c cleaning 21001 clauses out of 42016 with flag 855107/962529
169.52/85.80	c cleaning 21997 clauses out of 44017 with flag 938251/985531
174.14/88.06	c cleaning 23005 clauses out of 46020 with flag 1018823/1009531
178.64/90.30	c cleaning 24003 clauses out of 48013 with flag 1107725/1034529
183.63/92.78	c cleaning 24985 clauses out of 50012 with flag 1199831/1060531
189.43/95.66	c cleaning 26013 clauses out of 52025 with flag 1286777/1087529
194.62/98.25	c cleaning 26993 clauses out of 54012 with flag 1380549/1115529
202.20/102.37	c cleaning 28002 clauses out of 56019 with flag 1477811/1144529
207.98/105.25	c cleaning 28992 clauses out of 58017 with flag 1586806/1174529
216.02/109.24	c cleaning 30013 clauses out of 60026 with flag 1690070/1205530
222.83/112.61	c cleaning 31006 clauses out of 62012 with flag 1808218/1237529
229.22/115.88	c cleaning 31994 clauses out of 64006 with flag 1923653/1270529
236.31/119.36	c cleaning 32987 clauses out of 66012 with flag 2044544/1304529
244.90/123.69	c cleaning 34011 clauses out of 68025 with flag 2164498/1339529
251.90/127.14	c cleaning 0 clauses out of 5898 with flag 0/5898
253.01/127.57	c cleaning 35007 clauses out of 70016 with flag 2288646/1375531
260.57/131.21	c cleaning 35994 clauses out of 72010 with flag 2431015/1412532
269.77/135.84	c cleaning 36996 clauses out of 74013 with flag 2567636/1450529
278.92/140.31	c cleaning 37994 clauses out of 76017 with flag 2712146/1489529
288.32/145.05	c cleaning 39012 clauses out of 78023 with flag 2855158/1529529
299.66/150.61	c cleaning 39997 clauses out of 80011 with flag 2997427/1570529
311.46/156.51	c cleaning 41007 clauses out of 82014 with flag 3138147/1612529
320.38/160.93	c cleaning 41967 clauses out of 84007 with flag 3297725/1655529
331.18/166.32	c cleaning 43022 clauses out of 86043 with flag 3447566/1699532
340.69/171.03	c cleaning 43998 clauses out of 88020 with flag 3617205/1744531
351.29/176.38	c cleaning 45002 clauses out of 90021 with flag 3784623/1790530
362.64/181.93	c cleaning 45992 clauses out of 92018 with flag 3950558/1837529
372.63/186.97	c cleaning 46996 clauses out of 94026 with flag 4135053/1885529
385.16/193.11	c cleaning 48010 clauses out of 96030 with flag 4304567/1934529
397.37/199.26	c cleaning 48994 clauses out of 98020 with flag 4479182/1984529
408.86/204.93	c cleaning 50014 clauses out of 100027 with flag 4665039/2035530
423.81/212.39	c cleaning 51007 clauses out of 102015 with flag 4827771/2087532
437.80/219.36	c cleaning 52003 clauses out of 104005 with flag 5019939/2140529
454.54/227.64	c cleaning 53000 clauses out of 106002 with flag 5199074/2194529
469.33/234.93	c cleaning 53969 clauses out of 108003 with flag 5400923/2249530
487.08/243.75	c cleaning 55015 clauses out of 110037 with flag 5592619/2305533
502.25/251.30	c cleaning 55990 clauses out of 112021 with flag 5800258/2362532
514.45/257.33	c cleaning 57005 clauses out of 114028 with flag 6054350/2420529
530.19/265.79	c cleaning 58003 clauses out of 116023 with flag 6271760/2479529
544.48/272.89	c cleaning 59009 clauses out of 118020 with flag 6502724/2539529
557.67/279.43	c cleaning 59998 clauses out of 120011 with flag 6753364/2600529
572.93/287.00	c cleaning 60998 clauses out of 122013 with flag 6987627/2662529
590.42/295.75	c cleaning 61993 clauses out of 124015 with flag 7210316/2725529
608.93/304.91	c cleaning 63001 clauses out of 126025 with flag 7450114/2789532
627.87/314.30	c cleaning 64006 clauses out of 128021 with flag 7682062/2854529
647.81/324.23	c cleaning 64991 clauses out of 130015 with flag 7925432/2920529
671.72/336.17	c cleaning 66004 clauses out of 132024 with flag 8139485/2987529
699.07/349.72	c cleaning 66979 clauses out of 134020 with flag 8345348/3055529
719.82/360.10	c cleaning 68009 clauses out of 136041 with flag 8579029/3124529
738.99/369.55	c cleaning 68997 clauses out of 138032 with flag 8837734/3194529
758.15/379.09	c cleaning 70003 clauses out of 140036 with flag 9101766/3265530
784.32/392.03	c cleaning 71010 clauses out of 142032 with flag 9349447/3337529
811.83/405.68	c cleaning 71974 clauses out of 144022 with flag 9601152/3410529
831.96/415.68	c cleaning 72981 clauses out of 146048 with flag 9901266/3484529
852.89/426.05	c cleaning 74006 clauses out of 148067 with flag 10170459/3559529
866.68/432.94	c cleaning 0 clauses out of 11898 with flag 0/11898
874.67/436.84	c cleaning 75017 clauses out of 150061 with flag 10460776/3635529
901.01/449.99	c cleaning 75993 clauses out of 152044 with flag 10742721/3712529
928.37/463.52	c cleaning 77019 clauses out of 154051 with flag 11009553/3790529
958.52/478.46	c cleaning 78016 clauses out of 156032 with flag 11293568/3869529
981.85/490.09	c cleaning 79003 clauses out of 158017 with flag 11579755/3949530
1006.18/502.18	c cleaning 79998 clauses out of 160013 with flag 11875719/4030529
1038.10/518.08	c cleaning 81002 clauses out of 162015 with flag 12153137/4112529
1068.75/533.23	c cleaning 82005 clauses out of 164013 with flag 12446841/4195529
1094.91/546.28	c cleaning 82981 clauses out of 166010 with flag 12761062/4279531
1124.25/560.90	c cleaning 83991 clauses out of 168027 with flag 13059650/4364529
1153.52/575.34	c cleaning 84983 clauses out of 170036 with flag 13373221/4450529
1180.65/588.80	c cleaning 86012 clauses out of 172053 with flag 13685692/4537529
1220.52/608.62	c cleaning 87021 clauses out of 174041 with flag 13973543/4625529
1256.84/626.71	c cleaning 88010 clauses out of 176020 with flag 14257468/4714529
1288.86/642.61	c cleaning 88982 clauses out of 178010 with flag 14578903/4804529
1317.61/656.93	c cleaning 90015 clauses out of 180030 with flag 14906731/4895531
1352.97/674.46	c cleaning 90985 clauses out of 182013 with flag 15215251/4987529
1390.29/694.01	c cleaning 91990 clauses out of 184028 with flag 15555666/5080529
1424.83/711.27	c cleaning 93009 clauses out of 186042 with flag 15901532/5174533
1457.52/727.51	c cleaning 93990 clauses out of 188029 with flag 16247468/5269529
1490.72/744.03	c cleaning 95006 clauses out of 190039 with flag 16589377/5365529
1527.44/762.36	c cleaning 95990 clauses out of 192033 with flag 16926577/5462529
1557.30/777.15	c cleaning 97014 clauses out of 194043 with flag 17306018/5560529
1593.45/795.13	c cleaning 97996 clauses out of 196029 with flag 17659595/5659529
1628.11/812.38	c cleaning 99008 clauses out of 198033 with flag 18029921/5759529
1665.89/831.00	c cleaning 99969 clauses out of 200027 with flag 18376166/5860531
1709.70/852.73	c cleaning 101027 clauses out of 202057 with flag 18742129/5962530
1752.09/873.71	c cleaning 102002 clauses out of 204029 with flag 19104186/6065529
1789.15/892.16	c cleaning 103012 clauses out of 206030 with flag 19490342/6169532
1800.20/897.61	c >>>>>>>>>> Solver number 0 (2 answers) <<<<<<<<<<<<<<<<<<
1800.20/897.61	c starts		: 83071
1800.20/897.61	c conflicts		: 6206564
1800.20/897.61	c decisions		: 42712167
1800.20/897.61	c propagations		: 439815697
1800.20/897.61	c inspects		: 12616261235
1800.20/897.61	c shortcuts		: 0
1800.20/897.61	c learnt literals	: 0
1800.20/897.61	c learnt binary clauses	: 0
1800.20/897.61	c learnt ternary clauses	: 0
1800.20/897.61	c learnt constraints	: 6206564
1800.20/897.61	c ignored constraints	: 0
1800.20/897.61	c root simplifications	: 0
1800.20/897.61	c removed literals (reason simplification)	: 33035997
1800.20/897.61	c reason swapping (by a shorter reason)	: 0
1800.20/897.61	c Calls to reduceDB	: 148
1800.20/897.61	c Number of update (reduction) of LBD	: 2826104
1800.20/897.61	c Imported unit clauses	: 0
1800.20/897.61	c number of reductions to clauses (during analyze)	: 0
1800.20/897.61	c number of learned constraints concerned by reduction	: 0
1800.20/897.61	c number of learning phase by resolution	: 0
1800.20/897.61	c number of learning phase by cutting planes	: 0
1800.20/897.61	c speed (assignments/second)	: 527890.5380378488
1800.20/897.61	c non guided choices	0
1800.20/897.64	c learnt constraints type 
1800.20/897.64	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 140050
1800.20/897.64	c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<<
1800.20/897.64	c starts		: 50
1800.20/897.64	c conflicts		: 17139
1800.20/897.64	c decisions		: 145046
1800.20/897.64	c propagations		: 751037
1800.20/897.64	c inspects		: 823366454
1800.20/897.64	c shortcuts		: 0
1800.20/897.64	c learnt literals	: 0
1800.20/897.64	c learnt binary clauses	: 0
1800.20/897.64	c learnt ternary clauses	: 0
1800.20/897.64	c learnt constraints	: 17139
1800.20/897.64	c ignored constraints	: 0
1800.20/897.64	c root simplifications	: 0
1800.20/897.64	c removed literals (reason simplification)	: 0
1800.20/897.64	c reason swapping (by a shorter reason)	: 0
1800.20/897.64	c Calls to reduceDB	: 2
1800.20/897.64	c Number of update (reduction) of LBD	: 0
1800.20/897.64	c Imported unit clauses	: 0
1800.20/897.64	c number of reductions to clauses (during analyze)	: 0
1800.20/897.64	c number of learned constraints concerned by reduction	: 0
1800.20/897.64	c number of learning phase by resolution	: 0
1800.20/897.64	c number of learning phase by cutting planes	: 0
1800.20/897.64	c speed (assignments/second)	: 837.9406642277212
1800.20/897.64	c non guided choices	0
1800.20/897.64	c learnt constraints type 
1800.20/897.64	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 37
1800.20/897.64	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 40
1800.20/897.64	c org.sat4j.pb.constraints.pb.MaxWatchPb => 17062
1800.20/897.64	s SATISFIABLE
1800.20/897.64	c Found 7 solution(s)
1800.20/897.65	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 
1800.20/897.65	c objective function=24
1800.20/897.65	c Total wall clock time (in seconds): 897.521

Verifier Data 

OK	24

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-4081109-1465225320/watcher-4081109-1465225320 -o /tmp/evaluation-result-4081109-1465225320/solver-4081109-1465225320 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465216787-3986 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081109-1465225320.opb 

pid=10656
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.11 4.10 4/198 10659
/proc/meminfo: memFree=28562236/32872528 swapFree=10608/190480
[pid=10659] ppid=10656 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/10659/stat : 10659 (java) D 10656 10659 3970 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 104467321 9515008 182 33554432000 1073741824 1073778376 140736169098816 140736169089848 249650036405 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/10659/statm: 2323 182 140 9 0 71 0

[startup+0.100069 s]
/proc/loadavg: 4.16 4.11 4.10 4/198 10659
/proc/meminfo: memFree=28562236/32872528 swapFree=10608/190480
[pid=10659] ppid=10656 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/10659/stat : 10659 (java) S 10656 10659 3970 0 -1 4202496 4421 0 1 0 8 1 0 0 20 0 18 0 104467321 9787879424 6040 33554432000 1073741824 1073778376 140736745737504 140736745728640 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10659/statm: 2389619 6040 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200271 s]
/proc/loadavg: 4.16 4.11 4.10 4/198 10659
/proc/meminfo: memFree=28562236/32872528 swapFree=10608/190480
[pid=10659] ppid=10656 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/10659/stat : 10659 (java) S 10656 10659 3970 0 -1 4202496 4717 0 1 0 23 1 0 0 20 0 18 0 104467321 9787879424 6788 33554432000 1073741824 1073778376 140736745737504 140736745728640 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10659/statm: 2389619 6788 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.300323 s]
/proc/loadavg: 4.16 4.11 4.10 4/198 10659
/proc/meminfo: memFree=28562236/32872528 swapFree=10608/190480
[pid=10659] ppid=10656 vsize=9558476 CPUtime=0.54 cores=0,2,4,6
/proc/10659/stat : 10659 (java) S 10656 10659 3970 0 -1 4202496 7310 0 1 0 52 2 0 0 20 0 18 0 104467321 9787879424 9432 33554432000 1073741824 1073778376 140736745737504 140736745728640 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10659/statm: 2389619 9432 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476

[startup+0.700254 s]
/proc/loadavg: 4.16 4.11 4.10 4/198 10659
/proc/meminfo: memFree=28562236/32872528 swapFree=10608/190480
[pid=10659] ppid=10656 vsize=9824732 CPUtime=0.7 cores=0,2,4,6
/proc/10659/stat : 10659 (java) S 10656 10659 3970 0 -1 4202496 7420 0 1 0 67 3 0 0 20 0 19 0 104467321 10060525568 11481 33554432000 1073741824 1073778376 140736745737504 140736745728640 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10659/statm: 2456183 11481 2252 9 0 2446860 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 9824732

[startup+1.50077 s]
/proc/loadavg: 3.98 4.07 4.09 3/216 10684
/proc/meminfo: memFree=28518756/32872528 swapFree=10608/190480
[pid=10659] ppid=10656 vsize=9824732 CPUtime=1.16 cores=0,2,4,6
/proc/10659/stat : 10659 (java) S 10656 10659 3970 0 -1 4202496 13696 0 1 0 109 7 0 0 20 0 19 0 104467321 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 140736745728640 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10659/statm: 2456183 17914 2261 9 0 2446860 0
[pid=10659/tid=10661] ppid=10656 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/10659/task/10661/stat : 10661 (java) S 10656 10659 3970 0 -1 4202560 2424 0 1 0 30 2 0 0 20 0 19 0 104467322 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933201015672 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10662] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10662/stat : 10662 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104467323 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933190077096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10663] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10663/stat : 10663 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104467323 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933043604264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10664] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10664/stat : 10664 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104467323 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933042551720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10659/tid=10665] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10665/stat : 10665 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104467323 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933041499176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10666] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10666/stat : 10666 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104467323 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933040445608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10667] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10667/stat : 10667 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104467323 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933039393064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10668] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10668/stat : 10668 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104467323 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933038340520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10669] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10669/stat : 10669 (java) S 10656 10659 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104467323 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933037287976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10670] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10670/stat : 10670 (java) S 10656 10659 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104467324 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933025090152 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10671] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10671/stat : 10671 (java) S 10656 10659 3970 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104467325 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933024036472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10672] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10672/stat : 10672 (java) S 10656 10659 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104467325 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933022983816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10673] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10673/stat : 10673 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104467327 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933021932560 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10674] ppid=10656 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/10659/task/10674/stat : 10674 (java) S 10656 10659 3970 0 -1 4202560 2229 0 0 0 30 0 0 0 20 0 19 0 104467327 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933020878904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10675] ppid=10656 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/10659/task/10675/stat : 10675 (java) R 10656 10659 3970 0 -1 4202560 7695 0 0 0 34 1 0 0 20 0 19 0 104467327 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933019804472 139933203925388 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10676] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10676/stat : 10676 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104467327 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933018774008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10677] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10677/stat : 10677 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104467327 10060525568 17914 33554432000 1073741824 1073778376 140736745737504 139933017721672 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 9824732

[startup+3.10075 s]
/proc/loadavg: 3.98 4.07 4.09 3/216 10690
/proc/meminfo: memFree=28478244/32872528 swapFree=10608/190480
[pid=10659] ppid=10656 vsize=9824732 CPUtime=4.12 cores=0,2,4,6
/proc/10659/stat : 10659 (java) S 10656 10659 3970 0 -1 4202496 18515 0 1 0 399 13 0 0 20 0 22 0 104467321 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 140736745728640 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10659/statm: 2456183 47267 2292 9 0 2446860 0
[pid=10659/tid=10661] ppid=10656 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/10659/task/10661/stat : 10661 (java) S 10656 10659 3970 0 -1 4202560 2424 0 1 0 30 2 0 0 20 0 22 0 104467322 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933201015672 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10662] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10662/stat : 10662 (java) S 10656 10659 3970 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104467323 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933190077096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10663] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10663/stat : 10663 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104467323 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933043604264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10659/tid=10664] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10664/stat : 10664 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104467323 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933042551720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10659/tid=10665] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10665/stat : 10665 (java) S 10656 10659 3970 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104467323 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933041499176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10666] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10666/stat : 10666 (java) S 10656 10659 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104467323 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933040445608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10667] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10667/stat : 10667 (java) S 10656 10659 3970 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 104467323 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933039393064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10668] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10668/stat : 10668 (java) S 10656 10659 3970 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 104467323 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933038340520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10659/tid=10669] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10669/stat : 10669 (java) S 10656 10659 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104467323 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933037287976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10670] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10670/stat : 10670 (java) S 10656 10659 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104467324 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933025090152 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10671] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10671/stat : 10671 (java) S 10656 10659 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104467325 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933024036472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10672] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10672/stat : 10672 (java) S 10656 10659 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104467325 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933022983816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10673] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10673/stat : 10673 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104467327 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933021932560 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10674] ppid=10656 vsize=9824732 CPUtime=0.68 cores=0,2,4,6
/proc/10659/task/10674/stat : 10674 (java) S 10656 10659 3970 0 -1 4202560 4622 0 0 0 66 2 0 0 20 0 22 0 104467327 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933020878904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10675] ppid=10656 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/10659/task/10675/stat : 10675 (java) S 10656 10659 3970 0 -1 4202560 10012 0 0 0 108 2 0 0 20 0 22 0 104467327 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933019826360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10676] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10676/stat : 10676 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104467327 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933018774008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10677] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10677/stat : 10677 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104467327 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933017721672 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10687] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10687/stat : 10687 (java) S 10656 10659 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104467456 10060525568 47267 33554432000 1073741824 1073778376 140736745737504 139933016667560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 9824732

[startup+6.30086 s]
/proc/loadavg: 3.98 4.07 4.09 5/219 10693
/proc/meminfo: memFree=28187184/32872528 swapFree=10608/190480
[pid=10659] ppid=10656 vsize=9824732 CPUtime=10.87 cores=0,2,4,6
/proc/10659/stat : 10659 (java) S 10656 10659 3970 0 -1 4202496 19044 0 1 0 1067 20 0 0 20 0 22 0 104467321 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 140736745728640 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10659/statm: 2456183 65810 2293 9 0 2446860 0
[pid=10659/tid=10661] ppid=10656 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/10659/task/10661/stat : 10661 (java) S 10656 10659 3970 0 -1 4202560 2424 0 1 0 30 2 0 0 20 0 22 0 104467322 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933201015672 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10662] ppid=10656 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/10659/task/10662/stat : 10662 (java) S 10656 10659 3970 0 -1 4202560 25 0 0 0 3 2 0 0 20 0 22 0 104467323 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933190077096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10663] ppid=10656 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/10659/task/10663/stat : 10663 (java) S 10656 10659 3970 0 -1 4202560 101 0 0 0 3 2 0 0 20 0 22 0 104467323 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933043604264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10664] ppid=10656 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10659/task/10664/stat : 10664 (java) S 10656 10659 3970 0 -1 4202560 87 0 0 0 1 0 0 0 20 0 22 0 104467323 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933042551720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10659/tid=10665] ppid=10656 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10659/task/10665/stat : 10665 (java) S 10656 10659 3970 0 -1 4202560 23 0 0 0 1 1 0 0 20 0 22 0 104467323 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933041499176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10666] ppid=10656 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/10659/task/10666/stat : 10666 (java) S 10656 10659 3970 0 -1 4202560 11 0 0 0 3 0 0 0 20 0 22 0 104467323 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933040445608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10667] ppid=10656 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/10659/task/10667/stat : 10667 (java) S 10656 10659 3970 0 -1 4202560 114 0 0 0 4 0 0 0 20 0 22 0 104467323 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933039393064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10668] ppid=10656 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10659/task/10668/stat : 10668 (java) S 10656 10659 3970 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 104467323 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933038340520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10669] ppid=10656 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/10659/task/10669/stat : 10669 (java) S 10656 10659 3970 0 -1 4202560 119 0 0 0 4 1 0 0 20 0 22 0 104467323 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933037287976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10670] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10670/stat : 10670 (java) S 10656 10659 3970 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 104467324 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933025090152 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10671] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10671/stat : 10671 (java) S 10656 10659 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104467325 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933024036472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10672] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10672/stat : 10672 (java) S 10656 10659 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104467325 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933022983816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10673] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10673/stat : 10673 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104467327 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933021932560 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10674] ppid=10656 vsize=9824732 CPUtime=0.83 cores=0,2,4,6
/proc/10659/task/10674/stat : 10674 (java) S 10656 10659 3970 0 -1 4202560 4622 0 0 0 81 2 0 0 20 0 22 0 104467327 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933020878904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10675] ppid=10656 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/10659/task/10675/stat : 10675 (java) S 10656 10659 3970 0 -1 4202560 10012 0 0 0 117 2 0 0 20 0 22 0 104467327 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933019826360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10676] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10676/stat : 10676 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104467327 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933018774008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10677] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10677/stat : 10677 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104467327 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933017721672 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10687] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10687/stat : 10687 (java) S 10656 10659 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104467456 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933016667560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10691] ppid=10656 vsize=9824732 CPUtime=3.8 cores=0,2,4,6
/proc/10659/task/10691/stat : 10691 (java) R 10656 10659 3970 0 -1 4202560 5 0 0 0 380 0 0 0 20 0 22 0 104467556 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933015614008 139933071805812 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10659/tid=10692] ppid=10656 vsize=9824732 CPUtime=3.8 cores=0,2,4,6
/proc/10659/task/10692/stat : 10692 (java) R 10656 10659 3970 0 -1 4202560 64 0 0 0 378 2 0 0 20 0 22 0 104467556 10060525568 65810 33554432000 1073741824 1073778376 140736745737504 139933014560944 139933072213642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10693] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6

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

[startup+822.301 s]
/proc/loadavg: 4.00 4.03 4.07 5/219 10870
/proc/meminfo: memFree=25562168/32872528 swapFree=10608/190480
[pid=10659] ppid=10656 vsize=9824732 CPUtime=1648.28 cores=0,2,4,6
/proc/10659/stat : 10659 (java) S 10656 10659 3970 0 -1 4202496 27680 0 1 0 164629 199 0 0 20 0 22 0 104467321 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 140736745728640 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10659/statm: 2456183 899177 2302 9 0 2446860 0
[pid=10659/tid=10661] ppid=10656 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/10659/task/10661/stat : 10661 (java) S 10656 10659 3970 0 -1 4202560 2435 0 1 0 33 3 0 0 20 0 22 0 104467322 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933201015672 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10662] ppid=10656 vsize=9824732 CPUtime=2.6 cores=0,2,4,6
/proc/10659/task/10662/stat : 10662 (java) S 10656 10659 3970 0 -1 4202560 685 0 0 0 246 14 0 0 20 0 22 0 104467323 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933190077096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10659/tid=10663] ppid=10656 vsize=9824732 CPUtime=3.04 cores=0,2,4,6
/proc/10659/task/10663/stat : 10663 (java) S 10656 10659 3970 0 -1 4202560 699 0 0 0 286 18 0 0 20 0 22 0 104467323 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933043604264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10664] ppid=10656 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/10659/task/10664/stat : 10664 (java) S 10656 10659 3970 0 -1 4202560 604 0 0 0 290 15 0 0 20 0 22 0 104467323 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933042551720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10665] ppid=10656 vsize=9824732 CPUtime=2.8 cores=0,2,4,6
/proc/10659/task/10665/stat : 10665 (java) S 10656 10659 3970 0 -1 4202560 524 0 0 0 266 14 0 0 20 0 22 0 104467323 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933041499176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10666] ppid=10656 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/10659/task/10666/stat : 10666 (java) S 10656 10659 3970 0 -1 4202560 604 0 0 0 272 17 0 0 20 0 22 0 104467323 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933040445608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10667] ppid=10656 vsize=9824732 CPUtime=2.63 cores=0,2,4,6
/proc/10659/task/10667/stat : 10667 (java) S 10656 10659 3970 0 -1 4202560 766 0 0 0 249 14 0 0 20 0 22 0 104467323 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933039393064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10659/tid=10668] ppid=10656 vsize=9824732 CPUtime=2.96 cores=0,2,4,6
/proc/10659/task/10668/stat : 10668 (java) S 10656 10659 3970 0 -1 4202560 670 0 0 0 283 13 0 0 20 0 22 0 104467323 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933038340520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10669] ppid=10656 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/10659/task/10669/stat : 10669 (java) S 10656 10659 3970 0 -1 4202560 782 0 0 0 250 15 0 0 20 0 22 0 104467323 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933037287976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10670] ppid=10656 vsize=9824732 CPUtime=4.05 cores=0,2,4,6
/proc/10659/task/10670/stat : 10670 (java) S 10656 10659 3970 0 -1 4202560 2263 0 0 0 397 8 0 0 20 0 22 0 104467324 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933025090152 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10671] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10671/stat : 10671 (java) S 10656 10659 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104467325 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933024036472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10672] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10672/stat : 10672 (java) S 10656 10659 3970 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104467325 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933022983816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10673] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10673/stat : 10673 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104467327 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933021932560 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10674] ppid=10656 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/10659/task/10674/stat : 10674 (java) S 10656 10659 3970 0 -1 4202560 4626 0 0 0 94 2 0 0 20 0 22 0 104467327 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933020878904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10659/tid=10675] ppid=10656 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/10659/task/10675/stat : 10675 (java) S 10656 10659 3970 0 -1 4202560 10042 0 0 0 162 2 0 0 20 0 22 0 104467327 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933019826360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10676] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10676/stat : 10676 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104467327 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933018774008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10677] ppid=10656 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/10659/task/10677/stat : 10677 (java) S 10656 10659 3970 0 -1 4202560 47 0 0 0 11 17 0 0 20 0 22 0 104467327 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933017721672 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10687] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10687/stat : 10687 (java) S 10656 10659 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104467456 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933016667560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10701] ppid=10656 vsize=9824732 CPUtime=748.47 cores=0,2,4,6
/proc/10659/task/10701/stat : 10701 (java) R 10656 10659 3970 0 -1 4202560 26 0 0 0 74833 14 0 0 20 0 22 0 104473766 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933013508816 139933071899856 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10702] ppid=10656 vsize=9824732 CPUtime=748.46 cores=0,2,4,6
/proc/10659/task/10702/stat : 10702 (java) R 10656 10659 3970 0 -1 4202560 51 0 0 0 74833 13 0 0 20 0 22 0 104473766 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933014560064 139933071839213 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10703] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10703/stat : 10703 (java) S 10656 10659 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104473766 10060525568 899177 33554432000 1073741824 1073778376 140736745737504 139933015614760 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1648.28
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.00 4.02 4.06 5/219 10871
/proc/meminfo: memFree=25572976/32872528 swapFree=10608/190480
[pid=10659] ppid=10656 vsize=9824732 CPUtime=1769.45 cores=0,2,4,6
/proc/10659/stat : 10659 (java) S 10656 10659 3970 0 -1 4202496 27762 0 1 0 176741 204 0 0 20 0 22 0 104467321 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 140736745728640 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10659/statm: 2456183 912998 2302 9 0 2446860 0
[pid=10659/tid=10661] ppid=10656 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/10659/task/10661/stat : 10661 (java) S 10656 10659 3970 0 -1 4202560 2436 0 1 0 33 3 0 0 20 0 22 0 104467322 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933201015672 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10662] ppid=10656 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/10659/task/10662/stat : 10662 (java) S 10656 10659 3970 0 -1 4202560 691 0 0 0 272 14 0 0 20 0 22 0 104467323 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933190077096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10663] ppid=10656 vsize=9824732 CPUtime=3.36 cores=0,2,4,6
/proc/10659/task/10663/stat : 10663 (java) S 10656 10659 3970 0 -1 4202560 727 0 0 0 318 18 0 0 20 0 22 0 104467323 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933043604264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10659/tid=10664] ppid=10656 vsize=9824732 CPUtime=3.4 cores=0,2,4,6
/proc/10659/task/10664/stat : 10664 (java) S 10656 10659 3970 0 -1 4202560 611 0 0 0 325 15 0 0 20 0 22 0 104467323 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933042551720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10665] ppid=10656 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/10659/task/10665/stat : 10665 (java) S 10656 10659 3970 0 -1 4202560 525 0 0 0 287 14 0 0 20 0 22 0 104467323 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933041499176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10666] ppid=10656 vsize=9824732 CPUtime=3.21 cores=0,2,4,6
/proc/10659/task/10666/stat : 10666 (java) S 10656 10659 3970 0 -1 4202560 613 0 0 0 304 17 0 0 20 0 22 0 104467323 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933040445608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10667] ppid=10656 vsize=9824732 CPUtime=2.94 cores=0,2,4,6
/proc/10659/task/10667/stat : 10667 (java) S 10656 10659 3970 0 -1 4202560 773 0 0 0 280 14 0 0 20 0 22 0 104467323 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933039393064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10668] ppid=10656 vsize=9824732 CPUtime=3.21 cores=0,2,4,6
/proc/10659/task/10668/stat : 10668 (java) S 10656 10659 3970 0 -1 4202560 672 0 0 0 307 14 0 0 20 0 22 0 104467323 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933038340520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10669] ppid=10656 vsize=9824732 CPUtime=3.01 cores=0,2,4,6
/proc/10659/task/10669/stat : 10669 (java) S 10656 10659 3970 0 -1 4202560 790 0 0 0 286 15 0 0 20 0 22 0 104467323 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933037287976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10670] ppid=10656 vsize=9824732 CPUtime=4.06 cores=0,2,4,6
/proc/10659/task/10670/stat : 10670 (java) S 10656 10659 3970 0 -1 4202560 2267 0 0 0 397 9 0 0 20 0 22 0 104467324 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933025090152 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10671] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10671/stat : 10671 (java) S 10656 10659 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104467325 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933024036472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10672] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10672/stat : 10672 (java) S 10656 10659 3970 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104467325 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933022983816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10673] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10673/stat : 10673 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104467327 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933021932560 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10674] ppid=10656 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/10659/task/10674/stat : 10674 (java) S 10656 10659 3970 0 -1 4202560 4626 0 0 0 94 2 0 0 20 0 22 0 104467327 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933020878904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10659/tid=10675] ppid=10656 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/10659/task/10675/stat : 10675 (java) S 10656 10659 3970 0 -1 4202560 10042 0 0 0 162 2 0 0 20 0 22 0 104467327 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933019826360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10676] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10676/stat : 10676 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104467327 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933018774008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10677] ppid=10656 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/10659/task/10677/stat : 10677 (java) S 10656 10659 3970 0 -1 4202560 51 0 0 0 12 18 0 0 20 0 22 0 104467327 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933017721672 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10687] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10687/stat : 10687 (java) S 10656 10659 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104467456 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933016667560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10701] ppid=10656 vsize=9824732 CPUtime=807.85 cores=0,2,4,6
/proc/10659/task/10701/stat : 10701 (java) R 10656 10659 3970 0 -1 4202560 26 0 0 0 80770 15 0 0 20 0 22 0 104473766 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933013507704 139933071841857 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10702] ppid=10656 vsize=9824732 CPUtime=807.85 cores=0,2,4,6
/proc/10659/task/10702/stat : 10702 (java) R 10656 10659 3970 0 -1 4202560 56 0 0 0 80771 14 0 0 20 0 22 0 104473766 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933014559240 139933072064108 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10703] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10703/stat : 10703 (java) S 10656 10659 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104473766 10060525568 912998 33554432000 1073741824 1073778376 140736745737504 139933015614760 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1769.45
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+897.601 s]
/proc/loadavg: 4.00 4.02 4.06 5/219 10872
/proc/meminfo: memFree=25559840/32872528 swapFree=10608/190480
[pid=10659] ppid=10656 vsize=9824732 CPUtime=1800.2 cores=0,2,4,6
/proc/10659/stat : 10659 (java) S 10656 10659 3970 0 -1 4202496 27783 0 1 0 179815 205 0 0 20 0 22 0 104467321 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 140736745728640 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10659/statm: 2456183 916586 2302 9 0 2446860 0
[pid=10659/tid=10661] ppid=10656 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/10659/task/10661/stat : 10661 (java) S 10656 10659 3970 0 -1 4202560 2436 0 1 0 33 3 0 0 20 0 22 0 104467322 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933201015672 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10662] ppid=10656 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/10659/task/10662/stat : 10662 (java) S 10656 10659 3970 0 -1 4202560 693 0 0 0 275 14 0 0 20 0 22 0 104467323 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933190077096 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10663] ppid=10656 vsize=9824732 CPUtime=3.44 cores=0,2,4,6
/proc/10659/task/10663/stat : 10663 (java) S 10656 10659 3970 0 -1 4202560 730 0 0 0 325 19 0 0 20 0 22 0 104467323 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933043604264 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10659/tid=10664] ppid=10656 vsize=9824732 CPUtime=3.48 cores=0,2,4,6
/proc/10659/task/10664/stat : 10664 (java) S 10656 10659 3970 0 -1 4202560 616 0 0 0 333 15 0 0 20 0 22 0 104467323 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933042551720 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10665] ppid=10656 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/10659/task/10665/stat : 10665 (java) S 10656 10659 3970 0 -1 4202560 526 0 0 0 288 14 0 0 20 0 22 0 104467323 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933041499176 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10666] ppid=10656 vsize=9824732 CPUtime=3.28 cores=0,2,4,6
/proc/10659/task/10666/stat : 10666 (java) S 10656 10659 3970 0 -1 4202560 617 0 0 0 311 17 0 0 20 0 22 0 104467323 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933040445608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10667] ppid=10656 vsize=9824732 CPUtime=2.96 cores=0,2,4,6
/proc/10659/task/10667/stat : 10667 (java) S 10656 10659 3970 0 -1 4202560 773 0 0 0 282 14 0 0 20 0 22 0 104467323 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933039393064 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10668] ppid=10656 vsize=9824732 CPUtime=3.23 cores=0,2,4,6
/proc/10659/task/10668/stat : 10668 (java) S 10656 10659 3970 0 -1 4202560 672 0 0 0 309 14 0 0 20 0 22 0 104467323 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933038340520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10669] ppid=10656 vsize=9824732 CPUtime=3.03 cores=0,2,4,6
/proc/10659/task/10669/stat : 10669 (java) S 10656 10659 3970 0 -1 4202560 791 0 0 0 287 16 0 0 20 0 22 0 104467323 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933037287976 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10670] ppid=10656 vsize=9824732 CPUtime=4.06 cores=0,2,4,6
/proc/10659/task/10670/stat : 10670 (java) S 10656 10659 3970 0 -1 4202560 2271 0 0 0 397 9 0 0 20 0 22 0 104467324 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933025090152 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10671] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10671/stat : 10671 (java) S 10656 10659 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104467325 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933024036472 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10672] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10672/stat : 10672 (java) S 10656 10659 3970 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104467325 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933022983816 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10673] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10673/stat : 10673 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104467327 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933021932560 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10674] ppid=10656 vsize=9824732 CPUtime=0.96 cores=0,2,4,6
/proc/10659/task/10674/stat : 10674 (java) S 10656 10659 3970 0 -1 4202560 4626 0 0 0 94 2 0 0 20 0 22 0 104467327 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933020878904 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10659/tid=10675] ppid=10656 vsize=9824732 CPUtime=1.64 cores=0,2,4,6
/proc/10659/task/10675/stat : 10675 (java) S 10656 10659 3970 0 -1 4202560 10042 0 0 0 162 2 0 0 20 0 22 0 104467327 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933019826360 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10676] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10676/stat : 10676 (java) S 10656 10659 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104467327 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933018774008 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10677] ppid=10656 vsize=9824732 CPUtime=0.3 cores=0,2,4,6
/proc/10659/task/10677/stat : 10677 (java) S 10656 10659 3970 0 -1 4202560 51 0 0 0 12 18 0 0 20 0 22 0 104467327 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933017721672 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10659/tid=10687] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10687/stat : 10687 (java) S 10656 10659 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104467456 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933016667560 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10701] ppid=10656 vsize=9824732 CPUtime=823.07 cores=0,2,4,6
/proc/10659/task/10701/stat : 10701 (java) R 10656 10659 3970 0 -1 4202560 26 0 0 0 82292 15 0 0 20 0 22 0 104473766 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933013499888 139933071865748 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10659/tid=10702] ppid=10656 vsize=9824732 CPUtime=823.06 cores=0,2,4,6
/proc/10659/task/10702/stat : 10702 (java) R 10656 10659 3970 0 -1 4202560 57 0 0 0 82292 14 0 0 20 0 22 0 104473766 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933014560128 139933072304257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10659/tid=10703] ppid=10656 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10659/task/10703/stat : 10703 (java) S 10656 10659 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104473766 10060525568 916586 33554432000 1073741824 1073778376 140736745737504 139933015614760 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
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 10659 sig 9
??? kill -10659 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 897.675
CPU time (s): 1800.89
CPU user time (s): 1798.38
CPU system time (s): 2.51162
CPU usage (%): 200.617
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.38
system time used= 2.51162
maximum resident set size= 3666456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27818
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23962
involuntary context switches= 27505

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.55215 second user time and 7.48586 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-06 17:02:00
IDJOB=4081109
IDBENCH=2049
IDSOLVER=2543
FILE ID=node102/4081109-1465225320
RUNJOBID= node102-1465216787-3986
PBS_JOBID= 19843204
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-count.b.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081109-1465225320/watcher-4081109-1465225320 -o /tmp/evaluation-result-4081109-1465225320/solver-4081109-1465225320 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1465216787-3986 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081109-1465225320.opb

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

MD5SUM BENCH= 931342e76f648ae82c047d164917a326
RANDOM SEED=2105848636

node102.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.470
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	: 5332.94
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.470
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.470
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.470
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.56
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.470
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.56
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.470
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.470
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.470
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:        28563028 kB
Buffers:           15948 kB
Cached:            51080 kB
SwapCached:         2320 kB
Active:          3356008 kB
Inactive:          44356 kB
Active(anon):    3332656 kB
Inactive(anon):     2652 kB
Active(file):      23352 kB
Inactive(file):    41704 kB
Unevictable:      190480 kB
Mlocked:           10608 kB
SwapTotal:      67108856 kB
SwapFree:       67098420 kB
Dirty:               888 kB
Writeback:             0 kB
AnonPages:       3538824 kB
Mapped:            15352 kB
Shmem:                 0 kB
Slab:             566208 kB
SReclaimable:       9964 kB
SUnreclaim:       556244 kB
KernelStack:        1616 kB
PageTables:        11168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3936504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3467264 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= 71740 MiB
End job on node102 at 2016-06-06 17:16:58