Trace number 4119310

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)6708 1800.08 1780.02

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-edgecross14-176.opb
MD5SUM20bf5d251cbf9e1bfc60bd4febfc4e0a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6251
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables183
Total number of constraints1457
Number of constraints which are clauses1456
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 2674
Biggest coefficient in the objective function 6872
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 13678
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 6872
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 13678
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)2501
Sum of products size (including duplicates)5002
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4119310-1467254211.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.46/0.38	c ... done. Wall clock time 0.267s.
0.46/0.38	c declared #vars     183
0.46/0.38	c internal #vars     2684
0.46/0.38	c #constraints  6460
0.46/0.38	c constraints type 
0.46/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3957
0.46/0.38	c org.sat4j.specs.Constr$1 => 1
0.46/0.38	c org.sat4j.minisat.constraints.cnf.UnitClause => 1
0.46/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2501
0.46/0.38	c 6460 constraints processed.
0.46/0.38	c objective function length is 2674 literals
0.75/0.43	c SATISFIABLE
0.75/0.43	c OPTIMIZING...
0.75/0.43	c Got one! Elapsed wall clock time (in seconds):0.317
0.75/0.43	o 6994
1.35/0.62	c Got one! Elapsed wall clock time (in seconds):0.503
1.35/0.62	o 6993
1.35/0.63	c Got one! Elapsed wall clock time (in seconds):0.517
1.35/0.63	o 6982
1.35/0.66	c Got one! Elapsed wall clock time (in seconds):0.543
1.35/0.66	o 6971
1.35/0.69	c Got one! Elapsed wall clock time (in seconds):0.58
1.35/0.69	o 6960
1.58/0.73	c Got one! Elapsed wall clock time (in seconds):0.617
1.58/0.73	o 6952
1.58/0.74	c Got one! Elapsed wall clock time (in seconds):0.627
1.58/0.74	o 6940
1.87/0.94	c Got one! Elapsed wall clock time (in seconds):0.822
1.87/0.94	o 6939
1.87/0.98	c Got one! Elapsed wall clock time (in seconds):0.863
1.87/0.98	o 6938
1.87/0.98	c Got one! Elapsed wall clock time (in seconds):0.866
1.87/0.98	o 6927
1.98/1.05	c Got one! Elapsed wall clock time (in seconds):0.938
1.98/1.05	o 6925
2.09/1.13	c Got one! Elapsed wall clock time (in seconds):1.013
2.09/1.13	o 6923
2.28/1.40	c Got one! Elapsed wall clock time (in seconds):1.28
2.28/1.40	o 6922
2.38/1.41	c Got one! Elapsed wall clock time (in seconds):1.294
2.38/1.41	o 6920
2.38/1.45	c Got one! Elapsed wall clock time (in seconds):1.335
2.38/1.45	o 6916
2.48/1.55	c Got one! Elapsed wall clock time (in seconds):1.431
2.48/1.55	o 6910
2.63/1.67	c Got one! Elapsed wall clock time (in seconds):1.556
2.63/1.67	o 6907
2.63/1.70	c Got one! Elapsed wall clock time (in seconds):1.581
2.63/1.70	o 6905
3.64/2.63	c cleaning 4276 clauses out of 8556 with flag 8014/8556
5.20/4.06	c cleaning 5141 clauses out of 10282 with flag 20020/14558
5.20/4.07	c Got one! Elapsed wall clock time (in seconds):3.958
5.20/4.07	o 6900
5.50/4.38	c Got one! Elapsed wall clock time (in seconds):4.263
5.50/4.38	o 6899
5.71/4.52	c Got one! Elapsed wall clock time (in seconds):4.408
5.71/4.52	o 6895
5.80/4.61	c Got one! Elapsed wall clock time (in seconds):4.499
5.80/4.61	o 6889
5.90/4.73	c Got one! Elapsed wall clock time (in seconds):4.612
5.90/4.73	o 6888
5.90/4.73	c Got one! Elapsed wall clock time (in seconds):4.62
5.90/4.73	o 6884
6.90/5.70	c cleaning 6038 clauses out of 12082 with flag 8091/21499
7.53/6.39	c Got one! Elapsed wall clock time (in seconds):6.274
7.53/6.39	o 6881
8.35/7.11	c cleaning 5982 clauses out of 11972 with flag 6013/27427
9.87/8.56	c cleaning 5993 clauses out of 11989 with flag 18020/33426
11.28/9.92	c Got one! Elapsed wall clock time (in seconds):9.803
11.28/9.92	o 6870
11.47/10.17	c Got one! Elapsed wall clock time (in seconds):10.057
11.47/10.17	o 6865
11.57/10.23	c Got one! Elapsed wall clock time (in seconds):10.117
11.57/10.23	o 6863
12.57/11.27	c cleaning 8581 clauses out of 17161 with flag 8435/44591
13.07/11.79	c Got one! Elapsed wall clock time (in seconds):11.679
13.07/11.79	o 6858
13.87/12.51	c cleaning 6916 clauses out of 13836 with flag 6001/49847
15.27/13.92	c cleaning 6455 clauses out of 12922 with flag 18019/55849
16.67/15.34	c Got one! Elapsed wall clock time (in seconds):15.223
16.67/15.34	o 6851
18.36/16.74	c cleaning 8803 clauses out of 17614 with flag 10328/66996
18.36/16.75	c Got one! Elapsed wall clock time (in seconds):16.637
18.36/16.75	o 6844
19.56/17.98	c cleaning 6919 clauses out of 13841 with flag 10340/72026
20.96/19.39	c cleaning 6458 clauses out of 12921 with flag 22495/78025
22.66/21.05	c cleaning 6728 clauses out of 13462 with flag 36494/85024
24.56/22.97	c cleaning 7365 clauses out of 14736 with flag 52510/93026
26.87/25.18	c cleaning 8184 clauses out of 16369 with flag 70506/102024
29.27/27.57	c cleaning 9086 clauses out of 18185 with flag 90547/112024
31.97/30.22	c cleaning 10049 clauses out of 20100 with flag 112570/123025
34.87/33.13	c cleaning 11020 clauses out of 22050 with flag 136568/135024
38.08/36.39	c cleaning 12012 clauses out of 24030 with flag 162569/148024
41.67/39.91	c cleaning 13004 clauses out of 26019 with flag 190594/162025
45.94/43.89	c cleaning 14002 clauses out of 28014 with flag 220650/177024
50.04/47.93	c cleaning 15001 clauses out of 30014 with flag 252772/193026
54.44/52.35	c cleaning 16001 clauses out of 32011 with flag 286906/210024
59.13/57.02	c cleaning 17001 clauses out of 34012 with flag 323058/228026
64.93/62.43	c cleaning 17998 clauses out of 36009 with flag 361212/247024
70.63/68.10	c cleaning 19000 clauses out of 38012 with flag 401389/267025
76.43/73.97	c cleaning 19999 clauses out of 40011 with flag 443582/288024
79.73/77.26	c Got one! Elapsed wall clock time (in seconds):77.149
79.73/77.26	o 6841
81.13/78.66	c cleaning 18760 clauses out of 37538 with flag 10346/305550
81.84/79.35	c Got one! Elapsed wall clock time (in seconds):79.24
81.84/79.35	o 6833
82.63/80.13	c cleaning 12318 clauses out of 24657 with flag 6295/311429
84.04/81.59	c cleaning 9162 clauses out of 18339 with flag 18861/317429
85.73/83.24	c cleaning 8079 clauses out of 16178 with flag 33309/324430
88.42/85.34	c cleaning 8041 clauses out of 16099 with flag 49673/332430
90.52/87.45	c cleaning 8523 clauses out of 17058 with flag 67800/341430
93.02/89.99	c cleaning 9263 clauses out of 18534 with flag 88322/351429
95.72/92.63	c Got one! Elapsed wall clock time (in seconds):92.512
95.72/92.63	o 6832
96.92/93.88	c cleaning 12469 clauses out of 24949 with flag 10002/367107
98.42/95.30	c cleaning 9231 clauses out of 18480 with flag 22005/373107
100.02/96.93	c cleaning 8116 clauses out of 16249 with flag 36014/380107
101.82/98.76	c cleaning 8060 clauses out of 16134 with flag 52016/388108
103.92/100.86	c cleaning 8529 clauses out of 17073 with flag 70021/397107
106.32/103.21	c cleaning 9267 clauses out of 18545 with flag 90025/407108
108.92/105.86	c cleaning 10126 clauses out of 20277 with flag 112031/418107
112.79/109.19	c cleaning 11071 clauses out of 22153 with flag 136037/430109
114.29/110.62	c Got one! Elapsed wall clock time (in seconds):110.51
114.29/110.62	o 6830
115.49/111.87	c cleaning 10923 clauses out of 21859 with flag 10010/440886
116.89/113.26	c cleaning 8461 clauses out of 16934 with flag 22064/446884
117.49/113.80	c Got one! Elapsed wall clock time (in seconds):113.682
117.49/113.80	o 6825
117.99/114.37	c Got one! Elapsed wall clock time (in seconds):114.256
117.99/114.37	o 6824
118.29/114.61	c cleaning 7185 clauses out of 14385 with flag 2027/452796
118.49/114.83	c Got one! Elapsed wall clock time (in seconds):114.711
118.49/114.83	o 6822
119.59/115.96	c cleaning 6584 clauses out of 13186 with flag 10026/458782
120.99/117.32	c cleaning 6293 clauses out of 12602 with flag 22028/464782
122.50/118.88	c cleaning 6646 clauses out of 13309 with flag 36036/471782
124.39/120.71	c cleaning 7327 clauses out of 14663 with flag 52056/479782
126.49/122.86	c cleaning 8159 clauses out of 16335 with flag 70073/488781
128.99/125.36	c cleaning 9082 clauses out of 18177 with flag 90084/498782
131.79/128.16	c cleaning 10041 clauses out of 20095 with flag 112085/509782
134.99/131.38	c cleaning 11022 clauses out of 22055 with flag 136194/521783
138.39/134.70	c cleaning 12009 clauses out of 24031 with flag 162232/534781
141.89/138.22	c cleaning 13003 clauses out of 26022 with flag 190233/548781
145.79/142.11	c cleaning 14002 clauses out of 28019 with flag 220235/563781
150.19/146.50	c cleaning 15006 clauses out of 30017 with flag 252300/579781
155.70/151.53	c cleaning 16000 clauses out of 32011 with flag 286629/596781
160.70/156.54	c cleaning 17003 clauses out of 34011 with flag 322889/614781
165.91/161.75	c cleaning 18003 clauses out of 36009 with flag 361179/633782
171.30/167.19	c cleaning 18993 clauses out of 38006 with flag 401249/653782
174.80/170.68	c Got one! Elapsed wall clock time (in seconds):170.562
174.80/170.68	o 6818
176.20/172.02	c cleaning 18627 clauses out of 37263 with flag 10006/672032
177.60/173.49	c cleaning 12310 clauses out of 24636 with flag 22007/678032
179.30/175.15	c cleaning 9655 clauses out of 19326 with flag 36013/685032
181.20/177.00	c cleaning 8827 clauses out of 17671 with flag 52020/693032
183.30/179.11	c cleaning 8915 clauses out of 17844 with flag 70026/702032
185.60/181.49	c cleaning 9460 clauses out of 18929 with flag 90027/712032
188.30/184.15	c cleaning 10230 clauses out of 20469 with flag 112028/723032
191.20/187.03	c cleaning 11110 clauses out of 22240 with flag 136030/735033
194.30/190.18	c cleaning 12059 clauses out of 24130 with flag 162030/748033
198.41/193.87	c cleaning 13030 clauses out of 26071 with flag 190071/762033
202.41/197.82	c cleaning 14017 clauses out of 28041 with flag 220082/777033
206.51/201.94	c cleaning 15007 clauses out of 30024 with flag 252110/793033
211.11/206.50	c cleaning 16004 clauses out of 32017 with flag 286126/810033
215.81/211.23	c cleaning 17001 clauses out of 34012 with flag 322125/828032
219.61/215.06	c Got one! Elapsed wall clock time (in seconds):214.942
219.61/215.06	o 6816
221.01/216.44	c cleaning 18433 clauses out of 36876 with flag 10203/847897
222.51/217.92	c cleaning 12216 clauses out of 24444 with flag 22257/853898
224.11/219.58	c cleaning 9606 clauses out of 19228 with flag 36261/860898
226.11/221.50	c cleaning 8804 clauses out of 17622 with flag 52271/868898
228.31/223.71	c cleaning 8905 clauses out of 17818 with flag 70282/877898
229.01/224.43	c Got one! Elapsed wall clock time (in seconds):224.312
229.01/224.43	o 6815
229.51/224.90	c cleaning 7006 clauses out of 14029 with flag 4014/883014
230.01/225.48	c Got one! Elapsed wall clock time (in seconds):225.363
230.01/225.48	o 6813
230.71/226.18	c cleaning 6322 clauses out of 12659 with flag 6069/888650
232.11/227.52	c cleaning 6161 clauses out of 12336 with flag 18082/894649
233.60/229.08	c cleaning 6579 clauses out of 13175 with flag 32124/901649
235.50/230.91	c cleaning 7295 clauses out of 14596 with flag 48143/909649
238.11/233.21	c cleaning 8143 clauses out of 16301 with flag 66185/918649
240.81/235.90	c cleaning 9074 clauses out of 18158 with flag 86411/928649
243.71/238.86	c cleaning 10040 clauses out of 20085 with flag 108547/939650
246.91/242.06	c cleaning 11014 clauses out of 22044 with flag 132796/951649
250.41/245.54	c cleaning 12009 clauses out of 24030 with flag 159092/964649
254.11/249.20	c cleaning 13005 clauses out of 26021 with flag 187266/978649
258.31/253.40	c cleaning 14002 clauses out of 28016 with flag 217318/993649
262.61/257.79	c cleaning 15002 clauses out of 30014 with flag 249403/1009649
267.21/262.36	c cleaning 16001 clauses out of 32012 with flag 283481/1026649
272.21/267.36	c cleaning 17000 clauses out of 34012 with flag 319654/1044650
277.61/272.77	c cleaning 17999 clauses out of 36011 with flag 358213/1063649
283.79/278.74	c cleaning 18998 clauses out of 38013 with flag 398856/1083650
289.59/284.58	c cleaning 20001 clauses out of 40014 with flag 441439/1104649
295.89/290.82	c cleaning 21003 clauses out of 42013 with flag 486049/1126649
302.50/297.49	c cleaning 21994 clauses out of 44010 with flag 532692/1149649
309.70/304.66	c cleaning 22999 clauses out of 46016 with flag 581473/1173649
317.30/312.26	c cleaning 24001 clauses out of 48017 with flag 632284/1198649
325.69/320.20	c cleaning 25001 clauses out of 50016 with flag 684794/1224649
333.78/328.34	c cleaning 26003 clauses out of 52016 with flag 739267/1251650
342.19/336.71	c cleaning 26995 clauses out of 54012 with flag 796262/1279649
351.08/345.67	c cleaning 28003 clauses out of 56017 with flag 855754/1308649
360.48/355.02	c cleaning 29004 clauses out of 58014 with flag 917233/1338649
370.74/365.05	c cleaning 30004 clauses out of 60012 with flag 980699/1369651
381.15/375.40	c cleaning 30999 clauses out of 62006 with flag 1046712/1401649
381.55/375.81	c Got one! Elapsed wall clock time (in seconds):375.696
381.55/375.81	o 6805
382.65/376.93	c cleaning 18256 clauses out of 36526 with flag 8008/1407168
384.15/378.45	c cleaning 12129 clauses out of 24270 with flag 20012/1413168
385.85/380.18	c cleaning 9567 clauses out of 19142 with flag 34026/1420169
387.85/382.15	c cleaning 8782 clauses out of 17574 with flag 50077/1428168
390.05/384.33	c cleaning 8890 clauses out of 17793 with flag 68270/1437169
390.05/384.36	c Got one! Elapsed wall clock time (in seconds):384.246
390.05/384.36	o 6803
390.15/384.40	c Got one! Elapsed wall clock time (in seconds):384.286
390.15/384.40	o 6798
390.15/384.42	c Got one! Elapsed wall clock time (in seconds):384.306
390.15/384.42	o 6797
390.75/385.01	c Got one! Elapsed wall clock time (in seconds):384.896
390.75/385.01	o 6796
391.45/385.73	c cleaning 7440 clauses out of 14893 with flag 6005/1443159
392.85/387.14	c cleaning 6718 clauses out of 13453 with flag 18020/1449159
393.35/387.69	c Got one! Elapsed wall clock time (in seconds):387.574
393.35/387.69	o 6792
393.75/388.00	c Got one! Elapsed wall clock time (in seconds):387.887
393.75/388.00	o 6787
393.75/388.07	c Got one! Elapsed wall clock time (in seconds):387.957
393.75/388.07	o 6784
394.25/388.54	c cleaning 6441 clauses out of 12897 with flag 4065/1455321
395.65/389.91	c cleaning 6222 clauses out of 12456 with flag 16096/1461321
396.45/390.72	c Got one! Elapsed wall clock time (in seconds):390.606
396.45/390.72	o 6781
396.95/391.20	c cleaning 5789 clauses out of 11590 with flag 4037/1466677
398.35/392.62	c cleaning 5896 clauses out of 11802 with flag 16047/1472678
400.44/394.46	c cleaning 6446 clauses out of 12904 with flag 30107/1479676
402.43/396.40	c cleaning 7226 clauses out of 14459 with flag 46290/1487677
403.83/397.84	c Got one! Elapsed wall clock time (in seconds):397.72
403.83/397.84	o 6779
405.03/399.07	c cleaning 9214 clauses out of 18441 with flag 10136/1498885
405.44/399.49	c Got one! Elapsed wall clock time (in seconds):399.373
405.44/399.49	o 6777
406.44/400.43	c cleaning 7490 clauses out of 15005 with flag 8235/1504663
407.93/401.91	c cleaning 6755 clauses out of 13515 with flag 20501/1510663
409.63/403.69	c cleaning 6869 clauses out of 13758 with flag 34846/1517661
411.73/405.74	c cleaning 7438 clauses out of 14889 with flag 51435/1525661
414.03/408.04	c cleaning 8221 clauses out of 16452 with flag 70081/1534662
416.63/410.66	c cleaning 9109 clauses out of 18230 with flag 90995/1544661
419.53/413.57	c cleaning 10055 clauses out of 20122 with flag 113578/1555662
422.73/416.78	c cleaning 11028 clauses out of 22067 with flag 138986/1567662
426.34/420.34	c cleaning 12017 clauses out of 24038 with flag 166415/1580661
430.23/424.26	c cleaning 13006 clauses out of 26022 with flag 196593/1594662
432.23/426.22	c Got one! Elapsed wall clock time (in seconds):426.109
432.23/426.22	o 6774
433.62/427.59	c cleaning 12704 clauses out of 25420 with flag 10015/1607066
435.13/429.09	c cleaning 9352 clauses out of 18717 with flag 22208/1613067
436.82/430.78	c cleaning 8174 clauses out of 16365 with flag 36619/1620067
438.82/432.70	c cleaning 8085 clauses out of 16190 with flag 53187/1628066
440.92/434.90	c cleaning 8546 clauses out of 17105 with flag 71471/1637066
443.42/437.35	c cleaning 9275 clauses out of 18559 with flag 92007/1647066
446.23/440.13	c cleaning 10138 clauses out of 20285 with flag 115358/1658067
449.33/443.30	c cleaning 11070 clauses out of 22151 with flag 141623/1670071
452.84/446.75	c cleaning 12038 clauses out of 24078 with flag 169533/1683068
456.63/450.55	c cleaning 13018 clauses out of 26042 with flag 198058/1697070
460.83/454.79	c cleaning 14002 clauses out of 28020 with flag 229815/1712066
465.56/459.36	c cleaning 15007 clauses out of 30021 with flag 263523/1728069
470.46/464.23	c cleaning 15999 clauses out of 32011 with flag 299416/1745066
475.66/469.44	c cleaning 17004 clauses out of 34013 with flag 336211/1763067
480.96/474.74	c cleaning 17998 clauses out of 36009 with flag 374928/1782067
486.65/480.45	c cleaning 18999 clauses out of 38011 with flag 415474/1802067
492.85/486.66	c cleaning 20001 clauses out of 40012 with flag 458166/1823067
499.63/493.20	c cleaning 20999 clauses out of 42011 with flag 502825/1845067
506.53/500.18	c cleaning 21996 clauses out of 44012 with flag 549525/1868067
513.64/507.22	c cleaning 22996 clauses out of 46016 with flag 598153/1892067
520.53/514.10	c Got one! Elapsed wall clock time (in seconds):513.983
520.53/514.10	o 6772
522.14/515.70	c cleaning 25887 clauses out of 51789 with flag 10328/1920836
523.74/517.38	c cleaning 15940 clauses out of 31901 with flag 22911/1926835
525.65/519.21	c cleaning 11472 clauses out of 22961 with flag 37193/1933835
527.54/521.18	c cleaning 9734 clauses out of 19489 with flag 53390/1941835
529.84/523.43	c cleaning 9369 clauses out of 18755 with flag 71681/1950835
532.58/526.02	c cleaning 9686 clauses out of 19387 with flag 92587/1960836
535.38/528.82	c cleaning 10340 clauses out of 20702 with flag 115554/1971837
538.38/531.89	c cleaning 11172 clauses out of 22360 with flag 139941/1983835
541.78/535.25	c cleaning 12090 clauses out of 24188 with flag 166652/1996835
545.48/538.95	c cleaning 13044 clauses out of 26098 with flag 195407/2010835
549.68/543.14	c cleaning 14017 clauses out of 28054 with flag 227153/2025835
554.18/547.61	c cleaning 15015 clauses out of 30037 with flag 261036/2041835
558.89/552.31	c cleaning 16004 clauses out of 32024 with flag 296198/2058837
564.26/557.60	c cleaning 17006 clauses out of 34018 with flag 333862/2076835
569.76/563.12	c cleaning 17999 clauses out of 36012 with flag 372789/2095835
575.75/569.15	c cleaning 19004 clauses out of 38013 with flag 414894/2115835
581.96/575.33	c cleaning 19998 clauses out of 40010 with flag 457709/2136836
588.35/581.76	c cleaning 20999 clauses out of 42011 with flag 502280/2158835
595.24/588.56	c cleaning 21997 clauses out of 44012 with flag 548938/2181835
601.94/595.29	c cleaning 23000 clauses out of 46015 with flag 597923/2205835
608.94/602.22	c cleaning 23998 clauses out of 48015 with flag 648690/2230835
616.94/610.23	c cleaning 25001 clauses out of 50017 with flag 702727/2256835
625.92/619.17	c cleaning 26000 clauses out of 52016 with flag 759550/2283835
635.12/628.39	c cleaning 27001 clauses out of 54016 with flag 822601/2311835
644.82/638.01	c cleaning 28004 clauses out of 56015 with flag 886863/2340835
655.38/648.49	c cleaning 28998 clauses out of 58011 with flag 951135/2370835
665.68/658.75	c cleaning 30003 clauses out of 60013 with flag 1018469/2401835
676.38/669.49	c cleaning 31003 clauses out of 62011 with flag 1086832/2433836
688.41/681.25	c cleaning 31997 clauses out of 64010 with flag 1156884/2466838
699.91/692.79	c cleaning 33001 clauses out of 66010 with flag 1229439/2500835
712.70/705.27	c cleaning 33997 clauses out of 68009 with flag 1305708/2535835
725.10/717.62	c cleaning 34999 clauses out of 70013 with flag 1382691/2571836
737.80/730.34	c cleaning 36002 clauses out of 72014 with flag 1463024/2608836
750.82/743.24	c cleaning 36997 clauses out of 74012 with flag 1543987/2646836
763.82/756.28	c cleaning 38003 clauses out of 76015 with flag 1625644/2685836
778.09/770.34	c cleaning 39000 clauses out of 78011 with flag 1712099/2725835
792.30/784.59	c cleaning 40001 clauses out of 80011 with flag 1799528/2766835
808.16/800.13	c cleaning 40993 clauses out of 82010 with flag 1894463/2808835
823.96/815.99	c cleaning 42007 clauses out of 84025 with flag 1989395/2851843
840.74/832.30	c cleaning 42999 clauses out of 86010 with flag 2085253/2895835
857.92/849.32	c cleaning 44000 clauses out of 88014 with flag 2186779/2940838
874.71/866.10	c cleaning 45001 clauses out of 90013 with flag 2286633/2986837
892.03/883.24	c cleaning 45998 clauses out of 92011 with flag 2387417/3033836
910.64/901.71	c cleaning 46994 clauses out of 94012 with flag 2484765/3081835
929.31/920.15	c cleaning 48001 clauses out of 96018 with flag 2587446/3130835
948.52/939.35	c cleaning 49001 clauses out of 98017 with flag 2700942/3180835
967.47/958.18	c cleaning 50001 clauses out of 100017 with flag 2814744/3231836
987.52/977.87	c cleaning 50997 clauses out of 102016 with flag 2927543/3283836
1008.55/998.75	c cleaning 52002 clauses out of 104018 with flag 3041971/3336835
1030.43/1020.40	c cleaning 53003 clauses out of 106016 with flag 3161657/3390835
1052.39/1042.23	c cleaning 53996 clauses out of 108013 with flag 3280517/3445835
1075.18/1064.90	c cleaning 55004 clauses out of 110017 with flag 3403942/3501835
1098.26/1087.87	c cleaning 56001 clauses out of 112015 with flag 3530006/3558837
1122.50/1111.72	c cleaning 57000 clauses out of 114012 with flag 3659407/3616835
1146.72/1135.69	c cleaning 58000 clauses out of 116012 with flag 3791199/3675835
1171.84/1160.50	c cleaning 59001 clauses out of 118013 with flag 3920621/3735836
1195.96/1184.35	c cleaning 59998 clauses out of 120012 with flag 4047613/3796836
1220.99/1209.09	c cleaning 61002 clauses out of 122015 with flag 4176368/3858837
1246.17/1233.74	c cleaning 61996 clauses out of 124012 with flag 4308094/3921836
1271.40/1258.60	c Got one! Elapsed wall clock time (in seconds):1258.489
1271.40/1258.60	o 6768
1273.90/1261.12	c cleaning 64908 clauses out of 129828 with flag 10073/3989648
1275.80/1263.01	c cleaning 35454 clauses out of 70919 with flag 22127/3995647
1277.60/1264.86	c cleaning 21227 clauses out of 42468 with flag 36260/4002650
1279.84/1266.95	c cleaning 14612 clauses out of 29239 with flag 52367/4010648
1282.14/1269.24	c cleaning 11806 clauses out of 23626 with flag 70594/4019647
1284.74/1271.82	c cleaning 10902 clauses out of 21820 with flag 90905/4029647
1284.84/1271.90	c Got one! Elapsed wall clock time (in seconds):1271.783
1284.84/1271.90	o 6760
1286.06/1273.11	c cleaning 8129 clauses out of 16269 with flag 10102/4034998
1287.46/1274.58	c cleaning 7064 clauses out of 14142 with flag 22214/4041000
1289.16/1276.30	c cleaning 7022 clauses out of 14076 with flag 36372/4047998
1291.17/1278.26	c cleaning 7519 clauses out of 15054 with flag 52548/4055998
1293.52/1280.57	c cleaning 8263 clauses out of 16535 with flag 70998/4064998
1296.21/1283.25	c cleaning 9132 clauses out of 18274 with flag 91222/4075000
1299.11/1286.19	c cleaning 10059 clauses out of 20140 with flag 114552/4085998
1302.43/1289.46	c cleaning 11035 clauses out of 22082 with flag 140432/4097999
1305.84/1292.82	c cleaning 12018 clauses out of 24046 with flag 167329/4110998
1309.82/1296.74	c cleaning 13006 clauses out of 26028 with flag 196609/4124998
1314.02/1300.92	c cleaning 14009 clauses out of 28023 with flag 228403/4139999
1318.79/1305.62	c cleaning 15002 clauses out of 30013 with flag 262573/4155998
1323.98/1310.78	c cleaning 15998 clauses out of 32011 with flag 302946/4172998
1329.57/1316.33	c cleaning 16996 clauses out of 34014 with flag 343581/4190999
1335.67/1322.32	c cleaning 18001 clauses out of 36017 with flag 387019/4209998
1337.06/1323.75	c Got one! Elapsed wall clock time (in seconds):1323.64
1337.06/1323.75	o 6756
1338.36/1325.07	c cleaning 14071 clauses out of 28146 with flag 10040/4220128
1339.89/1326.58	c cleaning 10031 clauses out of 20074 with flag 22328/4226127
1341.59/1328.26	c cleaning 8513 clauses out of 17044 with flag 37109/4233128
1343.59/1330.20	c cleaning 8261 clauses out of 16530 with flag 54267/4241127
1345.83/1332.43	c cleaning 8627 clauses out of 17270 with flag 73009/4250128
1348.34/1334.90	c cleaning 9316 clauses out of 18643 with flag 94343/4260128
1351.00/1337.55	c cleaning 10156 clauses out of 20327 with flag 117008/4271128
1354.10/1340.65	c cleaning 11078 clauses out of 22171 with flag 143764/4283128
1357.66/1344.13	c cleaning 12039 clauses out of 24092 with flag 172140/4296127
1361.45/1347.90	c cleaning 13022 clauses out of 26054 with flag 202482/4310128
1365.64/1352.02	c cleaning 14009 clauses out of 28032 with flag 235400/4325128
1370.12/1356.49	c cleaning 15005 clauses out of 30024 with flag 270068/4341129
1374.82/1361.15	c cleaning 16003 clauses out of 32018 with flag 305946/4358128
1378.16/1364.41	c Got one! Elapsed wall clock time (in seconds):1364.293
1378.16/1364.41	o 6755
1379.46/1365.75	c cleaning 16687 clauses out of 33386 with flag 10087/4375499
1380.99/1367.25	c cleaning 11345 clauses out of 22700 with flag 22139/4381500
1382.69/1368.91	c cleaning 9172 clauses out of 18354 with flag 36207/4388499
1384.59/1370.80	c cleaning 8587 clauses out of 17184 with flag 53429/4396501
1385.81/1372.07	c Got one! Elapsed wall clock time (in seconds):1371.951
1385.81/1372.07	o 6751
1387.01/1373.27	c cleaning 9519 clauses out of 19048 with flag 10079/4406952
1388.41/1374.64	c cleaning 7755 clauses out of 15529 with flag 22372/4412952
1388.61/1374.81	c Got one! Elapsed wall clock time (in seconds):1374.697
1388.61/1374.81	o 6750
1389.01/1375.26	c Got one! Elapsed wall clock time (in seconds):1375.141
1389.01/1375.26	o 6749
1389.11/1375.34	c Got one! Elapsed wall clock time (in seconds):1375.222
1389.11/1375.34	o 6746
1389.21/1375.40	c Got one! Elapsed wall clock time (in seconds):1375.287
1389.21/1375.40	o 6745
1389.97/1376.13	c cleaning 7126 clauses out of 14268 with flag 6249/4419446
1390.96/1377.16	c Got one! Elapsed wall clock time (in seconds):1377.05
1390.96/1377.16	o 6742
1391.26/1377.40	c cleaning 6475 clauses out of 12968 with flag 2015/4425272
1392.56/1378.76	c cleaning 6237 clauses out of 12494 with flag 14057/4431273
1394.16/1380.39	c cleaning 6620 clauses out of 13256 with flag 28087/4438272
1396.08/1382.25	c cleaning 7316 clauses out of 14635 with flag 44215/4446271
1398.18/1384.38	c cleaning 8154 clauses out of 16320 with flag 62979/4455272
1399.11/1385.29	c Got one! Elapsed wall clock time (in seconds):1385.173
1399.11/1385.29	o 6740
1399.61/1385.76	c cleaning 7030 clauses out of 14073 with flag 4077/4461179
1401.02/1387.13	c cleaning 6511 clauses out of 13043 with flag 16140/4467179
1402.31/1388.41	c Got one! Elapsed wall clock time (in seconds):1388.294
1402.31/1388.41	o 6739
1403.01/1389.13	c Got one! Elapsed wall clock time (in seconds):1389.017
1403.01/1389.13	o 6738
1403.67/1389.70	c cleaning 8724 clauses out of 17465 with flag 4523/4478112
1405.17/1391.20	c cleaning 7364 clauses out of 14739 with flag 17951/4484110
1406.87/1392.92	c cleaning 7181 clauses out of 14376 with flag 32897/4491111
1408.80/1394.90	c cleaning 7593 clauses out of 15194 with flag 50966/4499110
1411.10/1397.14	c cleaning 8295 clauses out of 16602 with flag 70459/4508111
1413.63/1399.69	c cleaning 9147 clauses out of 18306 with flag 92207/4518110
1416.53/1402.52	c cleaning 10075 clauses out of 20160 with flag 116570/4529111
1419.68/1405.61	c cleaning 11031 clauses out of 22085 with flag 143104/4541111
1423.14/1409.01	c cleaning 12019 clauses out of 24054 with flag 170910/4554111
1426.81/1412.64	c cleaning 13011 clauses out of 26037 with flag 201064/4568113
1427.11/1412.90	c Got one! Elapsed wall clock time (in seconds):1412.786
1427.11/1412.90	o 6733
1428.01/1413.85	c cleaning 9047 clauses out of 18116 with flag 8100/4573203
1429.41/1415.28	c cleaning 7528 clauses out of 15071 with flag 20229/4579205
1431.15/1416.93	c cleaning 7264 clauses out of 14542 with flag 34641/4586204
1432.94/1418.78	c cleaning 7637 clauses out of 15279 with flag 51452/4594205
1433.25/1419.05	c Got one! Elapsed wall clock time (in seconds):1418.94
1433.25/1419.05	o 6728
1434.17/1419.99	c cleaning 6457 clauses out of 12933 with flag 8028/4599496
1435.57/1421.35	c cleaning 6233 clauses out of 12477 with flag 20480/4605497
1437.07/1422.81	c Got one! Elapsed wall clock time (in seconds):1422.693
1437.07/1422.81	o 6727
1438.32/1424.02	c cleaning 8895 clauses out of 17795 with flag 10033/4617048
1439.73/1425.42	c cleaning 7441 clauses out of 14902 with flag 22074/4623050
1441.36/1427.08	c cleaning 7226 clauses out of 14459 with flag 36132/4630048
1443.27/1428.93	c cleaning 7606 clauses out of 15232 with flag 52448/4638047
1445.39/1431.06	c cleaning 8310 clauses out of 16627 with flag 71681/4647048
1447.29/1432.95	c Got one! Elapsed wall clock time (in seconds):1432.835
1447.29/1432.95	o 6722
1448.65/1434.25	c cleaning 10721 clauses out of 21457 with flag 10439/4660188
1450.15/1435.71	c cleaning 8365 clauses out of 16735 with flag 23400/4666187
1451.85/1437.46	c cleaning 7680 clauses out of 15369 with flag 38768/4673186
1453.89/1439.47	c cleaning 7842 clauses out of 15689 with flag 56938/4681186
1456.30/1441.85	c cleaning 8415 clauses out of 16847 with flag 77107/4690186
1458.91/1444.45	c cleaning 9210 clauses out of 18432 with flag 99335/4700186
1461.84/1447.36	c cleaning 10105 clauses out of 20222 with flag 124473/4711186
1465.08/1450.54	c cleaning 11054 clauses out of 22118 with flag 150745/4723187
1468.64/1454.07	c cleaning 12029 clauses out of 24064 with flag 179123/4736187
1472.49/1457.82	c cleaning 13008 clauses out of 26034 with flag 208480/4750186
1476.53/1461.80	c cleaning 14004 clauses out of 28026 with flag 239606/4765186
1480.83/1466.02	c cleaning 15004 clauses out of 30022 with flag 273313/4781186
1485.61/1470.75	c cleaning 16003 clauses out of 32019 with flag 308472/4798187
1490.95/1475.90	c cleaning 17002 clauses out of 34015 with flag 345792/4816186
1496.50/1481.48	c cleaning 18003 clauses out of 36015 with flag 385173/4835188
1502.31/1487.12	c cleaning 19000 clauses out of 38011 with flag 426456/4855187
1508.50/1493.24	c cleaning 19999 clauses out of 40010 with flag 471025/4876186
1515.30/1499.88	c cleaning 20995 clauses out of 42011 with flag 518916/4898186
1522.64/1507.05	c cleaning 22001 clauses out of 44016 with flag 569904/4921186
1530.23/1514.48	c cleaning 23004 clauses out of 46016 with flag 623706/4945187
1538.46/1522.50	c cleaning 24003 clauses out of 48012 with flag 679842/4970187
1546.91/1530.79	c cleaning 25002 clauses out of 50011 with flag 736738/4996189
1555.65/1539.31	c cleaning 25998 clauses out of 52007 with flag 793360/5023187
1564.96/1548.41	c cleaning 27001 clauses out of 54008 with flag 853777/5051186
1574.20/1557.56	c cleaning 27995 clauses out of 56009 with flag 917076/5080188
1584.12/1567.23	c cleaning 28995 clauses out of 58012 with flag 986406/5110186
1594.25/1577.13	c cleaning 30004 clauses out of 60017 with flag 1056603/5141186
1605.04/1587.83	c cleaning 31001 clauses out of 62013 with flag 1126307/5173186
1615.96/1598.68	c cleaning 32000 clauses out of 64012 with flag 1202416/5206186
1627.72/1610.09	c cleaning 32997 clauses out of 66012 with flag 1279030/5240186
1639.94/1622.09	c cleaning 33999 clauses out of 68016 with flag 1360096/5275187
1652.20/1634.09	c cleaning 34998 clauses out of 70018 with flag 1441244/5311188
1664.97/1646.56	c cleaning 36007 clauses out of 72018 with flag 1522466/5348186
1678.47/1659.97	c cleaning 36998 clauses out of 74011 with flag 1608314/5386186
1692.19/1673.57	c cleaning 38002 clauses out of 76014 with flag 1694992/5425187
1706.75/1687.91	c cleaning 39002 clauses out of 78012 with flag 1787004/5465187
1722.10/1702.85	c cleaning 40001 clauses out of 80010 with flag 1878286/5506187
1737.43/1717.93	c cleaning 40999 clauses out of 82009 with flag 1969812/5548187
1753.37/1733.68	c cleaning 41998 clauses out of 84010 with flag 2061770/5591187
1769.33/1749.41	c cleaning 42998 clauses out of 86011 with flag 2156146/5635186
1770.07/1750.11	c Got one! Elapsed wall clock time (in seconds):1749.991
1770.07/1750.11	o 6715
1770.96/1751.01	c cleaning 24248 clauses out of 48507 with flag 6022/5640680
1772.46/1752.56	c cleaning 15124 clauses out of 30259 with flag 18073/5646680
1774.26/1754.39	c cleaning 11055 clauses out of 22135 with flag 32127/5653680
1776.39/1756.47	c cleaning 9531 clauses out of 19080 with flag 48454/5661680
1778.69/1758.73	c cleaning 9265 clauses out of 18549 with flag 67040/5670680
1780.91/1760.90	c Got one! Elapsed wall clock time (in seconds):1760.785
1780.91/1760.90	o 6711
1782.22/1762.28	c cleaning 11624 clauses out of 23262 with flag 10438/5684658
1783.81/1763.82	c cleaning 8812 clauses out of 17638 with flag 22825/5690658
1785.44/1765.49	c Got one! Elapsed wall clock time (in seconds):1765.373
1785.44/1765.49	o 6708
1786.74/1766.73	c cleaning 10280 clauses out of 20565 with flag 10081/5702397
1788.14/1768.20	c cleaning 8134 clauses out of 16285 with flag 22371/5708397
1789.95/1769.93	c cleaning 7565 clauses out of 15152 with flag 36758/5715398
1791.84/1771.83	c cleaning 7786 clauses out of 15586 with flag 52790/5723397
1794.17/1774.14	c cleaning 8397 clauses out of 16801 with flag 71283/5732398
1796.77/1776.78	c cleaning 9195 clauses out of 18403 with flag 91683/5742397
1799.78/1779.74	c cleaning 10096 clauses out of 20208 with flag 114275/5753397
1800.08/1780.00	c starts		: 76
1800.08/1780.00	c conflicts		: 5754436
1800.08/1780.00	c decisions		: 5775361
1800.08/1780.00	c propagations		: 288178794
1800.08/1780.00	c inspects		: 8790135593
1800.08/1780.00	c shortcuts		: 0
1800.08/1780.00	c learnt literals	: 0
1800.08/1780.00	c learnt binary clauses	: 0
1800.08/1780.00	c learnt ternary clauses	: 170
1800.08/1780.00	c learnt constraints	: 5754436
1800.08/1780.00	c ignored constraints	: 0
1800.08/1780.00	c root simplifications	: 0
1800.08/1780.00	c removed literals (reason simplification)	: 0
1800.08/1780.00	c reason swapping (by a shorter reason)	: 0
1800.08/1780.00	c Calls to reduceDB	: 334
1800.08/1780.00	c Number of update (reduction) of LBD	: 1284
1800.08/1780.00	c Imported unit clauses	: 0
1800.08/1780.00	c number of reductions to clauses (during analyze)	: 0
1800.08/1780.00	c number of learned constraints concerned by reduction	: 0
1800.08/1780.00	c number of learning phase by resolution	: 0
1800.08/1780.00	c number of learning phase by cutting planes	: 0
1800.08/1780.00	c speed (assignments/second)	: 161933.95170956285
1800.08/1780.00	c non guided choices	420
1800.08/1780.01	c learnt constraints type 
1800.08/1780.01	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 11151
1800.08/1780.01	s SATISFIABLE
1800.08/1780.01	c Found 75 solution(s)
1800.08/1780.01	v x1 -x2 x3 x4 x5 x6 -x7 x8 x9 x10 -x11 x12 x13 x14 -x15 x16 -x17 x18 -x19 x20 x21 x22 x23 x24 -x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 x45 -x46 x47 -x48 x49 -x50 -x51 -x52 x53 x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 x62 -x63 x64 -x65 x66 -x67 x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 x79 x80 x81 -x82 x83 x84 -x85 x86 x87 x88 x89 -x90 -x91 x92 x93 x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 x106 -x107 -x108 x109 x110 x111 -x112 x113 -x114 x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 x134 x135 x136 x137 x138 x139 -x140 x141 x142 x143 x144 x145 x146 x147 -x148 x149 x150 x151 x152 x153 x154 -x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 -x168 -x169 -x170 -x171 -x172 x173 x174 x175 x176 -x177 -x178 -x179 x180 x181 x182 x183 
1800.08/1780.01	c objective function=6708
1800.08/1780.01	c Total wall clock time (in seconds): 1779.895

Verifier Data 

OK	6708

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-4119310-1467254211/watcher-4119310-1467254211 -o /tmp/evaluation-result-4119310-1467254211/solver-4119310-1467254211 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467250272-6981 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119310-1467254211.opb 

pid=7537
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.32 2.22 2.19 4/192 7540
/proc/meminfo: memFree=30116524/32872528 swapFree=1298332/1461852
[pid=7540] ppid=7537 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/7540/stat : 7540 (java) R 7537 7540 6451 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 4447053 9515008 183 33554432000 1073741824 1073778376 140736926319904 140736926310936 227512499893 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7540/statm: 2323 184 141 9 0 71 0

[startup+0.100062 s]
/proc/loadavg: 2.32 2.22 2.19 4/192 7540
/proc/meminfo: memFree=30116524/32872528 swapFree=1298332/1461852
[pid=7540] ppid=7537 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/7540/stat : 7540 (java) S 7537 7540 6451 0 -1 4202496 4404 0 1 0 8 1 0 0 20 0 18 0 4447053 9787879424 6028 33554432000 1073741824 1073778376 140733658904992 140733658896128 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7540/statm: 2389619 6028 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200267 s]
/proc/loadavg: 2.32 2.22 2.19 4/192 7540
/proc/meminfo: memFree=30116524/32872528 swapFree=1298332/1461852
[pid=7540] ppid=7537 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/7540/stat : 7540 (java) S 7537 7540 6451 0 -1 4202496 4604 0 1 0 21 1 0 0 20 0 18 0 4447053 9787879424 6686 33554432000 1073741824 1073778376 140733658904992 140733658896128 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7540/statm: 2389619 6686 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300224 s]
/proc/loadavg: 2.32 2.22 2.19 4/192 7540
/proc/meminfo: memFree=30116524/32872528 swapFree=1298332/1461852
[pid=7540] ppid=7537 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/7540/stat : 7540 (java) S 7537 7540 6451 0 -1 4202496 5887 0 1 0 44 2 0 0 20 0 18 0 4447053 9787879424 8500 33554432000 1073741824 1073778376 140733658904992 140733658896128 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7540/statm: 2389619 8500 2245 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700168 s]
/proc/loadavg: 2.32 2.22 2.19 4/192 7540
/proc/meminfo: memFree=30116524/32872528 swapFree=1298332/1461852
[pid=7540] ppid=7537 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/7540/stat : 7540 (java) S 7537 7540 6451 0 -1 4202496 11951 0 1 0 155 3 0 0 20 0 19 0 4447053 9856040960 14483 33554432000 1073741824 1073778376 140733658904992 140733658896128 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7540/statm: 2406260 14483 2274 9 0 2396937 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9625040

[startup+1.50082 s]
/proc/loadavg: 2.32 2.22 2.19 4/211 7559
/proc/meminfo: memFree=30049660/32872528 swapFree=1298332/1461852
[pid=7540] ppid=7537 vsize=9625040 CPUtime=2.48 cores=1,3,5,7
/proc/7540/stat : 7540 (java) S 7537 7540 6451 0 -1 4202496 11982 0 1 0 245 3 0 0 20 0 19 0 4447053 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140733658896128 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7540/statm: 2406260 23200 2274 9 0 2396937 0
[pid=7540/tid=7542] ppid=7537 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/7540/task/7542/stat : 7542 (java) R 7537 7540 6451 0 -1 4202560 2438 0 1 0 144 2 0 0 20 0 19 0 4447054 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653724693000 140653552803580 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7540/tid=7543] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7543/stat : 7543 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653686184488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7544] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7544/stat : 7544 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653685131688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7545] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7545/stat : 7545 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653684078888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7546] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7546/stat : 7546 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653683026088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7540/tid=7547] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7547/stat : 7547 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653681974312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7548] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7548/stat : 7548 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653680921512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7540/tid=7549] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7549/stat : 7549 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653679868712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7550] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7550/stat : 7550 (java) S 7537 7540 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653678815912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7551] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7551/stat : 7551 (java) S 7537 7540 6451 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4447056 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653548780008 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7552] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7552/stat : 7552 (java) S 7537 7540 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4447057 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653547726072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7553] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7553/stat : 7553 (java) S 7537 7540 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4447057 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653546673160 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7554] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7554/stat : 7554 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447059 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653545621648 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7555] ppid=7537 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/7540/task/7555/stat : 7555 (java) S 7537 7540 6451 0 -1 4202560 4225 0 0 0 49 0 0 0 20 0 19 0 4447059 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653544569784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7556] ppid=7537 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/7540/task/7556/stat : 7556 (java) S 7537 7540 6451 0 -1 4202560 4040 0 0 0 48 0 0 0 20 0 19 0 4447059 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653543516984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7557] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7557/stat : 7557 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447059 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653542464376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7558] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7558/stat : 7558 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447059 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653541411784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7559] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7559/stat : 7559 (java) S 7537 7540 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4447093 9856040960 23200 33554432000 1073741824 1073778376 140733658904992 140653540357288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.32 2.22 2.19 4/211 7559
/proc/meminfo: memFree=30007708/32872528 swapFree=1298332/1461852
[pid=7540] ppid=7537 vsize=9625040 CPUtime=4.2 cores=1,3,5,7
/proc/7540/stat : 7540 (java) S 7537 7540 6451 0 -1 4202496 12014 0 1 0 416 4 0 0 20 0 19 0 4447053 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140733658896128 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7540/statm: 2406260 36517 2279 9 0 2396937 0
[pid=7540/tid=7542] ppid=7537 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/7540/task/7542/stat : 7542 (java) R 7537 7540 6451 0 -1 4202560 2465 0 1 0 303 2 0 0 20 0 19 0 4447054 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653724690920 140653552711003 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7540/tid=7543] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7543/stat : 7543 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653686184488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7544] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7544/stat : 7544 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653685131688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7545] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7545/stat : 7545 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653684078888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7546] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7546/stat : 7546 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653683026088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7540/tid=7547] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7547/stat : 7547 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653681974312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7548] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7548/stat : 7548 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653680921512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7540/tid=7549] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7549/stat : 7549 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653679868712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7550] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7550/stat : 7550 (java) S 7537 7540 6451 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653678815912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7551] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7551/stat : 7551 (java) S 7537 7540 6451 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 4447056 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653548780008 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7552] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7552/stat : 7552 (java) S 7537 7540 6451 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4447057 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653547726072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7553] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7553/stat : 7553 (java) S 7537 7540 6451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4447057 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653546673160 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7554] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7554/stat : 7554 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447059 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653545621648 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7555] ppid=7537 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/7540/task/7555/stat : 7555 (java) S 7537 7540 6451 0 -1 4202560 4230 0 0 0 58 0 0 0 20 0 19 0 4447059 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653544569784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7556] ppid=7537 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/7540/task/7556/stat : 7556 (java) S 7537 7540 6451 0 -1 4202560 4040 0 0 0 51 0 0 0 20 0 19 0 4447059 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653543516984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7557] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7557/stat : 7557 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447059 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653542464376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7558] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7558/stat : 7558 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447059 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653541411784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7559] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7559/stat : 7559 (java) S 7537 7540 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4447093 9856040960 36517 33554432000 1073741824 1073778376 140733658904992 140653540357288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9625040

[startup+6.30086 s]
/proc/loadavg: 2.29 2.22 2.19 3/211 7559
/proc/meminfo: memFree=29886876/32872528 swapFree=1298332/1461852
[pid=7540] ppid=7537 vsize=9625040 CPUtime=7.53 cores=1,3,5,7
/proc/7540/stat : 7540 (java) S 7537 7540 6451 0 -1 4202496 12228 0 1 0 743 10 0 0 20 0 19 0 4447053 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140733658896128 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7540/statm: 2406260 59369 2292 9 0 2396937 0
[pid=7540/tid=7542] ppid=7537 vsize=9625040 CPUtime=6.2 cores=1,3,5,7
/proc/7540/task/7542/stat : 7542 (java) R 7537 7540 6451 0 -1 4202560 2481 0 1 0 617 3 0 0 20 0 19 0 4447054 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653724692792 140653552211384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7540/tid=7543] ppid=7537 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/7540/task/7543/stat : 7543 (java) S 7537 7540 6451 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 4447055 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653686184488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7544] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7544/stat : 7544 (java) S 7537 7540 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653685131688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7545] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7545/stat : 7545 (java) S 7537 7540 6451 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653684078888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7546] ppid=7537 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/7540/task/7546/stat : 7546 (java) S 7537 7540 6451 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 4447055 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653683026088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7547] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7547/stat : 7547 (java) S 7537 7540 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653681974312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7548] ppid=7537 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/7540/task/7548/stat : 7548 (java) S 7537 7540 6451 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 4447055 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653680921512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7549] ppid=7537 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/7540/task/7549/stat : 7549 (java) S 7537 7540 6451 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 4447055 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653679868712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7550] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7550/stat : 7550 (java) S 7537 7540 6451 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4447055 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653678815912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7551] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7551/stat : 7551 (java) S 7537 7540 6451 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 4447056 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653548780008 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7552] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7552/stat : 7552 (java) S 7537 7540 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4447057 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653547726072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7553] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7553/stat : 7553 (java) S 7537 7540 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4447057 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653546673160 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7554] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7554/stat : 7554 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447059 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653545621648 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7555] ppid=7537 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/7540/task/7555/stat : 7555 (java) S 7537 7540 6451 0 -1 4202560 4230 0 0 0 60 0 0 0 20 0 19 0 4447059 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653544569784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7556] ppid=7537 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/7540/task/7556/stat : 7556 (java) S 7537 7540 6451 0 -1 4202560 4040 0 0 0 52 0 0 0 20 0 19 0 4447059 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653543516984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7557] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7557/stat : 7557 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447059 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653542464376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7558] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7558/stat : 7558 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447059 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653541411784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7559] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7559/stat : 7559 (java) S 7537 7540 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4447093 9856040960 59369 33554432000 1073741824 1073778376 140733658904992 140653540357288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.53
Current children cumulated vsize (KiB) 9625040


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

[pid=7540/tid=7559] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7559/stat : 7559 (java) S 7537 7540 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4447093 9856040960 238029 33554432000 1073741824 1073778376 140733658904992 140653540357288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1619.69
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.34 2.23 2.19 3/211 7689
/proc/meminfo: memFree=28967072/32872528 swapFree=1298332/1461852
[pid=7540] ppid=7537 vsize=9625040 CPUtime=1680.88 cores=1,3,5,7
/proc/7540/stat : 7540 (java) S 7537 7540 6451 0 -1 4202496 35892 0 1 0 167694 394 0 0 20 0 19 0 4447053 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140733658896128 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7540/statm: 2406260 277453 2301 9 0 2396937 0
[pid=7540/tid=7542] ppid=7537 vsize=9625040 CPUtime=1649.12 cores=1,3,5,7
/proc/7540/task/7542/stat : 7542 (java) R 7537 7540 6451 0 -1 4202560 3502 0 1 0 164872 40 0 0 20 0 19 0 4447054 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653724691680 140653552638206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7543] ppid=7537 vsize=9625040 CPUtime=2.98 cores=1,3,5,7
/proc/7540/task/7543/stat : 7543 (java) S 7537 7540 6451 0 -1 4202560 2880 0 0 0 253 45 0 0 20 0 19 0 4447055 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653686184488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7544] ppid=7537 vsize=9625040 CPUtime=3.03 cores=1,3,5,7
/proc/7540/task/7544/stat : 7544 (java) S 7537 7540 6451 0 -1 4202560 2469 0 0 0 253 50 0 0 20 0 19 0 4447055 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653685131688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7545] ppid=7537 vsize=9625040 CPUtime=3.14 cores=1,3,5,7
/proc/7540/task/7545/stat : 7545 (java) S 7537 7540 6451 0 -1 4202560 3562 0 0 0 261 53 0 0 20 0 19 0 4447055 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653684078888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7546] ppid=7537 vsize=9625040 CPUtime=2.65 cores=1,3,5,7
/proc/7540/task/7546/stat : 7546 (java) S 7537 7540 6451 0 -1 4202560 2031 0 0 0 225 40 0 0 20 0 19 0 4447055 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653683026088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7540/tid=7547] ppid=7537 vsize=9625040 CPUtime=2.87 cores=1,3,5,7
/proc/7540/task/7547/stat : 7547 (java) S 7537 7540 6451 0 -1 4202560 1785 0 0 0 246 41 0 0 20 0 19 0 4447055 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653681974312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7548] ppid=7537 vsize=9625040 CPUtime=2.86 cores=1,3,5,7
/proc/7540/task/7548/stat : 7548 (java) S 7537 7540 6451 0 -1 4202560 2788 0 0 0 247 39 0 0 20 0 19 0 4447055 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653680921512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7549] ppid=7537 vsize=9625040 CPUtime=3.02 cores=1,3,5,7
/proc/7540/task/7549/stat : 7549 (java) S 7537 7540 6451 0 -1 4202560 2698 0 0 0 256 46 0 0 20 0 19 0 4447055 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653679868712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7550] ppid=7537 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/7540/task/7550/stat : 7550 (java) S 7537 7540 6451 0 -1 4202560 1592 0 0 0 261 45 0 0 20 0 19 0 4447055 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653678815912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7540/tid=7551] ppid=7537 vsize=9625040 CPUtime=2.47 cores=1,3,5,7
/proc/7540/task/7551/stat : 7551 (java) S 7537 7540 6451 0 -1 4202560 2943 0 0 0 243 4 0 0 20 0 19 0 4447056 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653548780008 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7552] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7552/stat : 7552 (java) S 7537 7540 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4447057 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653547726072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7553] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7553/stat : 7553 (java) S 7537 7540 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4447057 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653546673160 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7554] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7554/stat : 7554 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447059 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653545621648 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7555] ppid=7537 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/7540/task/7555/stat : 7555 (java) S 7537 7540 6451 0 -1 4202560 4241 0 0 0 66 0 0 0 20 0 19 0 4447059 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653544569784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7556] ppid=7537 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/7540/task/7556/stat : 7556 (java) S 7537 7540 6451 0 -1 4202560 4040 0 0 0 52 0 0 0 20 0 19 0 4447059 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653543516984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7557] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7557/stat : 7557 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447059 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653542464376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7558] ppid=7537 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/7540/task/7558/stat : 7558 (java) S 7537 7540 6451 0 -1 4202560 97 0 0 0 18 19 0 0 20 0 19 0 4447059 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653541411784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7559] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7559/stat : 7559 (java) S 7537 7540 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4447093 9856040960 277453 33554432000 1073741824 1073778376 140733658904992 140653540357288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1680.88
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/211 7690
/proc/meminfo: memFree=28789540/32872528 swapFree=1298332/1461852
[pid=7540] ppid=7537 vsize=9625040 CPUtime=1741.9 cores=1,3,5,7
/proc/7540/stat : 7540 (java) S 7537 7540 6451 0 -1 4202496 42868 0 1 0 173777 413 0 0 20 0 19 0 4447053 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140733658896128 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7540/statm: 2406260 321791 2301 9 0 2396937 0
[pid=7540/tid=7542] ppid=7537 vsize=9625040 CPUtime=1708.42 cores=1,3,5,7
/proc/7540/task/7542/stat : 7542 (java) R 7537 7540 6451 0 -1 4202560 3511 0 1 0 170802 40 0 0 20 0 19 0 4447054 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653724691680 140653552803580 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7543] ppid=7537 vsize=9625040 CPUtime=3.13 cores=1,3,5,7
/proc/7540/task/7543/stat : 7543 (java) S 7537 7540 6451 0 -1 4202560 3100 0 0 0 267 46 0 0 20 0 19 0 4447055 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653686184488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7544] ppid=7537 vsize=9625040 CPUtime=3.22 cores=1,3,5,7
/proc/7540/task/7544/stat : 7544 (java) S 7537 7540 6451 0 -1 4202560 3231 0 0 0 268 54 0 0 20 0 19 0 4447055 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653685131688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7545] ppid=7537 vsize=9625040 CPUtime=3.36 cores=1,3,5,7
/proc/7540/task/7545/stat : 7545 (java) S 7537 7540 6451 0 -1 4202560 4656 0 0 0 280 56 0 0 20 0 19 0 4447055 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653684078888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7546] ppid=7537 vsize=9625040 CPUtime=2.8 cores=1,3,5,7
/proc/7540/task/7546/stat : 7546 (java) S 7537 7540 6451 0 -1 4202560 4287 0 0 0 239 41 0 0 20 0 19 0 4447055 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653683026088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7547] ppid=7537 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/7540/task/7547/stat : 7547 (java) S 7537 7540 6451 0 -1 4202560 2471 0 0 0 261 45 0 0 20 0 19 0 4447055 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653681974312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7548] ppid=7537 vsize=9625040 CPUtime=3.02 cores=1,3,5,7
/proc/7540/task/7548/stat : 7548 (java) S 7537 7540 6451 0 -1 4202560 3041 0 0 0 261 41 0 0 20 0 19 0 4447055 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653680921512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7540/tid=7549] ppid=7537 vsize=9625040 CPUtime=3.15 cores=1,3,5,7
/proc/7540/task/7549/stat : 7549 (java) S 7537 7540 6451 0 -1 4202560 3419 0 0 0 268 47 0 0 20 0 19 0 4447055 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653679868712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7550] ppid=7537 vsize=9625040 CPUtime=3.27 cores=1,3,5,7
/proc/7540/task/7550/stat : 7550 (java) S 7537 7540 6451 0 -1 4202560 2464 0 0 0 280 47 0 0 20 0 19 0 4447055 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653678815912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7540/tid=7551] ppid=7537 vsize=9625040 CPUtime=2.63 cores=1,3,5,7
/proc/7540/task/7551/stat : 7551 (java) S 7537 7540 6451 0 -1 4202560 3044 0 0 0 259 4 0 0 20 0 19 0 4447056 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653548780008 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7552] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7552/stat : 7552 (java) S 7537 7540 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4447057 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653547726072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7553] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7553/stat : 7553 (java) S 7537 7540 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4447057 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653546673160 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7554] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7554/stat : 7554 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447059 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653545621648 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7555] ppid=7537 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/7540/task/7555/stat : 7555 (java) S 7537 7540 6451 0 -1 4202560 4241 0 0 0 66 0 0 0 20 0 19 0 4447059 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653544569784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7556] ppid=7537 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/7540/task/7556/stat : 7556 (java) S 7537 7540 6451 0 -1 4202560 4040 0 0 0 52 0 0 0 20 0 19 0 4447059 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653543516984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7557] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7557/stat : 7557 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447059 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653542464376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7558] ppid=7537 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/7540/task/7558/stat : 7558 (java) S 7537 7540 6451 0 -1 4202560 99 0 0 0 19 19 0 0 20 0 19 0 4447059 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653541411784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7559] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7559/stat : 7559 (java) S 7537 7540 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4447093 9856040960 321791 33554432000 1073741824 1073778376 140733658904992 140653540357288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1741.9
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1780 s]
/proc/loadavg: 2.15 2.20 2.18 3/211 7691
/proc/meminfo: memFree=28826060/32872528 swapFree=1298332/1461852
[pid=7540] ppid=7537 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/7540/stat : 7540 (java) S 7537 7540 6451 0 -1 4202496 42916 0 1 0 179594 414 0 0 20 0 19 0 4447053 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140733658896128 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7540/statm: 2406260 299392 2301 9 0 2396937 0
[pid=7540/tid=7542] ppid=7537 vsize=9625040 CPUtime=1765.67 cores=1,3,5,7
/proc/7540/task/7542/stat : 7542 (java) R 7537 7540 6451 0 -1 4202560 3521 0 1 0 176526 41 0 0 20 0 19 0 4447054 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653724683968 140653552638336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7543] ppid=7537 vsize=9625040 CPUtime=3.24 cores=1,3,5,7
/proc/7540/task/7543/stat : 7543 (java) S 7537 7540 6451 0 -1 4202560 3102 0 0 0 278 46 0 0 20 0 19 0 4447055 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653686184488 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7544] ppid=7537 vsize=9625040 CPUtime=3.32 cores=1,3,5,7
/proc/7540/task/7544/stat : 7544 (java) S 7537 7540 6451 0 -1 4202560 3233 0 0 0 277 55 0 0 20 0 19 0 4447055 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653685131688 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7545] ppid=7537 vsize=9625040 CPUtime=3.44 cores=1,3,5,7
/proc/7540/task/7545/stat : 7545 (java) S 7537 7540 6451 0 -1 4202560 4656 0 0 0 287 57 0 0 20 0 19 0 4447055 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653684078888 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7540/tid=7546] ppid=7537 vsize=9625040 CPUtime=2.89 cores=1,3,5,7
/proc/7540/task/7546/stat : 7546 (java) S 7537 7540 6451 0 -1 4202560 4287 0 0 0 248 41 0 0 20 0 19 0 4447055 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653683026088 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7547] ppid=7537 vsize=9625040 CPUtime=3.14 cores=1,3,5,7
/proc/7540/task/7547/stat : 7547 (java) S 7537 7540 6451 0 -1 4202560 2472 0 0 0 269 45 0 0 20 0 19 0 4447055 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653681974312 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7548] ppid=7537 vsize=9625040 CPUtime=3.1 cores=1,3,5,7
/proc/7540/task/7548/stat : 7548 (java) S 7537 7540 6451 0 -1 4202560 3056 0 0 0 269 41 0 0 20 0 19 0 4447055 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653680921512 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7540/tid=7549] ppid=7537 vsize=9625040 CPUtime=3.25 cores=1,3,5,7
/proc/7540/task/7549/stat : 7549 (java) S 7537 7540 6451 0 -1 4202560 3420 0 0 0 278 47 0 0 20 0 19 0 4447055 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653679868712 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7550] ppid=7537 vsize=9625040 CPUtime=3.31 cores=1,3,5,7
/proc/7540/task/7550/stat : 7550 (java) S 7537 7540 6451 0 -1 4202560 2465 0 0 0 284 47 0 0 20 0 19 0 4447055 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653678815912 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7551] ppid=7537 vsize=9625040 CPUtime=2.75 cores=1,3,5,7
/proc/7540/task/7551/stat : 7551 (java) S 7537 7540 6451 0 -1 4202560 3056 0 0 0 271 4 0 0 20 0 19 0 4447056 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653548780008 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7552] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7552/stat : 7552 (java) S 7537 7540 6451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4447057 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653547726072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7553] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7553/stat : 7553 (java) S 7537 7540 6451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4447057 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653546673160 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7554] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7554/stat : 7554 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447059 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653545621648 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7540/tid=7555] ppid=7537 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/7540/task/7555/stat : 7555 (java) S 7537 7540 6451 0 -1 4202560 4241 0 0 0 66 0 0 0 20 0 19 0 4447059 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653544569784 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7556] ppid=7537 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/7540/task/7556/stat : 7556 (java) S 7537 7540 6451 0 -1 4202560 4040 0 0 0 52 0 0 0 20 0 19 0 4447059 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653543516984 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7557] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7557/stat : 7557 (java) S 7537 7540 6451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4447059 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653542464376 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7540/tid=7558] ppid=7537 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/7540/task/7558/stat : 7558 (java) S 7537 7540 6451 0 -1 4202560 103 0 0 0 20 20 0 0 20 0 19 0 4447059 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653541411784 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7540/tid=7559] ppid=7537 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7540/task/7559/stat : 7559 (java) S 7537 7540 6451 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4447093 9856040960 299392 33554432000 1073741824 1073778376 140733658904992 140653540357288 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 7540 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 7540 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=379668
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=571305
# CPU time returned by wait4() is 1795.95
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1780.02
CPU time (s): 1800.08
CPU user time (s): 1795.94
CPU system time (s): 4.14
CPU usage (%): 101.127
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.38
system time used= 4.5713
maximum resident set size= 2808916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42952
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42700
involuntary context switches= 28769

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1073 second user time and 16.1755 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-30 04:36:51
IDJOB=4119310
IDBENCH=111698
IDSOLVER=2546
FILE ID=node121/4119310-1467254211
RUNJOBID= node121-1467250272-6981
PBS_JOBID= 20004469
Free space on /tmp= 71700 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-edgecross14-176.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119310-1467254211/watcher-4119310-1467254211 -o /tmp/evaluation-result-4119310-1467254211/solver-4119310-1467254211 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467250272-6981 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4119310-1467254211.opb

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

MD5SUM BENCH= 20bf5d251cbf9e1bfc60bd4febfc4e0a
RANDOM SEED=659752978

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.172
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.56
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		: 2667.172
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.56
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		: 2667.172
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:        30117168 kB
Buffers:           90676 kB
Cached:           224788 kB
SwapCached:            0 kB
Active:           347592 kB
Inactive:         200556 kB
Active(anon):     220116 kB
Inactive(anon):    15388 kB
Active(file):     127476 kB
Inactive(file):   185168 kB
Unevictable:     1461852 kB
Mlocked:         1298332 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               840 kB
Writeback:             0 kB
AnonPages:       1698900 kB
Mapped:            21996 kB
Shmem:               204 kB
Slab:             607560 kB
SReclaimable:      51796 kB
SUnreclaim:       555764 kB
KernelStack:        1744 kB
PageTables:         8016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2164308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    354304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node121 at 2016-06-30 05:06:31