Trace number 4118072

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 Resolution PB16SAT (TO)-21686 1800.03 1774.23

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-28.opb
MD5SUM40411e6a4c46189c3f6e7fff54e66dde
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-46719
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 19897
Biggest coefficient in the objective function 12740
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 3485664
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 12740
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 3485664
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)19842
Sum of products size (including duplicates)64529
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	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.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4118072-1467220520.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
8.35/7.72	c ... done. Wall clock time 7.606s.
8.35/7.72	c declared #vars     55
8.35/7.72	c internal #vars     19897
8.35/7.72	c #constraints  39684
8.35/7.72	c constraints type 
8.35/7.72	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 19842
8.35/7.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 19842
8.35/7.72	c 39684 constraints processed.
8.35/7.72	c objective function length is 19897 literals
8.84/7.92	c SATISFIABLE
8.84/7.92	c OPTIMIZING...
8.84/7.92	c Got one! Elapsed wall clock time (in seconds):7.805
8.84/7.92	o 0
9.06/8.02	c Got one! Elapsed wall clock time (in seconds):7.911
9.06/8.02	o -351
9.36/8.10	c Got one! Elapsed wall clock time (in seconds):7.99
9.36/8.10	o -702
9.36/8.15	c Got one! Elapsed wall clock time (in seconds):8.037
9.36/8.15	o -1328
9.57/8.20	c Got one! Elapsed wall clock time (in seconds):8.085
9.57/8.20	o -1703
9.57/8.26	c Got one! Elapsed wall clock time (in seconds):8.143
9.57/8.26	o -1954
9.57/8.29	c Got one! Elapsed wall clock time (in seconds):8.18
9.57/8.29	o -2787
9.71/8.37	c Got one! Elapsed wall clock time (in seconds):8.262
9.71/8.37	o -3025
9.82/8.45	c Got one! Elapsed wall clock time (in seconds):8.337
9.82/8.45	o -3186
9.82/8.50	c Got one! Elapsed wall clock time (in seconds):8.384
9.82/8.50	o -3620
9.93/8.57	c Got one! Elapsed wall clock time (in seconds):8.456
9.93/8.57	o -4439
10.22/8.70	c Got one! Elapsed wall clock time (in seconds):8.587
10.22/8.70	o -4519
10.22/8.74	c Got one! Elapsed wall clock time (in seconds):8.628
10.22/8.74	o -4600
10.22/8.78	c Got one! Elapsed wall clock time (in seconds):8.671
10.22/8.78	o -5580
10.52/9.09	c Got one! Elapsed wall clock time (in seconds):8.977
10.52/9.09	o -6005
10.82/9.40	c Got one! Elapsed wall clock time (in seconds):9.283
10.82/9.40	o -6070
11.02/9.56	c Got one! Elapsed wall clock time (in seconds):9.452
11.02/9.56	o -6192
11.12/9.66	c Got one! Elapsed wall clock time (in seconds):9.547
11.12/9.66	o -6397
11.22/9.73	c Got one! Elapsed wall clock time (in seconds):9.615
11.22/9.73	o -6472
11.22/9.77	c Got one! Elapsed wall clock time (in seconds):9.656
11.22/9.77	o -6655
11.32/9.81	c Got one! Elapsed wall clock time (in seconds):9.7
11.32/9.81	o -7730
12.28/10.77	c Got one! Elapsed wall clock time (in seconds):10.661
12.28/10.77	o -8548
13.49/11.84	c Got one! Elapsed wall clock time (in seconds):11.732
13.49/11.84	o -8836
14.39/12.75	c Got one! Elapsed wall clock time (in seconds):12.638
14.39/12.75	o -8845
14.49/12.82	c Got one! Elapsed wall clock time (in seconds):12.705
14.49/12.82	o -8847
14.49/12.86	c Got one! Elapsed wall clock time (in seconds):12.748
14.49/12.86	o -8856
14.49/12.88	c Got one! Elapsed wall clock time (in seconds):12.772
14.49/12.88	o -8879
14.59/12.91	c Got one! Elapsed wall clock time (in seconds):12.799
14.59/12.91	o -8890
14.59/12.95	c Got one! Elapsed wall clock time (in seconds):12.833
14.59/12.95	o -8894
14.59/12.97	c Got one! Elapsed wall clock time (in seconds):12.858
14.59/12.97	o -8905
14.69/13.00	c Got one! Elapsed wall clock time (in seconds):12.886
14.69/13.00	o -10031
16.61/14.81	c Got one! Elapsed wall clock time (in seconds):14.693
16.61/14.81	o -10065
17.91/16.15	c Got one! Elapsed wall clock time (in seconds):16.04
17.91/16.15	o -10080
18.71/16.90	c Got one! Elapsed wall clock time (in seconds):16.789
18.71/16.90	o -11307
24.66/22.63	c Got one! Elapsed wall clock time (in seconds):22.517
24.66/22.63	o -11314
25.53/23.50	c Got one! Elapsed wall clock time (in seconds):23.384
25.53/23.50	o -11316
25.73/23.67	c Got one! Elapsed wall clock time (in seconds):23.56
25.73/23.67	o -11322
25.83/23.72	c Got one! Elapsed wall clock time (in seconds):23.609
25.83/23.72	o -11329
25.83/23.76	c Got one! Elapsed wall clock time (in seconds):23.65
25.83/23.76	o -12520
31.76/29.61	c cleaning 5048 clauses out of 10095 with flag 6003/10095
35.19/32.90	c Got one! Elapsed wall clock time (in seconds):32.792
35.19/32.90	o -12571
37.09/34.89	c Got one! Elapsed wall clock time (in seconds):34.782
37.09/34.89	o -12578
39.39/37.19	c Got one! Elapsed wall clock time (in seconds):37.081
39.39/37.19	o -13901
47.86/45.35	c cleaning 6247 clauses out of 12493 with flag 8003/17541
58.09/55.23	c Got one! Elapsed wall clock time (in seconds):55.122
58.09/55.23	o -13906
60.40/57.51	c cleaning 6110 clauses out of 12219 with flag 2099/23514
67.42/64.13	c Got one! Elapsed wall clock time (in seconds):64.016
67.42/64.13	o -14189
71.42/68.14	c cleaning 5574 clauses out of 11154 with flag 4003/28559
83.41/79.86	c cleaning 5788 clauses out of 11579 with flag 16001/34558
90.42/86.88	c Got one! Elapsed wall clock time (in seconds):86.763
90.42/86.88	o -14272
94.93/91.32	c cleaning 5625 clauses out of 11254 with flag 4004/40021
98.20/94.59	c Got one! Elapsed wall clock time (in seconds):94.478
98.20/94.59	o -14347
103.20/99.54	c Got one! Elapsed wall clock time (in seconds):99.423
103.20/99.54	o -14381
105.30/101.68	c Got one! Elapsed wall clock time (in seconds):101.569
105.30/101.68	o -14387
105.80/102.14	c Got one! Elapsed wall clock time (in seconds):102.025
105.80/102.14	o -14445
106.30/102.68	c Got one! Elapsed wall clock time (in seconds):102.567
106.30/102.68	o -14463
106.70/103.03	c Got one! Elapsed wall clock time (in seconds):102.914
106.70/103.03	o -14959
110.70/107.02	c cleaning 6448 clauses out of 12897 with flag 4003/47289
114.40/110.79	c Got one! Elapsed wall clock time (in seconds):110.681
114.40/110.79	o -15124
119.52/115.69	c Got one! Elapsed wall clock time (in seconds):115.573
119.52/115.69	o -15132
122.31/118.43	c Got one! Elapsed wall clock time (in seconds):118.32
122.31/118.43	o -15151
123.11/119.29	c Got one! Elapsed wall clock time (in seconds):119.176
123.11/119.29	o -15165
123.43/119.59	c Got one! Elapsed wall clock time (in seconds):119.475
123.43/119.59	o -15215
123.84/119.95	c Got one! Elapsed wall clock time (in seconds):119.839
123.84/119.95	o -15234
124.13/120.26	c Got one! Elapsed wall clock time (in seconds):120.15
124.13/120.26	o -16232
126.23/122.36	c cleaning 6664 clauses out of 13332 with flag 2001/54172
139.11/134.63	c cleaning 6335 clauses out of 12669 with flag 14003/60173
152.81/148.35	c cleaning 6663 clauses out of 13333 with flag 28001/67172
164.01/159.55	c Got one! Elapsed wall clock time (in seconds):159.435
164.01/159.55	o -16317
174.23/169.58	c cleaning 8742 clauses out of 17485 with flag 10007/77987
186.23/181.54	c cleaning 7371 clauses out of 14743 with flag 22016/83987
189.82/185.15	c Got one! Elapsed wall clock time (in seconds):185.041
189.82/185.15	o -16509
199.47/194.31	c cleaning 6572 clauses out of 13146 with flag 8033/89761
206.68/201.56	c Got one! Elapsed wall clock time (in seconds):201.45
206.68/201.56	o -16559
211.28/206.13	c cleaning 5982 clauses out of 11972 with flag 4021/95159
215.18/210.01	c Got one! Elapsed wall clock time (in seconds):209.893
215.18/210.01	o -16572
219.79/214.61	c Got one! Elapsed wall clock time (in seconds):214.493
219.79/214.61	o -16574
222.08/216.99	c Got one! Elapsed wall clock time (in seconds):216.876
222.08/216.99	o -16579
223.38/218.25	c Got one! Elapsed wall clock time (in seconds):218.142
223.38/218.25	o -16596
223.78/218.60	c Got one! Elapsed wall clock time (in seconds):218.485
223.78/218.60	o -16604
224.09/218.93	c Got one! Elapsed wall clock time (in seconds):218.822
224.09/218.93	o -16609
224.19/219.06	c Got one! Elapsed wall clock time (in seconds):218.948
224.19/219.06	o -16627
224.58/219.41	c Got one! Elapsed wall clock time (in seconds):219.293
224.58/219.41	o -16632
224.78/219.66	c Got one! Elapsed wall clock time (in seconds):219.544
224.78/219.66	o -17663
230.45/225.18	c cleaning 7338 clauses out of 14683 with flag 6003/103852
241.75/236.44	c cleaning 6671 clauses out of 13345 with flag 18003/109852
255.49/249.98	c cleaning 6834 clauses out of 13673 with flag 32001/116851
270.70/265.15	c cleaning 7418 clauses out of 14840 with flag 48003/124852
288.30/282.51	c cleaning 8210 clauses out of 16421 with flag 66001/133851
293.51/287.72	c Got one! Elapsed wall clock time (in seconds):287.607
293.51/287.72	o -17686
299.71/293.97	c cleaning 6952 clauses out of 13903 with flag 6004/139543
311.79/305.99	c cleaning 6474 clauses out of 12951 with flag 18004/145543
325.90/319.82	c cleaning 6737 clauses out of 13477 with flag 32004/152543
341.30/335.25	c Got one! Elapsed wall clock time (in seconds):335.134
341.30/335.25	o -17715
351.67/345.40	c cleaning 9767 clauses out of 19533 with flag 10005/165336
363.98/357.65	c cleaning 7881 clauses out of 15765 with flag 22003/171335
368.77/362.49	c Got one! Elapsed wall clock time (in seconds):362.381
368.77/362.49	o -17854
376.17/369.51	c cleaning 6636 clauses out of 13278 with flag 6006/176729
387.57/380.93	c Got one! Elapsed wall clock time (in seconds):380.814
387.57/380.93	o -17868
397.36/390.55	c Got one! Elapsed wall clock time (in seconds):390.434
397.36/390.55	o -17911
399.85/393.08	c cleaning 8358 clauses out of 16720 with flag 2024/186807
402.35/395.50	c Got one! Elapsed wall clock time (in seconds):395.391
402.35/395.50	o -17914
404.85/398.04	c Got one! Elapsed wall clock time (in seconds):397.926
404.85/398.04	o -17928
405.06/398.29	c Got one! Elapsed wall clock time (in seconds):398.182
405.06/398.29	o -17931
405.25/398.45	c Got one! Elapsed wall clock time (in seconds):398.338
405.25/398.45	o -17939
405.25/398.48	c Got one! Elapsed wall clock time (in seconds):398.369
405.25/398.48	o -17962
405.35/398.51	c Got one! Elapsed wall clock time (in seconds):398.401
405.35/398.51	o -17973
405.35/398.55	c Got one! Elapsed wall clock time (in seconds):398.439
405.35/398.55	o -17984
405.55/398.73	c Got one! Elapsed wall clock time (in seconds):398.622
405.55/398.73	o -17998
406.05/399.22	c Got one! Elapsed wall clock time (in seconds):399.109
406.05/399.22	o -18000
406.05/399.25	c Got one! Elapsed wall clock time (in seconds):399.141
406.05/399.25	o -18007
406.35/399.53	c Got one! Elapsed wall clock time (in seconds):399.422
406.35/399.53	o -18021
407.36/400.57	c Got one! Elapsed wall clock time (in seconds):400.456
407.36/400.57	o -18030
407.45/400.70	c Got one! Elapsed wall clock time (in seconds):400.583
407.45/400.70	o -19193
413.61/406.60	c cleaning 7207 clauses out of 14422 with flag 6003/192867
425.01/418.06	c cleaning 6604 clauses out of 13215 with flag 18003/198867
438.92/431.87	c cleaning 6803 clauses out of 13611 with flag 32003/205867
454.35/447.14	c cleaning 7401 clauses out of 14808 with flag 48003/213867
471.93/464.56	c cleaning 8200 clauses out of 16406 with flag 66001/222866
491.19/483.62	c cleaning 9099 clauses out of 18207 with flag 86003/232867
512.82/505.11	c cleaning 10051 clauses out of 20108 with flag 108003/243867
536.76/528.70	c cleaning 11026 clauses out of 22057 with flag 132003/255867
543.45/535.47	c Got one! Elapsed wall clock time (in seconds):535.358
543.45/535.47	o -19196
548.24/540.02	c cleaning 8217 clauses out of 16442 with flag 4004/261278
560.37/552.02	c cleaning 7110 clauses out of 14225 with flag 16004/267278
574.47/565.93	c cleaning 7055 clauses out of 14115 with flag 30004/274278
590.73/582.04	c cleaning 7529 clauses out of 15059 with flag 46002/282277
609.25/600.43	c cleaning 8263 clauses out of 16531 with flag 64004/291278
629.68/620.56	c cleaning 9132 clauses out of 18267 with flag 84002/301277
635.58/626.43	c Got one! Elapsed wall clock time (in seconds):626.314
635.58/626.43	o -19225
640.01/630.75	c cleaning 7170 clauses out of 14344 with flag 4005/306486
652.00/642.79	c cleaning 6584 clauses out of 13173 with flag 16003/312485
666.01/656.69	c cleaning 6791 clauses out of 13590 with flag 30005/319486
681.82/672.34	c cleaning 7398 clauses out of 14798 with flag 46003/327485
688.42/678.82	c Got one! Elapsed wall clock time (in seconds):678.712
688.42/678.82	o -19376
692.72/683.16	c cleaning 6334 clauses out of 12682 with flag 4006/332767
705.81/696.13	c cleaning 6168 clauses out of 12347 with flag 16004/338766
722.12/712.26	c cleaning 6588 clauses out of 13179 with flag 30004/345766
728.33/718.42	c Got one! Elapsed wall clock time (in seconds):718.308
728.33/718.42	o -19423
735.44/725.45	c cleaning 6179 clauses out of 12363 with flag 6100/351538
748.83/738.73	c Got one! Elapsed wall clock time (in seconds):738.613
748.83/738.73	o -19440
754.83/744.42	c Got one! Elapsed wall clock time (in seconds):744.309
754.83/744.42	o -19448
757.92/747.52	c Got one! Elapsed wall clock time (in seconds):747.404
757.92/747.52	o -19457
759.72/749.32	c Got one! Elapsed wall clock time (in seconds):749.206
759.72/749.32	o -19461
762.12/751.76	c Got one! Elapsed wall clock time (in seconds):751.643
762.12/751.76	o -19465
762.22/751.85	c Got one! Elapsed wall clock time (in seconds):751.74
762.22/751.85	o -19470
762.22/751.88	c Got one! Elapsed wall clock time (in seconds):751.772
762.22/751.88	o -19479
762.42/752.04	c Got one! Elapsed wall clock time (in seconds):751.925
762.42/752.04	o -20424
764.50/754.03	c cleaning 9173 clauses out of 18357 with flag 2001/363711
775.82/765.28	c cleaning 7592 clauses out of 15185 with flag 14003/369712
789.10/778.40	c cleaning 7291 clauses out of 14592 with flag 28001/376711
804.76/793.74	c cleaning 7651 clauses out of 15301 with flag 44001/384711
822.59/811.39	c cleaning 8325 clauses out of 16651 with flag 62003/393712
842.27/830.63	c cleaning 9161 clauses out of 18325 with flag 82001/403711
863.92/851.96	c cleaning 10080 clauses out of 20164 with flag 104001/414711
887.25/874.93	c cleaning 11041 clauses out of 22084 with flag 128001/426711
913.28/900.44	c cleaning 12019 clauses out of 24044 with flag 154003/439712
939.94/926.35	c cleaning 13009 clauses out of 26024 with flag 182001/453711
969.76/955.67	c cleaning 14008 clauses out of 28016 with flag 212003/468712
1001.08/986.46	c cleaning 15002 clauses out of 30008 with flag 244003/484712
1026.67/1011.54	c Got one! Elapsed wall clock time (in seconds):1011.426
1026.67/1011.54	o -20476
1037.47/1022.36	c cleaning 16433 clauses out of 32872 with flag 10002/502578
1049.95/1034.73	c cleaning 11217 clauses out of 22440 with flag 22004/508579
1064.48/1049.05	c cleaning 9105 clauses out of 18223 with flag 36004/515579
1080.58/1065.08	c cleaning 8556 clauses out of 17117 with flag 52002/523578
1098.69/1082.97	c cleaning 8779 clauses out of 17561 with flag 70002/532578
1119.69/1103.66	c cleaning 9388 clauses out of 18783 with flag 90004/542579
1143.05/1126.65	c cleaning 10197 clauses out of 20394 with flag 112002/553578
1167.45/1150.69	c cleaning 11095 clauses out of 22197 with flag 136002/565578
1194.82/1177.48	c cleaning 12047 clauses out of 24103 with flag 162004/578579
1212.20/1194.62	c Got one! Elapsed wall clock time (in seconds):1194.512
1212.20/1194.62	o -20524
1223.75/1205.93	c cleaning 12766 clauses out of 25539 with flag 10005/592062
1236.06/1218.05	c cleaning 9382 clauses out of 18772 with flag 22003/598061
1250.11/1231.93	c cleaning 8194 clauses out of 16390 with flag 36003/605061
1266.33/1247.90	c cleaning 8092 clauses out of 16196 with flag 52003/613061
1284.01/1265.41	c cleaning 8551 clauses out of 17105 with flag 70005/622062
1303.74/1285.09	c cleaning 9275 clauses out of 18553 with flag 90003/632061
1315.87/1297.01	c Got one! Elapsed wall clock time (in seconds):1296.897
1315.87/1297.01	o -20733
1326.20/1307.15	c cleaning 10307 clauses out of 20621 with flag 10004/643404
1337.96/1318.71	c cleaning 8152 clauses out of 16315 with flag 22006/649405
1352.11/1332.73	c cleaning 7579 clauses out of 15162 with flag 36004/656404
1368.96/1349.48	c cleaning 7791 clauses out of 15583 with flag 52004/664404
1378.57/1358.91	c Got one! Elapsed wall clock time (in seconds):1358.8
1378.57/1358.91	o -20772
1380.77/1361.18	c cleaning 6664 clauses out of 13332 with flag 2009/669944
1394.20/1374.47	c cleaning 6330 clauses out of 12667 with flag 14007/675943
1409.93/1390.00	c cleaning 6666 clauses out of 13336 with flag 28005/682942
1413.53/1393.63	c Got one! Elapsed wall clock time (in seconds):1393.52
1413.53/1393.63	o -20828
1423.05/1403.01	c cleaning 6150 clauses out of 12301 with flag 8006/688573
1433.08/1412.91	c Got one! Elapsed wall clock time (in seconds):1412.8
1433.08/1412.91	o -20884
1435.58/1415.41	c cleaning 5686 clauses out of 11373 with flag 2007/693795
1442.88/1422.79	c Got one! Elapsed wall clock time (in seconds):1422.676
1442.88/1422.79	o -20889
1445.48/1425.36	c Got one! Elapsed wall clock time (in seconds):1425.251
1445.48/1425.36	o -20906
1448.19/1427.93	c cleaning 5440 clauses out of 10881 with flag 2027/698989
1449.68/1429.40	c Got one! Elapsed wall clock time (in seconds):1429.292
1449.68/1429.40	o -20919
1451.28/1431.02	c Got one! Elapsed wall clock time (in seconds):1430.909
1451.28/1431.02	o -20923
1451.28/1431.08	c Got one! Elapsed wall clock time (in seconds):1430.969
1451.28/1431.08	o -20928
1452.88/1432.69	c Got one! Elapsed wall clock time (in seconds):1432.576
1452.88/1432.69	o -21686
1462.61/1442.29	c cleaning 6236 clauses out of 12482 with flag 10003/706030
1473.83/1453.32	c cleaning 6119 clauses out of 12247 with flag 22005/712031
1486.53/1465.90	c cleaning 6562 clauses out of 13127 with flag 36003/719030
1502.20/1481.33	c cleaning 7279 clauses out of 14565 with flag 52003/727030
1520.03/1498.84	c cleaning 8136 clauses out of 16286 with flag 70003/736030
1540.80/1519.08	c cleaning 9075 clauses out of 18149 with flag 90001/746029
1562.92/1540.83	c cleaning 10035 clauses out of 20074 with flag 112001/757029
1586.76/1564.14	c cleaning 11017 clauses out of 22039 with flag 136001/769029
1611.78/1588.80	c cleaning 12008 clauses out of 24022 with flag 162001/782029
1638.24/1614.65	c cleaning 13005 clauses out of 26015 with flag 190003/796030
1665.75/1641.70	c cleaning 14002 clauses out of 28009 with flag 220001/811029
1697.07/1672.66	c cleaning 14999 clauses out of 30007 with flag 252001/827029
1732.83/1707.80	c cleaning 16003 clauses out of 32009 with flag 286003/844030
1771.52/1746.09	c cleaning 17000 clauses out of 34005 with flag 322001/862029
1800.03/1774.20	c starts		: 113
1800.03/1774.20	c conflicts		: 876193
1800.03/1774.20	c decisions		: 881714
1800.03/1774.20	c propagations		: 722237707
1800.03/1774.20	c inspects		: 3173949044
1800.03/1774.20	c shortcuts		: 0
1800.03/1774.20	c learnt literals	: 0
1800.03/1774.20	c learnt binary clauses	: 0
1800.03/1774.20	c learnt ternary clauses	: 0
1800.03/1774.20	c learnt constraints	: 876193
1800.03/1774.20	c ignored constraints	: 0
1800.03/1774.20	c root simplifications	: 0
1800.03/1774.20	c removed literals (reason simplification)	: 0
1800.03/1774.20	c reason swapping (by a shorter reason)	: 0
1800.03/1774.20	c Calls to reduceDB	: 99
1800.03/1774.20	c Number of update (reduction) of LBD	: 121
1800.03/1774.20	c Imported unit clauses	: 0
1800.03/1774.20	c number of reductions to clauses (during analyze)	: 0
1800.03/1774.20	c number of learned constraints concerned by reduction	: 0
1800.03/1774.20	c number of learning phase by resolution	: 0
1800.03/1774.20	c number of learning phase by cutting planes	: 0
1800.03/1774.20	c speed (assignments/second)	: 408873.4313514027
1800.03/1774.20	c non guided choices	0
1800.03/1774.21	c learnt constraints type 
1800.03/1774.21	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 31170
1800.03/1774.21	s SATISFIABLE
1800.03/1774.22	c Found 112 solution(s)
1800.03/1774.22	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 
1800.03/1774.22	c objective function=-21686
1800.03/1774.22	c Total wall clock time (in seconds): 1774.104

Verifier Data 

OK	-21686

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-4118072-1467220520/watcher-4118072-1467220520 -o /tmp/evaluation-result-4118072-1467220520/solver-4118072-1467220520 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4835 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118072-1467220520.opb 

pid=6864
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: 2.28 2.23 2.19 3/195 6867
/proc/meminfo: memFree=25913504/32872528 swapFree=1483896/1661724
[pid=6867] ppid=6864 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/6867/stat : 6867 (java) D 6864 6867 4818 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 3004565 9515008 185 33554432000 1073741824 1073778376 140737163393200 140737163382264 273896533287 0 0 4096 0 18446744072100756772 0 0 17 5 0 0 0 0 0
/proc/6867/statm: 2323 185 143 9 0 71 0

[startup+0.100161 s]
/proc/loadavg: 2.28 2.23 2.19 3/195 6867
/proc/meminfo: memFree=25913504/32872528 swapFree=1483896/1661724
[pid=6867] ppid=6864 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/6867/stat : 6867 (java) S 6864 6867 4818 0 -1 4202496 4420 0 1 0 8 1 0 0 20 0 18 0 3004565 9787879424 6037 33554432000 1073741824 1073778376 140737163393200 140737163384336 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6867/statm: 2389619 6037 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200326 s]
/proc/loadavg: 2.28 2.23 2.19 3/195 6867
/proc/meminfo: memFree=25913504/32872528 swapFree=1483896/1661724
[pid=6867] ppid=6864 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/6867/stat : 6867 (java) S 6864 6867 4818 0 -1 4202496 4663 0 1 0 23 1 0 0 20 0 18 0 3004565 9787879424 6730 33554432000 1073741824 1073778376 140737163393200 140737163384336 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6867/statm: 2389619 6730 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476

[startup+0.30034 s]
/proc/loadavg: 2.28 2.23 2.19 3/195 6867
/proc/meminfo: memFree=25913504/32872528 swapFree=1483896/1661724
[pid=6867] ppid=6864 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/6867/stat : 6867 (java) S 6864 6867 4818 0 -1 4202496 5759 0 1 0 46 1 0 0 20 0 18 0 3004565 9787879424 7979 33554432000 1073741824 1073778376 140737163393200 140737163384336 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6867/statm: 2389619 7979 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700298 s]
/proc/loadavg: 2.28 2.23 2.19 3/195 6867
/proc/meminfo: memFree=25913504/32872528 swapFree=1483896/1661724
[pid=6867] ppid=6864 vsize=9558476 CPUtime=1.05 cores=1,3,5,7
/proc/6867/stat : 6867 (java) S 6864 6867 4818 0 -1 4202496 6950 0 1 0 103 2 0 0 20 0 18 0 3004565 9787879424 10993 33554432000 1073741824 1073778376 140737163393200 140737163384336 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6867/statm: 2389619 10993 2242 9 0 2380296 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 9558476

[startup+1.50073 s]
/proc/loadavg: 2.42 2.26 2.20 3/213 6885
/proc/meminfo: memFree=25874064/32872528 swapFree=1483896/1661724
[pid=6867] ppid=6864 vsize=9558476 CPUtime=1.89 cores=1,3,5,7
/proc/6867/stat : 6867 (java) S 6864 6867 4818 0 -1 4202496 6989 0 1 0 187 2 0 0 20 0 18 0 3004565 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 140737163384336 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6867/statm: 2389619 13586 2249 9 0 2380296 0
[pid=6867/tid=6869] ppid=6864 vsize=9558476 CPUtime=1.46 cores=1,3,5,7
/proc/6867/task/6869/stat : 6869 (java) R 6864 6867 4818 0 -1 4202560 2413 0 1 0 144 2 0 0 20 0 18 0 3004566 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710829367056 139710672822179 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6870] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6870/stat : 6870 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710672399016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6871] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6871/stat : 6871 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710671346472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6872] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6872/stat : 6872 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710670293928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6867/tid=6873] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6873/stat : 6873 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710669241384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6874] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6874/stat : 6874 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710668187816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6875] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6875/stat : 6875 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710667135272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6876] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6876/stat : 6876 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710666082728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6877] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6877/stat : 6877 (java) S 6864 6867 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710665030184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6878] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6878/stat : 6878 (java) S 6864 6867 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3004568 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710182701672 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6879] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6879/stat : 6879 (java) S 6864 6867 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 3004569 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710181647992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6880] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6880/stat : 6880 (java) S 6864 6867 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 3004569 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710180595336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6881] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6881/stat : 6881 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004571 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710179544080 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6882] ppid=6864 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/6867/task/6882/stat : 6882 (java) S 6864 6867 4818 0 -1 4202560 1287 0 0 0 17 0 0 0 20 0 18 0 3004571 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710178490424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6883] ppid=6864 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/6867/task/6883/stat : 6883 (java) S 6864 6867 4818 0 -1 4202560 2025 0 0 0 24 0 0 0 20 0 18 0 3004571 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710177437880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6884] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6884/stat : 6884 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004571 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710176385528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6885] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6885/stat : 6885 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004571 9787879424 13586 33554432000 1073741824 1073778376 140737163393200 139710175333192 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 9558476

[startup+3.10087 s]
/proc/loadavg: 2.42 2.26 2.20 3/213 6885
/proc/meminfo: memFree=25849560/32872528 swapFree=1483896/1661724
[pid=6867] ppid=6864 vsize=9558476 CPUtime=3.7 cores=1,3,5,7
/proc/6867/stat : 6867 (java) S 6864 6867 4818 0 -1 4202496 12183 0 1 0 367 3 0 0 20 0 18 0 3004565 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 140737163384336 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6867/statm: 2389619 19286 2250 9 0 2380296 0
[pid=6867/tid=6869] ppid=6864 vsize=9558476 CPUtime=3.04 cores=1,3,5,7
/proc/6867/task/6869/stat : 6869 (java) R 6864 6867 4818 0 -1 4202560 2420 0 1 0 302 2 0 0 20 0 18 0 3004566 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710829375192 139710672822179 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6870] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6870/stat : 6870 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710672399016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6871] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6871/stat : 6871 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710671346472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6872] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6872/stat : 6872 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710670293928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6867/tid=6873] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6873/stat : 6873 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710669241384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6874] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6874/stat : 6874 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710668187816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6875] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6875/stat : 6875 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710667135272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6876] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6876/stat : 6876 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710666082728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6877] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6877/stat : 6877 (java) S 6864 6867 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710665030184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6878] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6878/stat : 6878 (java) S 6864 6867 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3004568 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710182701672 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6879] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6879/stat : 6879 (java) S 6864 6867 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 3004569 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710181647992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6880] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6880/stat : 6880 (java) S 6864 6867 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 3004569 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710180595336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6881] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6881/stat : 6881 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004571 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710179544080 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6882] ppid=6864 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/6867/task/6882/stat : 6882 (java) S 6864 6867 4818 0 -1 4202560 2113 0 0 0 23 0 0 0 20 0 18 0 3004571 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710178490424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6883] ppid=6864 vsize=9558476 CPUtime=0.39 cores=1,3,5,7
/proc/6867/task/6883/stat : 6883 (java) S 6864 6867 4818 0 -1 4202560 6386 0 0 0 39 0 0 0 20 0 18 0 3004571 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710177437880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6884] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6884/stat : 6884 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004571 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710176385528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6885] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6885/stat : 6885 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004571 9787879424 19286 33554432000 1073741824 1073778376 140737163393200 139710175333192 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 9558476

[startup+6.30077 s]
/proc/loadavg: 2.46 2.27 2.20 3/213 6885
/proc/meminfo: memFree=25840452/32872528 swapFree=1483896/1661724
[pid=6867] ppid=6864 vsize=9558476 CPUtime=6.92 cores=1,3,5,7
/proc/6867/stat : 6867 (java) S 6864 6867 4818 0 -1 4202496 12192 0 1 0 689 3 0 0 20 0 18 0 3004565 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 140737163384336 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6867/statm: 2389619 20970 2252 9 0 2380296 0
[pid=6867/tid=6869] ppid=6864 vsize=9558476 CPUtime=6.23 cores=1,3,5,7
/proc/6867/task/6869/stat : 6869 (java) R 6864 6867 4818 0 -1 4202560 2427 0 1 0 621 2 0 0 20 0 18 0 3004566 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710829367008 139710672822002 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6870] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6870/stat : 6870 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710672399016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6871] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6871/stat : 6871 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710671346472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6872] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6872/stat : 6872 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710670293928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6867/tid=6873] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6873/stat : 6873 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710669241384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6874] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6874/stat : 6874 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710668187816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6875] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6875/stat : 6875 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710667135272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6876] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6876/stat : 6876 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710666082728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6877] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6877/stat : 6877 (java) S 6864 6867 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3004567 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710665030184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6878] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6878/stat : 6878 (java) S 6864 6867 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3004568 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710182701672 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6879] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6879/stat : 6879 (java) S 6864 6867 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 3004569 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710181647992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6880] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6880/stat : 6880 (java) S 6864 6867 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 3004569 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710180595336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6881] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6881/stat : 6881 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004571 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710179544080 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6882] ppid=6864 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/6867/task/6882/stat : 6882 (java) S 6864 6867 4818 0 -1 4202560 2114 0 0 0 24 0 0 0 20 0 18 0 3004571 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710178490424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6883] ppid=6864 vsize=9558476 CPUtime=0.4 cores=1,3,5,7
/proc/6867/task/6883/stat : 6883 (java) S 6864 6867 4818 0 -1 4202560 6386 0 0 0 40 0 0 0 20 0 18 0 3004571 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710177437880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6884] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6884/stat : 6884 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3004571 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710176385528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6885] ppid=6864 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6885/stat : 6885 (java) S 6864 6867 4818 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 3004571 9787879424 20970 33554432000 1073741824 1073778376 140737163393200 139710175333192 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 9558476

[startup+12.7008 s]
/proc/loadavg: 2.43 2.27 2.20 3/214 6886
/proc/meminfo: memFree=25682728/32872528 swapFree=1483896/1661724
[pid=6867] ppid=6864 vsize=9625040 CPUtime=14.39 cores=1,3,5,7
/proc/6867/stat : 6867 (java) S 6864 6867 4818 0 -1 4202496 16834 0 1 0 1424 15 0 0 20 0 19 0 3004565 9856040960 59613 33554432000 1073741824 1073778376 140737163393200 140737163384336 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6867/statm: 2406260 59613 2288 9 0 2396937 0

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

[pid=6867/tid=6886] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6886/stat : 6886 (java) S 6864 6867 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3005345 9856040960 469377 33554432000 1073741824 1073778376 140737163393200 139710174278952 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1625.57
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.30 2.25 2.20 3/215 6995
/proc/meminfo: memFree=17837880/32872528 swapFree=1483896/1661724
[pid=6867] ppid=6864 vsize=9625040 CPUtime=1686.77 cores=1,3,5,7
/proc/6867/stat : 6867 (java) S 6864 6867 4818 0 -1 4202496 30913 0 1 0 168301 376 0 0 20 0 19 0 3004565 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 140737163384336 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6867/statm: 2406260 516832 2301 9 0 2396937 0
[pid=6867/tid=6869] ppid=6864 vsize=9625040 CPUtime=1645.47 cores=1,3,5,7
/proc/6867/task/6869/stat : 6869 (java) R 6864 6867 4818 0 -1 4202560 2700 0 1 0 164515 32 0 0 20 0 19 0 3004566 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710829374744 139710673354560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6870] ppid=6864 vsize=9625040 CPUtime=4.02 cores=1,3,5,7
/proc/6867/task/6870/stat : 6870 (java) S 6864 6867 4818 0 -1 4202560 1446 0 0 0 357 45 0 0 20 0 19 0 3004567 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710672399016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6871] ppid=6864 vsize=9625040 CPUtime=3.8 cores=1,3,5,7
/proc/6867/task/6871/stat : 6871 (java) S 6864 6867 4818 0 -1 4202560 1117 0 0 0 341 39 0 0 20 0 19 0 3004567 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710671346472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6872] ppid=6864 vsize=9625040 CPUtime=3.65 cores=1,3,5,7
/proc/6867/task/6872/stat : 6872 (java) S 6864 6867 4818 0 -1 4202560 955 0 0 0 328 37 0 0 20 0 19 0 3004567 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710670293928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6867/tid=6873] ppid=6864 vsize=9625040 CPUtime=3.8 cores=1,3,5,7
/proc/6867/task/6873/stat : 6873 (java) S 6864 6867 4818 0 -1 4202560 1022 0 0 0 337 43 0 0 20 0 19 0 3004567 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710669241384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6874] ppid=6864 vsize=9625040 CPUtime=3.54 cores=1,3,5,7
/proc/6867/task/6874/stat : 6874 (java) S 6864 6867 4818 0 -1 4202560 892 0 0 0 316 38 0 0 20 0 19 0 3004567 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710668187816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6867/tid=6875] ppid=6864 vsize=9625040 CPUtime=3.76 cores=1,3,5,7
/proc/6867/task/6875/stat : 6875 (java) S 6864 6867 4818 0 -1 4202560 958 0 0 0 332 44 0 0 20 0 19 0 3004567 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710667135272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6876] ppid=6864 vsize=9625040 CPUtime=3.93 cores=1,3,5,7
/proc/6867/task/6876/stat : 6876 (java) S 6864 6867 4818 0 -1 4202560 1428 0 0 0 346 47 0 0 20 0 19 0 3004567 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710666082728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6877] ppid=6864 vsize=9625040 CPUtime=4.37 cores=1,3,5,7
/proc/6867/task/6877/stat : 6877 (java) S 6864 6867 4818 0 -1 4202560 1201 0 0 0 392 45 0 0 20 0 19 0 3004567 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710665030184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6878] ppid=6864 vsize=9625040 CPUtime=3.98 cores=1,3,5,7
/proc/6867/task/6878/stat : 6878 (java) S 6864 6867 4818 0 -1 4202560 3154 0 0 0 394 4 0 0 20 0 19 0 3004568 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710182701672 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6879] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6879/stat : 6879 (java) S 6864 6867 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3004569 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710181647992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6880] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6880/stat : 6880 (java) S 6864 6867 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3004569 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710180595336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6881] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6881/stat : 6881 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3004571 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710179544080 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6882] ppid=6864 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/6867/task/6882/stat : 6882 (java) S 6864 6867 4818 0 -1 4202560 5358 0 0 0 63 0 0 0 20 0 19 0 3004571 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710178490424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6883] ppid=6864 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/6867/task/6883/stat : 6883 (java) S 6864 6867 4818 0 -1 4202560 9324 0 0 0 111 2 0 0 20 0 19 0 3004571 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710177437880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6884] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6884/stat : 6884 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3004571 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710176385528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6885] ppid=6864 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/6867/task/6885/stat : 6885 (java) S 6864 6867 4818 0 -1 4202560 98 0 0 0 18 23 0 0 20 0 19 0 3004571 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710175333192 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6886] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6886/stat : 6886 (java) S 6864 6867 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3005345 9856040960 516832 33554432000 1073741824 1073778376 140737163393200 139710174278952 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1686.77
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.16 2.22 2.19 3/215 6996
/proc/meminfo: memFree=17837504/32872528 swapFree=1483896/1661724
[pid=6867] ppid=6864 vsize=9625040 CPUtime=1747.42 cores=1,3,5,7
/proc/6867/stat : 6867 (java) S 6864 6867 4818 0 -1 4202496 30950 0 1 0 174365 377 0 0 20 0 19 0 3004565 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 140737163384336 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6867/statm: 2406260 516830 2301 9 0 2396937 0
[pid=6867/tid=6869] ppid=6864 vsize=9625040 CPUtime=1705.09 cores=1,3,5,7
/proc/6867/task/6869/stat : 6869 (java) R 6864 6867 4818 0 -1 4202560 2704 0 1 0 170477 32 0 0 20 0 19 0 3004566 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710829374640 139710673354535 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6870] ppid=6864 vsize=9625040 CPUtime=4.17 cores=1,3,5,7
/proc/6867/task/6870/stat : 6870 (java) S 6864 6867 4818 0 -1 4202560 1446 0 0 0 372 45 0 0 20 0 19 0 3004567 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710672399016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6871] ppid=6864 vsize=9625040 CPUtime=3.92 cores=1,3,5,7
/proc/6867/task/6871/stat : 6871 (java) S 6864 6867 4818 0 -1 4202560 1118 0 0 0 353 39 0 0 20 0 19 0 3004567 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710671346472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6872] ppid=6864 vsize=9625040 CPUtime=3.75 cores=1,3,5,7
/proc/6867/task/6872/stat : 6872 (java) S 6864 6867 4818 0 -1 4202560 955 0 0 0 338 37 0 0 20 0 19 0 3004567 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710670293928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6873] ppid=6864 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/6867/task/6873/stat : 6873 (java) S 6864 6867 4818 0 -1 4202560 1030 0 0 0 344 43 0 0 20 0 19 0 3004567 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710669241384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6867/tid=6874] ppid=6864 vsize=9625040 CPUtime=3.64 cores=1,3,5,7
/proc/6867/task/6874/stat : 6874 (java) S 6864 6867 4818 0 -1 4202560 894 0 0 0 326 38 0 0 20 0 19 0 3004567 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710668187816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6875] ppid=6864 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/6867/task/6875/stat : 6875 (java) S 6864 6867 4818 0 -1 4202560 976 0 0 0 345 44 0 0 20 0 19 0 3004567 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710667135272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6867/tid=6876] ppid=6864 vsize=9625040 CPUtime=4.04 cores=1,3,5,7
/proc/6867/task/6876/stat : 6876 (java) S 6864 6867 4818 0 -1 4202560 1428 0 0 0 357 47 0 0 20 0 19 0 3004567 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710666082728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6877] ppid=6864 vsize=9625040 CPUtime=4.47 cores=1,3,5,7
/proc/6867/task/6877/stat : 6877 (java) S 6864 6867 4818 0 -1 4202560 1201 0 0 0 402 45 0 0 20 0 19 0 3004567 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710665030184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6878] ppid=6864 vsize=9625040 CPUtime=3.98 cores=1,3,5,7
/proc/6867/task/6878/stat : 6878 (java) S 6864 6867 4818 0 -1 4202560 3156 0 0 0 394 4 0 0 20 0 19 0 3004568 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710182701672 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6879] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6879/stat : 6879 (java) S 6864 6867 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3004569 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710181647992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6880] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6880/stat : 6880 (java) S 6864 6867 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3004569 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710180595336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6881] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6881/stat : 6881 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3004571 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710179544080 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6882] ppid=6864 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/6867/task/6882/stat : 6882 (java) S 6864 6867 4818 0 -1 4202560 5358 0 0 0 63 0 0 0 20 0 19 0 3004571 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710178490424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6883] ppid=6864 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/6867/task/6883/stat : 6883 (java) S 6864 6867 4818 0 -1 4202560 9324 0 0 0 111 2 0 0 20 0 19 0 3004571 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710177437880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6884] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6884/stat : 6884 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3004571 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710176385528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6885] ppid=6864 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/6867/task/6885/stat : 6885 (java) S 6864 6867 4818 0 -1 4202560 100 0 0 0 19 25 0 0 20 0 19 0 3004571 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710175333192 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6886] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6886/stat : 6886 (java) S 6864 6867 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3005345 9856040960 516830 33554432000 1073741824 1073778376 140737163393200 139710174278952 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1747.42
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1774.2 s]
/proc/loadavg: 2.12 2.20 2.18 3/215 6996
/proc/meminfo: memFree=17196296/32872528 swapFree=1483896/1661724
[pid=6867] ppid=6864 vsize=9625040 CPUtime=1800.03 cores=1,3,5,7
/proc/6867/stat : 6867 (java) S 6864 6867 4818 0 -1 4202496 31134 0 1 0 179619 384 0 0 20 0 19 0 3004565 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 140737163384336 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6867/statm: 2406260 532239 2301 9 0 2396937 0
[pid=6867/tid=6869] ppid=6864 vsize=9625040 CPUtime=1756.38 cores=1,3,5,7
/proc/6867/task/6869/stat : 6869 (java) R 6864 6867 4818 0 -1 4202560 2708 0 1 0 175605 33 0 0 20 0 19 0 3004566 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710829374624 139710673370460 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6870] ppid=6864 vsize=9625040 CPUtime=4.3 cores=1,3,5,7
/proc/6867/task/6870/stat : 6870 (java) S 6864 6867 4818 0 -1 4202560 1471 0 0 0 384 46 0 0 20 0 19 0 3004567 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710672399016 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6871] ppid=6864 vsize=9625040 CPUtime=4.02 cores=1,3,5,7
/proc/6867/task/6871/stat : 6871 (java) S 6864 6867 4818 0 -1 4202560 1135 0 0 0 363 39 0 0 20 0 19 0 3004567 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710671346472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6872] ppid=6864 vsize=9625040 CPUtime=3.85 cores=1,3,5,7
/proc/6867/task/6872/stat : 6872 (java) S 6864 6867 4818 0 -1 4202560 970 0 0 0 347 38 0 0 20 0 19 0 3004567 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710670293928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6873] ppid=6864 vsize=9625040 CPUtime=3.98 cores=1,3,5,7
/proc/6867/task/6873/stat : 6873 (java) S 6864 6867 4818 0 -1 4202560 1046 0 0 0 354 44 0 0 20 0 19 0 3004567 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710669241384 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6874] ppid=6864 vsize=9625040 CPUtime=3.76 cores=1,3,5,7
/proc/6867/task/6874/stat : 6874 (java) S 6864 6867 4818 0 -1 4202560 919 0 0 0 337 39 0 0 20 0 19 0 3004567 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710668187816 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6875] ppid=6864 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/6867/task/6875/stat : 6875 (java) S 6864 6867 4818 0 -1 4202560 990 0 0 0 360 45 0 0 20 0 19 0 3004567 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710667135272 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6867/tid=6876] ppid=6864 vsize=9625040 CPUtime=4.12 cores=1,3,5,7
/proc/6867/task/6876/stat : 6876 (java) S 6864 6867 4818 0 -1 4202560 1435 0 0 0 364 48 0 0 20 0 19 0 3004567 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710666082728 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6877] ppid=6864 vsize=9625040 CPUtime=4.61 cores=1,3,5,7
/proc/6867/task/6877/stat : 6877 (java) S 6864 6867 4818 0 -1 4202560 1216 0 0 0 416 45 0 0 20 0 19 0 3004567 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710665030184 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6878] ppid=6864 vsize=9625040 CPUtime=4.19 cores=1,3,5,7
/proc/6867/task/6878/stat : 6878 (java) S 6864 6867 4818 0 -1 4202560 3198 0 0 0 415 4 0 0 20 0 19 0 3004568 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710182701672 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6879] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6879/stat : 6879 (java) S 6864 6867 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3004569 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710181647992 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6880] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6880/stat : 6880 (java) S 6864 6867 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3004569 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710180595336 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6881] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6881/stat : 6881 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3004571 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710179544080 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6882] ppid=6864 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/6867/task/6882/stat : 6882 (java) S 6864 6867 4818 0 -1 4202560 5358 0 0 0 63 0 0 0 20 0 19 0 3004571 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710178490424 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6867/tid=6883] ppid=6864 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/6867/task/6883/stat : 6883 (java) S 6864 6867 4818 0 -1 4202560 9324 0 0 0 111 2 0 0 20 0 19 0 3004571 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710177437880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6884] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6884/stat : 6884 (java) S 6864 6867 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3004571 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710176385528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6867/tid=6885] ppid=6864 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/6867/task/6885/stat : 6885 (java) S 6864 6867 4818 0 -1 4202560 104 0 0 0 20 25 0 0 20 0 19 0 3004571 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710175333192 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6867/tid=6886] ppid=6864 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6867/task/6886/stat : 6886 (java) S 6864 6867 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3005345 9856040960 532239 33554432000 1073741824 1073778376 140737163393200 139710174278952 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

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 6867 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 6867 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=559641
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=231356
# CPU time returned by wait4() is 1795.79
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1774.23
CPU time (s): 1800.03
CPU user time (s): 1796.19
CPU system time (s): 3.84
CPU usage (%): 101.454
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.56
system time used= 4.23136
maximum resident set size= 2205396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31185
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41918
involuntary context switches= 31750

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.99724 second user time and 6.85796 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-29 19:15:20
IDJOB=4118072
IDBENCH=111443
IDSOLVER=2546
FILE ID=node134/4118072-1467220520
RUNJOBID= node134-1467208989-4835
PBS_JOBID= 19997576
Free space on /tmp= 71708 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-28.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118072-1467220520/watcher-4118072-1467220520 -o /tmp/evaluation-result-4118072-1467220520/solver-4118072-1467220520 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4835 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118072-1467220520.opb

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

MD5SUM BENCH= 40411e6a4c46189c3f6e7fff54e66dde
RANDOM SEED=1747216842

node134.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.738
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.47
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.738
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	: 7358.89
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.738
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.738
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.738
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.54
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.738
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.738
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.738
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25914040 kB
Buffers:          126132 kB
Cached:          2989368 kB
SwapCached:            0 kB
Active:          1554168 kB
Inactive:        2984104 kB
Active(anon):    1425404 kB
Inactive(anon):        0 kB
Active(file):     128764 kB
Inactive(file):  2984104 kB
Unevictable:     1661724 kB
Mlocked:         1483896 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1260 kB
Writeback:             0 kB
AnonPages:       3041152 kB
Mapped:            21508 kB
Shmem:               216 kB
Slab:             611428 kB
SReclaimable:      55344 kB
SUnreclaim:       556084 kB
KernelStack:        1776 kB
PageTables:        10696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3374656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1511424 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= 71700 MiB
End job on node134 at 2016-06-29 19:44:55