Trace number 4118100

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)-19845 1800.05 1778.74

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-38.opb
MD5SUM6ab956c2ae4d9f4d2728c8a679422c33
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-25180
Best CPU time to get the best result obtained on this benchmark1800.06
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 25446
Biggest coefficient in the objective function 6510
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 2177172
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 6510
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 2177172
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)25396
Sum of products size (including duplicates)82976
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.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.10	c version PB16.v20160501
0.07/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.10	c java.vm.version	19.1-b02
0.07/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.10	c sun.arch.data.model	64
0.07/0.10	c java.version		1.6.0_24
0.07/0.10	c os.name		Linux
0.07/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.10	c os.arch		amd64
0.07/0.10	c Free memory 		501472288
0.07/0.10	c Max memory 		7480803328
0.07/0.10	c Total memory 		504102912
0.07/0.10	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization by upper bound
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Glucose 2.1 dynamic restart strategy
0.07/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-4118100-1467221778.opb
0.07/0.13	c reading problem ... 
0.07/0.13	c  objective function found
17.12/16.53	c ... done. Wall clock time 16.407s.
17.12/16.53	c declared #vars     50
17.12/16.53	c internal #vars     25446
17.12/16.53	c #constraints  50792
17.12/16.53	c constraints type 
17.12/16.53	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 25396
17.12/16.53	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 25396
17.12/16.53	c 50792 constraints processed.
17.12/16.53	c objective function length is 25446 literals
17.61/16.72	c SATISFIABLE
17.61/16.72	c OPTIMIZING...
17.61/16.72	c Got one! Elapsed wall clock time (in seconds):16.595
17.61/16.72	o 0
17.82/16.85	c Got one! Elapsed wall clock time (in seconds):16.725
17.82/16.85	o -333
18.10/16.93	c Got one! Elapsed wall clock time (in seconds):16.808
18.10/16.93	o -666
18.10/16.99	c Got one! Elapsed wall clock time (in seconds):16.864
18.10/16.99	o -1279
18.30/17.05	c Got one! Elapsed wall clock time (in seconds):16.927
18.30/17.05	o -1629
18.42/17.12	c Got one! Elapsed wall clock time (in seconds):16.995
18.42/17.12	o -1892
18.64/17.20	c Got one! Elapsed wall clock time (in seconds):17.074
18.64/17.20	o -2736
18.64/17.29	c Got one! Elapsed wall clock time (in seconds):17.166
18.64/17.29	o -2905
18.74/17.38	c Got one! Elapsed wall clock time (in seconds):17.25
18.74/17.38	o -3103
18.84/17.42	c Got one! Elapsed wall clock time (in seconds):17.298
18.84/17.42	o -3580
18.84/17.48	c Got one! Elapsed wall clock time (in seconds):17.35
18.84/17.48	o -4412
19.05/17.67	c Got one! Elapsed wall clock time (in seconds):17.54
19.05/17.67	o -4610
19.15/17.74	c Got one! Elapsed wall clock time (in seconds):17.612
19.15/17.74	o -4738
19.35/17.96	c Got one! Elapsed wall clock time (in seconds):17.836
19.35/17.96	o -4949
19.45/18.07	c Got one! Elapsed wall clock time (in seconds):17.949
19.45/18.07	o -4996
19.55/18.13	c Got one! Elapsed wall clock time (in seconds):18.001
19.55/18.13	o -5640
19.65/18.26	c Got one! Elapsed wall clock time (in seconds):18.137
19.65/18.26	o -6435
20.15/18.70	c Got one! Elapsed wall clock time (in seconds):18.574
20.15/18.70	o -6584
20.43/18.98	c Got one! Elapsed wall clock time (in seconds):18.852
20.43/18.98	o -6677
20.53/19.07	c Got one! Elapsed wall clock time (in seconds):18.942
20.53/19.07	o -6815
20.63/19.17	c Got one! Elapsed wall clock time (in seconds):19.044
20.63/19.17	o -7379
21.48/19.96	c Got one! Elapsed wall clock time (in seconds):19.838
21.48/19.96	o -7527
21.97/20.41	c Got one! Elapsed wall clock time (in seconds):20.288
21.97/20.41	o -7676
22.27/20.71	c Got one! Elapsed wall clock time (in seconds):20.587
22.27/20.71	o -7759
22.37/20.80	c Got one! Elapsed wall clock time (in seconds):20.674
22.37/20.80	o -7990
22.37/20.89	c Got one! Elapsed wall clock time (in seconds):20.759
22.37/20.89	o -8860
23.86/22.22	c Got one! Elapsed wall clock time (in seconds):22.09
23.86/22.22	o -9009
24.87/23.24	c Got one! Elapsed wall clock time (in seconds):23.114
24.87/23.24	o -9042
25.16/23.57	c Got one! Elapsed wall clock time (in seconds):23.445
25.16/23.57	o -9240
25.46/23.84	c Got one! Elapsed wall clock time (in seconds):23.716
25.46/23.84	o -9273
25.56/23.93	c Got one! Elapsed wall clock time (in seconds):23.803
25.56/23.93	o -10334
28.31/26.57	c Got one! Elapsed wall clock time (in seconds):26.441
28.31/26.57	o -10400
29.61/27.84	c Got one! Elapsed wall clock time (in seconds):27.714
29.61/27.84	o -10556
31.01/29.29	c Got one! Elapsed wall clock time (in seconds):29.163
31.01/29.29	o -10841
34.03/32.25	c Got one! Elapsed wall clock time (in seconds):32.122
34.03/32.25	o -10888
35.27/33.47	c Got one! Elapsed wall clock time (in seconds):33.345
35.27/33.47	o -10940
35.77/33.97	c Got one! Elapsed wall clock time (in seconds):33.847
35.77/33.97	o -10978
36.18/34.34	c Got one! Elapsed wall clock time (in seconds):34.21
36.18/34.34	o -11011
36.38/34.55	c Got one! Elapsed wall clock time (in seconds):34.424
36.38/34.55	o -11195
40.62/38.51	c Got one! Elapsed wall clock time (in seconds):38.383
40.62/38.51	o -11467
41.51/39.48	c Got one! Elapsed wall clock time (in seconds):39.352
41.51/39.48	o -11489
42.01/39.91	c Got one! Elapsed wall clock time (in seconds):39.782
42.01/39.91	o -11802
42.61/40.57	c Got one! Elapsed wall clock time (in seconds):40.443
42.61/40.57	o -11856
42.82/40.73	c Got one! Elapsed wall clock time (in seconds):40.6
42.82/40.73	o -11881
42.82/40.80	c Got one! Elapsed wall clock time (in seconds):40.677
42.82/40.80	o -11926
42.92/40.89	c Got one! Elapsed wall clock time (in seconds):40.767
42.92/40.89	o -13169
51.98/49.63	c Got one! Elapsed wall clock time (in seconds):49.504
51.98/49.63	o -13223
55.08/52.79	c cleaning 5611 clauses out of 11221 with flag 2066/11221
56.19/53.86	c Got one! Elapsed wall clock time (in seconds):53.731
56.19/53.86	o -13260
60.39/58.02	c Got one! Elapsed wall clock time (in seconds):57.895
60.39/58.02	o -13860
73.67/70.73	c cleaning 5614 clauses out of 11231 with flag 8001/16842
78.17/75.21	c Got one! Elapsed wall clock time (in seconds):75.085
78.17/75.21	o -13911
87.37/84.42	c Got one! Elapsed wall clock time (in seconds):84.291
87.37/84.42	o -14045
94.15/90.83	c Got one! Elapsed wall clock time (in seconds):90.702
94.15/90.83	o -14047
97.25/93.95	c Got one! Elapsed wall clock time (in seconds):93.828
97.25/93.95	o -14148
98.66/95.38	c Got one! Elapsed wall clock time (in seconds):95.25
98.66/95.38	o -14163
99.36/96.09	c Got one! Elapsed wall clock time (in seconds):95.968
99.36/96.09	o -14272
99.66/96.32	c Got one! Elapsed wall clock time (in seconds):96.193
99.66/96.32	o -14587
100.17/96.85	c Got one! Elapsed wall clock time (in seconds):96.725
100.17/96.85	o -14601
100.36/97.09	c Got one! Elapsed wall clock time (in seconds):96.963
100.36/97.09	o -14602
100.57/97.29	c Got one! Elapsed wall clock time (in seconds):97.161
100.57/97.29	o -14613
100.67/97.37	c Got one! Elapsed wall clock time (in seconds):97.244
100.67/97.37	o -15797
103.80/100.42	c cleaning 7375 clauses out of 14755 with flag 2001/25980
120.81/117.48	c cleaning 6690 clauses out of 13380 with flag 14001/31980
142.51/138.31	c cleaning 6845 clauses out of 13690 with flag 28001/38980
155.21/151.02	c Got one! Elapsed wall clock time (in seconds):150.893
155.21/151.02	o -15849
159.89/154.88	c cleaning 6208 clauses out of 12417 with flag 2004/44552
162.19/157.13	c Got one! Elapsed wall clock time (in seconds):157.007
162.19/157.13	o -15863
167.39/162.37	c Got one! Elapsed wall clock time (in seconds):162.248
167.39/162.37	o -15874
167.79/162.78	c Got one! Elapsed wall clock time (in seconds):162.65
167.79/162.78	o -16980
179.29/174.23	c cleaning 6379 clauses out of 12763 with flag 8001/51106
196.49/191.40	c cleaning 6191 clauses out of 12385 with flag 20003/57107
217.28/212.08	c cleaning 6597 clauses out of 13194 with flag 34003/64107
221.48/216.24	c Got one! Elapsed wall clock time (in seconds):216.11
221.48/216.24	o -17027
233.58/228.31	c cleaning 6053 clauses out of 12114 with flag 8002/69624
251.53/245.80	c cleaning 6027 clauses out of 12062 with flag 20004/75625
267.34/261.57	c Got one! Elapsed wall clock time (in seconds):261.439
267.34/261.57	o -17092
283.94/278.18	c cleaning 8131 clauses out of 16266 with flag 10147/85856
287.04/281.28	c Got one! Elapsed wall clock time (in seconds):281.157
287.04/281.28	o -17094
291.54/285.74	c Got one! Elapsed wall clock time (in seconds):285.618
291.54/285.74	o -17105
295.44/289.61	c Got one! Elapsed wall clock time (in seconds):289.479
295.44/289.61	o -17267
304.05/298.29	c cleaning 7275 clauses out of 14550 with flag 6001/92271
321.69/315.49	c cleaning 6636 clauses out of 13276 with flag 18003/98272
341.10/334.86	c cleaning 6820 clauses out of 13640 with flag 32003/105272
364.91/358.68	c cleaning 7406 clauses out of 14819 with flag 48001/113271
391.45/385.09	c cleaning 8207 clauses out of 16413 with flag 66001/122271
419.93/413.54	c cleaning 9098 clauses out of 18206 with flag 86001/132271
445.89/439.17	c Got one! Elapsed wall clock time (in seconds):439.049
445.89/439.17	o -17692
460.98/454.29	c cleaning 11423 clauses out of 22849 with flag 10005/146012
478.88/472.17	c cleaning 8710 clauses out of 17425 with flag 22003/152011
500.86/493.70	c cleaning 7858 clauses out of 15715 with flag 36003/159011
509.56/502.41	c Got one! Elapsed wall clock time (in seconds):502.287
509.56/502.41	o -17701
516.06/508.90	c cleaning 6501 clauses out of 13005 with flag 4065/164159
535.16/528.02	c cleaning 6248 clauses out of 12504 with flag 16177/170159
543.25/536.18	c Got one! Elapsed wall clock time (in seconds):536.058
543.25/536.18	o -17900
553.28/546.05	c cleaning 5881 clauses out of 11761 with flag 6146/175664
554.88/547.66	c Got one! Elapsed wall clock time (in seconds):547.535
554.88/547.66	o -18032
564.88/557.67	c Got one! Elapsed wall clock time (in seconds):557.541
564.88/557.67	o -18045
571.48/564.30	c cleaning 5743 clauses out of 11485 with flag 4024/181269
571.88/564.65	c Got one! Elapsed wall clock time (in seconds):564.528
571.88/564.65	o -18051
575.68/568.41	c Got one! Elapsed wall clock time (in seconds):568.279
575.68/568.41	o -18055
576.68/569.40	c Got one! Elapsed wall clock time (in seconds):569.272
576.68/569.40	o -18064
577.09/569.89	c Got one! Elapsed wall clock time (in seconds):569.767
577.09/569.89	o -18169
577.88/570.67	c Got one! Elapsed wall clock time (in seconds):570.545
577.88/570.67	o -18182
578.38/571.17	c Got one! Elapsed wall clock time (in seconds):571.047
578.38/571.17	o -18191
578.68/571.40	c Got one! Elapsed wall clock time (in seconds):571.277
578.68/571.40	o -18195
578.68/571.47	c Got one! Elapsed wall clock time (in seconds):571.344
578.68/571.47	o -18208
578.88/571.65	c Got one! Elapsed wall clock time (in seconds):571.525
578.88/571.65	o -19146
590.30/583.02	c cleaning 5907 clauses out of 11821 with flag 8001/187348
607.54/600.18	c cleaning 5956 clauses out of 11915 with flag 20003/193349
626.54/619.15	c cleaning 6474 clauses out of 12959 with flag 34003/200349
649.68/642.02	c cleaning 7242 clauses out of 14485 with flag 50003/208349
674.69/667.07	c cleaning 8121 clauses out of 16243 with flag 68003/217349
702.59/694.68	c cleaning 9059 clauses out of 18121 with flag 88001/227348
734.68/726.23	c cleaning 10030 clauses out of 20063 with flag 110003/238349
768.08/759.69	c cleaning 11014 clauses out of 22032 with flag 134001/250348
805.60/796.79	c cleaning 12007 clauses out of 24019 with flag 160003/263349
844.23/835.27	c cleaning 13004 clauses out of 26012 with flag 188003/277349
889.03/878.60	c cleaning 14002 clauses out of 28007 with flag 218001/292348
934.28/923.61	c cleaning 14998 clauses out of 30006 with flag 250003/308349
976.49/965.22	c Got one! Elapsed wall clock time (in seconds):965.098
976.49/965.22	o -19175
993.09/981.56	c cleaning 16838 clauses out of 33675 with flag 10098/327016
1011.86/999.95	c cleaning 11416 clauses out of 22837 with flag 22337/333016
1031.86/1019.91	c Got one! Elapsed wall clock time (in seconds):1019.787
1031.86/1019.91	o -19190
1049.16/1036.93	c cleaning 11656 clauses out of 23324 with flag 10052/344919
1068.86/1056.69	c cleaning 8831 clauses out of 17668 with flag 22285/350919
1073.67/1061.37	c Got one! Elapsed wall clock time (in seconds):1061.243
1073.67/1061.37	o -19196
1086.67/1074.39	c cleaning 7136 clauses out of 14275 with flag 8286/356357
1091.48/1079.19	c Got one! Elapsed wall clock time (in seconds):1079.065
1091.48/1079.19	o -19200
1099.18/1086.87	c Got one! Elapsed wall clock time (in seconds):1086.74
1099.18/1086.87	o -19210
1106.05/1093.55	c Got one! Elapsed wall clock time (in seconds):1093.426
1106.05/1093.55	o -19213
1106.84/1094.34	c Got one! Elapsed wall clock time (in seconds):1094.215
1106.84/1094.34	o -19227
1107.34/1094.87	c Got one! Elapsed wall clock time (in seconds):1094.747
1107.34/1094.87	o -19237
1107.44/1094.98	c Got one! Elapsed wall clock time (in seconds):1094.853
1107.44/1094.98	o -19240
1107.74/1095.23	c Got one! Elapsed wall clock time (in seconds):1095.109
1107.74/1095.23	o -19739
1110.45/1097.95	c cleaning 7107 clauses out of 14225 with flag 2001/363443
1127.18/1114.48	c cleaning 6557 clauses out of 13119 with flag 14003/369444
1145.89/1133.17	c cleaning 6781 clauses out of 13562 with flag 28003/376444
1167.67/1154.82	c cleaning 7390 clauses out of 14780 with flag 44001/384443
1193.64/1180.54	c cleaning 8193 clauses out of 16390 with flag 62001/393443
1222.80/1209.47	c cleaning 9096 clauses out of 18198 with flag 82003/403444
1254.12/1240.65	c cleaning 10050 clauses out of 20102 with flag 104003/414444
1287.91/1274.19	c cleaning 11026 clauses out of 22052 with flag 128003/426444
1325.53/1311.38	c cleaning 12011 clauses out of 24025 with flag 154001/439443
1363.94/1349.13	c cleaning 13006 clauses out of 26015 with flag 182003/453444
1405.78/1390.37	c cleaning 14001 clauses out of 28009 with flag 212003/468444
1452.38/1436.23	c cleaning 15003 clauses out of 30007 with flag 244001/484443
1502.55/1485.47	c cleaning 16000 clauses out of 32005 with flag 278003/501444
1547.93/1530.02	c Got one! Elapsed wall clock time (in seconds):1529.896
1547.93/1530.02	o -19845
1562.83/1544.95	c cleaning 18129 clauses out of 36268 with flag 10004/521707
1579.91/1561.91	c cleaning 12068 clauses out of 24139 with flag 22004/527707
1600.39/1582.34	c cleaning 9528 clauses out of 19070 with flag 36002/534706
1624.48/1606.19	c cleaning 8767 clauses out of 17542 with flag 52002/542706
1650.76/1632.24	c cleaning 8883 clauses out of 17776 with flag 70004/551707
1681.17/1662.23	c cleaning 9445 clauses out of 18893 with flag 90004/561707
1713.87/1694.58	c cleaning 10221 clauses out of 20447 with flag 112002/572706
1751.17/1731.15	c cleaning 11110 clauses out of 22226 with flag 136002/584706
1790.31/1769.12	c cleaning 12059 clauses out of 24117 with flag 162004/597707
1800.05/1778.71	c starts		: 95
1800.05/1778.71	c conflicts		: 601261
1800.05/1778.71	c decisions		: 605542
1800.05/1778.71	c propagations		: 931546491
1800.05/1778.71	c inspects		: 3507470183
1800.05/1778.71	c shortcuts		: 0
1800.05/1778.71	c learnt literals	: 0
1800.05/1778.71	c learnt binary clauses	: 0
1800.05/1778.71	c learnt ternary clauses	: 0
1800.05/1778.71	c learnt constraints	: 601260
1800.05/1778.71	c ignored constraints	: 0
1800.05/1778.71	c root simplifications	: 0
1800.05/1778.71	c removed literals (reason simplification)	: 0
1800.05/1778.71	c reason swapping (by a shorter reason)	: 0
1800.05/1778.71	c Calls to reduceDB	: 64
1800.05/1778.71	c Number of update (reduction) of LBD	: 194
1800.05/1778.71	c Imported unit clauses	: 0
1800.05/1778.71	c number of reductions to clauses (during analyze)	: 0
1800.05/1778.71	c number of learned constraints concerned by reduction	: 0
1800.05/1778.71	c number of learning phase by resolution	: 0
1800.05/1778.71	c number of learning phase by cutting planes	: 0
1800.05/1778.71	c speed (assignments/second)	: 528654.5949510473
1800.05/1778.71	c non guided choices	0
1800.05/1778.72	c learnt constraints type 
1800.05/1778.72	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 15612
1800.05/1778.72	s SATISFIABLE
1800.05/1778.72	c Found 94 solution(s)
1800.05/1778.72	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 
1800.05/1778.72	c objective function=-19845
1800.05/1778.72	c Total wall clock time (in seconds): 1778.593

Verifier Data

OK	-19845

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

pid=5401
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.12 2.17 2.18 4/194 5404
/proc/meminfo: memFree=25789460/32872528 swapFree=1588980/1719796
[pid=5404] ppid=5401 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5404/stat : 5404 (java) D 5401 5404 3589 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 3136320 9515008 175 33554432000 1073741824 1073778376 140733400867040 140733400849768 226084340624 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/5404/statm: 2323 175 133 9 0 71 0

[startup+0.100062 s]
/proc/loadavg: 2.12 2.17 2.18 4/194 5404
/proc/meminfo: memFree=25789460/32872528 swapFree=1588980/1719796
[pid=5404] ppid=5401 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/5404/stat : 5404 (java) S 5401 5404 3589 0 -1 4202496 3844 0 1 0 6 1 0 0 20 0 18 0 3136320 9787879424 4975 33554432000 1073741824 1073778376 140734271607008 140734271598144 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5404/statm: 2389619 4984 1979 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200242 s]
/proc/loadavg: 2.12 2.17 2.18 4/194 5404
/proc/meminfo: memFree=25789460/32872528 swapFree=1588980/1719796
[pid=5404] ppid=5401 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/5404/stat : 5404 (java) S 5401 5404 3589 0 -1 4202496 4617 0 1 0 21 1 0 0 20 0 18 0 3136320 9787879424 6210 33554432000 1073741824 1073778376 140734271607008 140734271598144 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5404/statm: 2389619 6210 2211 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300217 s]
/proc/loadavg: 2.12 2.17 2.18 4/194 5404
/proc/meminfo: memFree=25789460/32872528 swapFree=1588980/1719796
[pid=5404] ppid=5401 vsize=9558476 CPUtime=0.43 cores=1,3,5,7
/proc/5404/stat : 5404 (java) S 5401 5404 3589 0 -1 4202496 5688 0 1 0 42 1 0 0 20 0 18 0 3136320 9787879424 7969 33554432000 1073741824 1073778376 140734271607008 140734271598144 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5404/statm: 2389619 7969 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558476

[startup+0.700151 s]
/proc/loadavg: 2.12 2.17 2.18 4/194 5404
/proc/meminfo: memFree=25789460/32872528 swapFree=1588980/1719796
[pid=5404] ppid=5401 vsize=9558476 CPUtime=1.02 cores=1,3,5,7
/proc/5404/stat : 5404 (java) S 5401 5404 3589 0 -1 4202496 7104 0 1 0 100 2 0 0 20 0 18 0 3136320 9787879424 10562 33554432000 1073741824 1073778376 140734271607008 140734271598144 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5404/statm: 2389619 10562 2242 9 0 2380296 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 9558476

[startup+1.50072 s]
/proc/loadavg: 2.12 2.17 2.18 4/212 5422
/proc/meminfo: memFree=25749716/32872528 swapFree=1588980/1719796
[pid=5404] ppid=5401 vsize=9558476 CPUtime=1.87 cores=1,3,5,7
/proc/5404/stat : 5404 (java) S 5401 5404 3589 0 -1 4202496 7137 0 1 0 185 2 0 0 20 0 18 0 3136320 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 140734271598144 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5404/statm: 2389619 13149 2249 9 0 2380296 0
[pid=5404/tid=5406] ppid=5401 vsize=9558476 CPUtime=1.45 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (java) R 5401 5404 3589 0 -1 4202560 2411 0 1 0 144 1 0 0 20 0 18 0 3136322 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139720213298896 139720068062962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5404/tid=5407] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (java) S 5401 5404 3589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139720056678952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5408] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139720055626152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5404/tid=5409] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139720054573352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5410] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5410/stat : 5410 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139720053520552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5411] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5411/stat : 5411 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139720052468776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5412] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5412/stat : 5412 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139719715318696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5413] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5413/stat : 5413 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139719714265896 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5414] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5414/stat : 5414 (java) S 5401 5404 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139719713213096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5415] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5415/stat : 5415 (java) S 5401 5404 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3136324 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139719701015016 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5416] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5416/stat : 5416 (java) S 5401 5404 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 3136325 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139719699961080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5417] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5417/stat : 5417 (java) S 5401 5404 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 3136325 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139719698908168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5418] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5418/stat : 5418 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136328 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139719697856656 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5419] ppid=5401 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/5404/task/5419/stat : 5419 (java) S 5401 5404 3589 0 -1 4202560 2020 0 0 0 24 0 0 0 20 0 18 0 3136328 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139719696804792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5420] ppid=5401 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/5404/task/5420/stat : 5420 (java) S 5401 5404 3589 0 -1 4202560 1443 0 0 0 15 0 0 0 20 0 18 0 3136328 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139719695751992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5421] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5421/stat : 5421 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136328 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139719694699384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5422] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5422/stat : 5422 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136328 9787879424 13149 33554432000 1073741824 1073778376 140734271607008 139719693646792 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 9558476

[startup+3.10074 s]
/proc/loadavg: 2.12 2.17 2.18 3/212 5422
/proc/meminfo: memFree=25729556/32872528 swapFree=1588980/1719796
[pid=5404] ppid=5401 vsize=9558476 CPUtime=3.7 cores=1,3,5,7
/proc/5404/stat : 5404 (java) S 5401 5404 3589 0 -1 4202496 12209 0 1 0 367 3 0 0 20 0 18 0 3136320 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 140734271598144 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5404/statm: 2389619 19000 2251 9 0 2380296 0
[pid=5404/tid=5406] ppid=5401 vsize=9558476 CPUtime=3.04 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (java) R 5401 5404 3589 0 -1 4202560 2419 0 1 0 303 1 0 0 20 0 18 0 3136322 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139720213305360 139720068063139 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5404/tid=5407] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (java) S 5401 5404 3589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139720056678952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5408] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139720055626152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5404/tid=5409] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139720054573352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5410] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5410/stat : 5410 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139720053520552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5411] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5411/stat : 5411 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139720052468776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5412] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5412/stat : 5412 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139719715318696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5413] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5413/stat : 5413 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139719714265896 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5414] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5414/stat : 5414 (java) S 5401 5404 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139719713213096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5415] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5415/stat : 5415 (java) S 5401 5404 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3136324 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139719701015016 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5416] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5416/stat : 5416 (java) S 5401 5404 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 3136325 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139719699961080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5417] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5417/stat : 5417 (java) S 5401 5404 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 3136325 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139719698908168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5418] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5418/stat : 5418 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136328 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139719697856656 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5419] ppid=5401 vsize=9558476 CPUtime=0.4 cores=1,3,5,7
/proc/5404/task/5419/stat : 5419 (java) S 5401 5404 3589 0 -1 4202560 6377 0 0 0 38 2 0 0 20 0 18 0 3136328 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139719696804792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5420] ppid=5401 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/5404/task/5420/stat : 5420 (java) S 5401 5404 3589 0 -1 4202560 2150 0 0 0 22 0 0 0 20 0 18 0 3136328 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139719695751992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5421] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5421/stat : 5421 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136328 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139719694699384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5422] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5422/stat : 5422 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136328 9787879424 19000 33554432000 1073741824 1073778376 140734271607008 139719693646792 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 9558476

[startup+6.30081 s]
/proc/loadavg: 2.11 2.16 2.17 4/212 5422
/proc/meminfo: memFree=25708104/32872528 swapFree=1588980/1719796
[pid=5404] ppid=5401 vsize=9558476 CPUtime=6.9 cores=1,3,5,7
/proc/5404/stat : 5404 (java) S 5401 5404 3589 0 -1 4202496 12218 0 1 0 687 3 0 0 20 0 18 0 3136320 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 140734271598144 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5404/statm: 2389619 20354 2252 9 0 2380296 0
[pid=5404/tid=5406] ppid=5401 vsize=9558476 CPUtime=6.23 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (java) R 5401 5404 3589 0 -1 4202560 2427 0 1 0 622 1 0 0 20 0 18 0 3136322 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139720213298944 139720068063164 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5404/tid=5407] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (java) S 5401 5404 3589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139720056678952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5408] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139720055626152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5404/tid=5409] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139720054573352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5410] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5410/stat : 5410 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139720053520552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5411] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5411/stat : 5411 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139720052468776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5412] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5412/stat : 5412 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139719715318696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5413] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5413/stat : 5413 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139719714265896 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5414] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5414/stat : 5414 (java) S 5401 5404 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3136323 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139719713213096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5415] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5415/stat : 5415 (java) S 5401 5404 3589 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 3136324 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139719701015016 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5416] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5416/stat : 5416 (java) S 5401 5404 3589 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 3136325 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139719699961080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5417] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5417/stat : 5417 (java) S 5401 5404 3589 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 3136325 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139719698908168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5418] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5418/stat : 5418 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136328 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139719697856656 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5419] ppid=5401 vsize=9558476 CPUtime=0.4 cores=1,3,5,7
/proc/5404/task/5419/stat : 5419 (java) S 5401 5404 3589 0 -1 4202560 6377 0 0 0 38 2 0 0 20 0 18 0 3136328 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139719696804792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5420] ppid=5401 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/5404/task/5420/stat : 5420 (java) S 5401 5404 3589 0 -1 4202560 2150 0 0 0 22 0 0 0 20 0 18 0 3136328 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139719695751992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5421] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5421/stat : 5421 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 3136328 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139719694699384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5422] ppid=5401 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5422/stat : 5422 (java) S 5401 5404 3589 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 3136328 9787879424 20354 33554432000 1073741824 1073778376 140734271607008 139719693646792 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 9558476

[startup+12.7008 s]
/proc/loadavg: 2.18 2.18 2.18 3/212 5422
/proc/meminfo: memFree=25695472/32872528 swapFree=1588980/1719796
[pid=5404] ppid=5401 vsize=9558476 CPUtime=13.3 cores=1,3,5,7
/proc/5404/stat : 5404 (java) S 5401 5404 3589 0 -1 4202496 12223 0 1 0 1327 3 0 0 20 0 18 0 3136320 9787879424 22914 33554432000 1073741824 1073778376 140734271607008 140734271598144 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5404/statm: 2389619 22914 2252 9 0 2380296 0

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

/proc/5404/task/5423/stat : 5423 (java) S 5401 5404 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3137981 9856040960 721559 33554432000 1073741824 1073778376 140734271607008 139719692493992 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1681.26
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.31 2.37 2.28 3/213 5554
/proc/meminfo: memFree=21426856/32872528 swapFree=1588980/1719796
[pid=5404] ppid=5401 vsize=9625040 CPUtime=1742.37 cores=1,3,5,7
/proc/5404/stat : 5404 (java) S 5401 5404 3589 0 -1 4202496 72186 0 1 0 173746 491 0 0 20 0 19 0 3136320 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 140734271598144 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5404/statm: 2406260 722138 2301 9 0 2396937 0
[pid=5404/tid=5406] ppid=5401 vsize=9625040 CPUtime=1707.67 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (java) R 5401 5404 3589 0 -1 4202560 2940 0 1 0 170733 34 0 0 20 0 19 0 3136322 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139720213306696 139720068606352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5407] ppid=5401 vsize=9625040 CPUtime=2.87 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (java) S 5401 5404 3589 0 -1 4202560 5993 0 0 0 238 49 0 0 20 0 19 0 3136323 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139720056678952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5408] ppid=5401 vsize=9625040 CPUtime=3.03 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (java) S 5401 5404 3589 0 -1 4202560 3351 0 0 0 247 56 0 0 20 0 19 0 3136323 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139720055626152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5409] ppid=5401 vsize=9625040 CPUtime=3.13 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (java) S 5401 5404 3589 0 -1 4202560 6928 0 0 0 256 57 0 0 20 0 19 0 3136323 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139720054573352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5404/tid=5410] ppid=5401 vsize=9625040 CPUtime=3.43 cores=1,3,5,7
/proc/5404/task/5410/stat : 5410 (java) S 5401 5404 3589 0 -1 4202560 9032 0 0 0 279 64 0 0 20 0 19 0 3136323 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139720053520552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5404/tid=5411] ppid=5401 vsize=9625040 CPUtime=2.84 cores=1,3,5,7
/proc/5404/task/5411/stat : 5411 (java) S 5401 5404 3589 0 -1 4202560 7758 0 0 0 233 51 0 0 20 0 19 0 3136323 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139720052468776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5412] ppid=5401 vsize=9625040 CPUtime=3.45 cores=1,3,5,7
/proc/5404/task/5412/stat : 5412 (java) S 5401 5404 3589 0 -1 4202560 5345 0 0 0 283 62 0 0 20 0 19 0 3136323 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139719715318696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5404/tid=5413] ppid=5401 vsize=9625040 CPUtime=3 cores=1,3,5,7
/proc/5404/task/5413/stat : 5413 (java) S 5401 5404 3589 0 -1 4202560 9337 0 0 0 247 53 0 0 20 0 19 0 3136323 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139719714265896 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5414] ppid=5401 vsize=9625040 CPUtime=2.96 cores=1,3,5,7
/proc/5404/task/5414/stat : 5414 (java) S 5401 5404 3589 0 -1 4202560 3442 0 0 0 242 54 0 0 20 0 19 0 3136323 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139719713213096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5415] ppid=5401 vsize=9625040 CPUtime=3.49 cores=1,3,5,7
/proc/5404/task/5415/stat : 5415 (java) S 5401 5404 3589 0 -1 4202560 4287 0 0 0 345 4 0 0 20 0 19 0 3136324 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139719701015016 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5416] ppid=5401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5416/stat : 5416 (java) S 5401 5404 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3136325 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139719699961080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5417] ppid=5401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5417/stat : 5417 (java) S 5401 5404 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3136325 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139719698908168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5418] ppid=5401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5418/stat : 5418 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3136328 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139719697856656 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5419] ppid=5401 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/5404/task/5419/stat : 5419 (java) S 5401 5404 3589 0 -1 4202560 7804 0 0 0 85 2 0 0 20 0 19 0 3136328 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139719696804792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5420] ppid=5401 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/5404/task/5420/stat : 5420 (java) S 5401 5404 3589 0 -1 4202560 4610 0 0 0 69 0 0 0 20 0 19 0 3136328 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139719695751992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5421] ppid=5401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5421/stat : 5421 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3136328 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139719694699384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5422] ppid=5401 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/5404/task/5422/stat : 5422 (java) S 5401 5404 3589 0 -1 4202560 100 0 0 0 26 33 0 0 20 0 19 0 3136328 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139719693646792 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5423] ppid=5401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5423/stat : 5423 (java) S 5401 5404 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3137981 9856040960 722138 33554432000 1073741824 1073778376 140734271607008 139719692493992 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1742.37
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.7 s]
/proc/loadavg: 2.25 2.33 2.27 3/213 5555
/proc/meminfo: memFree=21057220/32872528 swapFree=1588980/1719796
[pid=5404] ppid=5401 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/5404/stat : 5404 (java) S 5401 5404 3589 0 -1 4202496 73118 0 1 0 179481 524 0 0 20 0 19 0 3136320 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 140734271598144 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5404/statm: 2406260 790072 2301 9 0 2396937 0
[pid=5404/tid=5406] ppid=5401 vsize=9625040 CPUtime=1763.45 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (java) R 5401 5404 3589 0 -1 4202560 2944 0 1 0 176310 35 0 0 20 0 19 0 3136322 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139720213306576 139720068194702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5407] ppid=5401 vsize=9625040 CPUtime=3.17 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (java) S 5401 5404 3589 0 -1 4202560 6190 0 0 0 260 57 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139720056678952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5408] ppid=5401 vsize=9625040 CPUtime=3.23 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (java) S 5401 5404 3589 0 -1 4202560 3449 0 0 0 265 58 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139720055626152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5404/tid=5409] ppid=5401 vsize=9625040 CPUtime=3.34 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (java) S 5401 5404 3589 0 -1 4202560 6988 0 0 0 274 60 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139720054573352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5410] ppid=5401 vsize=9625040 CPUtime=3.6 cores=1,3,5,7
/proc/5404/task/5410/stat : 5410 (java) S 5401 5404 3589 0 -1 4202560 9063 0 0 0 294 66 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139720053520552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5404/tid=5411] ppid=5401 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/5404/task/5411/stat : 5411 (java) S 5401 5404 3589 0 -1 4202560 7806 0 0 0 251 53 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139720052468776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5412] ppid=5401 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/5404/task/5412/stat : 5412 (java) S 5401 5404 3589 0 -1 4202560 5383 0 0 0 297 64 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719715318696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5413] ppid=5401 vsize=9625040 CPUtime=3.19 cores=1,3,5,7
/proc/5404/task/5413/stat : 5413 (java) S 5401 5404 3589 0 -1 4202560 9459 0 0 0 262 57 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719714265896 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5414] ppid=5401 vsize=9625040 CPUtime=3.26 cores=1,3,5,7
/proc/5404/task/5414/stat : 5414 (java) S 5401 5404 3589 0 -1 4202560 3636 0 0 0 263 63 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719713213096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5415] ppid=5401 vsize=9625040 CPUtime=3.49 cores=1,3,5,7
/proc/5404/task/5415/stat : 5415 (java) S 5401 5404 3589 0 -1 4202560 4423 0 0 0 345 4 0 0 20 0 19 0 3136324 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719701015016 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5416] ppid=5401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5416/stat : 5416 (java) S 5401 5404 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3136325 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719699961080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5417] ppid=5401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5417/stat : 5417 (java) S 5401 5404 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3136325 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719698908168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5418] ppid=5401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5418/stat : 5418 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3136328 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719697856656 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5419] ppid=5401 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/5404/task/5419/stat : 5419 (java) S 5401 5404 3589 0 -1 4202560 7804 0 0 0 85 2 0 0 20 0 19 0 3136328 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719696804792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5420] ppid=5401 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/5404/task/5420/stat : 5420 (java) S 5401 5404 3589 0 -1 4202560 4610 0 0 0 69 0 0 0 20 0 19 0 3136328 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719695751992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5421] ppid=5401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5421/stat : 5421 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3136328 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719694699384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5422] ppid=5401 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/5404/task/5422/stat : 5422 (java) S 5401 5404 3589 0 -1 4202560 104 0 0 0 27 33 0 0 20 0 19 0 3136328 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719693646792 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5423] ppid=5401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5423/stat : 5423 (java) S 5401 5404 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3137981 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719692493992 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 5404 sig 9
??? kill -5404 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1778.7 s]
/proc/loadavg: 2.25 2.33 2.27 3/213 5555
/proc/meminfo: memFree=21057220/32872528 swapFree=1588980/1719796
[pid=5404] ppid=5401 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/5404/stat : 5404 (java) S 5401 5404 3589 0 -1 4202496 73118 0 1 0 179481 524 0 0 20 0 19 0 3136320 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 140734271598144 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5404/statm: 2406260 790072 2301 9 0 2396937 0
[pid=5404/tid=5406] ppid=5401 vsize=9625040 CPUtime=1763.45 cores=1,3,5,7
/proc/5404/task/5406/stat : 5406 (java) R 5401 5404 3589 0 -1 4202560 2944 0 1 0 176310 35 0 0 20 0 19 0 3136322 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139720213306576 139720068194702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5407] ppid=5401 vsize=9625040 CPUtime=3.17 cores=1,3,5,7
/proc/5404/task/5407/stat : 5407 (java) S 5401 5404 3589 0 -1 4202560 6190 0 0 0 260 57 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139720056678952 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5408] ppid=5401 vsize=9625040 CPUtime=3.23 cores=1,3,5,7
/proc/5404/task/5408/stat : 5408 (java) S 5401 5404 3589 0 -1 4202560 3449 0 0 0 265 58 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139720055626152 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5404/tid=5409] ppid=5401 vsize=9625040 CPUtime=3.34 cores=1,3,5,7
/proc/5404/task/5409/stat : 5409 (java) S 5401 5404 3589 0 -1 4202560 6988 0 0 0 274 60 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139720054573352 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5410] ppid=5401 vsize=9625040 CPUtime=3.6 cores=1,3,5,7
/proc/5404/task/5410/stat : 5410 (java) S 5401 5404 3589 0 -1 4202560 9063 0 0 0 294 66 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139720053520552 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5404/tid=5411] ppid=5401 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/5404/task/5411/stat : 5411 (java) S 5401 5404 3589 0 -1 4202560 7806 0 0 0 251 53 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139720052468776 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5412] ppid=5401 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/5404/task/5412/stat : 5412 (java) S 5401 5404 3589 0 -1 4202560 5383 0 0 0 297 64 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719715318696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5413] ppid=5401 vsize=9625040 CPUtime=3.19 cores=1,3,5,7
/proc/5404/task/5413/stat : 5413 (java) S 5401 5404 3589 0 -1 4202560 9459 0 0 0 262 57 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719714265896 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5414] ppid=5401 vsize=9625040 CPUtime=3.26 cores=1,3,5,7
/proc/5404/task/5414/stat : 5414 (java) S 5401 5404 3589 0 -1 4202560 3636 0 0 0 263 63 0 0 20 0 19 0 3136323 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719713213096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5415] ppid=5401 vsize=9625040 CPUtime=3.49 cores=1,3,5,7
/proc/5404/task/5415/stat : 5415 (java) S 5401 5404 3589 0 -1 4202560 4423 0 0 0 345 4 0 0 20 0 19 0 3136324 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719701015016 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5416] ppid=5401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5416/stat : 5416 (java) S 5401 5404 3589 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3136325 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719699961080 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5417] ppid=5401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5417/stat : 5417 (java) S 5401 5404 3589 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3136325 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719698908168 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5418] ppid=5401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5418/stat : 5418 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3136328 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719697856656 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5419] ppid=5401 vsize=9625040 CPUtime=0.87 cores=1,3,5,7
/proc/5404/task/5419/stat : 5419 (java) S 5401 5404 3589 0 -1 4202560 7804 0 0 0 85 2 0 0 20 0 19 0 3136328 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719696804792 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5420] ppid=5401 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/5404/task/5420/stat : 5420 (java) S 5401 5404 3589 0 -1 4202560 4610 0 0 0 69 0 0 0 20 0 19 0 3136328 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719695751992 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5404/tid=5421] ppid=5401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5421/stat : 5421 (java) S 5401 5404 3589 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3136328 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719694699384 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5404/tid=5422] ppid=5401 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/5404/task/5422/stat : 5422 (java) S 5401 5404 3589 0 -1 4202560 104 0 0 0 27 33 0 0 20 0 19 0 3136328 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719693646792 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5404/tid=5423] ppid=5401 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5404/task/5423/stat : 5423 (java) S 5401 5404 3589 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 3137981 9856040960 790072 33554432000 1073741824 1073778376 140734271607008 139719692493992 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5404 and gives
#  childrusage.ru_utime.tv_sec=1790
#  childrusage.ru_utime.tv_usec=169852
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=662139
# CPU time returned by wait4() is 1795.83
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1778.74
CPU time (s): 1800.05
CPU user time (s): 1794.81
CPU system time (s): 5.24
CPU usage (%): 101.198
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.17
system time used= 5.66214
maximum resident set size= 3709916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73171
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42705
involuntary context switches= 19870

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68529 second user time and 7.19091 second system time

The end

Launcher Data

Begin job on node120 at 2016-06-29 19:36:18
IDJOB=4118100
IDBENCH=111450
IDSOLVER=2546
FILE ID=node120/4118100-1467221778
RUNJOBID= node120-1467209132-3607
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_bern50-38.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118100-1467221778/watcher-4118100-1467221778 -o /tmp/evaluation-result-4118100-1467221778/solver-4118100-1467221778 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1467209132-3607 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118100-1467221778.opb

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

MD5SUM BENCH= 6ab956c2ae4d9f4d2728c8a679422c33
RANDOM SEED=844534597

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:        25789460 kB
Buffers:           56004 kB
Cached:          4099504 kB
SwapCached:            0 kB
Active:           560112 kB
Inactive:        4071932 kB
Active(anon):     477600 kB
Inactive(anon):     1884 kB
Active(file):      82512 kB
Inactive(file):  4070048 kB
Unevictable:     1719796 kB
Mlocked:         1588980 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1232 kB
Writeback:             0 kB
AnonPages:       2167752 kB
Mapped:            22248 kB
Shmem:               204 kB
Slab:             585740 kB
SReclaimable:      30096 kB
SUnreclaim:       555644 kB
KernelStack:        1760 kB
PageTables:         8768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2384312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    555008 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:05:57