Trace number 4081103

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)12 1800.1 898.665

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-5xp1.b.opb
MD5SUMb3e6d54e40b24334877b0ae377edea30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark0.148976
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved YES
Number of variables464
Total number of constraints845
Number of constraints which are clauses845
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 constraint1
Maximum length of a constraint149
Number of terms in the objective function 464
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 464
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 464
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.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4081103-1465225202.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.57/0.33	c ... done. Wall clock time 0.215s.
0.57/0.33	c declared #vars     464
0.57/0.33	c #constraints  845
0.57/0.34	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.57/0.34	c constraints type 
0.57/0.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 841
0.57/0.34	c org.sat4j.specs.Constr$1 => 1
0.57/0.34	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.57/0.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.57/0.34	c 845 constraints processed.
0.57/0.34	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.57/0.34	c constraints type 
0.57/0.34	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.57/0.34	c org.sat4j.specs.Constr$1 => 1
0.57/0.34	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 841
0.57/0.34	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.57/0.34	c 845 constraints processed.
0.57/0.34	c objective function length is 464 literals
0.57/0.35	c And the winner is solver0
0.71/0.84	c SATISFIABLE
0.71/0.84	c OPTIMIZING...
0.71/0.84	c Got one! Elapsed wall clock time (in seconds):0.721
0.71/0.84	o 20
0.71/0.86	c And the winner is solver0
0.93/1.35	c Got one! Elapsed wall clock time (in seconds):1.226
0.93/1.35	o 19
0.93/1.36	c And the winner is solver0
0.98/1.85	c Got one! Elapsed wall clock time (in seconds):1.729
0.98/1.85	o 18
0.98/1.86	c And the winner is solver0
1.08/2.35	c Got one! Elapsed wall clock time (in seconds):2.232
1.08/2.35	o 17
1.24/2.41	c And the winner is solver1
1.54/2.86	c Got one! Elapsed wall clock time (in seconds):2.735
1.54/2.86	o 16
2.87/3.22	c cleaning 2702 clauses out of 5405 with flag 23224/5405
3.37/3.48	c And the winner is solver1
3.52/3.86	c Got one! Elapsed wall clock time (in seconds):3.737
3.52/3.86	o 15
3.67/3.93	c cleaning 4030 clauses out of 8076 with flag 5657/10778
4.30/4.26	c cleaning 5017 clauses out of 10046 with flag 34686/16778
5.22/4.67	c cleaning 5999 clauses out of 12029 with flag 65135/23778
6.36/5.16	c cleaning 7003 clauses out of 14030 with flag 97714/31778
7.62/5.74	c cleaning 8011 clauses out of 16027 with flag 130084/40778
8.84/6.39	c cleaning 8997 clauses out of 18017 with flag 168571/50779
10.70/7.21	c cleaning 10001 clauses out of 20019 with flag 209150/61778
12.53/8.05	c cleaning 11007 clauses out of 22018 with flag 254426/73778
14.14/8.86	c cleaning 11997 clauses out of 24012 with flag 305791/86779
14.73/9.15	c And the winner is solver1
14.84/9.40	c Got one! Elapsed wall clock time (in seconds):9.281
14.84/9.40	o 14
14.84/9.47	c cleaning 8880 clauses out of 17792 with flag 5861/92556
15.43/9.78	c cleaning 7442 clauses out of 14910 with flag 37336/98554
16.53/10.25	c cleaning 7233 clauses out of 14468 with flag 73873/105554
17.15/10.55	c And the winner is solver1
17.27/10.90	c Got one! Elapsed wall clock time (in seconds):10.783
17.27/10.90	o 13
17.67/11.19	c cleaning 9052 clauses out of 18104 with flag 25625/116423
18.45/11.53	c cleaning 7512 clauses out of 15052 with flag 49751/122423
19.25/11.92	c cleaning 7252 clauses out of 14540 with flag 80019/129423
20.36/12.43	c cleaning 7638 clauses out of 15288 with flag 112174/137423
21.36/12.95	c cleaning 8326 clauses out of 16651 with flag 148540/146424
22.56/13.50	c cleaning 9137 clauses out of 18324 with flag 196854/156423
23.77/14.16	c cleaning 10092 clauses out of 20187 with flag 244831/167423
25.18/14.86	c cleaning 11047 clauses out of 22096 with flag 299103/179424
26.78/15.69	c cleaning 12011 clauses out of 24048 with flag 345037/192423
28.59/16.57	c cleaning 12965 clauses out of 26037 with flag 400516/206423
30.70/17.57	c cleaning 14029 clauses out of 28072 with flag 468251/221423
32.70/18.53	c cleaning 15017 clauses out of 30043 with flag 542124/237423
34.70/19.53	c cleaning 15983 clauses out of 32026 with flag 623819/254423
37.24/20.71	c cleaning 17012 clauses out of 34043 with flag 708608/272423
39.64/21.94	c cleaning 18002 clauses out of 36031 with flag 784983/291423
42.44/23.37	c cleaning 19014 clauses out of 38029 with flag 865698/311423
45.48/24.89	c cleaning 19992 clauses out of 40015 with flag 951771/332423
49.08/26.63	c cleaning 21011 clauses out of 42025 with flag 1040249/354425
52.84/28.41	c cleaning 22002 clauses out of 44014 with flag 1138044/377425
56.84/30.43	c cleaning 22994 clauses out of 46010 with flag 1228984/401423
59.04/31.54	c And the winner is solver1
59.04/31.93	c Got one! Elapsed wall clock time (in seconds):31.809
59.04/31.93	o 12
59.77/32.32	c cleaning 22080 clauses out of 44183 with flag 27555/422590
60.37/32.67	c cleaning 14050 clauses out of 28103 with flag 57769/428590
61.19/33.05	c cleaning 10501 clauses out of 21053 with flag 92386/435590
62.17/33.51	c cleaning 9265 clauses out of 18552 with flag 129535/443590
63.17/34.02	c cleaning 9141 clauses out of 18287 with flag 165220/452590
64.47/34.64	c cleaning 9574 clauses out of 19148 with flag 207102/462592
65.69/35.23	c cleaning 10282 clauses out of 20572 with flag 258060/473590
67.07/35.90	c cleaning 11145 clauses out of 22290 with flag 310230/485590
68.27/36.59	c cleaning 12067 clauses out of 24145 with flag 377229/498590
70.08/37.47	c cleaning 13023 clauses out of 26078 with flag 436292/512590
72.07/38.47	c cleaning 14009 clauses out of 28055 with flag 500379/527590
74.27/39.55	c cleaning 15011 clauses out of 30046 with flag 572457/543590
76.47/40.67	c cleaning 16010 clauses out of 32036 with flag 645636/560591
79.09/41.99	c cleaning 17012 clauses out of 34025 with flag 716834/578590
81.97/43.38	c cleaning 18007 clauses out of 36014 with flag 793576/597591
84.77/44.76	c cleaning 18991 clauses out of 38006 with flag 873823/617590
87.37/46.07	c cleaning 20005 clauses out of 40015 with flag 975014/638590
90.37/47.55	c cleaning 20998 clauses out of 42013 with flag 1074338/660593
93.56/49.12	c cleaning 21985 clauses out of 44014 with flag 1176226/683592
97.16/50.94	c cleaning 23007 clauses out of 46027 with flag 1276147/707590
101.09/52.90	c cleaning 24010 clauses out of 48020 with flag 1380590/732590
104.88/54.78	c cleaning 24991 clauses out of 50010 with flag 1500675/758590
109.27/56.90	c cleaning 26003 clauses out of 52019 with flag 1609210/785590
113.47/59.09	c cleaning 26997 clauses out of 54017 with flag 1725731/813591
117.89/61.24	c cleaning 28004 clauses out of 56019 with flag 1854018/842590
123.01/63.78	c cleaning 29006 clauses out of 58015 with flag 1980966/872590
128.01/66.30	c cleaning 30005 clauses out of 60012 with flag 2111984/903593
132.80/68.69	c cleaning 31003 clauses out of 62005 with flag 2258909/935591
138.62/71.52	c cleaning 31998 clauses out of 64005 with flag 2404540/968594
144.92/74.65	c cleaning 32991 clauses out of 66003 with flag 2548170/1002590
151.32/77.80	c cleaning 33965 clauses out of 68012 with flag 2696401/1037590
157.12/80.75	c cleaning 35013 clauses out of 70047 with flag 2859347/1073590
163.04/83.66	c cleaning 36013 clauses out of 72034 with flag 3027335/1110590
169.22/86.79	c cleaning 36984 clauses out of 74022 with flag 3194305/1148591
175.62/89.98	c cleaning 38013 clauses out of 76037 with flag 3358654/1187590
182.03/93.17	c cleaning 39000 clauses out of 78024 with flag 3532048/1227590
189.62/97.21	c cleaning 39991 clauses out of 80024 with flag 3717464/1268590
197.22/101.09	c cleaning 41012 clauses out of 82033 with flag 3888015/1310590
205.87/105.33	c cleaning 42002 clauses out of 84021 with flag 4065277/1353590
213.29/109.08	c cleaning 42985 clauses out of 86021 with flag 4263582/1397592
221.28/113.03	c cleaning 44014 clauses out of 88035 with flag 4454799/1442591
229.95/117.38	c cleaning 45008 clauses out of 90021 with flag 4644673/1488591
239.15/121.91	c cleaning 45996 clauses out of 92012 with flag 4830858/1535590
249.02/126.83	c cleaning 46987 clauses out of 94016 with flag 5034719/1583590
259.03/131.87	c cleaning 47988 clauses out of 96029 with flag 5232608/1632590
268.94/136.72	c cleaning 48997 clauses out of 98041 with flag 5457801/1682590
277.15/140.86	c cleaning 0 clauses out of 6626 with flag 0/6626
280.15/142.14	c cleaning 50001 clauses out of 100044 with flag 5659752/1733590
291.71/147.80	c cleaning 51007 clauses out of 102043 with flag 5871636/1785590
302.51/153.23	c cleaning 52014 clauses out of 104036 with flag 6101067/1838590
313.83/158.84	c cleaning 53002 clauses out of 106024 with flag 6326818/1892592
325.03/164.43	c cleaning 53999 clauses out of 108023 with flag 6560603/1947593
337.81/170.70	c cleaning 54992 clauses out of 110021 with flag 6789651/2003590
349.21/176.49	c cleaning 56007 clauses out of 112029 with flag 7040631/2060590
361.53/182.53	c cleaning 56987 clauses out of 114022 with flag 7285393/2118590
374.45/188.93	c cleaning 58009 clauses out of 116037 with flag 7538788/2177592
387.65/195.58	c cleaning 58991 clauses out of 118028 with flag 7795035/2237592
402.15/202.71	c cleaning 60011 clauses out of 120035 with flag 8053174/2298590
414.96/209.16	c cleaning 61000 clauses out of 122026 with flag 8310579/2360592
429.08/216.16	c cleaning 62011 clauses out of 124025 with flag 8577507/2423591
448.06/225.54	c cleaning 62978 clauses out of 126013 with flag 8824773/2487590
463.21/233.04	c cleaning 63983 clauses out of 128035 with flag 9086706/2552590
480.20/242.08	c cleaning 65004 clauses out of 130052 with flag 9360338/2618590
495.98/249.98	c cleaning 66016 clauses out of 132048 with flag 9638209/2685590
513.03/258.40	c cleaning 67013 clauses out of 134034 with flag 9934509/2753592
528.31/266.02	c cleaning 68004 clauses out of 136019 with flag 10253625/2822590
544.60/274.14	c cleaning 68995 clauses out of 138015 with flag 10548688/2892590
563.53/283.57	c cleaning 70002 clauses out of 140021 with flag 10824407/2963591
581.63/292.59	c cleaning 70991 clauses out of 142018 with flag 11121488/3035590
601.78/302.51	c cleaning 72000 clauses out of 144027 with flag 11416373/3108590
621.51/312.39	c cleaning 73000 clauses out of 146027 with flag 11720073/3182590
642.07/322.57	c cleaning 74005 clauses out of 148027 with flag 12019521/3257590
661.43/332.16	c cleaning 75008 clauses out of 150022 with flag 12325828/3333590
682.23/342.40	c cleaning 75997 clauses out of 152014 with flag 12642092/3410590
705.05/353.76	c cleaning 77011 clauses out of 154022 with flag 12963779/3488595
727.70/364.99	c cleaning 78002 clauses out of 156006 with flag 13281346/3567590
751.51/376.78	c cleaning 78991 clauses out of 158004 with flag 13604191/3647590
772.32/387.08	c cleaning 79998 clauses out of 160013 with flag 13939289/3728590
794.49/397.97	c cleaning 80985 clauses out of 162016 with flag 14285320/3810591
816.47/408.89	c cleaning 82011 clauses out of 164030 with flag 14619841/3893590
842.41/421.79	c cleaning 82997 clauses out of 166019 with flag 14941860/3977590
866.56/433.77	c cleaning 83992 clauses out of 168022 with flag 15271909/4062590
893.98/447.39	c cleaning 84995 clauses out of 170030 with flag 15614458/4148590
919.87/460.22	c cleaning 86005 clauses out of 172035 with flag 15969692/4235590
949.50/474.92	c cleaning 87007 clauses out of 174031 with flag 16321285/4323591
974.40/487.33	c cleaning 88006 clauses out of 176023 with flag 16698929/4412590
984.45/492.35	c cleaning 0 clauses out of 12625 with flag 0/12625
1006.35/503.21	c cleaning 89006 clauses out of 178017 with flag 17052199/4502590
1034.45/517.21	c cleaning 90006 clauses out of 180011 with flag 17422622/4593590
1061.46/530.61	c cleaning 90977 clauses out of 182005 with flag 17812766/4685590
1090.36/545.04	c cleaning 91970 clauses out of 184028 with flag 18189264/4778590
1119.82/559.63	c cleaning 93015 clauses out of 186058 with flag 18568210/4872590
1149.77/574.53	c cleaning 94006 clauses out of 188044 with flag 18949075/4967591
1182.07/590.57	c cleaning 95017 clauses out of 190040 with flag 19334176/5063593
1216.67/607.74	c cleaning 95981 clauses out of 192020 with flag 19719383/5160590
1250.99/624.76	c cleaning 97010 clauses out of 194039 with flag 20115176/5258590
1284.40/642.23	c cleaning 98001 clauses out of 196031 with flag 20516404/5357592
1314.08/657.06	c cleaning 99001 clauses out of 198028 with flag 20957804/5457590
1343.50/671.69	c cleaning 99974 clauses out of 200027 with flag 21385551/5558590
1375.71/687.64	c cleaning 101015 clauses out of 202053 with flag 21803098/5660590
1409.54/704.50	c cleaning 102007 clauses out of 204039 with flag 22220310/5763591
1449.62/724.32	c cleaning 103013 clauses out of 206035 with flag 22629001/5867594
1488.72/743.71	c cleaning 103984 clauses out of 208018 with flag 23048106/5972590
1524.04/761.37	c cleaning 104975 clauses out of 210034 with flag 23486470/6078590
1565.43/781.89	c cleaning 106004 clauses out of 212059 with flag 23899455/6185590
1599.33/798.71	c cleaning 107017 clauses out of 214055 with flag 24366175/6293590
1637.49/817.74	c cleaning 108009 clauses out of 216039 with flag 24813573/6402591
1674.32/836.04	c cleaning 109003 clauses out of 218030 with flag 25272938/6512591
1714.08/855.87	c cleaning 110001 clauses out of 220026 with flag 25729141/6623590
1751.90/874.62	c cleaning 110997 clauses out of 222025 with flag 26191372/6735590
1788.51/892.85	c cleaning 111992 clauses out of 224030 with flag 26687140/6848592
1800.10/898.60	c >>>>>>>>>> Solver number 0 (4 answers) <<<<<<<<<<<<<<<<<<
1800.10/898.60	c starts		: 65844
1800.10/898.60	c conflicts		: 6896856
1800.10/898.60	c decisions		: 59208917
1800.10/898.60	c propagations		: 410789915
1800.10/898.60	c inspects		: 11440763749
1800.10/898.60	c shortcuts		: 0
1800.10/898.60	c learnt literals	: 0
1800.10/898.60	c learnt binary clauses	: 0
1800.10/898.60	c learnt ternary clauses	: 0
1800.10/898.60	c learnt constraints	: 6896856
1800.10/898.60	c ignored constraints	: 0
1800.10/898.60	c root simplifications	: 0
1800.10/898.60	c removed literals (reason simplification)	: 31357634
1800.10/898.60	c reason swapping (by a shorter reason)	: 0
1800.10/898.60	c Calls to reduceDB	: 142
1800.10/898.60	c Number of update (reduction) of LBD	: 3596907
1800.10/898.60	c Imported unit clauses	: 0
1800.10/898.60	c number of reductions to clauses (during analyze)	: 0
1800.10/898.60	c number of learned constraints concerned by reduction	: 0
1800.10/898.60	c number of learning phase by resolution	: 0
1800.10/898.60	c number of learning phase by cutting planes	: 0
1800.10/898.60	c speed (assignments/second)	: 473984.8997257328
1800.10/898.60	c non guided choices	0
1800.10/898.63	c learnt constraints type 
1800.10/898.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 160302
1800.10/898.63	c >>>>>>>>>> Solver number 1 (5 answers) <<<<<<<<<<<<<<<<<<
1800.10/898.63	c starts		: 50
1800.10/898.63	c conflicts		: 14972
1800.10/898.63	c decisions		: 112474
1800.10/898.63	c propagations		: 537019
1800.10/898.63	c inspects		: 758484163
1800.10/898.63	c shortcuts		: 0
1800.10/898.63	c learnt literals	: 0
1800.10/898.63	c learnt binary clauses	: 0
1800.10/898.63	c learnt ternary clauses	: 0
1800.10/898.63	c learnt constraints	: 14972
1800.10/898.63	c ignored constraints	: 0
1800.10/898.63	c root simplifications	: 0
1800.10/898.63	c removed literals (reason simplification)	: 0
1800.10/898.63	c reason swapping (by a shorter reason)	: 0
1800.10/898.63	c Calls to reduceDB	: 2
1800.10/898.63	c Number of update (reduction) of LBD	: 0
1800.10/898.63	c Imported unit clauses	: 0
1800.10/898.63	c number of reductions to clauses (during analyze)	: 0
1800.10/898.63	c number of learned constraints concerned by reduction	: 0
1800.10/898.63	c number of learning phase by resolution	: 0
1800.10/898.63	c number of learning phase by cutting planes	: 0
1800.10/898.63	c speed (assignments/second)	: 599.1690031943392
1800.10/898.63	c non guided choices	0
1800.10/898.63	c learnt constraints type 
1800.10/898.63	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 63
1800.10/898.63	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 68
1800.10/898.63	c org.sat4j.pb.constraints.pb.MaxWatchPb => 14841
1800.10/898.63	s SATISFIABLE
1800.10/898.63	c Found 9 solution(s)
1800.10/898.64	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 
1800.10/898.64	c objective function=12
1800.10/898.64	c Total wall clock time (in seconds): 898.517

Verifier Data 

OK	12

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-4081103-1465225202/watcher-4081103-1465225202 -o /tmp/evaluation-result-4081103-1465225202/solver-4081103-1465225202 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21443 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081103-1465225202.opb 

pid=23202
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.88 3.97 3.99 4/198 23205
/proc/meminfo: memFree=30640384/32872528 swapFree=12328/568296
[pid=23205] ppid=23202 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23205/stat : 23205 (java) D 23202 23205 21426 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 104452727 9515008 182 33554432000 1073741824 1073778376 140736901933840 140736901924872 206629060277 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/23205/statm: 2323 182 140 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 3.88 3.97 3.99 4/198 23205
/proc/meminfo: memFree=30640384/32872528 swapFree=12328/568296
[pid=23205] ppid=23202 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23202 23205 21426 0 -1 4202496 4399 0 1 0 7 1 0 0 20 0 18 0 104452727 9787879424 6035 33554432000 1073741824 1073778376 140735275422720 140735275413856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23205/statm: 2389619 6035 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200281 s]
/proc/loadavg: 3.88 3.97 3.99 4/198 23205
/proc/meminfo: memFree=30640384/32872528 swapFree=12328/568296
[pid=23205] ppid=23202 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23202 23205 21426 0 -1 4202496 6235 0 1 0 25 2 0 0 20 0 18 0 104452727 9787879424 7900 33554432000 1073741824 1073778376 140735275422720 140735275413856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23205/statm: 2389619 7901 2207 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300302 s]
/proc/loadavg: 3.88 3.97 3.99 4/198 23205
/proc/meminfo: memFree=30640384/32872528 swapFree=12328/568296
[pid=23205] ppid=23202 vsize=9558476 CPUtime=0.57 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23202 23205 21426 0 -1 4202496 7773 0 1 0 55 2 0 0 20 0 18 0 104452727 9787879424 10014 33554432000 1073741824 1073778376 140735275422720 140735275413856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23205/statm: 2389619 10014 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558476

[startup+0.700218 s]
/proc/loadavg: 3.88 3.97 3.99 4/198 23205
/proc/meminfo: memFree=30640384/32872528 swapFree=12328/568296
[pid=23205] ppid=23202 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23202 23205 21426 0 -1 4202496 8501 0 1 0 68 3 0 0 20 0 19 0 104452727 10060525568 13682 33554432000 1073741824 1073778376 140735275422720 140735275413856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23205/statm: 2456183 13682 2251 9 0 2446860 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 9824732

[startup+1.5008 s]
/proc/loadavg: 3.88 3.97 3.99 3/217 23230
/proc/meminfo: memFree=30540824/32872528 swapFree=12328/568296
[pid=23205] ppid=23202 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23202 23205 21426 0 -1 4202496 8846 0 1 0 92 6 0 0 20 0 19 0 104452727 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140735275413856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23205/statm: 2456183 16316 2263 9 0 2446860 0
[pid=23205/tid=23207] ppid=23202 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/23205/task/23207/stat : 23207 (java) S 23202 23205 21426 0 -1 4202560 2431 0 1 0 29 2 0 0 20 0 19 0 104452728 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724976419704 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23208] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23208/stat : 23208 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104452730 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724948871592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23209] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23209/stat : 23209 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104452730 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724947819048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23210] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23210/stat : 23210 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104452730 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724946765992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23211] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23211/stat : 23211 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104452730 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724945713448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23212] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23212/stat : 23212 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104452730 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724944661416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23213] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23213/stat : 23213 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104452730 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724943608872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23214] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23214/stat : 23214 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104452730 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724942555816 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23215] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23215/stat : 23215 (java) S 23202 23205 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104452730 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724941503272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23216] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23216/stat : 23216 (java) S 23202 23205 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 104452731 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724329748840 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23217] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23217/stat : 23217 (java) S 23202 23205 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 104452731 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724328695160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23218] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23218/stat : 23218 (java) S 23202 23205 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104452731 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724327641992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23219] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23219/stat : 23219 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104452734 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724326590736 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23220] ppid=23202 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/23205/task/23220/stat : 23220 (java) S 23202 23205 21426 0 -1 4202560 2251 0 0 0 23 0 0 0 20 0 19 0 104452734 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724325538616 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23221] ppid=23202 vsize=9824732 CPUtime=0.27 cores=1,3,5,7
/proc/23205/task/23221/stat : 23221 (java) S 23202 23205 21426 0 -1 4202560 2809 0 0 0 27 0 0 0 20 0 19 0 104452734 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724324486072 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23222] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23222/stat : 23222 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104452734 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724323433208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23223] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23223/stat : 23223 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 104452734 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724322380872 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23227] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23227/stat : 23227 (java) S 23202 23205 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 104452762 10060525568 16316 33554432000 1073741824 1073778376 140735275422720 140724318167976 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 9824732

[startup+3.10074 s]
/proc/loadavg: 3.73 3.94 3.98 3/217 23236
/proc/meminfo: memFree=30529956/32872528 swapFree=12328/568296
[pid=23205] ppid=23202 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23202 23205 21426 0 -1 4202496 17435 0 1 0 237 13 0 0 20 0 22 0 104452727 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140735275413856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23205/statm: 2456183 26076 2274 9 0 2446860 0
[pid=23205/tid=23207] ppid=23202 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/23205/task/23207/stat : 23207 (java) S 23202 23205 21426 0 -1 4202560 2433 0 1 0 30 2 0 0 20 0 22 0 104452728 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724976419704 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23208] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23208/stat : 23208 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452730 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724948871592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23209] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23209/stat : 23209 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452730 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724947819048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23210] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23210/stat : 23210 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452730 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724946765992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23211] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23211/stat : 23211 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452730 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724945713448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23212] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23212/stat : 23212 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452730 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724944661416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23213] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23213/stat : 23213 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452730 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724943608872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23214] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23214/stat : 23214 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452730 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724942555816 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23215] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23215/stat : 23215 (java) S 23202 23205 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104452730 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724941503272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23216] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23216/stat : 23216 (java) S 23202 23205 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104452731 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724329748840 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23217] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23217/stat : 23217 (java) S 23202 23205 21426 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 104452731 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724328695160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23218] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23218/stat : 23218 (java) S 23202 23205 21426 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104452731 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724327641992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23219] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23219/stat : 23219 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452734 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724326590736 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23220] ppid=23202 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/23205/task/23220/stat : 23220 (java) R 23202 23205 21426 0 -1 4202560 6846 0 0 0 70 2 0 0 20 0 22 0 104452734 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724325525632 140724980508653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23221] ppid=23202 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/23205/task/23221/stat : 23221 (java) R 23202 23205 21426 0 -1 4202560 6760 0 0 0 64 1 0 0 20 0 22 0 104452734 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724324473640 140724982373121 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23222] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23222/stat : 23222 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452734 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724323433208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23223] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23223/stat : 23223 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452734 10060525568 26076 33554432000 1073741824 1073778376 140735275422720 140724322380872 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 9824732

[startup+6.30095 s]
/proc/loadavg: 3.73 3.94 3.98 5/220 23245
/proc/meminfo: memFree=30370628/32872528 swapFree=12328/568296
[pid=23205] ppid=23202 vsize=9824732 CPUtime=8.84 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23202 23205 21426 0 -1 4202496 21174 0 1 0 860 24 0 0 20 0 22 0 104452727 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140735275413856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23205/statm: 2456183 66959 2293 9 0 2446860 0
[pid=23205/tid=23207] ppid=23202 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/23205/task/23207/stat : 23207 (java) S 23202 23205 21426 0 -1 4202560 2433 0 1 0 30 2 0 0 20 0 22 0 104452728 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724976419704 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23208] ppid=23202 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23205/task/23208/stat : 23208 (java) S 23202 23205 21426 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 104452730 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724948871592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23209] ppid=23202 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/23205/task/23209/stat : 23209 (java) S 23202 23205 21426 0 -1 4202560 105 0 0 0 3 1 0 0 20 0 22 0 104452730 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724947819048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23210] ppid=23202 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/23205/task/23210/stat : 23210 (java) S 23202 23205 21426 0 -1 4202560 86 0 0 0 1 0 0 0 20 0 22 0 104452730 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724946765992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23211] ppid=23202 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23205/task/23211/stat : 23211 (java) S 23202 23205 21426 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 104452730 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724945713448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23212] ppid=23202 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/23205/task/23212/stat : 23212 (java) S 23202 23205 21426 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 104452730 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724944661416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23213] ppid=23202 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/23205/task/23213/stat : 23213 (java) S 23202 23205 21426 0 -1 4202560 109 0 0 0 2 2 0 0 20 0 22 0 104452730 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724943608872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23214] ppid=23202 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23205/task/23214/stat : 23214 (java) S 23202 23205 21426 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 104452730 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724942555816 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23215] ppid=23202 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23205/task/23215/stat : 23215 (java) S 23202 23205 21426 0 -1 4202560 107 0 0 0 2 1 0 0 20 0 22 0 104452730 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724941503272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23216] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23216/stat : 23216 (java) S 23202 23205 21426 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 104452731 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724329748840 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23217] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23217/stat : 23217 (java) S 23202 23205 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104452731 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724328695160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23218] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23218/stat : 23218 (java) S 23202 23205 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104452731 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724327641992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23219] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23219/stat : 23219 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452734 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724326590736 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23220] ppid=23202 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/23205/task/23220/stat : 23220 (java) S 23202 23205 21426 0 -1 4202560 6851 0 0 0 92 2 0 0 20 0 22 0 104452734 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724325538616 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23221] ppid=23202 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/23205/task/23221/stat : 23221 (java) S 23202 23205 21426 0 -1 4202560 9897 0 0 0 100 2 0 0 20 0 22 0 104452734 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724324486072 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23222] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23222/stat : 23222 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452734 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724323433208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23223] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23223/stat : 23223 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452734 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724322380872 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23239] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23239/stat : 23239 (java) S 23202 23205 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104452963 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724320273832 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23243] ppid=23202 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/23205/task/23243/stat : 23243 (java) R 23202 23205 21426 0 -1 4202560 6 0 0 0 232 0 0 0 20 0 22 0 104453114 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724319218832 140724822191684 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23244] ppid=23202 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/23205/task/23244/stat : 23244 (java) R 23202 23205 21426 0 -1 4202560 24 0 0 0 232 0 0 0 20 0 22 0 104453114 10060525568 66959 33554432000 1073741824 1073778376 140735275422720 140724321325128 140724822693067 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23245] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7

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

/proc/23205/task/23210/stat : 23210 (java) S 23202 23205 21426 0 -1 4202560 620 0 0 0 264 14 0 0 20 0 22 0 104452730 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724946765992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23211] ppid=23202 vsize=9824732 CPUtime=3.1 cores=1,3,5,7
/proc/23205/task/23211/stat : 23211 (java) S 23202 23205 21426 0 -1 4202560 702 0 0 0 294 16 0 0 20 0 22 0 104452730 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724945713448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23212] ppid=23202 vsize=9824732 CPUtime=2.97 cores=1,3,5,7
/proc/23205/task/23212/stat : 23212 (java) S 23202 23205 21426 0 -1 4202560 811 0 0 0 279 18 0 0 20 0 22 0 104452730 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724944661416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23213] ppid=23202 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/23205/task/23213/stat : 23213 (java) S 23202 23205 21426 0 -1 4202560 1025 0 0 0 281 19 0 0 20 0 22 0 104452730 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724943608872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23214] ppid=23202 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/23205/task/23214/stat : 23214 (java) S 23202 23205 21426 0 -1 4202560 625 0 0 0 280 15 0 0 20 0 22 0 104452730 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724942555816 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23215] ppid=23202 vsize=9824732 CPUtime=2.8 cores=1,3,5,7
/proc/23205/task/23215/stat : 23215 (java) S 23202 23205 21426 0 -1 4202560 895 0 0 0 264 16 0 0 20 0 22 0 104452730 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724941503272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23216] ppid=23202 vsize=9824732 CPUtime=3.69 cores=1,3,5,7
/proc/23205/task/23216/stat : 23216 (java) S 23202 23205 21426 0 -1 4202560 2272 0 0 0 364 5 0 0 20 0 22 0 104452731 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724329748840 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23217] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23217/stat : 23217 (java) S 23202 23205 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104452731 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724328695160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23218] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23218/stat : 23218 (java) S 23202 23205 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104452731 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724327641992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23219] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23219/stat : 23219 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452734 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724326590736 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23220] ppid=23202 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/23205/task/23220/stat : 23220 (java) S 23202 23205 21426 0 -1 4202560 6867 0 0 0 105 2 0 0 20 0 22 0 104452734 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724325538616 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23221] ppid=23202 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/23205/task/23221/stat : 23221 (java) S 23202 23205 21426 0 -1 4202560 15137 0 0 0 162 3 0 0 20 0 22 0 104452734 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724324486072 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23222] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23222/stat : 23222 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452734 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724323433208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23223] ppid=23202 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/23205/task/23223/stat : 23223 (java) S 23202 23205 21426 0 -1 4202560 49 0 0 0 13 20 0 0 20 0 22 0 104452734 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724322380872 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23239] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23239/stat : 23239 (java) S 23202 23205 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104452963 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724320273832 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23252] ppid=23202 vsize=9824732 CPUtime=778.87 cores=1,3,5,7
/proc/23205/task/23252/stat : 23252 (java) R 23202 23205 21426 0 -1 4202560 28 0 0 0 77875 12 0 0 20 0 22 0 104455921 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724318167056 140724822171107 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23253] ppid=23202 vsize=9824732 CPUtime=778.83 cores=1,3,5,7
/proc/23205/task/23253/stat : 23253 (java) R 23202 23205 21426 0 -1 4202560 501 0 0 0 77856 27 0 0 20 0 22 0 104455921 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724321324144 140724822472625 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23254] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23254/stat : 23254 (java) S 23202 23205 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104455921 10060525568 915146 33554432000 1073741824 1073778376 140735275422720 140724319221032 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1646.82
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.03 4.03 4.00 5/219 23900
/proc/meminfo: memFree=24621028/32872528 swapFree=12328/568296
[pid=23205] ppid=23202 vsize=9824732 CPUtime=1767.31 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23202 23205 21426 0 -1 4202496 36172 0 1 0 176514 217 0 0 20 0 22 0 104452727 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140735275413856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23205/statm: 2456183 916676 2302 9 0 2446860 0
[pid=23205/tid=23207] ppid=23202 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/23205/task/23207/stat : 23207 (java) S 23202 23205 21426 0 -1 4202560 2446 0 1 0 33 4 0 0 20 0 22 0 104452728 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724976419704 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23208] ppid=23202 vsize=9824732 CPUtime=3.05 cores=1,3,5,7
/proc/23205/task/23208/stat : 23208 (java) S 23202 23205 21426 0 -1 4202560 958 0 0 0 289 16 0 0 20 0 22 0 104452730 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724948871592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23209] ppid=23202 vsize=9824732 CPUtime=3.13 cores=1,3,5,7
/proc/23205/task/23209/stat : 23209 (java) S 23202 23205 21426 0 -1 4202560 879 0 0 0 298 15 0 0 20 0 22 0 104452730 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724947819048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23210] ppid=23202 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/23205/task/23210/stat : 23210 (java) S 23202 23205 21426 0 -1 4202560 622 0 0 0 282 14 0 0 20 0 22 0 104452730 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724946765992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23211] ppid=23202 vsize=9824732 CPUtime=3.26 cores=1,3,5,7
/proc/23205/task/23211/stat : 23211 (java) S 23202 23205 21426 0 -1 4202560 702 0 0 0 310 16 0 0 20 0 22 0 104452730 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724945713448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23212] ppid=23202 vsize=9824732 CPUtime=3.15 cores=1,3,5,7
/proc/23205/task/23212/stat : 23212 (java) S 23202 23205 21426 0 -1 4202560 813 0 0 0 297 18 0 0 20 0 22 0 104452730 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724944661416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23213] ppid=23202 vsize=9824732 CPUtime=3.11 cores=1,3,5,7
/proc/23205/task/23213/stat : 23213 (java) S 23202 23205 21426 0 -1 4202560 1025 0 0 0 292 19 0 0 20 0 22 0 104452730 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724943608872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23214] ppid=23202 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/23205/task/23214/stat : 23214 (java) S 23202 23205 21426 0 -1 4202560 625 0 0 0 289 15 0 0 20 0 22 0 104452730 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724942555816 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23215] ppid=23202 vsize=9824732 CPUtime=2.92 cores=1,3,5,7
/proc/23205/task/23215/stat : 23215 (java) S 23202 23205 21426 0 -1 4202560 895 0 0 0 276 16 0 0 20 0 22 0 104452730 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724941503272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23216] ppid=23202 vsize=9824732 CPUtime=3.69 cores=1,3,5,7
/proc/23205/task/23216/stat : 23216 (java) S 23202 23205 21426 0 -1 4202560 2279 0 0 0 364 5 0 0 20 0 22 0 104452731 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724329748840 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23217] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23217/stat : 23217 (java) S 23202 23205 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104452731 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724328695160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23218] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23218/stat : 23218 (java) S 23202 23205 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104452731 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724327641992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23219] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23219/stat : 23219 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452734 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724326590736 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23220] ppid=23202 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/23205/task/23220/stat : 23220 (java) S 23202 23205 21426 0 -1 4202560 6867 0 0 0 105 2 0 0 20 0 22 0 104452734 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724325538616 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23221] ppid=23202 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/23205/task/23221/stat : 23221 (java) S 23202 23205 21426 0 -1 4202560 15137 0 0 0 162 3 0 0 20 0 22 0 104452734 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724324486072 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23222] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23222/stat : 23222 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452734 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724323433208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23223] ppid=23202 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/23205/task/23223/stat : 23223 (java) S 23202 23205 21426 0 -1 4202560 51 0 0 0 14 21 0 0 20 0 22 0 104452734 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724322380872 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23239] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23239/stat : 23239 (java) S 23202 23205 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104452963 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724320273832 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23252] ppid=23202 vsize=9824732 CPUtime=838.43 cores=1,3,5,7
/proc/23205/task/23252/stat : 23252 (java) R 23202 23205 21426 0 -1 4202560 32 0 0 0 83830 13 0 0 20 0 22 0 104455921 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724318159344 140724822230012 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23253] ppid=23202 vsize=9824732 CPUtime=838.39 cores=1,3,5,7
/proc/23205/task/23253/stat : 23253 (java) R 23202 23205 21426 0 -1 4202560 503 0 0 0 83811 28 0 0 20 0 22 0 104455921 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724321325104 140724822357938 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23254] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23254/stat : 23254 (java) S 23202 23205 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104455921 10060525568 916676 33554432000 1073741824 1073778376 140735275422720 140724319221032 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1767.31
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.601 s]
/proc/loadavg: 4.03 4.03 4.00 5/219 23900
/proc/meminfo: memFree=24558472/32872528 swapFree=12328/568296
[pid=23205] ppid=23202 vsize=9824732 CPUtime=1800.1 cores=1,3,5,7
/proc/23205/stat : 23205 (java) S 23202 23205 21426 0 -1 4202496 36181 0 1 0 179792 218 0 0 20 0 22 0 104452727 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140735275413856 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23205/statm: 2456183 916679 2302 9 0 2446860 0
[pid=23205/tid=23207] ppid=23202 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/23205/task/23207/stat : 23207 (java) S 23202 23205 21426 0 -1 4202560 2446 0 1 0 33 4 0 0 20 0 22 0 104452728 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724976419704 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23208] ppid=23202 vsize=9824732 CPUtime=3.09 cores=1,3,5,7
/proc/23205/task/23208/stat : 23208 (java) S 23202 23205 21426 0 -1 4202560 958 0 0 0 293 16 0 0 20 0 22 0 104452730 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724948871592 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23209] ppid=23202 vsize=9824732 CPUtime=3.16 cores=1,3,5,7
/proc/23205/task/23209/stat : 23209 (java) S 23202 23205 21426 0 -1 4202560 879 0 0 0 301 15 0 0 20 0 22 0 104452730 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724947819048 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23210] ppid=23202 vsize=9824732 CPUtime=2.99 cores=1,3,5,7
/proc/23205/task/23210/stat : 23210 (java) S 23202 23205 21426 0 -1 4202560 622 0 0 0 285 14 0 0 20 0 22 0 104452730 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724946765992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23211] ppid=23202 vsize=9824732 CPUtime=3.34 cores=1,3,5,7
/proc/23205/task/23211/stat : 23211 (java) S 23202 23205 21426 0 -1 4202560 702 0 0 0 318 16 0 0 20 0 22 0 104452730 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724945713448 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23212] ppid=23202 vsize=9824732 CPUtime=3.2 cores=1,3,5,7
/proc/23205/task/23212/stat : 23212 (java) S 23202 23205 21426 0 -1 4202560 813 0 0 0 302 18 0 0 20 0 22 0 104452730 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724944661416 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23213] ppid=23202 vsize=9824732 CPUtime=3.19 cores=1,3,5,7
/proc/23205/task/23213/stat : 23213 (java) S 23202 23205 21426 0 -1 4202560 1025 0 0 0 300 19 0 0 20 0 22 0 104452730 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724943608872 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23214] ppid=23202 vsize=9824732 CPUtime=3.12 cores=1,3,5,7
/proc/23205/task/23214/stat : 23214 (java) S 23202 23205 21426 0 -1 4202560 625 0 0 0 297 15 0 0 20 0 22 0 104452730 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724942555816 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23215] ppid=23202 vsize=9824732 CPUtime=2.95 cores=1,3,5,7
/proc/23205/task/23215/stat : 23215 (java) S 23202 23205 21426 0 -1 4202560 895 0 0 0 279 16 0 0 20 0 22 0 104452730 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724941503272 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23216] ppid=23202 vsize=9824732 CPUtime=3.69 cores=1,3,5,7
/proc/23205/task/23216/stat : 23216 (java) S 23202 23205 21426 0 -1 4202560 2284 0 0 0 364 5 0 0 20 0 22 0 104452731 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724329748840 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23217] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23217/stat : 23217 (java) S 23202 23205 21426 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104452731 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724328695160 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23218] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23218/stat : 23218 (java) S 23202 23205 21426 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 104452731 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724327641992 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23219] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23219/stat : 23219 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452734 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724326590736 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23220] ppid=23202 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/23205/task/23220/stat : 23220 (java) S 23202 23205 21426 0 -1 4202560 6867 0 0 0 105 2 0 0 20 0 22 0 104452734 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724325538616 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23221] ppid=23202 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/23205/task/23221/stat : 23221 (java) S 23202 23205 21426 0 -1 4202560 15137 0 0 0 162 3 0 0 20 0 22 0 104452734 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724324486072 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23222] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23222/stat : 23222 (java) S 23202 23205 21426 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104452734 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724323433208 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23205/tid=23223] ppid=23202 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/23205/task/23223/stat : 23223 (java) S 23202 23205 21426 0 -1 4202560 53 0 0 0 14 21 0 0 20 0 22 0 104452734 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724322380872 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23239] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23239/stat : 23239 (java) S 23202 23205 21426 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 104452963 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724320273832 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23205/tid=23252] ppid=23202 vsize=9824732 CPUtime=854.57 cores=1,3,5,7
/proc/23205/task/23252/stat : 23252 (java) R 23202 23205 21426 0 -1 4202560 33 0 0 0 85444 13 0 0 20 0 22 0 104455921 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724318159344 140724822190778 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23205/tid=23253] ppid=23202 vsize=9824732 CPUtime=854.52 cores=1,3,5,7
/proc/23205/task/23253/stat : 23253 (java) R 23202 23205 21426 0 -1 4202560 504 0 0 0 85424 28 0 0 20 0 22 0 104455921 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724321325120 140724822471646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23205/tid=23254] ppid=23202 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23205/task/23254/stat : 23254 (java) S 23202 23205 21426 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 104455921 10060525568 916679 33554432000 1073741824 1073778376 140735275422720 140724319221032 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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 23205 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23205 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=568336
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=562610
# CPU time returned by wait4() is 1796.13
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 898.665
CPU time (s): 1800.1
CPU user time (s): 1797.92
CPU system time (s): 2.18
CPU usage (%): 200.308
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.57
system time used= 2.56261
maximum resident set size= 3666828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36218
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24103
involuntary context switches= 28473

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49801 second user time and 8.16576 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-06 17:00:02
IDJOB=4081103
IDBENCH=2046
IDSOLVER=2543
FILE ID=node138/4081103-1465225202
RUNJOBID= node138-1465221375-21443
PBS_JOBID= 19843229
Free space on /tmp= 71748 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-5xp1.b.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081103-1465225202/watcher-4081103-1465225202 -o /tmp/evaluation-result-4081103-1465225202/solver-4081103-1465225202 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1465221375-21443 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081103-1465225202.opb

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

MD5SUM BENCH= b3e6d54e40b24334877b0ae377edea30
RANDOM SEED=1614460361

node138.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.807
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
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.807
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.56
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.807
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.807
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.807
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.807
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.807
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.807
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:        30640648 kB
Buffers:           15924 kB
Cached:            85104 kB
SwapCached:        46424 kB
Active:           864600 kB
Inactive:          90092 kB
Active(anon):     809120 kB
Inactive(anon):    47160 kB
Active(file):      55480 kB
Inactive(file):    42932 kB
Unevictable:      568296 kB
Mlocked:           12328 kB
SwapTotal:      67108856 kB
SwapFree:       67053444 kB
Dirty:               548 kB
Writeback:             0 kB
AnonPages:       1384880 kB
Mapped:            15392 kB
Shmem:                 0 kB
Slab:             567620 kB
SReclaimable:      11008 kB
SUnreclaim:       556612 kB
KernelStack:        1600 kB
PageTables:         6988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1648152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1333248 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= 71748 MiB
End job on node138 at 2016-06-06 17:15:00