Trace number 4118953

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)-212 1800.13 898.474

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-sporttournament38.lin.opb
MD5SUM96b6291b864f3572b1789f7082442006
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-264
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2071
Total number of constraints2736
Number of constraints which are clauses1368
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1368
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 1802
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 1930
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1930
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4118953-1467238326.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.47/0.34	c ... done. Wall clock time 0.224s.
0.47/0.34	c declared #vars     2071
0.47/0.34	c #constraints  2736
0.47/0.35	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.47/0.35	c constraints type 
0.47/0.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1368
0.47/0.35	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1368
0.47/0.35	c 2736 constraints processed.
0.47/0.35	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.47/0.35	c constraints type 
0.47/0.35	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1368
0.47/0.35	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1368
0.47/0.35	c 2736 constraints processed.
0.47/0.35	c objective function length is 1802 literals
0.47/0.38	c And the winner is solver0
0.74/0.85	c SATISFIABLE
0.74/0.85	c OPTIMIZING...
0.74/0.85	c Got one! Elapsed wall clock time (in seconds):0.732
0.74/0.85	o -167
2.11/1.21	c And the winner is solver0
2.26/1.37	c Got one! Elapsed wall clock time (in seconds):1.251
2.26/1.37	o -168
2.26/1.39	c And the winner is solver0
2.41/1.88	c Got one! Elapsed wall clock time (in seconds):1.761
2.41/1.88	o -169
2.46/1.92	c And the winner is solver0
2.62/2.39	c Got one! Elapsed wall clock time (in seconds):2.269
2.62/2.39	o -170
2.64/2.43	c And the winner is solver0
2.80/2.89	c Got one! Elapsed wall clock time (in seconds):2.774
2.80/2.89	o -171
2.81/2.94	c And the winner is solver0
2.97/3.40	c Got one! Elapsed wall clock time (in seconds):3.278
2.97/3.40	o -172
3.44/3.65	c And the winner is solver0
3.59/3.90	c Got one! Elapsed wall clock time (in seconds):3.782
3.59/3.90	o -173
5.45/4.76	c cleaning 2915 clauses out of 5839 with flag 8005/5839
8.19/6.09	c cleaning 4456 clauses out of 8923 with flag 20003/11838
11.38/7.67	c cleaning 5730 clauses out of 11468 with flag 34005/18839
15.48/9.65	c cleaning 6862 clauses out of 13737 with flag 50003/26838
19.57/11.66	c And the winner is solver1
19.66/11.91	c Got one! Elapsed wall clock time (in seconds):11.788
19.66/11.91	o -185
21.84/13.01	c cleaning 9997 clauses out of 20001 with flag 10533/39964
24.53/14.36	c cleaning 7996 clauses out of 16005 with flag 23207/45965
27.51/15.84	c cleaning 7500 clauses out of 15009 with flag 37921/52965
30.91/17.54	c cleaning 7754 clauses out of 15509 with flag 54737/60965
34.92/19.56	c cleaning 8372 clauses out of 16754 with flag 73642/69964
39.80/21.95	c cleaning 9186 clauses out of 18382 with flag 94705/79964
45.20/24.68	c cleaning 10092 clauses out of 20196 with flag 117901/90964
51.33/27.61	c cleaning 11049 clauses out of 22105 with flag 143239/102965
57.51/30.78	c cleaning 12024 clauses out of 24055 with flag 170741/115964
60.71/32.36	c And the winner is solver1
60.74/32.42	c Got one! Elapsed wall clock time (in seconds):32.296
60.74/32.42	o -195
62.69/33.42	c cleaning 11843 clauses out of 23693 with flag 10531/127626
65.43/34.78	c cleaning 8919 clauses out of 17850 with flag 23178/133626
68.64/36.34	c cleaning 7959 clauses out of 15930 with flag 37926/140625
72.23/38.12	c cleaning 7983 clauses out of 15973 with flag 54828/148627
76.43/40.21	c cleaning 8495 clauses out of 16989 with flag 73766/157626
81.40/42.60	c cleaning 9241 clauses out of 18494 with flag 94887/167626
86.95/45.37	c cleaning 10123 clauses out of 20253 with flag 118179/178626
92.75/48.29	c cleaning 11060 clauses out of 22129 with flag 143517/190625
99.76/51.64	c cleaning 12036 clauses out of 24071 with flag 171029/203627
106.57/55.10	c cleaning 13013 clauses out of 26033 with flag 200686/217625
113.96/58.73	c cleaning 14011 clauses out of 28021 with flag 232583/232626
123.14/63.42	c cleaning 15004 clauses out of 30010 with flag 266537/248626
131.35/67.57	c cleaning 16003 clauses out of 32005 with flag 302690/265625
133.54/68.62	c And the winner is solver1
133.54/68.91	c Got one! Elapsed wall clock time (in seconds):68.788
133.54/68.91	o -197
133.91/69.13	c cleaning 10641 clauses out of 21288 with flag 2099/270911
136.31/70.35	c cleaning 8320 clauses out of 16647 with flag 14760/276911
139.42/71.88	c cleaning 7658 clauses out of 15327 with flag 29517/283911
143.02/73.64	c cleaning 7834 clauses out of 15668 with flag 46449/291910
147.02/75.70	c cleaning 8415 clauses out of 16835 with flag 65392/300911
150.25/77.28	c And the winner is solver1
150.37/77.42	c Got one! Elapsed wall clock time (in seconds):77.293
150.37/77.42	o -198
152.35/78.49	c cleaning 10292 clauses out of 20599 with flag 10520/313090
155.30/79.81	c cleaning 8149 clauses out of 16307 with flag 23143/319090
158.10/81.26	c cleaning 7575 clauses out of 15158 with flag 37854/326090
161.50/82.91	c cleaning 7788 clauses out of 15583 with flag 54699/334090
165.31/84.88	c cleaning 8398 clauses out of 16795 with flag 73676/343090
169.90/87.14	c cleaning 9197 clauses out of 18397 with flag 94810/353090
175.09/89.71	c cleaning 10098 clauses out of 20201 with flag 118121/364091
180.70/92.53	c cleaning 11051 clauses out of 22103 with flag 143490/376091
182.91/93.67	c And the winner is solver1
182.97/93.98	c Got one! Elapsed wall clock time (in seconds):93.861
182.97/93.98	o -199
183.61/94.30	c cleaning 8466 clauses out of 16949 with flag 2138/381988
186.21/95.53	c cleaning 7236 clauses out of 14482 with flag 14819/387987
189.03/96.97	c cleaning 7118 clauses out of 14246 with flag 29581/394987
192.61/98.71	c cleaning 7560 clauses out of 15128 with flag 46456/402987
196.63/100.73	c cleaning 8281 clauses out of 16569 with flag 65412/411988
201.23/103.01	c cleaning 9142 clauses out of 18290 with flag 86525/421990
206.24/105.56	c cleaning 10070 clauses out of 20146 with flag 109664/432988
212.04/108.46	c cleaning 11033 clauses out of 22077 with flag 135065/444989
220.06/112.78	c cleaning 12020 clauses out of 24043 with flag 162515/457988
226.06/115.73	c And the winner is solver1
226.06/115.87	c Got one! Elapsed wall clock time (in seconds):115.747
226.06/115.87	o -200
228.12/116.91	c cleaning 14288 clauses out of 28576 with flag 10523/474541
230.52/118.12	c cleaning 10141 clauses out of 20288 with flag 23251/480541
233.52/119.61	c cleaning 8568 clauses out of 17147 with flag 38023/487541
236.92/121.32	c cleaning 8285 clauses out of 16580 with flag 54876/495542
240.76/123.30	c cleaning 8648 clauses out of 17296 with flag 73908/504543
245.33/125.48	c cleaning 9322 clauses out of 18646 with flag 95046/514541
250.68/128.02	c cleaning 10156 clauses out of 20325 with flag 118328/525542
256.07/130.73	c cleaning 11076 clauses out of 22168 with flag 143797/537541
262.07/133.76	c cleaning 12044 clauses out of 24092 with flag 171277/550541
269.27/137.31	c cleaning 13019 clauses out of 26048 with flag 200982/564541
277.08/141.26	c cleaning 14012 clauses out of 28030 with flag 232776/579542
278.54/141.90	c And the winner is solver1
278.76/142.00	c Got one! Elapsed wall clock time (in seconds):141.885
278.76/142.00	o -201
280.40/142.82	c cleaning 9916 clauses out of 19832 with flag 8443/585356
282.79/144.05	c cleaning 7953 clauses out of 15916 with flag 21041/591356
285.59/145.49	c cleaning 7477 clauses out of 14963 with flag 35744/598356
289.01/147.17	c cleaning 7740 clauses out of 15488 with flag 52626/606358
293.20/149.20	c cleaning 8369 clauses out of 16747 with flag 71693/615357
295.40/150.38	c And the winner is solver1
295.54/150.51	c Got one! Elapsed wall clock time (in seconds):150.392
295.54/150.51	o -206
297.54/151.57	c cleaning 9388 clauses out of 18782 with flag 10456/625761
300.13/152.87	c cleaning 7694 clauses out of 15393 with flag 23117/631760
303.86/154.56	c cleaning 7346 clauses out of 14700 with flag 37848/638761
307.47/156.34	c cleaning 7674 clauses out of 15353 with flag 54751/646760
311.46/158.33	c cleaning 8337 clauses out of 16680 with flag 73801/655761
316.45/160.83	c cleaning 9168 clauses out of 18342 with flag 94877/665760
321.46/163.39	c cleaning 10083 clauses out of 20174 with flag 118283/676760
327.27/166.24	c cleaning 11041 clauses out of 22094 with flag 143840/688763
333.67/169.48	c cleaning 12019 clauses out of 24051 with flag 171431/701761
340.65/172.97	c cleaning 13015 clauses out of 26032 with flag 201219/715761
348.35/176.65	c cleaning 14006 clauses out of 28017 with flag 233249/730761
355.75/180.39	c cleaning 15001 clauses out of 30010 with flag 267424/746760
364.96/184.98	c cleaning 16000 clauses out of 32011 with flag 303410/763762
365.75/185.34	c And the winner is solver1
365.75/185.52	c Got one! Elapsed wall clock time (in seconds):185.404
365.75/185.52	o -210
367.49/186.44	c cleaning 10705 clauses out of 21412 with flag 8418/769163
370.09/187.77	c cleaning 8349 clauses out of 16707 with flag 21149/775163
373.12/189.27	c cleaning 7675 clauses out of 15359 with flag 35945/782164
376.70/191.01	c cleaning 7837 clauses out of 15683 with flag 52848/790163
380.69/193.06	c cleaning 8424 clauses out of 16847 with flag 71977/799164
385.82/195.41	c cleaning 9208 clauses out of 18423 with flag 93262/809164
390.62/197.89	c cleaning 10101 clauses out of 20215 with flag 116632/820164
396.22/200.61	c cleaning 11054 clauses out of 22114 with flag 142042/832164
402.04/203.51	c cleaning 12028 clauses out of 24061 with flag 169659/845165
408.42/206.79	c cleaning 13011 clauses out of 26032 with flag 199276/859164
415.62/210.39	c cleaning 14006 clauses out of 28020 with flag 231169/874163
425.81/215.83	c cleaning 15006 clauses out of 30015 with flag 265270/890164
433.61/219.78	c cleaning 16001 clauses out of 32009 with flag 301376/907164
442.81/224.35	c cleaning 17004 clauses out of 34007 with flag 339285/925163
453.21/229.54	c cleaning 17999 clauses out of 36004 with flag 379495/944164
464.20/235.03	c cleaning 19002 clauses out of 38004 with flag 421694/964163
476.80/241.31	c cleaning 20002 clauses out of 40003 with flag 465826/985164
490.21/247.98	c cleaning 21001 clauses out of 42001 with flag 512151/1007164
503.80/254.74	c cleaning 21997 clauses out of 43999 with flag 560591/1030163
519.01/262.38	c cleaning 22995 clauses out of 46002 with flag 611281/1054163
535.40/270.52	c cleaning 24005 clauses out of 48009 with flag 664328/1079165
552.20/278.95	c cleaning 25000 clauses out of 50003 with flag 719648/1105164
570.49/287.84	c cleaning 26001 clauses out of 52002 with flag 776863/1132163
592.49/298.82	c cleaning 27001 clauses out of 54001 with flag 836271/1160163
613.68/309.28	c cleaning 27994 clauses out of 56000 with flag 897316/1189163
631.86/318.39	c cleaning 29001 clauses out of 58007 with flag 960800/1219164
656.47/331.48	c cleaning 29998 clauses out of 60005 with flag 1026420/1250163
674.07/340.25	c cleaning 31000 clauses out of 62008 with flag 1094632/1282164
690.64/348.47	c cleaning 32004 clauses out of 64007 with flag 1164646/1315163
709.44/357.89	c cleaning 33002 clauses out of 66004 with flag 1236827/1349164
730.87/368.44	c cleaning 33997 clauses out of 68002 with flag 1311106/1384164
754.87/380.44	c cleaning 35002 clauses out of 70004 with flag 1387590/1420163
779.59/392.68	c cleaning 35999 clauses out of 72003 with flag 1466097/1457164
805.39/405.58	c cleaning 36999 clauses out of 74004 with flag 1546861/1495164
834.47/419.87	c cleaning 37999 clauses out of 76004 with flag 1629229/1534163
861.79/433.27	c cleaning 39000 clauses out of 78006 with flag 1713779/1574164
890.59/447.62	c cleaning 40000 clauses out of 80005 with flag 1800434/1615163
920.38/462.27	c cleaning 41000 clauses out of 82005 with flag 1889961/1657163
953.84/478.62	c cleaning 42000 clauses out of 84005 with flag 1981023/1700163
987.23/495.02	c cleaning 42999 clauses out of 86005 with flag 2074179/1744163
1023.63/514.15	c cleaning 44000 clauses out of 88006 with flag 2169122/1789163
1042.99/523.71	c And the winner is solver1
1042.99/523.92	c Got one! Elapsed wall clock time (in seconds):523.799
1042.99/523.92	o -212
1046.08/525.44	c cleaning 37523 clauses out of 75051 with flag 10579/1820208
1049.10/526.96	c cleaning 21755 clauses out of 43527 with flag 23223/1826207
1052.68/528.71	c cleaning 14380 clauses out of 28772 with flag 37971/1833207
1056.86/530.72	c cleaning 11189 clauses out of 22393 with flag 54823/1841208
1061.65/533.12	c cleaning 10095 clauses out of 20204 with flag 73788/1850208
1067.65/536.14	c cleaning 10049 clauses out of 20110 with flag 94856/1860209
1074.81/539.70	c cleaning 10526 clauses out of 21059 with flag 117938/1871207
1082.63/543.45	c cleaning 11264 clauses out of 22533 with flag 143214/1883207
1089.62/546.93	c cleaning 12126 clauses out of 24269 with flag 170649/1896207
1098.24/551.16	c cleaning 13067 clauses out of 26143 with flag 200118/1910207
1107.04/555.54	c cleaning 14036 clauses out of 28076 with flag 231708/1925207
1116.82/560.49	c cleaning 15017 clauses out of 30040 with flag 265448/1941207
1126.65/565.25	c cleaning 16008 clauses out of 32024 with flag 301288/1958208
1137.25/570.51	c cleaning 17004 clauses out of 34016 with flag 339313/1976208
1148.24/576.02	c cleaning 18004 clauses out of 36011 with flag 379560/1995207
1160.46/582.01	c cleaning 19004 clauses out of 38007 with flag 421715/2015207
1173.28/588.34	c cleaning 20000 clauses out of 40003 with flag 466127/2036207
1185.88/594.65	c cleaning 20999 clauses out of 42004 with flag 512982/2058208
1199.37/601.29	c cleaning 22000 clauses out of 44006 with flag 561533/2081209
1213.96/608.53	c cleaning 23003 clauses out of 46005 with flag 612043/2105208
1230.07/616.41	c cleaning 23998 clauses out of 48001 with flag 664659/2130207
1246.80/624.69	c cleaning 25002 clauses out of 50003 with flag 719411/2156207
1264.59/633.30	c cleaning 26002 clauses out of 52003 with flag 776293/2183209
1281.58/641.86	c cleaning 26998 clauses out of 53999 with flag 835428/2211207
1298.20/649.92	c cleaning 27999 clauses out of 56001 with flag 896812/2240207
1317.06/659.10	c cleaning 29000 clauses out of 58002 with flag 960088/2270207
1338.19/669.41	c cleaning 29997 clauses out of 60002 with flag 1025631/2301207
1360.49/680.32	c cleaning 31003 clauses out of 62006 with flag 1093203/2333208
1384.57/692.16	c cleaning 31997 clauses out of 64002 with flag 1162902/2366207
1413.00/707.88	c cleaning 32999 clauses out of 66006 with flag 1234753/2400208
1437.31/719.99	c cleaning 34001 clauses out of 68007 with flag 1308669/2435208
1460.44/731.47	c cleaning 34998 clauses out of 70005 with flag 1384898/2471207
1486.90/744.52	c cleaning 36002 clauses out of 72008 with flag 1463322/2508208
1514.80/758.31	c cleaning 37003 clauses out of 74006 with flag 1543521/2546208
1543.68/772.67	c cleaning 38000 clauses out of 76002 with flag 1626254/2585207
1575.35/788.16	c cleaning 38998 clauses out of 78002 with flag 1711234/2625207
1578.15/789.59	c cleaning 0 clauses out of 7177 with flag 0/7182
1603.26/801.68	c cleaning 39997 clauses out of 80004 with flag 1797854/2666207
1632.62/816.04	c cleaning 40999 clauses out of 82008 with flag 1886305/2708208
1663.58/831.27	c cleaning 42004 clauses out of 84008 with flag 1977365/2751207
1698.49/848.45	c cleaning 43001 clauses out of 86005 with flag 2070733/2795208
1738.57/868.22	c cleaning 44001 clauses out of 88003 with flag 2166313/2840207
1779.53/888.44	c cleaning 45002 clauses out of 90003 with flag 2263675/2886208
1800.13/898.40	c >>>>>>>>>> Solver number 0 (7 answers) <<<<<<<<<<<<<<<<<<
1800.13/898.40	c starts		: 56841
1800.13/898.40	c conflicts		: 2909398
1800.13/898.40	c decisions		: 33289072
1800.13/898.40	c propagations		: 174683139
1800.13/898.40	c inspects		: 4098859297
1800.13/898.40	c shortcuts		: 0
1800.13/898.40	c learnt literals	: 0
1800.13/898.40	c learnt binary clauses	: 0
1800.13/898.40	c learnt ternary clauses	: 0
1800.13/898.40	c learnt constraints	: 2909398
1800.13/898.40	c ignored constraints	: 0
1800.13/898.40	c root simplifications	: 0
1800.13/898.40	c removed literals (reason simplification)	: 24297247
1800.13/898.40	c reason swapping (by a shorter reason)	: 0
1800.13/898.40	c Calls to reduceDB	: 160
1800.13/898.40	c Number of update (reduction) of LBD	: 120947
1800.13/898.40	c Imported unit clauses	: 0
1800.13/898.40	c number of reductions to clauses (during analyze)	: 0
1800.13/898.40	c number of learned constraints concerned by reduction	: 0
1800.13/898.40	c number of learning phase by resolution	: 0
1800.13/898.40	c number of learning phase by cutting planes	: 0
1800.13/898.40	c speed (assignments/second)	: 466585.6602543898
1800.13/898.40	c non guided choices	17
1800.13/898.43	c learnt constraints type 
1800.13/898.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 68191
1800.13/898.43	c >>>>>>>>>> Solver number 1 (10 answers) <<<<<<<<<<<<<<<<<<
1800.13/898.43	c starts		: 45
1800.13/898.43	c conflicts		: 8182
1800.13/898.43	c decisions		: 71244
1800.13/898.43	c propagations		: 357963
1800.13/898.43	c inspects		: 240672603
1800.13/898.43	c shortcuts		: 0
1800.13/898.43	c learnt literals	: 0
1800.13/898.43	c learnt binary clauses	: 0
1800.13/898.43	c learnt ternary clauses	: 0
1800.13/898.43	c learnt constraints	: 8176
1800.13/898.43	c ignored constraints	: 0
1800.13/898.43	c root simplifications	: 0
1800.13/898.43	c removed literals (reason simplification)	: 0
1800.13/898.43	c reason swapping (by a shorter reason)	: 0
1800.13/898.43	c Calls to reduceDB	: 1
1800.13/898.43	c Number of update (reduction) of LBD	: 0
1800.13/898.43	c Imported unit clauses	: 0
1800.13/898.43	c number of reductions to clauses (during analyze)	: 0
1800.13/898.43	c number of learned constraints concerned by reduction	: 0
1800.13/898.43	c number of learning phase by resolution	: 0
1800.13/898.43	c number of learning phase by cutting planes	: 0
1800.13/898.43	c speed (assignments/second)	: 400.17461937559597
1800.13/898.43	c non guided choices	37
1800.13/898.43	c learnt constraints type 
1800.13/898.43	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2
1800.13/898.43	c org.sat4j.pb.constraints.pb.MaxWatchPb => 8174
1800.13/898.43	s SATISFIABLE
1800.13/898.43	c Found 17 solution(s)
1800.13/898.44	v x1 -x2 -x3 x4 -x5 x6 -x7 x8 -x9 x10 -x11 x12 -x13 -x14 x15 x16 -x17 x18 -x19 -x20 -x21 x22 -x23 x24 x25 x26 x27 -x28 x29 x30 x31 -x32 x33 x34 x35 x36 x37 x38 x39 -x40 -x41 -x42 x43 x44 -x45 x46 x47 x48 x49 -x50 x51 x52 x53 -x54 x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 x63 x64 -x65 x66 x67 x68 -x69 x70 x71 x72 x73 x74 x75 -x76 x77 -x78 -x79 x80 -x81 x82 -x83 -x84 x85 x86 x87 x88 -x89 -x90 -x91 x92 -x93 x94 -x95 x96 -x97 x98 -x99 -x100 -x101 x102 x103 -x104 -x105 x106 x107 -x108 x109 x110 x111 -x112 -x113 x114 -x115 -x116 -x117 x118 -x119 x120 -x121 x122 -x123 x124 x125 x126 x127 x128 x129 -x130 -x131 x132 x133 x134 x135 x136 x137 x138 x139 -x140 x141 x142 -x143 -x144 x145 x146 x147 -x148 -x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 -x162 -x163 x164 x165 -x166 -x167 x168 -x169 -x170 -x171 x172 -x173 x174 x175 -x176 -x177 x178 -x179 x180 x181 -x182 x183 x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 x192 -x193 -x194 x195 -x196 x197 -x198 x199 x200 x201 x202 x203 -x204 x205 -x206 x207 x208 -x209 x210 x211 x212 x213 x214 x215 -x216 -x217 x218 x219 x220 -x221 x222 x223 x224 -x225 x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 x238 x239 -x240 -x241 x242 x243 -x244 -x245 -x246 x247 x248 x249 x250 -x251 x252 -x253 -x254 -x255 -x256 x257 x258 x259 -x260 -x261 -x262 x263 x264 x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 x274 -x275 x276 -x277 x278 x279 x280 -x281 -x282 x283 x284 -x285 x286 x287 x288 x289 -x290 x291 x292 x293 -x294 -x295 -x296 x297 -x298 -x299 x300 x301 x302 -x303 -x304 -x305 x306 -x307 x308 -x309 -x310 x311 -x312 -x313 -x314 x315 -x316 -x317 x318 -x319 -x320 x321 -x322 x323 x324 -x325 -x326 -x327 x328 -x329 -x330 x331 -x332 x333 x334 x335 x336 x337 x338 -x339 -x340 x341 x342 x343 -x344 x345 -x346 x347 x348 -x349 -x350 x351 -x352 -x353 -x354 -x355 x356 x357 x358 -x359 -x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 -x372 x373 x374 -x375 -x376 -x377 x378 -x379 x380 -x381 -x382 x383 x384 -x385 x386 -x387 -x388 x389 x390 -x391 x392 x393 x394 -x395 -x396 x397 x398 -x399 -x400 x401 -x402 x403 -x404 x405 -x406 x407 -x408 x409 -x410 x411 x412 -x413 -x414 x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 x424 x425 -x426 -x427 -x428 -x429 x430 -x431 x432 x433 -x434 x435 x436 x437 -x438 x439 -x440 x441 x442 x443 x444 x445 -x446 x447 x448 x449 -x450 x451 -x452 -x453 -x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 -x466 x467 x468 -x469 -x470 x471 x472 x473 -x474 x475 -x476 x477 -x478 -x479 -x480 x481 -x482 x483 x484 x485 x486 x487 -x488 x489 -x490 x491 x492 -x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 -x503 x504 x505 -x506 x507 -x508 x509 x510 x511 x512 -x513 x514 x515 x516 x517 -x518 -x519 -x520 x521 x522 x523 -x524 x525 x526 x527 x528 -x529 x530 x531 x532 x533 x534 x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 x543 x544 x545 x546 x547 -x548 x549 x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 x558 -x559 x560 x561 -x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 -x573 x574 x575 x576 x577 x578 -x579 x580 x581 x582 -x583 x584 x585 -x586 -x587 x588 -x589 x590 -x591 -x592 x593 x594 x595 x596 x597 -x598 x599 x600 -x601 -x602 x603 -x604 x605 -x606 x607 x608 -x609 -x610 -x611 x612 x613 x614 -x615 x616 -x617 x618 x619 -x620 x621 x622 -x623 x624 -x625 x626 x627 x628 x629 x630 x631 -x632 -x633 -x634 -x635 x636 x637 x638 x639 x640 x641 x642 x643 x644 -x645 -x646 -x647 -x648 x649 -x650 x651 -x652 -x653 -x654 x655 x656 x657 x658 -x659 -x660 -x661 x662 x663 x664 x665 x666 x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 -x679 -x680 x681 x682 -x683 x684 x685 -x686 -x687 x688 -x689 x690 x691 x692 x693 x694 x695 -x696 x697 x698 -x699 x700 -x701 x702 -x703 -x704 x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 x716 -x717 x718 -x719 -x720 -x721 -x722 x723 -x724 x725 x726 -x727 -x728 -x729 -x730 x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 x759 -x760 -x761 x762 x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 x787 x788 x789 -x790 x791 -x792 -x793 x794 x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 -x803 -x804 x805 x806 -x807 -x808 x809 x810 -x811 -x812 -x813 x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 x824 -x825 -x826 x827 x828 x829 x830 -x831 -x832 -x833 x834 x835 -x836 -x837 -x838 x839 -x840 x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 x865 x866 -x867 -x868 x869 x870 x871 x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 x887 -x888 -x889 x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 x918 -x919 x920 x921 x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 x933 -x934 -x935 x936 -x937 x938 -x939 -x940 -x941 -x942 x943 x944 -x945 -x946 -x947 x948 -x949 x950 x951 x952 x953 -x954 x955 -x956 x957 -x958 -x959 x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 x969 x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 -x988 x989 x990 x991 x992 x993 -x994 x995 x996 -x997 x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 x1007 -x1008 x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 x1045 -x1046 x1047 x1048 x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 x1082 x1083 -x1084 -x1085 x1086 x1087 -x1088 -x1089 -x1090 x1091 x1092 x1093 x1094 -x1095 x1096 x1097 x1098 x1099 x1100 x1101 -x1102 x1103 -x1104 x1105 x1106 -x1107 x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 x1117 x1118 x1119 x1120 -x1121 x1122 -x1123 x1124 -x1125 x1126 x1127 x1128 x1129 x1130 x1131 -x1132 -x1133 x1134 x1135 x1136 x1137 x1138 -x1139 -x1140 -x1141 -x1142 x1143 x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 x1152 x1153 x1154 x1155 x1156 x1157 x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 x1167 x1168 -x1169 x1170 x1171 x1172 x1173 -x1174 x1175 x1176 x1177 -x1178 x1179 x1180 x1181 -x1182 x1183 x1184 x1185 x1186 x1187 x1188 -x1189 x1190 x1191 x1192 -x1193 x1194 x1195 x1196 x1197 x1198 x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 x1229 x1230 -x1231 x1232 -x1233 x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 x1244 x1245 -x1246 -x1247 -x1248 -x1249 x1250 x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 x1267 x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 x1290 -x1291 -x1292 x1293 -x1294 x1295 -x1296 -x1297 -x1298 x1299 x1300 -x1301 -x1302 x1303 x1304 x1305 x1306 x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 x1328 -x1329 x1330 x1331 x1332 x1333 -x1334 x1335 -x1336 x1337 -x1338 -x1339 x1340 x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 x1353 x1354 x1355 -x1356 x1357 -x1358 -x1359 -x1360 -x1361 x1362 x1363 x1364 x1365 x1366 x1367 x1368 -x1369 x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 x1423 x1424 x1425 x1426 x1427 -x1428 x1429 -x1430 -x1431 x1432 -x1433 x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 x1453 x1454 x1455 x1456 x1457 -x1458 x1459 x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 x1468 x1469 -x1470 x1471 x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 x1501 -x1502 -x1503 x1504 x1505 -x1506 x1507 x1508 x1509 x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 x1517 x1518 x1519 x1520 -x1521 -x1522 -x1523 x1524 x1525 x1526 x1527 x1528 x1529 x1530 -x1531 -x1532 -x1533 -x1534 x1535 x1536 x1537 -x1538 -x1539 -x1540 x1541 x1542 x1543 x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 -x1560 -x1561 x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 x1573 -x1574 -x1575 -x1576 -x1577 x1578 x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 x1620 -x1621 x1622 x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 x1643 -x1644 x1645 -x1646 x1647 x1648 x1649 -x1650 x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 x1659 -x1660 x1661 x1662 x1663 x1664 x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 x1672 -x1673 -x1674 x1675 x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 x1697 x1698 x1699 x1700 -x1701 x1702 x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x1710 x1711 x1712 x1713 x1714 x1715 x1716 x1717 x1718 -x1719 x1720 x1721 -x1722 x1723 x1724 x1725 x1726 x1727 x1728 x1729 x1730 x1731 x1732 x1733 x1734 x1735 x1736 -x1737 -x1738 -x1739 -x1740 x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 x1750 x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 x1760 -x1761 -x1762 -x1763 x1764 x1765 -x1766 -x1767 -x1768 -x1769 x1770 x1771 -x1772 x1773 -x1774 -x1775 x1776 -x1777 x1778 -x1779 x1780 x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 x1799 -x1800 -x1801 -x1802 x1803 -x1804 -x1805 -x1806 x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 x1816 x1817 -x1818 -x1819 -x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 x1856 x1857 -x1858 -x1859 x1860 x1861 x1862 -x1863 -x1864 x1865 x1866 -x1867 -x1868 -x1869 x1870 -x1871 x1872 x1873 x1874 x1875 -x1876 x1877 x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 x1885 x1886 x1887 -x1888 -x1889 -x1890 x1891 x1892 x1893 x1894 -x1895 -x1896 -x1897 x1898 -x1899 -x1900 x1901 -x1902 -x1903 x1904 -x1905 x1906 -x1907 -x1908 -x1909 x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 x1917 x1918 x1919 -x1920 -x1921 -x1922 x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 x1930 x1931 x1932 x1933 -x1934 x1935 -x1936 x1937 x1938 -x1939 -x1940 -x1941 -x1942 x1943 x1944 x1945 -x1946 x1947 -x1948 x1949 x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 x1964 x1965 x1966 x1967 x1968 x1969 -x1970 x1971 -x1972 -x1973 -x1974 -x1975 x1976 -x1977 -x1978 x1979 x1980 x1981 -x1982 x1983 x1984 x1985 x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 x1993 x1994 -x1995 -x1996 x1997 -x1998 -x1999 x2000 x2001 x2002 x2003 x2004 x2005 -x2006 -x2007 x2008 x2009 -x2010 x2011 x2012 -x2013 x2014 -x2015 -x2016 x2017 -x2018 -x2019 x2020 x2021 x2022 -x2023 -x2024 -x2025 x2026 -x2027 x2028 -x2029 x2030 -x2031 x2032 -x2033 -x2034 -x2035 x2036 x2037 x2038 -x2039 -x2040 -x2041 x2042 x2043 x2044 x2045 -x2046 x2047 -x2048 -x2049 -x2050 x2051 x2052 x2053 x2054 -x2055 -x2056 -x2057 -x2058 x2059 x2060 -x2061 -x2062 x2063 x2064 x2065 x2066 -x2067 x2068 x2069 -x2070 x2071 
1800.13/898.44	c objective function=-212
1800.13/898.44	c Total wall clock time (in seconds): 898.321

Verifier Data 

OK	-212

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-4118953-1467238326/watcher-4118953-1467238326 -o /tmp/evaluation-result-4118953-1467238326/solver-4118953-1467238326 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467233347-7542 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118953-1467238326.opb 

pid=10417
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: 4.23 4.09 3.96 3/197 10420
/proc/meminfo: memFree=23083044/32872528 swapFree=1268996/1432516
[pid=10420] ppid=10417 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10420/stat : 10420 (java) D 10417 10420 5003 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 4787721 9515008 183 33554432000 1073741824 1073778376 140736541244640 140736541235672 214369648309 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/10420/statm: 2323 183 140 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 4.23 4.09 3.96 3/197 10420
/proc/meminfo: memFree=23083044/32872528 swapFree=1268996/1432516
[pid=10420] ppid=10417 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/10420/stat : 10420 (java) S 10417 10420 5003 0 -1 4202496 4416 0 1 0 8 1 0 0 20 0 18 0 4787721 9787879424 6043 33554432000 1073741824 1073778376 140735637231072 140735637222208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10420/statm: 2389619 6043 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200232 s]
/proc/loadavg: 4.23 4.09 3.96 3/197 10420
/proc/meminfo: memFree=23083044/32872528 swapFree=1268996/1432516
[pid=10420] ppid=10417 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/10420/stat : 10420 (java) S 10417 10420 5003 0 -1 4202496 4921 0 1 0 25 1 0 0 20 0 18 0 4787721 9787879424 7432 33554432000 1073741824 1073778376 140735637231072 140735637222208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10420/statm: 2389619 7432 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476

[startup+0.300253 s]
/proc/loadavg: 4.23 4.09 3.96 3/197 10420
/proc/meminfo: memFree=23083044/32872528 swapFree=1268996/1432516
[pid=10420] ppid=10417 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/10420/stat : 10420 (java) S 10417 10420 5003 0 -1 4202496 6533 0 1 0 46 1 0 0 20 0 18 0 4787721 9787879424 9251 33554432000 1073741824 1073778376 140735637231072 140735637222208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10420/statm: 2389619 9251 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476

[startup+0.700277 s]
/proc/loadavg: 4.23 4.09 3.96 3/197 10420
/proc/meminfo: memFree=23083044/32872528 swapFree=1268996/1432516
[pid=10420] ppid=10417 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/10420/stat : 10420 (java) S 10417 10420 5003 0 -1 4202496 7068 0 1 0 71 3 0 0 20 0 19 0 4787721 10060525568 11184 33554432000 1073741824 1073778376 140735637231072 140735637222208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10420/statm: 2456183 11184 2253 9 0 2446860 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 9824732

[startup+1.50085 s]
/proc/loadavg: 4.23 4.09 3.96 7/219 10445
/proc/meminfo: memFree=23016016/32872528 swapFree=1268996/1432516
[pid=10420] ppid=10417 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/10420/stat : 10420 (java) S 10417 10420 5003 0 -1 4202496 17732 0 1 0 232 9 0 0 20 0 19 0 4787721 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140735637222208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10420/statm: 2456183 19801 2259 9 0 2446860 0
[pid=10420/tid=10422] ppid=10417 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/10420/task/10422/stat : 10422 (java) S 10417 10420 5003 0 -1 4202560 2427 0 1 0 33 1 0 0 20 0 19 0 4787722 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140081602454392 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10423] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10423/stat : 10423 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140081574906408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10424] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10424/stat : 10424 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140081573853608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10425] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10425/stat : 10425 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140081572800808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10420/tid=10426] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10426/stat : 10426 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140081571748008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10427] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10427/stat : 10427 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140081570696232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10428] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10428/stat : 10428 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140081569643432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10429] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10429/stat : 10429 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140081568590632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10430] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10430/stat : 10430 (java) S 10417 10420 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140081567537832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10431] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10431/stat : 10431 (java) S 10417 10420 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4787724 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140080956017128 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10432] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10432/stat : 10432 (java) S 10417 10420 5003 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4787725 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140080954963192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10433] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10433/stat : 10433 (java) S 10417 10420 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4787725 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140080953910280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10434] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10434/stat : 10434 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787727 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140080952858768 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10435] ppid=10417 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/10420/task/10435/stat : 10435 (java) S 10417 10420 5003 0 -1 4202560 6037 0 0 0 55 2 0 0 20 0 19 0 4787727 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140080951806904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10436] ppid=10417 vsize=9824732 CPUtime=0.58 cores=1,3,5,7
/proc/10420/task/10436/stat : 10436 (java) S 10417 10420 5003 0 -1 4202560 7909 0 0 0 56 2 0 0 20 0 19 0 4787727 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140080950754104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10437] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10437/stat : 10437 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787727 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140080949701496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10438] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10438/stat : 10438 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787727 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140080948648904 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10441] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10441/stat : 10441 (java) S 10417 10420 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4787757 10060525568 19801 33554432000 1073741824 1073778376 140735637231072 140080945488808 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 9824732

[startup+3.10089 s]
/proc/loadavg: 4.23 4.09 3.96 3/216 10451
/proc/meminfo: memFree=23000056/32872528 swapFree=1268996/1432516
[pid=10420] ppid=10417 vsize=9824732 CPUtime=2.97 cores=1,3,5,7
/proc/10420/stat : 10420 (java) S 10417 10420 5003 0 -1 4202496 17766 0 1 0 282 15 0 0 20 0 19 0 4787721 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140735637222208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10420/statm: 2456183 24925 2263 9 0 2446860 0
[pid=10420/tid=10422] ppid=10417 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/10420/task/10422/stat : 10422 (java) S 10417 10420 5003 0 -1 4202560 2429 0 1 0 35 1 0 0 20 0 19 0 4787722 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140081602454392 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10423] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10423/stat : 10423 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140081574906408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10424] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10424/stat : 10424 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140081573853608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10425] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10425/stat : 10425 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140081572800808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10420/tid=10426] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10426/stat : 10426 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140081571748008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10427] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10427/stat : 10427 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140081570696232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10428] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10428/stat : 10428 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140081569643432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10429] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10429/stat : 10429 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140081568590632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10430] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10430/stat : 10430 (java) S 10417 10420 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4787723 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140081567537832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10431] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10431/stat : 10431 (java) S 10417 10420 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4787724 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140080956017128 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10432] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10432/stat : 10432 (java) S 10417 10420 5003 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4787725 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140080954963192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10433] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10433/stat : 10433 (java) S 10417 10420 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4787725 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140080953910280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10434] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10434/stat : 10434 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787727 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140080952858768 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10435] ppid=10417 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/10420/task/10435/stat : 10435 (java) S 10417 10420 5003 0 -1 4202560 6038 0 0 0 71 2 0 0 20 0 19 0 4787727 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140080951806904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10436] ppid=10417 vsize=9824732 CPUtime=0.7 cores=1,3,5,7
/proc/10420/task/10436/stat : 10436 (java) S 10417 10420 5003 0 -1 4202560 7912 0 0 0 68 2 0 0 20 0 19 0 4787727 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140080950754104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10437] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10437/stat : 10437 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787727 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140080949701496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10438] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10438/stat : 10438 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4787727 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140080948648904 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10441] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10441/stat : 10441 (java) S 10417 10420 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4787757 10060525568 24925 33554432000 1073741824 1073778376 140735637231072 140080945488808 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 9824732

[startup+6.30088 s]
/proc/loadavg: 4.05 4.05 3.95 5/219 10463
/proc/meminfo: memFree=22884636/32872528 swapFree=1268996/1432516
[pid=10420] ppid=10417 vsize=9824732 CPUtime=8.79 cores=1,3,5,7
/proc/10420/stat : 10420 (java) S 10417 10420 5003 0 -1 4202496 18225 0 1 0 858 21 0 0 20 0 22 0 4787721 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140735637222208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10420/statm: 2456183 50940 2285 9 0 2446860 0
[pid=10420/tid=10422] ppid=10417 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/10420/task/10422/stat : 10422 (java) S 10417 10420 5003 0 -1 4202560 2432 0 1 0 36 1 0 0 20 0 22 0 4787722 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140081602454392 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10423] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10423/stat : 10423 (java) S 10417 10420 5003 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 22 0 4787723 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140081574906408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10424] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10424/stat : 10424 (java) S 10417 10420 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4787723 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140081573853608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10425] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10425/stat : 10425 (java) S 10417 10420 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4787723 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140081572800808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10426] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10426/stat : 10426 (java) S 10417 10420 5003 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 4787723 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140081571748008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10427] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10427/stat : 10427 (java) S 10417 10420 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4787723 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140081570696232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10420/tid=10428] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10428/stat : 10428 (java) S 10417 10420 5003 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 4787723 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140081569643432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10429] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10429/stat : 10429 (java) S 10417 10420 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 4787723 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140081568590632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10430] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10430/stat : 10430 (java) S 10417 10420 5003 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 4787723 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140081567537832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10431] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10431/stat : 10431 (java) S 10417 10420 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4787724 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140080956017128 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10432] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10432/stat : 10432 (java) S 10417 10420 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4787725 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140080954963192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10433] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10433/stat : 10433 (java) S 10417 10420 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4787725 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140080953910280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10434] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10434/stat : 10434 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4787727 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140080952858768 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10435] ppid=10417 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/10420/task/10435/stat : 10435 (java) S 10417 10420 5003 0 -1 4202560 6042 0 0 0 89 2 0 0 20 0 22 0 4787727 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140080951806904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10436] ppid=10417 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/10420/task/10436/stat : 10436 (java) S 10417 10420 5003 0 -1 4202560 8236 0 0 0 97 2 0 0 20 0 22 0 4787727 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140080950754104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10420/tid=10437] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10437/stat : 10437 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4787727 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140080949701496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10438] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10438/stat : 10438 (java) S 10417 10420 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4787727 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140080948648904 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10441] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10441/stat : 10441 (java) S 10417 10420 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 4787757 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140080945488808 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10461] ppid=10417 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/10420/task/10461/stat : 10461 (java) R 10417 10420 5003 0 -1 4202560 18 0 0 0 234 0 0 0 20 0 22 0 4788112 10060525568 50940 33554432000 1073741824 1073778376 140735637231072 140080944436296 140081449566417 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10462] ppid=10417 vsize=9824732 CPUtime=2.32 cores=1,3,5,7

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

[pid=10420/tid=10430] ppid=10417 vsize=9824732 CPUtime=4.59 cores=1,3,5,7
/proc/10420/task/10430/stat : 10430 (java) S 10417 10420 5003 0 -1 4202560 1358 0 0 0 411 48 0 0 20 0 22 0 4787723 10060525568 1185766 33554432000 1073741824 1073778376 140735637231072 140081567537832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10431] ppid=10417 vsize=9824732 CPUtime=10.72 cores=1,3,5,7
/proc/10420/task/10431/stat : 10431 (java) S 10417 10420 5003 0 -1 4202560 3715 0 0 0 1067 5 0 0 20 0 22 0 4787724 10060525568 1185766 33554432000 1073741824 1073778376 140735637231072 140080956017128 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10432] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10432/stat : 10432 (java) S 10417 10420 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4787725 10060525568 1185766 33554432000 1073741824 1073778376 140735637231072 140080954963192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10433] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10433/stat : 10433 (java) S 10417 10420 5003 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 4787725 10060525568 1185766 33554432000 1073741824 1073778376 140735637231072 140080953910280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10434] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10434/stat : 10434 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4787727 10060525568 1185766 33554432000 1073741824 1073778376 140735637231072 140080952858768 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10435] ppid=10417 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/10420/task/10435/stat : 10435 (java) S 10417 10420 5003 0 -1 4202560 10376 0 0 0 187 2 0 0 20 0 22 0 4787727 10060525568 1185766 33554432000 1073741824 1073778376 140735637231072 140080951806904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10436] ppid=10417 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/10420/task/10436/stat : 10436 (java) S 10417 10420 5003 0 -1 4202560 8239 0 0 0 128 2 0 0 20 0 22 0 4787727 10060525568 1185766 33554432000 1073741824 1073778376 140735637231072 140080950754104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10420/tid=10437] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10437/stat : 10437 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4787727 10060525568 1185766 33554432000 1073741824 1073778376 140735637231072 140080949701496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10438] ppid=10417 vsize=9824732 CPUtime=0.3 cores=1,3,5,7
/proc/10420/task/10438/stat : 10438 (java) S 10417 10420 5003 0 -1 4202560 47 0 0 0 12 18 0 0 20 0 22 0 4787727 10060525568 1185766 33554432000 1073741824 1073778376 140735637231072 140080948648904 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10463] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10463/stat : 10463 (java) S 10417 10420 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4788112 10060525568 1185766 33554432000 1073741824 1073778376 140735637231072 140080946541736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10505] ppid=10417 vsize=9824732 CPUtime=289.7 cores=1,3,5,7
/proc/10420/task/10505/stat : 10505 (java) R 10417 10420 5003 0 -1 4202560 14 0 0 0 28965 5 0 0 20 0 22 0 4840123 10060525568 1185766 33554432000 1073741824 1073778376 140735637231072 140080944427552 140081449458016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10506] ppid=10417 vsize=9824732 CPUtime=289.73 cores=1,3,5,7
/proc/10420/task/10506/stat : 10506 (java) R 10417 10420 5003 0 -1 4202560 17 0 0 0 28969 4 0 0 20 0 22 0 4840123 10060525568 1185766 33554432000 1073741824 1073778376 140735637231072 140080947591904 140081449655959 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10420/tid=10507] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10507/stat : 10507 (java) S 10417 10420 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4840123 10060525568 1185766 33554432000 1073741824 1073778376 140735637231072 140080945489320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1643.2
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.09 4.12 4.07 5/219 10804
/proc/meminfo: memFree=19667064/32872528 swapFree=1268996/1432516
[pid=10420] ppid=10417 vsize=9824732 CPUtime=1765.33 cores=1,3,5,7
/proc/10420/stat : 10420 (java) S 10417 10420 5003 0 -1 4202496 41033 0 1 0 176079 454 0 0 20 0 22 0 4787721 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140735637222208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10420/statm: 2456183 1206405 2296 9 0 2446860 0
[pid=10420/tid=10422] ppid=10417 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/10420/task/10422/stat : 10422 (java) S 10417 10420 5003 0 -1 4202560 2452 0 1 0 43 3 0 0 20 0 22 0 4787722 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140081602454392 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10423] ppid=10417 vsize=9824732 CPUtime=5.51 cores=1,3,5,7
/proc/10420/task/10423/stat : 10423 (java) S 10417 10420 5003 0 -1 4202560 1141 0 0 0 506 45 0 0 20 0 22 0 4787723 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140081574906408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10420/tid=10424] ppid=10417 vsize=9824732 CPUtime=5.44 cores=1,3,5,7
/proc/10420/task/10424/stat : 10424 (java) S 10417 10420 5003 0 -1 4202560 2180 0 0 0 493 51 0 0 20 0 22 0 4787723 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140081573853608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10425] ppid=10417 vsize=9824732 CPUtime=5.88 cores=1,3,5,7
/proc/10420/task/10425/stat : 10425 (java) S 10417 10420 5003 0 -1 4202560 2971 0 0 0 540 48 0 0 20 0 22 0 4787723 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140081572800808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10426] ppid=10417 vsize=9824732 CPUtime=4.98 cores=1,3,5,7
/proc/10420/task/10426/stat : 10426 (java) S 10417 10420 5003 0 -1 4202560 1697 0 0 0 456 42 0 0 20 0 22 0 4787723 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140081571748008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10420/tid=10427] ppid=10417 vsize=9824732 CPUtime=4.7 cores=1,3,5,7
/proc/10420/task/10427/stat : 10427 (java) S 10417 10420 5003 0 -1 4202560 1425 0 0 0 429 41 0 0 20 0 22 0 4787723 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140081570696232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10420/tid=10428] ppid=10417 vsize=9824732 CPUtime=5.1 cores=1,3,5,7
/proc/10420/task/10428/stat : 10428 (java) S 10417 10420 5003 0 -1 4202560 1493 0 0 0 462 48 0 0 20 0 22 0 4787723 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140081569643432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10420/tid=10429] ppid=10417 vsize=9824732 CPUtime=5.1 cores=1,3,5,7
/proc/10420/task/10429/stat : 10429 (java) S 10417 10420 5003 0 -1 4202560 1347 0 0 0 463 47 0 0 20 0 22 0 4787723 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140081568590632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10430] ppid=10417 vsize=9824732 CPUtime=4.89 cores=1,3,5,7
/proc/10420/task/10430/stat : 10430 (java) S 10417 10420 5003 0 -1 4202560 1378 0 0 0 441 48 0 0 20 0 22 0 4787723 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140081567537832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10431] ppid=10417 vsize=9824732 CPUtime=10.73 cores=1,3,5,7
/proc/10420/task/10431/stat : 10431 (java) S 10417 10420 5003 0 -1 4202560 3719 0 0 0 1067 6 0 0 20 0 22 0 4787724 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140080956017128 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10432] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10432/stat : 10432 (java) S 10417 10420 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4787725 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140080954963192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10433] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10433/stat : 10433 (java) S 10417 10420 5003 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 4787725 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140080953910280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10434] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10434/stat : 10434 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4787727 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140080952858768 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10435] ppid=10417 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/10420/task/10435/stat : 10435 (java) S 10417 10420 5003 0 -1 4202560 10376 0 0 0 187 2 0 0 20 0 22 0 4787727 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140080951806904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10436] ppid=10417 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/10420/task/10436/stat : 10436 (java) S 10417 10420 5003 0 -1 4202560 8239 0 0 0 128 2 0 0 20 0 22 0 4787727 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140080950754104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10420/tid=10437] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10437/stat : 10437 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4787727 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140080949701496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10438] ppid=10417 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/10420/task/10438/stat : 10438 (java) S 10417 10420 5003 0 -1 4202560 51 0 0 0 13 19 0 0 20 0 22 0 4787727 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140080948648904 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10463] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10463/stat : 10463 (java) S 10417 10420 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4788112 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140080946541736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10505] ppid=10417 vsize=9824732 CPUtime=348.45 cores=1,3,5,7
/proc/10420/task/10505/stat : 10505 (java) R 10417 10420 5003 0 -1 4202560 15 0 0 0 34839 6 0 0 20 0 22 0 4840123 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140080944435264 140081449145778 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10506] ppid=10417 vsize=9824732 CPUtime=348.5 cores=1,3,5,7
/proc/10420/task/10506/stat : 10506 (java) R 10417 10420 5003 0 -1 4202560 18 0 0 0 34845 5 0 0 20 0 22 0 4840123 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140080947592272 140081450178848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10507] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10507/stat : 10507 (java) S 10417 10420 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4840123 10060525568 1206405 33554432000 1073741824 1073778376 140735637231072 140080945489320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1765.33
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.401 s]
/proc/loadavg: 4.54 4.22 4.10 5/219 10805
/proc/meminfo: memFree=19424648/32872528 swapFree=1268996/1432516
[pid=10420] ppid=10417 vsize=9824732 CPUtime=1798.11 cores=1,3,5,7
/proc/10420/stat : 10420 (java) S 10417 10420 5003 0 -1 4202496 41329 0 1 0 179343 468 0 0 20 0 22 0 4787721 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140735637222208 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10420/statm: 2456183 1251454 2296 9 0 2446860 0
[pid=10420/tid=10422] ppid=10417 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/10420/task/10422/stat : 10422 (java) S 10417 10420 5003 0 -1 4202560 2453 0 1 0 43 3 0 0 20 0 22 0 4787722 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140081602454392 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10423] ppid=10417 vsize=9824732 CPUtime=5.72 cores=1,3,5,7
/proc/10420/task/10423/stat : 10423 (java) S 10417 10420 5003 0 -1 4202560 1213 0 0 0 524 48 0 0 20 0 22 0 4787723 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140081574906408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10424] ppid=10417 vsize=9824732 CPUtime=5.59 cores=1,3,5,7
/proc/10420/task/10424/stat : 10424 (java) S 10417 10420 5003 0 -1 4202560 2218 0 0 0 507 52 0 0 20 0 22 0 4787723 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140081573853608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10425] ppid=10417 vsize=9824732 CPUtime=5.96 cores=1,3,5,7
/proc/10420/task/10425/stat : 10425 (java) S 10417 10420 5003 0 -1 4202560 2992 0 0 0 547 49 0 0 20 0 22 0 4787723 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140081572800808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10426] ppid=10417 vsize=9824732 CPUtime=5.06 cores=1,3,5,7
/proc/10420/task/10426/stat : 10426 (java) S 10417 10420 5003 0 -1 4202560 1716 0 0 0 463 43 0 0 20 0 22 0 4787723 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140081571748008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10427] ppid=10417 vsize=9824732 CPUtime=4.85 cores=1,3,5,7
/proc/10420/task/10427/stat : 10427 (java) S 10417 10420 5003 0 -1 4202560 1474 0 0 0 442 43 0 0 20 0 22 0 4787723 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140081570696232 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10428] ppid=10417 vsize=9824732 CPUtime=5.3 cores=1,3,5,7
/proc/10420/task/10428/stat : 10428 (java) S 10417 10420 5003 0 -1 4202560 1527 0 0 0 480 50 0 0 20 0 22 0 4787723 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140081569643432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10420/tid=10429] ppid=10417 vsize=9824732 CPUtime=5.22 cores=1,3,5,7
/proc/10420/task/10429/stat : 10429 (java) S 10417 10420 5003 0 -1 4202560 1358 0 0 0 474 48 0 0 20 0 22 0 4787723 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140081568590632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10430] ppid=10417 vsize=9824732 CPUtime=5.13 cores=1,3,5,7
/proc/10420/task/10430/stat : 10430 (java) S 10417 10420 5003 0 -1 4202560 1429 0 0 0 462 51 0 0 20 0 22 0 4787723 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140081567537832 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10431] ppid=10417 vsize=9824732 CPUtime=10.73 cores=1,3,5,7
/proc/10420/task/10431/stat : 10431 (java) S 10417 10420 5003 0 -1 4202560 3719 0 0 0 1067 6 0 0 20 0 22 0 4787724 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140080956017128 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10432] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10432/stat : 10432 (java) S 10417 10420 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4787725 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140080954963192 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10433] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10433/stat : 10433 (java) S 10417 10420 5003 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 4787725 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140080953910280 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10420/tid=10434] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10434/stat : 10434 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4787727 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140080952858768 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10435] ppid=10417 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/10420/task/10435/stat : 10435 (java) S 10417 10420 5003 0 -1 4202560 10376 0 0 0 187 2 0 0 20 0 22 0 4787727 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140080951806904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10436] ppid=10417 vsize=9824732 CPUtime=1.3 cores=1,3,5,7
/proc/10420/task/10436/stat : 10436 (java) S 10417 10420 5003 0 -1 4202560 8239 0 0 0 128 2 0 0 20 0 22 0 4787727 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140080950754104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10420/tid=10437] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10437/stat : 10437 (java) S 10417 10420 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4787727 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140080949701496 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10438] ppid=10417 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/10420/task/10438/stat : 10438 (java) S 10417 10420 5003 0 -1 4202560 51 0 0 0 14 19 0 0 20 0 22 0 4787727 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140080948648904 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10463] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10463/stat : 10463 (java) S 10417 10420 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4788112 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140080946541736 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10420/tid=10505] ppid=10417 vsize=9824732 CPUtime=364.18 cores=1,3,5,7
/proc/10420/task/10505/stat : 10505 (java) R 10417 10420 5003 0 -1 4202560 15 0 0 0 36412 6 0 0 20 0 22 0 4840123 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140080944434416 140081449682287 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10420/tid=10506] ppid=10417 vsize=9824732 CPUtime=364.23 cores=1,3,5,7
/proc/10420/task/10506/stat : 10506 (java) R 10417 10420 5003 0 -1 4202560 18 0 0 0 36418 5 0 0 20 0 22 0 4840123 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140080947593072 140081450178848 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10420/tid=10507] ppid=10417 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/10420/task/10507/stat : 10507 (java) S 10417 10420 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4840123 10060525568 1251454 33554432000 1073741824 1073778376 140735637231072 140080945489320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.11
Current children cumulated vsize (KiB) 9824732

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10420 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 10420 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=459656
#  childrusage.ru_stime.tv_sec=4
#  childrusage.ru_stime.tv_usec=921251
# CPU time returned by wait4() is 1796.38
# while last known CPU time is 1798.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.02008
#  lost CPU user time (s): 2.15009
#  lost CPU system time (s): -0.13

Real time (s): 898.474
CPU time (s): 1800.13
CPU user time (s): 1795.58
CPU system time (s): 4.55
CPU usage (%): 200.354
Max. virtual memory (cumulated for all children) (KiB): 9825848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.46
system time used= 4.92125
maximum resident set size= 5005952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41373
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23629
involuntary context switches= 27045

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85296 second user time and 6.45502 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-30 00:12:06
IDJOB=4118953
IDBENCH=111551
IDSOLVER=2543
FILE ID=node130/4118953-1467238326
RUNJOBID= node130-1467233347-7542
PBS_JOBID= 19997578
Free space on /tmp= 71668 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament38.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118953-1467238326/watcher-4118953-1467238326 -o /tmp/evaluation-result-4118953-1467238326/solver-4118953-1467238326 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467233347-7542 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4118953-1467238326.opb

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

MD5SUM BENCH= 96b6291b864f3572b1789f7082442006
RANDOM SEED=114710995

node130.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.813
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:        23083464 kB
Buffers:          142656 kB
Cached:          3755336 kB
SwapCached:            0 kB
Active:          4154104 kB
Inactive:        3426508 kB
Active(anon):    3683728 kB
Inactive(anon):     1404 kB
Active(file):     470376 kB
Inactive(file):  3425104 kB
Unevictable:     1432516 kB
Mlocked:         1268996 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               916 kB
Writeback:             4 kB
AnonPages:       5133096 kB
Mapped:            22212 kB
Shmem:               204 kB
Slab:             617340 kB
SReclaimable:      61096 kB
SUnreclaim:       556244 kB
KernelStack:        1600 kB
PageTables:        14300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5340020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3776512 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= 71664 MiB
End job on node130 at 2016-06-30 00:27:05