Trace number 4081165

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)5498 1800.69 899.998

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-9symml.opb
MD5SUM866c660dea8282137b8c78839dd4c03f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4693
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4517
Optimality of the best value was proved YES
Number of variables651
Total number of constraints1658
Number of constraints which are clauses1656
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint1
Maximum length of a constraint42
Number of terms in the objective function 651
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 28138
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 28138
Number of bits of the biggest sum of numbers15
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.09/0.10	c See www.sat4j.org for details.
0.09/0.10	c version PB16.v20160501
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		501472288
0.09/0.10	c Max memory 		7480803328
0.09/0.10	c Total memory 		504102912
0.09/0.10	c Number of processors 	8
0.09/0.13	c Pseudo Boolean Optimization by upper bound
0.09/0.13	c ManyCore solver with 2 solvers running in parallel
0.09/0.13	c >>>>>>>>>> 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-4081165-1465224419.opb
0.09/0.13	c reading problem ... 
0.09/0.13	c  objective function found
0.48/0.31	c ... done. Wall clock time 0.18s.
0.48/0.31	c declared #vars     651
0.48/0.31	c #constraints  1658
0.48/0.31	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.48/0.31	c constraints type 
0.48/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1078
0.48/0.31	c org.sat4j.specs.Constr$1 => 65
0.48/0.31	c org.sat4j.minisat.constraints.cnf.UnitClause => 14
0.48/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 501
0.48/0.31	c 1658 constraints processed.
0.48/0.31	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.48/0.31	c constraints type 
0.48/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 501
0.48/0.31	c org.sat4j.specs.Constr$1 => 65
0.48/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1078
0.48/0.31	c org.sat4j.pb.constraints.pb.UnitClausePB => 14
0.48/0.31	c 1658 constraints processed.
0.48/0.31	c objective function length is 651 literals
0.48/0.33	c And the winner is solver0
0.56/0.81	c SATISFIABLE
0.56/0.81	c OPTIMIZING...
0.56/0.81	c Got one! Elapsed wall clock time (in seconds):0.686
0.56/0.81	o 6192
0.56/0.83	c And the winner is solver0
0.63/1.32	c Got one! Elapsed wall clock time (in seconds):1.195
0.63/1.32	o 6124
0.63/1.34	c And the winner is solver1
0.72/1.83	c Got one! Elapsed wall clock time (in seconds):1.707
0.72/1.83	o 6112
0.72/1.84	c And the winner is solver0
1.25/2.34	c Got one! Elapsed wall clock time (in seconds):2.213
1.25/2.34	o 6056
1.25/2.35	c And the winner is solver0
1.32/2.84	c Got one! Elapsed wall clock time (in seconds):2.717
1.32/2.84	o 6033
1.32/2.86	c And the winner is solver0
1.51/3.35	c Got one! Elapsed wall clock time (in seconds):3.221
1.51/3.35	o 6010
1.51/3.36	c And the winner is solver0
1.61/3.85	c Got one! Elapsed wall clock time (in seconds):3.724
1.61/3.85	o 5987
2.82/4.22	c And the winner is solver1
2.88/4.35	c Got one! Elapsed wall clock time (in seconds):4.227
2.88/4.35	o 5962
3.05/4.50	c cleaning 2954 clauses out of 5911 with flag 2604/5911
4.76/5.07	c cleaning 4477 clauses out of 8957 with flag 18787/11911
6.10/5.69	c cleaning 5737 clauses out of 11480 with flag 37101/18911
7.94/6.43	c cleaning 6872 clauses out of 13743 with flag 57001/26911
9.93/7.38	c cleaning 7932 clauses out of 15871 with flag 79313/35911
11.98/8.35	c cleaning 8969 clauses out of 17940 with flag 104645/45912
14.46/9.51	c cleaning 9980 clauses out of 19970 with flag 131571/56911
14.46/9.59	c And the winner is solver1
14.67/9.85	c Got one! Elapsed wall clock time (in seconds):9.73
14.67/9.85	o 5532
15.63/10.36	c cleaning 7959 clauses out of 15918 with flag 13680/62839
16.83/10.91	c cleaning 6976 clauses out of 13959 with flag 29702/68839
18.15/11.53	c cleaning 6992 clauses out of 13983 with flag 48268/75839
19.87/12.32	c cleaning 7494 clauses out of 14992 with flag 68369/83840
21.47/13.14	c cleaning 8249 clauses out of 16497 with flag 91664/92839
23.61/14.19	c cleaning 9120 clauses out of 18248 with flag 116405/102839
25.61/15.17	c cleaning 10057 clauses out of 20128 with flag 142986/113839
28.03/16.34	c cleaning 11033 clauses out of 22071 with flag 171347/125839
30.23/17.49	c cleaning 12014 clauses out of 24038 with flag 206420/138839
33.23/18.81	c cleaning 13008 clauses out of 26024 with flag 243574/152839
35.82/20.12	c cleaning 14004 clauses out of 28016 with flag 282838/167839
39.02/21.69	c cleaning 15007 clauses out of 30014 with flag 325083/183841
42.23/23.21	c cleaning 16003 clauses out of 32005 with flag 368340/200839
44.02/24.15	c And the winner is solver1
44.14/24.36	c Got one! Elapsed wall clock time (in seconds):24.235
44.14/24.36	o 5516
45.01/24.88	c cleaning 16001 clauses out of 32013 with flag 13577/216850
46.23/25.42	c cleaning 11001 clauses out of 22012 with flag 29811/222850
47.42/26.05	c cleaning 8999 clauses out of 18011 with flag 48860/229850
48.82/26.78	c cleaning 8502 clauses out of 17014 with flag 70672/237852
50.43/27.57	c cleaning 8750 clauses out of 17508 with flag 94733/246848
52.60/28.58	c cleaning 9380 clauses out of 18759 with flag 122911/256849
54.61/29.59	c cleaning 10185 clauses out of 20379 with flag 153397/267849
56.81/30.66	c cleaning 11093 clauses out of 22194 with flag 185769/279849
59.24/31.85	c cleaning 12045 clauses out of 24100 with flag 220230/292848
61.95/33.13	c cleaning 13023 clauses out of 26056 with flag 256043/306849
64.73/34.57	c cleaning 14013 clauses out of 28032 with flag 296011/321848
67.93/36.14	c cleaning 15010 clauses out of 30020 with flag 339135/337849
70.94/37.62	c And the winner is solver1
71.01/37.87	c Got one! Elapsed wall clock time (in seconds):37.746
71.01/37.87	o 5498
72.06/38.46	c cleaning 18400 clauses out of 36812 with flag 13278/359651
73.25/39.08	c cleaning 12203 clauses out of 24412 with flag 28842/365651
74.67/39.74	c cleaning 9591 clauses out of 19209 with flag 47899/372651
76.05/40.46	c cleaning 8807 clauses out of 17621 with flag 69457/380654
77.65/41.27	c cleaning 8896 clauses out of 17811 with flag 93972/389651
79.77/42.22	c cleaning 9453 clauses out of 18916 with flag 120055/399652
81.77/43.22	c cleaning 10232 clauses out of 20463 with flag 147847/410652
83.77/44.29	c cleaning 11112 clauses out of 22231 with flag 179236/422652
86.37/45.52	c cleaning 12057 clauses out of 24118 with flag 212726/435651
88.76/46.75	c cleaning 13022 clauses out of 26061 with flag 249042/449651
91.36/48.06	c cleaning 14018 clauses out of 28039 with flag 288008/464651
94.16/49.43	c cleaning 15005 clauses out of 30021 with flag 330330/480651
97.16/50.93	c cleaning 16008 clauses out of 32016 with flag 375845/497651
100.36/52.56	c cleaning 17005 clauses out of 34010 with flag 424147/515653
104.32/54.41	c cleaning 18002 clauses out of 36003 with flag 472224/534651
108.32/56.42	c cleaning 19001 clauses out of 38002 with flag 520617/554652
112.51/58.50	c cleaning 19992 clauses out of 40000 with flag 571802/575651
116.73/60.68	c cleaning 21005 clauses out of 42009 with flag 628042/597652
122.70/63.99	c cleaning 22002 clauses out of 44005 with flag 688194/620653
127.68/66.40	c cleaning 23001 clauses out of 46001 with flag 748048/644651
132.68/68.93	c cleaning 23994 clauses out of 48001 with flag 816045/669652
138.35/71.72	c cleaning 25003 clauses out of 50006 with flag 890841/695651
143.75/74.40	c cleaning 25999 clauses out of 52003 with flag 966574/722651
149.87/77.40	c cleaning 26994 clauses out of 54004 with flag 1048412/750651
155.76/80.36	c cleaning 27996 clauses out of 56010 with flag 1128471/779651
162.32/83.41	c cleaning 29002 clauses out of 58014 with flag 1207242/809651
168.76/86.43	c cleaning 30007 clauses out of 60015 with flag 1286989/840654
174.96/89.54	c cleaning 31000 clauses out of 62006 with flag 1365171/872652
182.27/93.11	c cleaning 31999 clauses out of 64005 with flag 1443800/905651
189.27/96.69	c cleaning 33000 clauses out of 66006 with flag 1528875/939651
196.81/100.38	c cleaning 34002 clauses out of 68007 with flag 1619994/974652
204.21/104.05	c cleaning 34999 clauses out of 70005 with flag 1711439/1010652
213.17/108.40	c cleaning 35998 clauses out of 72006 with flag 1812333/1047652
221.37/112.50	c cleaning 37002 clauses out of 74007 with flag 1914056/1085651
228.97/116.39	c cleaning 38000 clauses out of 76005 with flag 2016097/1124651
237.37/120.51	c cleaning 38998 clauses out of 78006 with flag 2117239/1164652
245.78/124.75	c cleaning 39989 clauses out of 80007 with flag 2225759/1205651
254.35/128.98	c cleaning 40997 clauses out of 82018 with flag 2336587/1247651
263.35/133.49	c cleaning 42011 clauses out of 84021 with flag 2446044/1290651
272.75/138.18	c cleaning 42996 clauses out of 86010 with flag 2559348/1334651
282.95/143.24	c cleaning 44007 clauses out of 88014 with flag 2673115/1379651
292.95/148.21	c cleaning 44999 clauses out of 90007 with flag 2789415/1425651
304.95/154.20	c cleaning 45995 clauses out of 92008 with flag 2910745/1472651
318.17/161.25	c cleaning 47000 clauses out of 94013 with flag 3028181/1520651
330.03/167.16	c cleaning 47999 clauses out of 96014 with flag 3153578/1569652
344.91/174.59	c cleaning 48997 clauses out of 98017 with flag 3277583/1619654
359.00/181.56	c cleaning 50005 clauses out of 100017 with flag 3407280/1670651
372.29/188.12	c cleaning 51003 clauses out of 102012 with flag 3542572/1722651
385.58/194.80	c cleaning 52002 clauses out of 104009 with flag 3684895/1775651
399.51/201.67	c cleaning 52998 clauses out of 106009 with flag 3835670/1829653
414.24/208.93	c cleaning 54005 clauses out of 108010 with flag 3983691/1884652
430.38/216.90	c cleaning 54989 clauses out of 110004 with flag 4129334/1940651
448.33/225.72	c cleaning 56004 clauses out of 112016 with flag 4267987/1997652
470.87/236.84	c cleaning 57001 clauses out of 114012 with flag 4406166/2055652
494.43/248.41	c cleaning 57999 clauses out of 116011 with flag 4545655/2114652
517.36/259.85	c cleaning 59001 clauses out of 118012 with flag 4690026/2174652
522.61/262.41	c cleaning 0 clauses out of 6769 with flag 0/6772
541.07/271.44	c cleaning 60006 clauses out of 120012 with flag 4830904/2235653
563.19/282.49	c cleaning 60997 clauses out of 122005 with flag 4980641/2297652
589.30/295.36	c cleaning 62001 clauses out of 124007 with flag 5133021/2360651
616.45/308.84	c cleaning 63002 clauses out of 126006 with flag 5285952/2424651
640.92/321.00	c cleaning 63996 clauses out of 128004 with flag 5436936/2489651
669.21/334.96	c cleaning 65003 clauses out of 130009 with flag 5598117/2555652
697.32/348.81	c cleaning 65994 clauses out of 132005 with flag 5759249/2622651
727.86/364.71	c cleaning 67003 clauses out of 134011 with flag 5927438/2690651
754.58/378.08	c cleaning 68004 clauses out of 136009 with flag 6095165/2759652
787.20/394.23	c cleaning 69002 clauses out of 138004 with flag 6262250/2829651
816.90/409.08	c cleaning 70000 clauses out of 140002 with flag 6434207/2900651
850.55/425.79	c cleaning 71000 clauses out of 142002 with flag 6608334/2972651
878.70/439.78	c cleaning 71993 clauses out of 144002 with flag 6780374/3045651
907.90/454.38	c cleaning 73004 clauses out of 146009 with flag 6963843/3119651
939.69/470.20	c cleaning 74000 clauses out of 148005 with flag 7146227/3194651
971.70/486.21	c cleaning 75002 clauses out of 150005 with flag 7324805/3270651
1003.27/501.98	c cleaning 75991 clauses out of 152004 with flag 7505316/3347652
1038.67/519.65	c cleaning 76998 clauses out of 154013 with flag 7694160/3425652
1072.47/536.53	c cleaning 78002 clauses out of 156014 with flag 7879376/3504651
1105.45/552.92	c cleaning 78993 clauses out of 158013 with flag 8075593/3584652
1138.04/569.23	c cleaning 80007 clauses out of 160020 with flag 8271782/3665652
1169.63/585.05	c cleaning 81005 clauses out of 162012 with flag 8474845/3747651
1207.23/603.89	c cleaning 82003 clauses out of 164008 with flag 8678446/3830652
1242.42/621.50	c cleaning 82994 clauses out of 166004 with flag 8869275/3914651
1275.63/638.07	c cleaning 84003 clauses out of 168010 with flag 9069185/3999651
1312.87/656.50	c cleaning 85001 clauses out of 170008 with flag 9269796/4085652
1350.89/675.54	c cleaning 85999 clauses out of 172006 with flag 9468656/4172651
1391.87/696.05	c cleaning 87000 clauses out of 174007 with flag 9675551/4260651
1431.27/715.78	c cleaning 87997 clauses out of 176008 with flag 9884698/4349652
1470.87/735.58	c cleaning 88994 clauses out of 178010 with flag 10095394/4439651
1512.67/756.47	c cleaning 90006 clauses out of 180016 with flag 10308830/4530651
1552.67/776.41	c cleaning 91002 clauses out of 182011 with flag 10520591/4622652
1594.68/797.43	c cleaning 92001 clauses out of 184008 with flag 10737837/4715651
1636.48/818.34	c cleaning 92994 clauses out of 186008 with flag 10963767/4809652
1680.48/840.35	c cleaning 94003 clauses out of 188014 with flag 11192285/4904652
1721.21/860.55	c cleaning 94998 clauses out of 190010 with flag 11423163/5000651
1762.63/881.22	c cleaning 96002 clauses out of 192013 with flag 11657492/5097652
1800.03/899.91	c >>>>>>>>>> Solver number 0 (6 answers) <<<<<<<<<<<<<<<<<<
1800.03/899.91	c starts		: 35967
1800.03/899.91	c conflicts		: 5185817
1800.03/899.91	c decisions		: 13377499
1800.03/899.91	c propagations		: 588518911
1800.03/899.91	c inspects		: 10826530233
1800.03/899.91	c shortcuts		: 0
1800.03/899.91	c learnt literals	: 0
1800.03/899.91	c learnt binary clauses	: 1
1800.03/899.91	c learnt ternary clauses	: 13
1800.03/899.91	c learnt constraints	: 5185817
1800.03/899.91	c ignored constraints	: 0
1800.03/899.91	c root simplifications	: 0
1800.03/899.91	c removed literals (reason simplification)	: 123455584
1800.03/899.91	c reason swapping (by a shorter reason)	: 0
1800.03/899.91	c Calls to reduceDB	: 125
1800.03/899.91	c Number of update (reduction) of LBD	: 691352
1800.03/899.91	c Imported unit clauses	: 0
1800.03/899.91	c number of reductions to clauses (during analyze)	: 0
1800.03/899.91	c number of learned constraints concerned by reduction	: 0
1800.03/899.91	c number of learning phase by resolution	: 0
1800.03/899.91	c number of learning phase by cutting planes	: 0
1800.03/899.91	c speed (assignments/second)	: 682708.0435155841
1800.03/899.91	c non guided choices	0
1800.03/899.94	c learnt constraints type 
1800.03/899.94	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.03/899.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 184175
1800.03/899.94	c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<<
1800.03/899.94	c starts		: 39
1800.03/899.94	c conflicts		: 8363
1800.03/899.94	c decisions		: 65322
1800.03/899.94	c propagations		: 626018
1800.03/899.94	c inspects		: 320591608
1800.03/899.94	c shortcuts		: 0
1800.03/899.94	c learnt literals	: 1
1800.03/899.94	c learnt binary clauses	: 2
1800.03/899.94	c learnt ternary clauses	: 7
1800.03/899.94	c learnt constraints	: 8359
1800.03/899.94	c ignored constraints	: 0
1800.03/899.94	c root simplifications	: 0
1800.03/899.94	c removed literals (reason simplification)	: 0
1800.03/899.94	c reason swapping (by a shorter reason)	: 0
1800.03/899.94	c Calls to reduceDB	: 1
1800.03/899.94	c Number of update (reduction) of LBD	: 0
1800.03/899.94	c Imported unit clauses	: 0
1800.03/899.94	c number of reductions to clauses (during analyze)	: 0
1800.03/899.94	c number of learned constraints concerned by reduction	: 0
1800.03/899.94	c number of learning phase by resolution	: 0
1800.03/899.94	c number of learning phase by cutting planes	: 0
1800.03/899.94	c speed (assignments/second)	: 698.6114102505443
1800.03/899.94	c non guided choices	0
1800.03/899.94	c learnt constraints type 
1800.03/899.94	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 55
1800.03/899.94	c org.sat4j.pb.constraints.pb.LearntBinaryClausePB => 2
1800.03/899.94	c org.sat4j.pb.constraints.pb.MaxWatchPb => 8302
1800.03/899.94	s SATISFIABLE
1800.03/899.94	c Found 11 solution(s)
1800.03/899.95	v -x1 x2 -x3 -x4 x5 -x6 x7 x8 x9 x10 -x11 x12 -x13 -x14 x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 x31 x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 -x41 x42 x43 -x44 -x45 x46 -x47 x48 x49 -x50 -x51 x52 x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 x74 x75 x76 x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 x164 -x165 x166 x167 -x168 x169 -x170 x171 -x172 -x173 -x174 x175 -x176 -x177 x178 x179 x180 -x181 x182 -x183 x184 x185 x186 x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 x238 x239 x240 x241 x242 x243 -x244 -x245 -x246 x247 x248 -x249 -x250 x251 x252 x253 -x254 -x255 x256 -x257 -x258 x259 -x260 x261 x262 -x263 -x264 -x265 -x266 x267 -x268 x269 -x270 -x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 x284 -x285 x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 x296 x297 x298 x299 -x300 x301 -x302 -x303 -x304 -x305 x306 x307 x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 x346 x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 x362 x363 -x364 x365 -x366 -x367 x368 -x369 -x370 -x371 x372 -x373 x374 -x375 x376 -x377 x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 x455 -x456 x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 x540 x541 x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 x618 -x619 x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 
1800.03/899.95	c objective function=5498
1800.03/899.95	c Total wall clock time (in seconds): 899.821

Verifier Data 

OK	5498

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

pid=10419
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.12 4.20 4.09 4/197 10422
/proc/meminfo: memFree=28613268/32872528 swapFree=10608/190480
[pid=10422] ppid=10419 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/10422/stat : 10422 (java) D 10419 10422 3970 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 104377242 9515008 183 33554432000 1073741824 1073778376 140734419213856 140734419204888 249650036405 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/10422/statm: 2323 183 140 9 0 71 0

[startup+0.100128 s]
/proc/loadavg: 4.12 4.20 4.09 4/197 10422
/proc/meminfo: memFree=28613268/32872528 swapFree=10608/190480
[pid=10422] ppid=10419 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/10422/stat : 10422 (java) S 10419 10422 3970 0 -1 4202496 4398 0 1 0 8 1 0 0 20 0 18 0 104377242 9787879424 6029 33554432000 1073741824 1073778376 140734651411920 140734651403056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10422/statm: 2389619 6029 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.210922 s]
/proc/loadavg: 4.12 4.20 4.09 4/197 10422
/proc/meminfo: memFree=28613268/32872528 swapFree=10608/190480
[pid=10422] ppid=10419 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/10422/stat : 10422 (java) S 10419 10422 3970 0 -1 4202496 4923 0 1 0 26 1 0 0 20 0 18 0 104377242 9787879424 6966 33554432000 1073741824 1073778376 140734651411920 140734651403056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10422/statm: 2389619 6970 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300331 s]
/proc/loadavg: 4.12 4.20 4.09 4/197 10422
/proc/meminfo: memFree=28613268/32872528 swapFree=10608/190480
[pid=10422] ppid=10419 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/10422/stat : 10422 (java) S 10419 10422 3970 0 -1 4202496 5705 0 1 0 46 2 0 0 20 0 18 0 104377242 9787879424 9005 33554432000 1073741824 1073778376 140734651411920 140734651403056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10422/statm: 2389619 9005 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700272 s]
/proc/loadavg: 4.12 4.20 4.09 4/197 10422
/proc/meminfo: memFree=28613268/32872528 swapFree=10608/190480
[pid=10422] ppid=10419 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/10422/stat : 10422 (java) S 10419 10422 3970 0 -1 4202496 6000 0 1 0 52 4 0 0 20 0 19 0 104377242 10060525568 10147 33554432000 1073741824 1073778376 140734651411920 140734651403056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10422/statm: 2456183 10147 2248 9 0 2446860 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9824732

[startup+1.50084 s]
/proc/loadavg: 4.12 4.20 4.09 3/216 10447
/proc/meminfo: memFree=28577116/32872528 swapFree=10608/190480
[pid=10422] ppid=10419 vsize=9824732 CPUtime=0.72 cores=0,2,4,6
/proc/10422/stat : 10422 (java) S 10419 10422 3970 0 -1 4202496 6779 0 1 0 66 6 0 0 20 0 19 0 104377242 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 140734651403056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10422/statm: 2456183 12205 2251 9 0 2446860 0
[pid=10422/tid=10424] ppid=10419 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/10422/task/10424/stat : 10424 (java) S 10419 10422 3970 0 -1 4202560 2432 0 1 0 29 2 0 0 20 0 19 0 104377243 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978708341624 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10425] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10425/stat : 10425 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978697402664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10426] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10426/stat : 10426 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978696349864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10427] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10427/stat : 10427 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978695297576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10422/tid=10428] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10428/stat : 10428 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978694244776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10429] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10429/stat : 10429 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978693192488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10430] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10430/stat : 10430 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978692139688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10431] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10431/stat : 10431 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978691087400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10432] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10432/stat : 10432 (java) S 10419 10422 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978690034600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10433] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10433/stat : 10433 (java) S 10419 10422 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104377245 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978532268264 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10434] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10434/stat : 10434 (java) S 10419 10422 3970 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104377246 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978531214328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10435] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10435/stat : 10435 (java) S 10419 10422 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104377246 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978530161928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10436] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10436/stat : 10436 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377248 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978529110416 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10437] ppid=10419 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/10422/task/10437/stat : 10437 (java) S 10419 10422 3970 0 -1 4202560 1903 0 0 0 17 0 0 0 20 0 19 0 104377248 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978528058040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10438] ppid=10419 vsize=9824732 CPUtime=0.12 cores=0,2,4,6
/proc/10422/task/10438/stat : 10438 (java) S 10419 10422 3970 0 -1 4202560 1100 0 0 0 12 0 0 0 20 0 19 0 104377248 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978527005240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10439] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10439/stat : 10439 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377248 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978525953144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10440] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10440/stat : 10440 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377248 10060525568 12205 33554432000 1073741824 1073778376 140734651411920 139978524900552 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 9824732

[startup+3.10088 s]
/proc/loadavg: 3.95 4.16 4.08 4/216 10453
/proc/meminfo: memFree=28539380/32872528 swapFree=10608/190480
[pid=10422] ppid=10419 vsize=9824732 CPUtime=1.51 cores=0,2,4,6
/proc/10422/stat : 10422 (java) S 10419 10422 3970 0 -1 4202496 22816 0 1 0 140 11 0 0 20 0 19 0 104377242 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 140734651403056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10422/statm: 2456183 23272 2254 9 0 2446860 0
[pid=10422/tid=10424] ppid=10419 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/10422/task/10424/stat : 10424 (java) S 10419 10422 3970 0 -1 4202560 2433 0 1 0 30 2 0 0 20 0 19 0 104377243 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978708341624 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10425] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10425/stat : 10425 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978697402664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10426] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10426/stat : 10426 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978696349864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10427] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10427/stat : 10427 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978695297576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10422/tid=10428] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10428/stat : 10428 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978694244776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10429] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10429/stat : 10429 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978693192488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10430] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10430/stat : 10430 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978692139688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10431] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10431/stat : 10431 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978691087400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10432] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10432/stat : 10432 (java) S 10419 10422 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104377244 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978690034600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10433] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10433/stat : 10433 (java) S 10419 10422 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104377245 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978532268264 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10434] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10434/stat : 10434 (java) S 10419 10422 3970 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104377246 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978531214328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10435] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10435/stat : 10435 (java) S 10419 10422 3970 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104377246 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978530161928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10436] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10436/stat : 10436 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377248 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978529110416 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10437] ppid=10419 vsize=9824732 CPUtime=0.61 cores=0,2,4,6
/proc/10422/task/10437/stat : 10437 (java) S 10419 10422 3970 0 -1 4202560 12057 0 0 0 59 2 0 0 20 0 19 0 104377248 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978528058040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10438] ppid=10419 vsize=9824732 CPUtime=0.43 cores=0,2,4,6
/proc/10422/task/10438/stat : 10438 (java) S 10419 10422 3970 0 -1 4202560 6952 0 0 0 41 2 0 0 20 0 19 0 104377248 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978527005240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10439] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10439/stat : 10439 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377248 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978525953144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10440] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10440/stat : 10440 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104377248 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978524900552 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10453] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10453/stat : 10453 (java) S 10419 10422 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 104377426 10060525568 23272 33554432000 1073741824 1073778376 140734651411920 139978520688040 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9824732
heavy processes:

[startup+6.30086 s]
/proc/loadavg: 3.95 4.16 4.08 5/219 10468
/proc/meminfo: memFree=28437940/32872528 swapFree=10608/190480
[pid=10422] ppid=10419 vsize=9824732 CPUtime=7.72 cores=0,2,4,6
/proc/10422/stat : 10422 (java) S 10419 10422 3970 0 -1 4202496 26308 0 1 0 751 21 0 0 20 0 22 0 104377242 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 140734651403056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10422/statm: 2456183 56723 2286 9 0 2446860 0
[pid=10422/tid=10424] ppid=10419 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/10422/task/10424/stat : 10424 (java) S 10419 10422 3970 0 -1 4202560 2434 0 1 0 31 2 0 0 20 0 22 0 104377243 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978708341624 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10425] ppid=10419 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/10422/task/10425/stat : 10425 (java) S 10419 10422 3970 0 -1 4202560 133 0 0 0 1 2 0 0 20 0 22 0 104377244 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978697402664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10426] ppid=10419 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10422/task/10426/stat : 10426 (java) S 10419 10422 3970 0 -1 4202560 110 0 0 0 1 0 0 0 20 0 22 0 104377244 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978696349864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10427] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10427/stat : 10427 (java) S 10419 10422 3970 0 -1 4202560 99 0 0 0 0 0 0 0 20 0 22 0 104377244 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978695297576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10428] ppid=10419 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/10422/task/10428/stat : 10428 (java) S 10419 10422 3970 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 104377244 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978694244776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10429] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10429/stat : 10429 (java) S 10419 10422 3970 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 22 0 104377244 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978693192488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10430] ppid=10419 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10422/task/10430/stat : 10430 (java) S 10419 10422 3970 0 -1 4202560 155 0 0 0 1 0 0 0 20 0 22 0 104377244 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978692139688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10431] ppid=10419 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10422/task/10431/stat : 10431 (java) S 10419 10422 3970 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 104377244 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978691087400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10432] ppid=10419 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/10422/task/10432/stat : 10432 (java) S 10419 10422 3970 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 104377244 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978690034600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10433] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10433/stat : 10433 (java) S 10419 10422 3970 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 104377245 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978532268264 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10434] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10434/stat : 10434 (java) S 10419 10422 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104377246 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978531214328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10435] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10435/stat : 10435 (java) S 10419 10422 3970 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104377246 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978530161928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10436] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10436/stat : 10436 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104377248 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978529110416 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10437] ppid=10419 vsize=9824732 CPUtime=1.35 cores=0,2,4,6
/proc/10422/task/10437/stat : 10437 (java) S 10419 10422 3970 0 -1 4202560 13139 0 0 0 132 3 0 0 20 0 22 0 104377248 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978528058040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10438] ppid=10419 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/10422/task/10438/stat : 10438 (java) S 10419 10422 3970 0 -1 4202560 8662 0 0 0 117 2 0 0 20 0 22 0 104377248 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978527005240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10439] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10439/stat : 10439 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104377248 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978525953144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10440] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10440/stat : 10440 (java) S 10419 10422 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104377248 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978524900552 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10465] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10465/stat : 10465 (java) S 10419 10422 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104377628 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978522792872 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10466] ppid=10419 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/10422/task/10466/stat : 10466 (java) R 10419 10422 3970 0 -1 4202560 9 0 0 0 184 0 0 0 20 0 22 0 104377678 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978521739536 139978571466896 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=10422/tid=10467] ppid=10419 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/10422/task/10467/stat : 10467 (java) R 10419 10422 3970 0 -1 4202560 30 0 0 0 187 0 0 0 20 0 22 0 104377678 10060525568 56723 33554432000 1073741824 1073778376 140734651411920 139978523844600 139978572004525 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0

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


[startup+882.308 s]
/proc/loadavg: 4.20 4.11 4.10 5/220 10611
/proc/meminfo: memFree=24716408/32872528 swapFree=10608/190480
[pid=10422] ppid=10419 vsize=9824732 CPUtime=1764.83 cores=0,2,4,6
/proc/10422/stat : 10422 (java) S 10419 10422 3970 0 -1 4202496 39791 0 1 0 176257 226 0 0 20 0 22 0 104377242 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 140734651403056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10422/statm: 2456183 967687 2295 9 0 2446860 0
[pid=10422/tid=10424] ppid=10419 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/10422/task/10424/stat : 10424 (java) S 10419 10422 3970 0 -1 4202560 2443 0 1 0 33 3 0 0 20 0 22 0 104377243 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978708341624 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10425] ppid=10419 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/10422/task/10425/stat : 10425 (java) S 10419 10422 3970 0 -1 4202560 802 0 0 0 202 17 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978697402664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10422/tid=10426] ppid=10419 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/10422/task/10426/stat : 10426 (java) S 10419 10422 3970 0 -1 4202560 916 0 0 0 212 21 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978696349864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10427] ppid=10419 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/10422/task/10427/stat : 10427 (java) S 10419 10422 3970 0 -1 4202560 739 0 0 0 178 12 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978695297576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10422/tid=10428] ppid=10419 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/10422/task/10428/stat : 10428 (java) S 10419 10422 3970 0 -1 4202560 748 0 0 0 210 21 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978694244776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10429] ppid=10419 vsize=9824732 CPUtime=2.35 cores=0,2,4,6
/proc/10422/task/10429/stat : 10429 (java) S 10419 10422 3970 0 -1 4202560 756 0 0 0 215 20 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978693192488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10430] ppid=10419 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/10422/task/10430/stat : 10430 (java) S 10419 10422 3970 0 -1 4202560 755 0 0 0 228 21 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978692139688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10431] ppid=10419 vsize=9824732 CPUtime=2.29 cores=0,2,4,6
/proc/10422/task/10431/stat : 10431 (java) S 10419 10422 3970 0 -1 4202560 723 0 0 0 209 20 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978691087400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10422/tid=10432] ppid=10419 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/10422/task/10432/stat : 10432 (java) S 10419 10422 3970 0 -1 4202560 630 0 0 0 178 21 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978690034600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10422/tid=10433] ppid=10419 vsize=9824732 CPUtime=3.29 cores=0,2,4,6
/proc/10422/task/10433/stat : 10433 (java) S 10419 10422 3970 0 -1 4202560 2272 0 0 0 324 5 0 0 20 0 22 0 104377245 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978532268264 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10434] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10434/stat : 10434 (java) S 10419 10422 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104377246 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978531214328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10435] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10435/stat : 10435 (java) S 10419 10422 3970 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104377246 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978530161928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10436] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10436/stat : 10436 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104377248 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978529110416 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10437] ppid=10419 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/10422/task/10437/stat : 10437 (java) S 10419 10422 3970 0 -1 4202560 17076 0 0 0 266 4 0 0 20 0 22 0 104377248 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978528058040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10438] ppid=10419 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/10422/task/10438/stat : 10438 (java) S 10419 10422 3970 0 -1 4202560 8662 0 0 0 122 2 0 0 20 0 22 0 104377248 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978527005240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10439] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10439/stat : 10439 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104377248 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978525953144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10440] ppid=10419 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/10422/task/10440/stat : 10440 (java) S 10419 10422 3970 0 -1 4202560 52 0 0 0 11 15 0 0 20 0 22 0 104377248 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978524900552 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10465] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10465/stat : 10465 (java) S 10419 10422 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104377628 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978522792872 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10475] ppid=10419 vsize=9824732 CPUtime=837.22 cores=0,2,4,6
/proc/10422/task/10475/stat : 10475 (java) R 10419 10422 3970 0 -1 4202560 35 0 0 0 83708 14 0 0 20 0 22 0 104381030 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978523836528 139978571681536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10476] ppid=10419 vsize=9824732 CPUtime=837.17 cores=0,2,4,6
/proc/10422/task/10476/stat : 10476 (java) R 10419 10422 3970 0 -1 4202560 441 0 0 0 83689 28 0 0 20 0 22 0 104381030 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978521737584 139978571873405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10477] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10477/stat : 10477 (java) S 10419 10422 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104381030 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978520688040 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1764.83
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+899.908 s]
/proc/loadavg: 4.16 4.11 4.10 5/220 10612
/proc/meminfo: memFree=24691576/32872528 swapFree=10608/190480
[pid=10422] ppid=10419 vsize=9824732 CPUtime=1800.03 cores=0,2,4,6
/proc/10422/stat : 10422 (java) S 10419 10422 3970 0 -1 4202496 39791 0 1 0 179777 226 0 0 20 0 22 0 104377242 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 140734651403056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10422/statm: 2456183 967687 2295 9 0 2446860 0
[pid=10422/tid=10424] ppid=10419 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/10422/task/10424/stat : 10424 (java) S 10419 10422 3970 0 -1 4202560 2443 0 1 0 33 3 0 0 20 0 22 0 104377243 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978708341624 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10425] ppid=10419 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/10422/task/10425/stat : 10425 (java) S 10419 10422 3970 0 -1 4202560 802 0 0 0 202 17 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978697402664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10422/tid=10426] ppid=10419 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/10422/task/10426/stat : 10426 (java) S 10419 10422 3970 0 -1 4202560 916 0 0 0 212 21 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978696349864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10427] ppid=10419 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/10422/task/10427/stat : 10427 (java) S 10419 10422 3970 0 -1 4202560 739 0 0 0 178 12 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978695297576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10422/tid=10428] ppid=10419 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/10422/task/10428/stat : 10428 (java) S 10419 10422 3970 0 -1 4202560 748 0 0 0 210 21 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978694244776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10429] ppid=10419 vsize=9824732 CPUtime=2.35 cores=0,2,4,6
/proc/10422/task/10429/stat : 10429 (java) S 10419 10422 3970 0 -1 4202560 756 0 0 0 215 20 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978693192488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10430] ppid=10419 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/10422/task/10430/stat : 10430 (java) S 10419 10422 3970 0 -1 4202560 755 0 0 0 228 21 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978692139688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10431] ppid=10419 vsize=9824732 CPUtime=2.29 cores=0,2,4,6
/proc/10422/task/10431/stat : 10431 (java) S 10419 10422 3970 0 -1 4202560 723 0 0 0 209 20 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978691087400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10422/tid=10432] ppid=10419 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/10422/task/10432/stat : 10432 (java) S 10419 10422 3970 0 -1 4202560 630 0 0 0 178 21 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978690034600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10422/tid=10433] ppid=10419 vsize=9824732 CPUtime=3.29 cores=0,2,4,6
/proc/10422/task/10433/stat : 10433 (java) S 10419 10422 3970 0 -1 4202560 2272 0 0 0 324 5 0 0 20 0 22 0 104377245 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978532268264 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10434] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10434/stat : 10434 (java) S 10419 10422 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104377246 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978531214328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10435] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10435/stat : 10435 (java) S 10419 10422 3970 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104377246 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978530161928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10436] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10436/stat : 10436 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104377248 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978529110416 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10437] ppid=10419 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/10422/task/10437/stat : 10437 (java) S 10419 10422 3970 0 -1 4202560 17076 0 0 0 266 4 0 0 20 0 22 0 104377248 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978528058040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10438] ppid=10419 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/10422/task/10438/stat : 10438 (java) S 10419 10422 3970 0 -1 4202560 8662 0 0 0 122 2 0 0 20 0 22 0 104377248 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978527005240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10439] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10439/stat : 10439 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104377248 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978525953144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10440] ppid=10419 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/10422/task/10440/stat : 10440 (java) S 10419 10422 3970 0 -1 4202560 52 0 0 0 11 15 0 0 20 0 22 0 104377248 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978524900552 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10465] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10465/stat : 10465 (java) S 10419 10422 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104377628 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978522792872 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10475] ppid=10419 vsize=9824732 CPUtime=854.83 cores=0,2,4,6
/proc/10422/task/10475/stat : 10475 (java) R 10419 10422 3970 0 -1 4202560 35 0 0 0 85469 14 0 0 20 0 22 0 104381030 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978523836528 139978571608872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10476] ppid=10419 vsize=9824732 CPUtime=854.77 cores=0,2,4,6
/proc/10422/task/10476/stat : 10476 (java) R 10419 10422 3970 0 -1 4202560 441 0 0 0 85449 28 0 0 20 0 22 0 104381030 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978521737584 139978571873409 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10477] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10477/stat : 10477 (java) S 10419 10422 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104381030 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978520688040 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 10422 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+899.908 s]
/proc/loadavg: 4.16 4.11 4.10 5/220 10612
/proc/meminfo: memFree=24691576/32872528 swapFree=10608/190480
[pid=10422] ppid=10419 vsize=9824732 CPUtime=1800.03 cores=0,2,4,6
/proc/10422/stat : 10422 (java) S 10419 10422 3970 0 -1 4202496 39791 0 1 0 179777 226 0 0 20 0 22 0 104377242 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 140734651403056 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10422/statm: 2456183 967687 2295 9 0 2446860 0
[pid=10422/tid=10424] ppid=10419 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/10422/task/10424/stat : 10424 (java) S 10419 10422 3970 0 -1 4202560 2443 0 1 0 33 3 0 0 20 0 22 0 104377243 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978708341624 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10425] ppid=10419 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/10422/task/10425/stat : 10425 (java) S 10419 10422 3970 0 -1 4202560 802 0 0 0 202 17 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978697402664 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10422/tid=10426] ppid=10419 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/10422/task/10426/stat : 10426 (java) S 10419 10422 3970 0 -1 4202560 916 0 0 0 212 21 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978696349864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10427] ppid=10419 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/10422/task/10427/stat : 10427 (java) S 10419 10422 3970 0 -1 4202560 739 0 0 0 178 12 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978695297576 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10422/tid=10428] ppid=10419 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/10422/task/10428/stat : 10428 (java) S 10419 10422 3970 0 -1 4202560 748 0 0 0 210 21 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978694244776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10429] ppid=10419 vsize=9824732 CPUtime=2.35 cores=0,2,4,6
/proc/10422/task/10429/stat : 10429 (java) S 10419 10422 3970 0 -1 4202560 756 0 0 0 215 20 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978693192488 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10430] ppid=10419 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/10422/task/10430/stat : 10430 (java) S 10419 10422 3970 0 -1 4202560 755 0 0 0 228 21 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978692139688 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10431] ppid=10419 vsize=9824732 CPUtime=2.29 cores=0,2,4,6
/proc/10422/task/10431/stat : 10431 (java) S 10419 10422 3970 0 -1 4202560 723 0 0 0 209 20 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978691087400 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10422/tid=10432] ppid=10419 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/10422/task/10432/stat : 10432 (java) S 10419 10422 3970 0 -1 4202560 630 0 0 0 178 21 0 0 20 0 22 0 104377244 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978690034600 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10422/tid=10433] ppid=10419 vsize=9824732 CPUtime=3.29 cores=0,2,4,6
/proc/10422/task/10433/stat : 10433 (java) S 10419 10422 3970 0 -1 4202560 2272 0 0 0 324 5 0 0 20 0 22 0 104377245 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978532268264 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10434] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10434/stat : 10434 (java) S 10419 10422 3970 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104377246 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978531214328 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10435] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10435/stat : 10435 (java) S 10419 10422 3970 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 104377246 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978530161928 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10436] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10436/stat : 10436 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104377248 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978529110416 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10437] ppid=10419 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/10422/task/10437/stat : 10437 (java) S 10419 10422 3970 0 -1 4202560 17076 0 0 0 266 4 0 0 20 0 22 0 104377248 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978528058040 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10438] ppid=10419 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/10422/task/10438/stat : 10438 (java) S 10419 10422 3970 0 -1 4202560 8662 0 0 0 122 2 0 0 20 0 22 0 104377248 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978527005240 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10439] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10439/stat : 10439 (java) S 10419 10422 3970 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104377248 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978525953144 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10440] ppid=10419 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/10422/task/10440/stat : 10440 (java) S 10419 10422 3970 0 -1 4202560 52 0 0 0 11 15 0 0 20 0 22 0 104377248 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978524900552 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10465] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10465/stat : 10465 (java) S 10419 10422 3970 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104377628 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978522792872 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10422/tid=10475] ppid=10419 vsize=9824732 CPUtime=854.83 cores=0,2,4,6
/proc/10422/task/10475/stat : 10475 (java) R 10419 10422 3970 0 -1 4202560 35 0 0 0 85469 14 0 0 20 0 22 0 104381030 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978523836528 139978571608872 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10422/tid=10476] ppid=10419 vsize=9824732 CPUtime=854.77 cores=0,2,4,6
/proc/10422/task/10476/stat : 10476 (java) R 10419 10422 3970 0 -1 4202560 441 0 0 0 85449 28 0 0 20 0 22 0 104381030 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978521737584 139978571873409 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10422/tid=10477] ppid=10419 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/10422/task/10477/stat : 10477 (java) S 10419 10422 3970 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104381030 10060525568 967687 33554432000 1073741824 1073778376 140734651411920 139978520688040 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 899.998
CPU time (s): 1800.69
CPU user time (s): 1797.92
CPU system time (s): 2.77158
CPU usage (%): 200.077
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.92
system time used= 2.77158
maximum resident set size= 3870876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39835
page faults= 1
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23301
involuntary context switches= 18986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.72113 second user time and 7.11692 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-06 16:46:59
IDJOB=4081165
IDBENCH=2017
IDSOLVER=2543
FILE ID=node102/4081165-1465224419
RUNJOBID= node102-1465216787-3986
PBS_JOBID= 19843204
Free space on /tmp= 71736 MiB

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

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

MD5SUM BENCH= 866c660dea8282137b8c78839dd4c03f
RANDOM SEED=1732492414

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:        28614068 kB
Buffers:           14668 kB
Cached:            53624 kB
SwapCached:         2324 kB
Active:          3323708 kB
Inactive:          41616 kB
Active(anon):    3297968 kB
Inactive(anon):     1568 kB
Active(file):      25740 kB
Inactive(file):    40048 kB
Unevictable:      190480 kB
Mlocked:           10608 kB
SwapTotal:      67108856 kB
SwapFree:       67098416 kB
Dirty:               856 kB
Writeback:             0 kB
AnonPages:       3618128 kB
Mapped:            15416 kB
Shmem:                 0 kB
Slab:             565924 kB
SReclaimable:       9968 kB
SUnreclaim:       555956 kB
KernelStack:        1808 kB
PageTables:        10864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3934320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3555328 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:01:59