Trace number 4118112

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)-12650 1800.01 1775.22

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-30.opb
MD5SUM1e87bcac4ffff8b4a6d42d54635fe7ae
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-31856
Best CPU time to get the best result obtained on this benchmark1800.09
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 25230
Biggest coefficient in the objective function 7910
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 2400020
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 7910
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 2400020
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)25170
Sum of products size (including duplicates)82010
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.02/0.18	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.02/0.18	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.18	c See www.sat4j.org for details.
0.02/0.18	c version PB16.v20160501
0.02/0.18	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.18	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.18	c java.vm.version	19.1-b02
0.02/0.18	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.18	c sun.arch.data.model	64
0.02/0.18	c java.version		1.6.0_24
0.02/0.18	c os.name		Linux
0.02/0.18	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.18	c os.arch		amd64
0.02/0.18	c Free memory 		501472288
0.02/0.18	c Max memory 		7480803328
0.02/0.18	c Total memory 		504102912
0.02/0.19	c Number of processors 	8
0.10/0.21	c Pseudo Boolean Optimization by upper bound
0.10/0.21	c --- Begin Solver configuration ---
0.10/0.21	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.10/0.21	c Learn all clauses as in MiniSAT
0.10/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.21	c No reason simplification
0.10/0.21	c Glucose 2.1 dynamic restart strategy
0.10/0.21	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.10/0.21	c timeout=2147483s
0.10/0.21	c DB Simplification allowed=false
0.10/0.21	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.10/0.21	c --- End Solver configuration ---
0.10/0.21	c solving HOME/instance-4118112-1467222405.opb
0.10/0.21	c reading problem ... 
0.10/0.21	c  objective function found
14.53/14.03	c ... done. Wall clock time 13.823s.
14.53/14.03	c declared #vars     60
14.53/14.03	c internal #vars     25230
14.53/14.03	c #constraints  50340
14.53/14.03	c constraints type 
14.53/14.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25170
14.53/14.03	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 25170
14.53/14.03	c 50340 constraints processed.
14.53/14.03	c objective function length is 25230 literals
15.03/14.23	c SATISFIABLE
15.03/14.23	c OPTIMIZING...
15.03/14.23	c Got one! Elapsed wall clock time (in seconds):14.028
15.03/14.23	o 0
15.56/14.40	c Got one! Elapsed wall clock time (in seconds):14.197
15.56/14.41	o -203
15.82/14.50	c Got one! Elapsed wall clock time (in seconds):14.291
15.82/14.50	o -406
15.82/14.56	c Got one! Elapsed wall clock time (in seconds):14.35
15.82/14.56	o -771
16.01/14.62	c Got one! Elapsed wall clock time (in seconds):14.41
16.01/14.62	o -987
16.01/14.69	c Got one! Elapsed wall clock time (in seconds):14.485
16.01/14.69	o -1136
16.17/14.77	c Got one! Elapsed wall clock time (in seconds):14.565
16.17/14.77	o -1626
16.40/14.86	c Got one! Elapsed wall clock time (in seconds):14.657
16.40/14.86	o -1755
16.50/14.94	c Got one! Elapsed wall clock time (in seconds):14.735
16.50/14.94	o -1855
16.50/14.99	c Got one! Elapsed wall clock time (in seconds):14.787
16.50/14.99	o -2116
16.60/15.05	c Got one! Elapsed wall clock time (in seconds):14.839
16.60/15.05	o -2642
16.80/15.21	c Got one! Elapsed wall clock time (in seconds):14.999
16.80/15.21	o -2698
16.90/15.30	c Got one! Elapsed wall clock time (in seconds):15.096
16.90/15.30	o -2844
17.10/15.52	c Got one! Elapsed wall clock time (in seconds):15.309
17.10/15.52	o -2953
17.20/15.64	c Got one! Elapsed wall clock time (in seconds):15.437
17.20/15.64	o -3009
17.30/15.74	c Got one! Elapsed wall clock time (in seconds):15.528
17.30/15.74	o -3224
17.30/15.79	c Got one! Elapsed wall clock time (in seconds):15.582
17.30/15.79	o -3280
17.40/15.84	c Got one! Elapsed wall clock time (in seconds):15.631
17.40/15.84	o -3852
18.06/16.37	c Got one! Elapsed wall clock time (in seconds):16.16
18.06/16.37	o -3925
18.36/16.63	c Got one! Elapsed wall clock time (in seconds):16.42
18.36/16.63	o -4110
19.06/17.35	c Got one! Elapsed wall clock time (in seconds):17.141
19.06/17.35	o -4412
19.46/17.76	c Got one! Elapsed wall clock time (in seconds):17.548
19.46/17.76	o -4536
19.76/18.06	c Got one! Elapsed wall clock time (in seconds):17.856
19.76/18.06	o -4570
19.86/18.19	c Got one! Elapsed wall clock time (in seconds):17.98
19.86/18.19	o -4992
21.26/19.55	c Got one! Elapsed wall clock time (in seconds):19.345
21.26/19.55	o -5152
22.20/20.32	c Got one! Elapsed wall clock time (in seconds):20.118
22.20/20.32	o -5217
22.60/20.75	c Got one! Elapsed wall clock time (in seconds):20.544
22.60/20.75	o -5253
22.81/20.96	c Got one! Elapsed wall clock time (in seconds):20.752
22.81/20.96	o -5270
23.00/21.14	c Got one! Elapsed wall clock time (in seconds):20.935
23.00/21.14	o -5650
25.70/23.84	c Got one! Elapsed wall clock time (in seconds):23.628
25.70/23.84	o -5827
27.16/25.12	c Got one! Elapsed wall clock time (in seconds):24.916
27.16/25.12	o -5860
27.76/25.72	c Got one! Elapsed wall clock time (in seconds):25.509
27.76/25.72	o -5880
28.16/26.10	c Got one! Elapsed wall clock time (in seconds):25.892
28.16/26.10	o -5930
28.26/26.27	c Got one! Elapsed wall clock time (in seconds):26.062
28.26/26.27	o -5953
28.36/26.38	c Got one! Elapsed wall clock time (in seconds):26.17
28.36/26.38	o -5970
28.57/26.51	c Got one! Elapsed wall clock time (in seconds):26.306
28.57/26.51	o -6696
36.25/34.18	c Got one! Elapsed wall clock time (in seconds):33.969
36.25/34.18	o -6699
38.22/35.79	c Got one! Elapsed wall clock time (in seconds):35.587
38.22/35.79	o -6716
38.92/36.48	c Got one! Elapsed wall clock time (in seconds):36.277
38.92/36.48	o -7351
46.73/44.27	c cleaning 5146 clauses out of 10291 with flag 6001/10291
47.14/44.64	c Got one! Elapsed wall clock time (in seconds):44.433
47.14/44.64	o -7353
52.47/49.76	c Got one! Elapsed wall clock time (in seconds):49.549
52.47/49.76	o -7355
56.27/53.60	c Got one! Elapsed wall clock time (in seconds):53.388
56.27/53.60	o -7396
57.27/54.52	c Got one! Elapsed wall clock time (in seconds):54.316
57.27/54.52	o -7421
57.88/55.13	c Got one! Elapsed wall clock time (in seconds):54.923
57.88/55.13	o -7438
58.07/55.38	c Got one! Elapsed wall clock time (in seconds):55.172
58.07/55.38	o -7441
58.27/55.53	c Got one! Elapsed wall clock time (in seconds):55.324
58.27/55.53	o -7445
58.37/55.67	c Got one! Elapsed wall clock time (in seconds):55.463
58.37/55.67	o -7462
58.47/55.74	c Got one! Elapsed wall clock time (in seconds):55.53
58.47/55.74	o -8099
67.06/64.39	c cleaning 5858 clauses out of 11716 with flag 6001/16862
74.91/71.75	c Got one! Elapsed wall clock time (in seconds):71.547
74.91/71.75	o -8132
83.11/79.98	c cleaning 5765 clauses out of 11532 with flag 6004/22536
87.03/83.85	c Got one! Elapsed wall clock time (in seconds):83.643
87.03/83.85	o -8151
90.43/87.21	c Got one! Elapsed wall clock time (in seconds):87.002
90.43/87.21	o -8213
92.24/89.08	c Got one! Elapsed wall clock time (in seconds):88.876
92.24/89.08	o -8233
95.06/91.28	c Got one! Elapsed wall clock time (in seconds):91.07
95.06/91.28	o -8254
95.56/91.76	c Got one! Elapsed wall clock time (in seconds):91.551
95.56/91.76	o -8258
95.66/91.82	c Got one! Elapsed wall clock time (in seconds):91.615
95.66/91.82	o -8965
103.56/99.79	c cleaning 6370 clauses out of 12741 with flag 6001/29510
118.46/114.60	c cleaning 6186 clauses out of 12371 with flag 18001/35510
136.27/132.02	c cleaning 6590 clauses out of 13186 with flag 32003/42511
136.67/132.48	c Got one! Elapsed wall clock time (in seconds):132.269
136.67/132.48	o -9028
146.69/142.46	c Got one! Elapsed wall clock time (in seconds):142.251
146.69/142.46	o -9034
152.69/148.49	c cleaning 6064 clauses out of 12128 with flag 4051/48043
153.29/149.03	c Got one! Elapsed wall clock time (in seconds):148.822
153.29/149.03	o -9048
155.39/151.18	c Got one! Elapsed wall clock time (in seconds):150.973
155.39/151.18	o -9054
157.59/153.31	c Got one! Elapsed wall clock time (in seconds):153.105
157.59/153.31	o -9654
172.75/167.71	c cleaning 6341 clauses out of 12685 with flag 10003/54664
188.76/183.80	c cleaning 6170 clauses out of 12343 with flag 22001/60663
207.59/201.92	c cleaning 6587 clauses out of 13174 with flag 36003/67664
210.79/205.12	c Got one! Elapsed wall clock time (in seconds):204.915
210.79/205.12	o -9772
221.49/215.81	c cleaning 5966 clauses out of 11932 with flag 8004/73009
236.19/230.53	c cleaning 5983 clauses out of 11966 with flag 20004/79009
240.11/234.45	c Got one! Elapsed wall clock time (in seconds):234.24
240.11/234.45	o -9814
252.11/245.98	c cleaning 5787 clauses out of 11580 with flag 8003/84606
263.11/256.93	c Got one! Elapsed wall clock time (in seconds):256.723
263.11/256.93	o -9846
268.12/261.95	c cleaning 5824 clauses out of 11650 with flag 4057/90463
271.42/265.22	c Got one! Elapsed wall clock time (in seconds):265.012
271.42/265.22	o -9863
276.21/270.00	c Got one! Elapsed wall clock time (in seconds):269.795
276.21/270.00	o -9865
278.62/272.47	c Got one! Elapsed wall clock time (in seconds):272.266
278.62/272.47	o -9877
280.23/274.08	c Got one! Elapsed wall clock time (in seconds):273.874
280.23/274.08	o -9888
281.42/275.25	c Got one! Elapsed wall clock time (in seconds):275.047
281.42/275.25	o -10658
288.92/282.77	c cleaning 6840 clauses out of 13690 with flag 6003/98327
303.05/296.70	c cleaning 6424 clauses out of 12850 with flag 18003/104327
320.15/313.71	c cleaning 6711 clauses out of 13426 with flag 32003/111327
339.51/332.72	c cleaning 7357 clauses out of 14714 with flag 48001/119326
361.30/354.57	c cleaning 8175 clauses out of 16358 with flag 66003/128327
364.20/357.50	c Got one! Elapsed wall clock time (in seconds):357.291
364.20/357.50	o -10679
375.67/368.62	c cleaning 6711 clauses out of 13430 with flag 8041/133574
390.47/383.45	c cleaning 6355 clauses out of 12719 with flag 20117/139574
407.92/400.59	c cleaning 6682 clauses out of 13363 with flag 34115/146573
422.22/414.83	c Got one! Elapsed wall clock time (in seconds):414.628
422.22/414.83	o -10690
435.92/428.52	c cleaning 8675 clauses out of 17351 with flag 10120/157243
451.16/443.69	c cleaning 7337 clauses out of 14675 with flag 22394/163242
451.46/443.93	c Got one! Elapsed wall clock time (in seconds):443.725
451.46/443.93	o -10708
463.35/455.86	c cleaning 6219 clauses out of 12439 with flag 10088/168343
478.29/470.54	c Got one! Elapsed wall clock time (in seconds):470.33
478.29/470.54	o -10717
485.30/477.50	c Got one! Elapsed wall clock time (in seconds):477.298
485.30/477.50	o -10722
488.89/481.14	c Got one! Elapsed wall clock time (in seconds):480.938
488.89/481.14	o -11486
493.89/486.17	c cleaning 8647 clauses out of 17303 with flag 4003/179426
509.31/501.25	c cleaning 7327 clauses out of 14655 with flag 16001/185425
526.22/518.20	c cleaning 7162 clauses out of 14329 with flag 30003/192426
544.86/536.67	c cleaning 7583 clauses out of 15167 with flag 46003/200426
567.06/558.54	c cleaning 8292 clauses out of 16584 with flag 64003/209426
591.75/582.98	c cleaning 9146 clauses out of 18291 with flag 84001/219425
618.47/609.31	c cleaning 10071 clauses out of 20146 with flag 106003/230426
648.93/639.52	c cleaning 11038 clauses out of 22075 with flag 130003/242426
680.05/670.21	c cleaning 12018 clauses out of 24036 with flag 156001/255425
714.72/704.32	c cleaning 13008 clauses out of 26019 with flag 184003/269426
746.74/735.95	c Got one! Elapsed wall clock time (in seconds):735.738
746.74/735.95	o -11513
761.57/750.59	c cleaning 14856 clauses out of 29718 with flag 10299/286133
777.17/766.17	c cleaning 10430 clauses out of 20862 with flag 22842/292133
796.40/785.21	c cleaning 8716 clauses out of 17432 with flag 37158/299133
817.73/806.46	c cleaning 8356 clauses out of 16717 with flag 53538/307134
821.22/809.96	c Got one! Elapsed wall clock time (in seconds):809.753
821.22/809.96	o -11528
832.54/821.11	c cleaning 6849 clauses out of 13704 with flag 8030/312477
848.21/836.68	c cleaning 6422 clauses out of 12853 with flag 20231/318475
863.61/851.86	c Got one! Elapsed wall clock time (in seconds):851.652
863.61/851.86	o -11561
878.21/866.47	c cleaning 8785 clauses out of 17578 with flag 10081/329622
894.29/882.31	c Got one! Elapsed wall clock time (in seconds):882.099
894.29/882.31	o -11567
906.18/894.03	c Got one! Elapsed wall clock time (in seconds):893.819
906.18/894.03	o -11580
912.08/899.93	c cleaning 9982 clauses out of 19963 with flag 4007/340792
914.98/902.82	c Got one! Elapsed wall clock time (in seconds):902.611
914.98/902.82	o -11587
917.48/905.33	c Got one! Elapsed wall clock time (in seconds):905.119
917.48/905.33	o -11588
922.18/910.04	c Got one! Elapsed wall clock time (in seconds):909.833
922.18/910.04	o -11593
922.82/910.60	c Got one! Elapsed wall clock time (in seconds):910.388
922.82/910.60	o -12239
932.41/920.13	c cleaning 8687 clauses out of 17379 with flag 8003/348190
946.81/934.46	c cleaning 7339 clauses out of 14692 with flag 20003/354190
963.40/950.93	c cleaning 7173 clauses out of 14353 with flag 34003/361190
981.51/968.70	c cleaning 7586 clauses out of 15179 with flag 50001/369189
1003.07/990.19	c cleaning 8297 clauses out of 16593 with flag 68001/378189
1028.95/1015.85	c cleaning 9146 clauses out of 18297 with flag 88003/388190
1057.26/1043.84	c cleaning 10069 clauses out of 20151 with flag 110003/399190
1088.26/1074.26	c cleaning 11040 clauses out of 22082 with flag 134003/411190
1121.17/1106.58	c cleaning 12017 clauses out of 24042 with flag 160003/424190
1156.36/1141.14	c cleaning 13009 clauses out of 26025 with flag 188003/438190
1192.07/1176.07	c cleaning 14006 clauses out of 28016 with flag 218003/453190
1232.59/1215.72	c cleaning 15005 clauses out of 30009 with flag 250001/469189
1252.99/1236.06	c Got one! Elapsed wall clock time (in seconds):1235.854
1252.99/1236.06	o -12384
1265.91/1248.69	c cleaning 14186 clauses out of 28380 with flag 10002/482565
1281.25/1263.90	c cleaning 10095 clauses out of 20195 with flag 22004/488566
1299.23/1281.72	c cleaning 8543 clauses out of 17099 with flag 36002/495565
1318.91/1301.35	c cleaning 8275 clauses out of 16556 with flag 52002/503565
1341.50/1323.68	c cleaning 8635 clauses out of 17282 with flag 70004/512566
1366.76/1348.66	c cleaning 9323 clauses out of 18647 with flag 90004/522566
1394.30/1375.73	c cleaning 10158 clauses out of 20324 with flag 112004/533566
1424.54/1405.26	c cleaning 11083 clauses out of 22166 with flag 136004/545566
1458.01/1437.71	c cleaning 12037 clauses out of 24083 with flag 162004/558566
1494.82/1473.76	c cleaning 13019 clauses out of 26046 with flag 190004/572566
1535.21/1513.70	c cleaning 14012 clauses out of 28026 with flag 220002/587565
1577.34/1555.30	c cleaning 15005 clauses out of 30015 with flag 252004/603566
1590.84/1568.71	c Got one! Elapsed wall clock time (in seconds):1568.499
1590.84/1568.71	o -12400
1605.35/1583.07	c cleaning 12701 clauses out of 25410 with flag 10004/613966
1620.33/1597.97	c cleaning 9354 clauses out of 18710 with flag 22006/619967
1638.02/1615.56	c cleaning 8176 clauses out of 16355 with flag 36004/626966
1659.17/1636.40	c cleaning 8090 clauses out of 16179 with flag 52004/634966
1659.57/1636.86	c Got one! Elapsed wall clock time (in seconds):1636.655
1659.57/1636.86	o -12404
1672.32/1649.47	c cleaning 6629 clauses out of 13261 with flag 10005/640138
1688.09/1665.04	c cleaning 6314 clauses out of 12633 with flag 22007/646139
1699.75/1676.59	c Got one! Elapsed wall clock time (in seconds):1676.379
1699.75/1676.59	o -12410
1702.65/1679.48	c cleaning 5938 clauses out of 11887 with flag 2008/651707
1721.20/1697.84	c cleaning 5973 clauses out of 11948 with flag 14006/657706
1725.23/1701.79	c Got one! Elapsed wall clock time (in seconds):1701.582
1725.23/1701.79	o -12437
1737.62/1714.18	c cleaning 5581 clauses out of 11165 with flag 8007/662896
1738.53/1715.06	c Got one! Elapsed wall clock time (in seconds):1714.852
1738.53/1715.06	o -12441
1745.14/1721.52	c Got one! Elapsed wall clock time (in seconds):1721.309
1745.14/1721.52	o -12444
1749.43/1725.80	c Got one! Elapsed wall clock time (in seconds):1725.593
1749.43/1725.80	o -12456
1749.63/1726.05	c Got one! Elapsed wall clock time (in seconds):1725.844
1749.63/1726.05	o -12458
1749.74/1726.17	c Got one! Elapsed wall clock time (in seconds):1725.963
1749.74/1726.17	o -12464
1751.04/1727.46	c Got one! Elapsed wall clock time (in seconds):1727.256
1751.04/1727.46	o -12650
1756.17/1732.36	c cleaning 5921 clauses out of 11856 with flag 4001/669168
1770.58/1746.54	c cleaning 5965 clauses out of 11936 with flag 16003/675169
1788.08/1763.59	c cleaning 6483 clauses out of 12970 with flag 30001/682168
1800.01/1775.20	c starts		: 95
1800.01/1775.20	c conflicts		: 687290
1800.01/1775.20	c decisions		: 692592
1800.01/1775.20	c propagations		: 656791094
1800.01/1775.20	c inspects		: 2733392804
1800.01/1775.20	c shortcuts		: 0
1800.01/1775.20	c learnt literals	: 0
1800.01/1775.20	c learnt binary clauses	: 0
1800.01/1775.20	c learnt ternary clauses	: 0
1800.01/1775.20	c learnt constraints	: 687290
1800.01/1775.20	c ignored constraints	: 0
1800.01/1775.20	c root simplifications	: 0
1800.01/1775.20	c removed literals (reason simplification)	: 0
1800.01/1775.20	c reason swapping (by a shorter reason)	: 0
1800.01/1775.20	c Calls to reduceDB	: 79
1800.01/1775.20	c Number of update (reduction) of LBD	: 201
1800.01/1775.20	c Imported unit clauses	: 0
1800.01/1775.20	c number of reductions to clauses (during analyze)	: 0
1800.01/1775.20	c number of learned constraints concerned by reduction	: 0
1800.01/1775.20	c number of learning phase by resolution	: 0
1800.01/1775.20	c number of learning phase by cutting planes	: 0
1800.01/1775.20	c speed (assignments/second)	: 372944.9387710139
1800.01/1775.20	c non guided choices	0
1800.01/1775.21	c learnt constraints type 
1800.01/1775.21	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 11609
1800.01/1775.21	s SATISFIABLE
1800.01/1775.21	c Found 94 solution(s)
1800.01/1775.21	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 
1800.01/1775.21	c objective function=-12650
1800.01/1775.21	c Total wall clock time (in seconds): 1775.001

Verifier Data 

OK	-12650

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-4118112-1467222405/watcher-4118112-1467222405 -o /tmp/evaluation-result-4118112-1467222405/solver-4118112-1467222405 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467209132-3606 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118112-1467222405.opb 

pid=5482
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.12 2.18 2.17 4/194 5485
/proc/meminfo: memFree=23269132/32872528 swapFree=1588980/1719796
[pid=5485] ppid=5482 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/5485/stat : 5485 (java) D 5482 5485 3589 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 3199065 9515008 175 33554432000 1073741824 1073778376 140735206546880 140735206529608 226084340624 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/5485/statm: 2323 175 133 9 0 71 0

[startup+0.100182 s]
/proc/loadavg: 2.12 2.18 2.17 4/194 5485
/proc/meminfo: memFree=23269132/32872528 swapFree=1588980/1719796
[pid=5485] ppid=5482 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/5485/stat : 5485 (java) S 5482 5485 3589 0 -1 4202496 3139 0 1 0 2 0 0 0 20 0 13 0 3199065 9446973440 3759 33554432000 1073741824 1073778376 140734444228944 140734444220080 226087698493 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 2306390 3759 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.200336 s]
/proc/loadavg: 2.12 2.18 2.17 4/194 5485
/proc/meminfo: memFree=23269132/32872528 swapFree=1588980/1719796
[pid=5485] ppid=5482 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/5485/stat : 5485 (java) S 5482 5485 3589 0 -1 4202496 4384 0 1 0 9 1 0 0 20 0 18 0 3199065 9787879424 6022 33554432000 1073741824 1073778376 140734444228944 140734444220080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 2389619 6022 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.300301 s]
/proc/loadavg: 2.12 2.18 2.17 4/194 5485
/proc/meminfo: memFree=23269132/32872528 swapFree=1588980/1719796
[pid=5485] ppid=5482 vsize=9558476 CPUtime=0.25 cores=0,2,4,6
/proc/5485/stat : 5485 (java) S 5482 5485 3589 0 -1 4202496 4640 0 1 0 24 1 0 0 20 0 18 0 3199065 9787879424 6715 33554432000 1073741824 1073778376 140734444228944 140734444220080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 2389619 6715 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9558476

[startup+0.700273 s]
/proc/loadavg: 2.12 2.18 2.17 4/194 5485
/proc/meminfo: memFree=23269132/32872528 swapFree=1588980/1719796
[pid=5485] ppid=5482 vsize=9558476 CPUtime=0.94 cores=0,2,4,6
/proc/5485/stat : 5485 (java) S 5482 5485 3589 0 -1 4202496 7003 0 1 0 93 1 0 0 20 0 18 0 3199065 9787879424 10588 33554432000 1073741824 1073778376 140734444228944 140734444220080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 2389619 10588 2242 9 0 2380296 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 9558476

[startup+1.50076 s]
/proc/loadavg: 2.11 2.18 2.17 4/212 5503
/proc/meminfo: memFree=23228840/32872528 swapFree=1588980/1719796
[pid=5485] ppid=5482 vsize=9558476 CPUtime=1.79 cores=0,2,4,6
/proc/5485/stat : 5485 (java) S 5482 5485 3589 0 -1 4202496 7035 0 1 0 178 1 0 0 20 0 18 0 3199065 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140734444220080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 2389619 13174 2249 9 0 2380296 0
[pid=5485/tid=5487] ppid=5482 vsize=9558476 CPUtime=1.37 cores=0,2,4,6
/proc/5485/task/5487/stat : 5487 (java) R 5482 5485 3589 0 -1 4202560 2415 0 1 0 135 2 0 0 20 0 18 0 3199066 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140388005750800 140387868368461 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5485/tid=5488] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5488/stat : 5488 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387994814888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5489] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5489/stat : 5489 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387993762344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5490] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5490/stat : 5490 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387992709288 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5491] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5491/stat : 5491 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387991656744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5485/tid=5492] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5492/stat : 5492 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387990604712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5493] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5493/stat : 5493 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387989552168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5494] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5494/stat : 5494 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387988499112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5485/tid=5495] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5495/stat : 5495 (java) S 5482 5485 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387987446568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5496] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5496/stat : 5496 (java) S 5482 5485 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3199069 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387829229928 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5497] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5497/stat : 5497 (java) S 5482 5485 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 3199069 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387828176248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5498] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5498/stat : 5498 (java) S 5482 5485 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 3199069 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387827123080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5499] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5499/stat : 5499 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199080 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387826071824 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5500] ppid=5482 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/5485/task/5500/stat : 5500 (java) S 5482 5485 3589 0 -1 4202560 1289 0 0 0 17 0 0 0 20 0 18 0 3199080 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387825019704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5501] ppid=5482 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/5485/task/5501/stat : 5501 (java) S 5482 5485 3589 0 -1 4202560 2069 0 0 0 21 0 0 0 20 0 18 0 3199080 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387823967160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5502] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5502/stat : 5502 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199080 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387822914296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5503] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5503/stat : 5503 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199080 9787879424 13174 33554432000 1073741824 1073778376 140734444228944 140387821861960 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 9558476

[startup+3.10076 s]
/proc/loadavg: 2.11 2.18 2.17 3/212 5503
/proc/meminfo: memFree=23208556/32872528 swapFree=1588980/1719796
[pid=5485] ppid=5482 vsize=9558476 CPUtime=3.6 cores=0,2,4,6
/proc/5485/stat : 5485 (java) S 5482 5485 3589 0 -1 4202496 12082 0 1 0 357 3 0 0 20 0 18 0 3199065 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140734444220080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 2389619 19072 2250 9 0 2380296 0
[pid=5485/tid=5487] ppid=5482 vsize=9558476 CPUtime=2.97 cores=0,2,4,6
/proc/5485/task/5487/stat : 5487 (java) R 5482 5485 3589 0 -1 4202560 2424 0 1 0 295 2 0 0 20 0 18 0 3199066 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140388005750800 140387868368474 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5485/tid=5488] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5488/stat : 5488 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387994814888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5489] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5489/stat : 5489 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387993762344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5490] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5490/stat : 5490 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387992709288 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5491] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5491/stat : 5491 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387991656744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5485/tid=5492] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5492/stat : 5492 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387990604712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5493] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5493/stat : 5493 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387989552168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5494] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5494/stat : 5494 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387988499112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5485/tid=5495] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5495/stat : 5495 (java) S 5482 5485 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387987446568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5496] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5496/stat : 5496 (java) S 5482 5485 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3199069 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387829229928 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5497] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5497/stat : 5497 (java) S 5482 5485 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 3199069 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387828176248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5498] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5498/stat : 5498 (java) S 5482 5485 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 3199069 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387827123080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5499] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5499/stat : 5499 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199080 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387826071824 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5500] ppid=5482 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/5485/task/5500/stat : 5500 (java) S 5482 5485 3589 0 -1 4202560 1983 0 0 0 23 0 0 0 20 0 18 0 3199080 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387825019704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5501] ppid=5482 vsize=9558476 CPUtime=0.36 cores=0,2,4,6
/proc/5485/task/5501/stat : 5501 (java) S 5482 5485 3589 0 -1 4202560 6413 0 0 0 35 1 0 0 20 0 18 0 3199080 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387823967160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5502] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5502/stat : 5502 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199080 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387822914296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5503] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5503/stat : 5503 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199080 9787879424 19072 33554432000 1073741824 1073778376 140734444228944 140387821861960 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 9558476

[startup+6.30081 s]
/proc/loadavg: 2.11 2.18 2.17 3/212 5503
/proc/meminfo: memFree=23202964/32872528 swapFree=1588980/1719796
[pid=5485] ppid=5482 vsize=9558476 CPUtime=6.83 cores=0,2,4,6
/proc/5485/stat : 5485 (java) S 5482 5485 3589 0 -1 4202496 12091 0 1 0 679 4 0 0 20 0 18 0 3199065 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140734444220080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 2389619 21139 2252 9 0 2380296 0
[pid=5485/tid=5487] ppid=5482 vsize=9558476 CPUtime=6.16 cores=0,2,4,6
/proc/5485/task/5487/stat : 5487 (java) R 5482 5485 3589 0 -1 4202560 2431 0 1 0 614 2 0 0 20 0 18 0 3199066 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140388005744384 140387868368582 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5485/tid=5488] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5488/stat : 5488 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387994814888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5489] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5489/stat : 5489 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387993762344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5490] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5490/stat : 5490 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387992709288 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5491] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5491/stat : 5491 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387991656744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5485/tid=5492] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5492/stat : 5492 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387990604712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5493] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5493/stat : 5493 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387989552168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5494] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5494/stat : 5494 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387988499112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5485/tid=5495] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5495/stat : 5495 (java) S 5482 5485 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3199068 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387987446568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5496] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5496/stat : 5496 (java) S 5482 5485 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3199069 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387829229928 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5497] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5497/stat : 5497 (java) S 5482 5485 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 3199069 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387828176248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5498] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5498/stat : 5498 (java) S 5482 5485 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 3199069 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387827123080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5499] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5499/stat : 5499 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199080 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387826071824 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5500] ppid=5482 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/5485/task/5500/stat : 5500 (java) S 5482 5485 3589 0 -1 4202560 1983 0 0 0 24 0 0 0 20 0 18 0 3199080 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387825019704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5501] ppid=5482 vsize=9558476 CPUtime=0.38 cores=0,2,4,6
/proc/5485/task/5501/stat : 5501 (java) S 5482 5485 3589 0 -1 4202560 6414 0 0 0 36 2 0 0 20 0 18 0 3199080 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387823967160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5502] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5502/stat : 5502 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3199080 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387822914296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5503] ppid=5482 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5503/stat : 5503 (java) S 5482 5485 3589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 3199080 9787879424 21139 33554432000 1073741824 1073778376 140734444228944 140387821861960 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 9558476

[startup+12.7008 s]
/proc/loadavg: 2.24 2.21 2.18 4/212 5503
/proc/meminfo: memFree=23188632/32872528 swapFree=1588980/1719796
[pid=5485] ppid=5482 vsize=9558476 CPUtime=13.23 cores=0,2,4,6
/proc/5485/stat : 5485 (java) S 5482 5485 3589 0 -1 4202496 12098 0 1 0 1319 4 0 0 20 0 18 0 3199065 9787879424 24723 33554432000 1073741824 1073778376 140734444228944 140734444220080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 2389619 24723 2252 9 0 2380296 0

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

[pid=5485/tid=5504] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5504/stat : 5504 (java) S 5482 5485 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3200476 9856040960 623994 33554432000 1073741824 1073778376 140734444228944 140387820807208 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1624.82
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.38 2.32 2.27 4/213 5634
/proc/meminfo: memFree=23338548/32872528 swapFree=1588980/1719796
[pid=5485] ppid=5482 vsize=9625040 CPUtime=1685.4 cores=0,2,4,6
/proc/5485/stat : 5485 (java) S 5482 5485 3589 0 -1 4202496 41727 0 1 0 168054 486 0 0 20 0 19 0 3199065 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140734444220080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 2406260 602604 2301 9 0 2396937 0
[pid=5485/tid=5487] ppid=5482 vsize=9625040 CPUtime=1645.8 cores=0,2,4,6
/proc/5485/task/5487/stat : 5487 (java) R 5482 5485 3589 0 -1 4202560 2929 0 1 0 164547 33 0 0 20 0 19 0 3199066 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140388005752000 140387868891632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5488] ppid=5482 vsize=9625040 CPUtime=3.73 cores=0,2,4,6
/proc/5485/task/5488/stat : 5488 (java) S 5482 5485 3589 0 -1 4202560 2717 0 0 0 306 67 0 0 20 0 19 0 3199068 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387994814888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5489] ppid=5482 vsize=9625040 CPUtime=3.43 cores=0,2,4,6
/proc/5485/task/5489/stat : 5489 (java) S 5482 5485 3589 0 -1 4202560 1811 0 0 0 298 45 0 0 20 0 19 0 3199068 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387993762344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5485/tid=5490] ppid=5482 vsize=9625040 CPUtime=3.53 cores=0,2,4,6
/proc/5485/task/5490/stat : 5490 (java) S 5482 5485 3589 0 -1 4202560 1895 0 0 0 302 51 0 0 20 0 19 0 3199068 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387992709288 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5491] ppid=5482 vsize=9625040 CPUtime=3.61 cores=0,2,4,6
/proc/5485/task/5491/stat : 5491 (java) S 5482 5485 3589 0 -1 4202560 2400 0 0 0 306 55 0 0 20 0 19 0 3199068 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387991656744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5492] ppid=5482 vsize=9625040 CPUtime=3.61 cores=0,2,4,6
/proc/5485/task/5492/stat : 5492 (java) S 5482 5485 3589 0 -1 4202560 2101 0 0 0 299 62 0 0 20 0 19 0 3199068 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387990604712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5493] ppid=5482 vsize=9625040 CPUtime=3.72 cores=0,2,4,6
/proc/5485/task/5493/stat : 5493 (java) S 5482 5485 3589 0 -1 4202560 2415 0 0 0 314 58 0 0 20 0 19 0 3199068 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387989552168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5494] ppid=5482 vsize=9625040 CPUtime=3.51 cores=0,2,4,6
/proc/5485/task/5494/stat : 5494 (java) S 5482 5485 3589 0 -1 4202560 2427 0 0 0 295 56 0 0 20 0 19 0 3199068 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387988499112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5495] ppid=5482 vsize=9625040 CPUtime=3.7 cores=0,2,4,6
/proc/5485/task/5495/stat : 5495 (java) S 5482 5485 3589 0 -1 4202560 2433 0 0 0 312 58 0 0 20 0 19 0 3199068 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387987446568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5485/tid=5496] ppid=5482 vsize=9625040 CPUtime=4.37 cores=0,2,4,6
/proc/5485/task/5496/stat : 5496 (java) S 5482 5485 3589 0 -1 4202560 4133 0 0 0 434 3 0 0 20 0 19 0 3199069 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387829229928 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5497] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5497/stat : 5497 (java) S 5482 5485 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3199069 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387828176248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5498] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5498/stat : 5498 (java) S 5482 5485 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3199069 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387827123080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5499] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5499/stat : 5499 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3199080 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387826071824 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5500] ppid=5482 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/5485/task/5500/stat : 5500 (java) S 5482 5485 3589 0 -1 4202560 3659 0 0 0 65 0 0 0 20 0 19 0 3199080 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387825019704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5501] ppid=5482 vsize=9625040 CPUtime=1.24 cores=0,2,4,6
/proc/5485/task/5501/stat : 5501 (java) S 5482 5485 3589 0 -1 4202560 11453 0 0 0 122 2 0 0 20 0 19 0 3199080 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387823967160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5502] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5502/stat : 5502 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3199080 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387822914296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5503] ppid=5482 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/5485/task/5503/stat : 5503 (java) S 5482 5485 3589 0 -1 4202560 96 0 0 0 15 22 0 0 20 0 19 0 3199080 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387821861960 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5504] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5504/stat : 5504 (java) S 5482 5485 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3200476 9856040960 602604 33554432000 1073741824 1073778376 140734444228944 140387820807208 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1685.4
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.34 2.32 2.27 4/213 5635
/proc/meminfo: memFree=23493744/32872528 swapFree=1588980/1719796
[pid=5485] ppid=5482 vsize=9625040 CPUtime=1745.93 cores=0,2,4,6
/proc/5485/stat : 5485 (java) S 5482 5485 3589 0 -1 4202496 41750 0 1 0 174107 486 0 0 20 0 19 0 3199065 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140734444220080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 2406260 567827 2301 9 0 2396937 0
[pid=5485/tid=5487] ppid=5482 vsize=9625040 CPUtime=1705.45 cores=0,2,4,6
/proc/5485/task/5487/stat : 5487 (java) R 5482 5485 3589 0 -1 4202560 2933 0 1 0 170512 33 0 0 20 0 19 0 3199066 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140388005744944 140387868891600 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5485/tid=5488] ppid=5482 vsize=9625040 CPUtime=3.81 cores=0,2,4,6
/proc/5485/task/5488/stat : 5488 (java) S 5482 5485 3589 0 -1 4202560 2719 0 0 0 314 67 0 0 20 0 19 0 3199068 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387994814888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5489] ppid=5482 vsize=9625040 CPUtime=3.54 cores=0,2,4,6
/proc/5485/task/5489/stat : 5489 (java) S 5482 5485 3589 0 -1 4202560 1813 0 0 0 309 45 0 0 20 0 19 0 3199068 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387993762344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5490] ppid=5482 vsize=9625040 CPUtime=3.59 cores=0,2,4,6
/proc/5485/task/5490/stat : 5490 (java) S 5482 5485 3589 0 -1 4202560 1897 0 0 0 308 51 0 0 20 0 19 0 3199068 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387992709288 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5485/tid=5491] ppid=5482 vsize=9625040 CPUtime=3.71 cores=0,2,4,6
/proc/5485/task/5491/stat : 5491 (java) S 5482 5485 3589 0 -1 4202560 2400 0 0 0 316 55 0 0 20 0 19 0 3199068 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387991656744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5492] ppid=5482 vsize=9625040 CPUtime=3.67 cores=0,2,4,6
/proc/5485/task/5492/stat : 5492 (java) S 5482 5485 3589 0 -1 4202560 2104 0 0 0 305 62 0 0 20 0 19 0 3199068 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387990604712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5493] ppid=5482 vsize=9625040 CPUtime=3.86 cores=0,2,4,6
/proc/5485/task/5493/stat : 5493 (java) S 5482 5485 3589 0 -1 4202560 2415 0 0 0 328 58 0 0 20 0 19 0 3199068 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387989552168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5494] ppid=5482 vsize=9625040 CPUtime=3.63 cores=0,2,4,6
/proc/5485/task/5494/stat : 5494 (java) S 5482 5485 3589 0 -1 4202560 2429 0 0 0 307 56 0 0 20 0 19 0 3199068 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387988499112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5485/tid=5495] ppid=5482 vsize=9625040 CPUtime=3.77 cores=0,2,4,6
/proc/5485/task/5495/stat : 5495 (java) S 5482 5485 3589 0 -1 4202560 2433 0 0 0 319 58 0 0 20 0 19 0 3199068 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387987446568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5496] ppid=5482 vsize=9625040 CPUtime=4.37 cores=0,2,4,6
/proc/5485/task/5496/stat : 5496 (java) S 5482 5485 3589 0 -1 4202560 4137 0 0 0 434 3 0 0 20 0 19 0 3199069 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387829229928 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5497] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5497/stat : 5497 (java) S 5482 5485 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3199069 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387828176248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5498] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5498/stat : 5498 (java) S 5482 5485 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3199069 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387827123080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5499] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5499/stat : 5499 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3199080 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387826071824 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5500] ppid=5482 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/5485/task/5500/stat : 5500 (java) S 5482 5485 3589 0 -1 4202560 3659 0 0 0 65 0 0 0 20 0 19 0 3199080 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387825019704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5501] ppid=5482 vsize=9625040 CPUtime=1.24 cores=0,2,4,6
/proc/5485/task/5501/stat : 5501 (java) S 5482 5485 3589 0 -1 4202560 11453 0 0 0 122 2 0 0 20 0 19 0 3199080 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387823967160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5502] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5502/stat : 5502 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3199080 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387822914296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5503] ppid=5482 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/5485/task/5503/stat : 5503 (java) S 5482 5485 3589 0 -1 4202560 100 0 0 0 16 22 0 0 20 0 19 0 3199080 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387821861960 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5504] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5504/stat : 5504 (java) S 5482 5485 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3200476 9856040960 567827 33554432000 1073741824 1073778376 140734444228944 140387820807208 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1745.93
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1775.2 s]
/proc/loadavg: 2.33 2.31 2.27 3/213 5636
/proc/meminfo: memFree=23477668/32872528 swapFree=1588980/1719796
[pid=5485] ppid=5482 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/5485/stat : 5485 (java) S 5482 5485 3589 0 -1 4202496 42048 0 1 0 179509 492 0 0 20 0 19 0 3199065 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140734444220080 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5485/statm: 2406260 576197 2301 9 0 2396937 0
[pid=5485/tid=5487] ppid=5482 vsize=9625040 CPUtime=1757.81 cores=0,2,4,6
/proc/5485/task/5487/stat : 5487 (java) R 5482 5485 3589 0 -1 4202560 2938 0 1 0 175746 35 0 0 20 0 19 0 3199066 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140388005752000 140387868909163 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5485/tid=5488] ppid=5482 vsize=9625040 CPUtime=3.96 cores=0,2,4,6
/proc/5485/task/5488/stat : 5488 (java) S 5482 5485 3589 0 -1 4202560 2727 0 0 0 329 67 0 0 20 0 19 0 3199068 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387994814888 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5489] ppid=5482 vsize=9625040 CPUtime=3.71 cores=0,2,4,6
/proc/5485/task/5489/stat : 5489 (java) S 5482 5485 3589 0 -1 4202560 1826 0 0 0 325 46 0 0 20 0 19 0 3199068 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387993762344 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5490] ppid=5482 vsize=9625040 CPUtime=3.8 cores=0,2,4,6
/proc/5485/task/5490/stat : 5490 (java) S 5482 5485 3589 0 -1 4202560 1955 0 0 0 327 53 0 0 20 0 19 0 3199068 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387992709288 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5491] ppid=5482 vsize=9625040 CPUtime=3.89 cores=0,2,4,6
/proc/5485/task/5491/stat : 5491 (java) S 5482 5485 3589 0 -1 4202560 2420 0 0 0 334 55 0 0 20 0 19 0 3199068 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387991656744 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5492] ppid=5482 vsize=9625040 CPUtime=3.86 cores=0,2,4,6
/proc/5485/task/5492/stat : 5492 (java) S 5482 5485 3589 0 -1 4202560 2129 0 0 0 324 62 0 0 20 0 19 0 3199068 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387990604712 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5493] ppid=5482 vsize=9625040 CPUtime=4.05 cores=0,2,4,6
/proc/5485/task/5493/stat : 5493 (java) S 5482 5485 3589 0 -1 4202560 2421 0 0 0 347 58 0 0 20 0 19 0 3199068 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387989552168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5494] ppid=5482 vsize=9625040 CPUtime=3.88 cores=0,2,4,6
/proc/5485/task/5494/stat : 5494 (java) S 5482 5485 3589 0 -1 4202560 2441 0 0 0 331 57 0 0 20 0 19 0 3199068 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387988499112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5495] ppid=5482 vsize=9625040 CPUtime=4 cores=0,2,4,6
/proc/5485/task/5495/stat : 5495 (java) S 5482 5485 3589 0 -1 4202560 2488 0 0 0 341 59 0 0 20 0 19 0 3199068 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387987446568 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5496] ppid=5482 vsize=9625040 CPUtime=4.37 cores=0,2,4,6
/proc/5485/task/5496/stat : 5496 (java) S 5482 5485 3589 0 -1 4202560 4231 0 0 0 434 3 0 0 20 0 19 0 3199069 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387829229928 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5497] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5497/stat : 5497 (java) S 5482 5485 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3199069 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387828176248 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5498] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5498/stat : 5498 (java) S 5482 5485 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3199069 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387827123080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5499] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5499/stat : 5499 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3199080 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387826071824 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5500] ppid=5482 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/5485/task/5500/stat : 5500 (java) S 5482 5485 3589 0 -1 4202560 3659 0 0 0 65 0 0 0 20 0 19 0 3199080 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387825019704 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5485/tid=5501] ppid=5482 vsize=9625040 CPUtime=1.24 cores=0,2,4,6
/proc/5485/task/5501/stat : 5501 (java) S 5482 5485 3589 0 -1 4202560 11453 0 0 0 122 2 0 0 20 0 19 0 3199080 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387823967160 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5502] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5502/stat : 5502 (java) S 5482 5485 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3199080 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387822914296 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5485/tid=5503] ppid=5482 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/5485/task/5503/stat : 5503 (java) S 5482 5485 3589 0 -1 4202560 102 0 0 0 16 24 0 0 20 0 19 0 3199080 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387821861960 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5485/tid=5504] ppid=5482 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5485/task/5504/stat : 5504 (java) S 5482 5485 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3200476 9856040960 576197 33554432000 1073741824 1073778376 140734444228944 140387820807208 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 5485 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 5485 and gives
#  childrusage.ru_utime.tv_sec=1790
#  childrusage.ru_utime.tv_usec=548795
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=351186
# CPU time returned by wait4() is 1795.9
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1775.22
CPU time (s): 1800.01
CPU user time (s): 1795.09
CPU system time (s): 4.92
CPU usage (%): 101.396
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.55
system time used= 5.35119
maximum resident set size= 2874536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42086
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41195
involuntary context switches= 26427

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.46356 second user time and 13.6929 second system time

The end

Launcher Data 

Begin job on node120 at 2016-06-29 19:46:46
IDJOB=4118112
IDBENCH=111453
IDSOLVER=2546
FILE ID=node120/4118112-1467222405
RUNJOBID= node120-1467209132-3606
PBS_JOBID= 19997582
Free space on /tmp= 71672 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_bern60-30.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118112-1467222405/watcher-4118112-1467222405 -o /tmp/evaluation-result-4118112-1467222405/solver-4118112-1467222405 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467209132-3606 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118112-1467222405.opb

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

MD5SUM BENCH= 1e87bcac4ffff8b4a6d42d54635fe7ae
RANDOM SEED=1635580734

node120.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.669
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.33
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.669
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.669
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.56
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.669
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.669
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.669
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.54
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.669
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.669
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:        23269420 kB
Buffers:           56812 kB
Cached:          4099352 kB
SwapCached:            0 kB
Active:          3079136 kB
Inactive:        4071300 kB
Active(anon):    2996680 kB
Inactive(anon):       64 kB
Active(file):      82456 kB
Inactive(file):  4071236 kB
Unevictable:     1719796 kB
Mlocked:         1588980 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1224 kB
Writeback:             0 kB
AnonPages:       4656508 kB
Mapped:            22248 kB
Shmem:               204 kB
Slab:             585852 kB
SReclaimable:      30116 kB
SUnreclaim:       555736 kB
KernelStack:        1760 kB
PageTables:        13940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5035588 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3022848 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= 71668 MiB
End job on node120 at 2016-06-29 20:16:21