Trace number 4119151

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)834301707282 1800.39 898.358

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-cardqp_inlp.lin.opb
MD5SUMab8a6f5e91a40bad312420b48a274fb7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark830514833470
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1275
Total number of constraints2451
Number of constraints which are clauses1225
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints1225
Minimum length of a constraint3
Maximum length of a constraint50
Number of terms in the objective function 1275
Biggest coefficient in the objective function 39357191031
Number of bits for the biggest coefficient in the objective function 36
Sum of the numbers in the objective function 25596713602429
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 39357191031
Number of bits of the biggest number in a constraint 36
Biggest sum of numbers in a constraint 25596713602429
Number of bits of the biggest sum of numbers45
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.03/0.27	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.03/0.27	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.27	c See www.sat4j.org for details.
0.03/0.28	c version PB16.v20160501
0.03/0.28	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.28	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.28	c java.vm.version	19.1-b02
0.03/0.28	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.28	c sun.arch.data.model	64
0.03/0.28	c java.version		1.6.0_24
0.03/0.28	c os.name		Linux
0.03/0.28	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.28	c os.arch		amd64
0.03/0.28	c Free memory 		501472288
0.03/0.28	c Max memory 		7480803328
0.03/0.28	c Total memory 		504102912
0.03/0.28	c Number of processors 	8
0.11/0.32	c Pseudo Boolean Optimization by upper bound
0.11/0.32	c ManyCore solver with 2 solvers running in parallel
0.11/0.32	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.11/0.32	c --- Begin Solver configuration ---
0.11/0.32	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.11/0.32	c Learn all clauses as in MiniSAT
0.11/0.32	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.32	c Expensive reason simplification
0.11/0.32	c Glucose 2.1 dynamic restart strategy
0.11/0.32	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.11/0.32	c timeout=2147483s
0.11/0.32	c DB Simplification allowed=false
0.11/0.32	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.32	c --- End Solver configuration ---
0.11/0.32	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.11/0.32	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.32	c --- Begin Solver configuration ---
0.11/0.32	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.11/0.32	c Learn all clauses as in MiniSAT
0.11/0.32	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.32	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.32	c No reason simplification
0.11/0.32	c Armin Biere (Picosat) restarts strategy
0.11/0.32	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.11/0.32	c timeout=2147483s
0.11/0.32	c DB Simplification allowed=false
0.11/0.32	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.11/0.32	c --- End Solver configuration ---
0.11/0.32	c solving HOME/instance-4119151-1467248675.opb
0.11/0.32	c reading problem ... 
0.11/0.32	c  objective function found
0.47/0.53	c ... done. Wall clock time 0.217s.
0.47/0.53	c declared #vars     1275
0.47/0.53	c #constraints  2452
0.47/0.55	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.47/0.55	c constraints type 
0.47/0.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1225
0.47/0.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
0.47/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1225
0.47/0.55	c 2452 constraints processed.
0.47/0.55	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.47/0.55	c constraints type 
0.47/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1225
0.47/0.55	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 2
0.47/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1225
0.47/0.55	c 2452 constraints processed.
0.47/0.55	c objective function length is 1275 literals
1.89/0.90	c And the winner is solver0
2.12/1.06	c SATISFIABLE
2.12/1.06	c OPTIMIZING...
2.12/1.06	c Got one! Elapsed wall clock time (in seconds):0.738
2.12/1.06	o 876785882861
2.41/1.17	c And the winner is solver0
2.80/1.56	c Got one! Elapsed wall clock time (in seconds):1.246
2.80/1.56	o 865887999243
3.85/1.97	c cleaning 3033 clauses out of 6076 with flag 11023/6076
5.12/2.46	c cleaning 4515 clauses out of 9042 with flag 24163/12075
6.38/3.07	c cleaning 5755 clauses out of 11528 with flag 40432/19076
8.02/3.85	c cleaning 6878 clauses out of 13772 with flag 59668/27075
9.87/4.78	c cleaning 7938 clauses out of 15894 with flag 81354/36075
10.47/5.04	c And the winner is solver0
10.47/5.07	c Got one! Elapsed wall clock time (in seconds):4.753
10.47/5.07	o 863904375588
11.05/5.31	c cleaning 6956 clauses out of 13922 with flag 6455/42041
12.10/5.81	c cleaning 6466 clauses out of 12966 with flag 19775/48041
13.71/6.65	c cleaning 6732 clauses out of 13500 with flag 37518/55041
15.77/7.65	c cleaning 7366 clauses out of 14768 with flag 60803/63041
17.97/8.74	c cleaning 8190 clauses out of 16402 with flag 82593/72041
20.38/9.91	c cleaning 9094 clauses out of 18212 with flag 108532/82041
22.78/11.19	c cleaning 10054 clauses out of 20118 with flag 138694/93041
25.66/12.54	c cleaning 11031 clauses out of 22065 with flag 167436/105042
28.66/14.05	c cleaning 12000 clauses out of 24033 with flag 202907/118041
32.06/15.75	c cleaning 13001 clauses out of 26033 with flag 239453/132041
35.75/17.54	c cleaning 14015 clauses out of 28032 with flag 278294/147041
39.16/19.27	c cleaning 14999 clauses out of 30017 with flag 319221/163041
43.75/21.53	c cleaning 15986 clauses out of 32018 with flag 360898/180041
48.16/23.74	c cleaning 17009 clauses out of 34033 with flag 404554/198042
53.09/26.10	c cleaning 17995 clauses out of 36024 with flag 451169/217042
54.28/26.73	c And the winner is solver0
54.37/27.08	c Got one! Elapsed wall clock time (in seconds):26.763
54.37/27.08	o 862874259447
56.05/27.92	c cleaning 14471 clauses out of 28979 with flag 12195/227992
57.25/28.51	c And the winner is solver0
57.25/28.59	c Got one! Elapsed wall clock time (in seconds):28.269
57.25/28.59	o 853025276320
58.74/29.34	c cleaning 12245 clauses out of 24544 with flag 17377/238028
60.46/30.14	c cleaning 9145 clauses out of 18300 with flag 36186/244029
62.07/30.96	c cleaning 8072 clauses out of 16154 with flag 55778/251028
64.07/31.91	c cleaning 8017 clauses out of 16083 with flag 76119/259029
66.06/32.99	c cleaning 8517 clauses out of 17065 with flag 99668/268028
67.46/33.63	c And the winner is solver0
67.58/34.09	c Got one! Elapsed wall clock time (in seconds):33.774
67.58/34.09	o 848422219451
68.98/34.85	c cleaning 9543 clauses out of 19128 with flag 12205/278608
70.58/35.62	c cleaning 7782 clauses out of 15585 with flag 26587/284608
72.19/36.46	c cleaning 7380 clauses out of 14803 with flag 45053/291608
74.32/37.49	c cleaning 7697 clauses out of 15423 with flag 68655/299608
76.52/38.59	c cleaning 8364 clauses out of 16727 with flag 98748/308609
77.11/38.86	c And the winner is solver0
77.31/39.10	c Got one! Elapsed wall clock time (in seconds):38.779
77.31/39.10	o 844396033571
78.11/39.54	c cleaning 6826 clauses out of 13714 with flag 8749/313960
79.74/40.37	c cleaning 6422 clauses out of 12888 with flag 26062/319960
81.34/41.11	c cleaning 6724 clauses out of 13466 with flag 45060/326960
83.14/42.03	c cleaning 7361 clauses out of 14742 with flag 67282/334960
85.34/43.12	c cleaning 8185 clauses out of 16381 with flag 95463/343960
87.82/44.34	c cleaning 9074 clauses out of 18196 with flag 127521/353960
90.42/45.61	c cleaning 10047 clauses out of 20122 with flag 158802/364960
93.22/47.09	c cleaning 11034 clauses out of 22076 with flag 195621/376961
96.62/48.75	c cleaning 12019 clauses out of 24042 with flag 231082/389961
100.43/50.69	c cleaning 12987 clauses out of 26022 with flag 275568/403960
104.42/52.68	c cleaning 14014 clauses out of 28035 with flag 330265/418960
109.24/55.02	c cleaning 14995 clauses out of 30021 with flag 386599/434960
114.21/57.51	c cleaning 16000 clauses out of 32026 with flag 441187/451960
119.57/60.11	c cleaning 16999 clauses out of 34026 with flag 498452/469960
125.17/62.91	c cleaning 18004 clauses out of 36027 with flag 558184/488960
130.97/65.87	c cleaning 19011 clauses out of 38023 with flag 623729/508960
137.77/69.24	c cleaning 19995 clauses out of 40013 with flag 696603/529961
145.17/72.92	c cleaning 20986 clauses out of 42017 with flag 769896/551960
152.94/76.74	c cleaning 22011 clauses out of 44031 with flag 837664/574960
160.95/80.76	c cleaning 22997 clauses out of 46020 with flag 914852/598960
169.00/84.80	c cleaning 23995 clauses out of 48023 with flag 986995/623960
178.58/89.52	c cleaning 25008 clauses out of 50028 with flag 1070288/649960
188.66/94.51	c cleaning 26010 clauses out of 52020 with flag 1164605/676960
199.05/99.74	c cleaning 27005 clauses out of 54011 with flag 1254099/704961
210.05/105.26	c cleaning 27997 clauses out of 56005 with flag 1350537/733960
221.57/110.95	c cleaning 28995 clauses out of 58008 with flag 1447869/763960
224.97/112.67	c And the winner is solver0
225.16/112.79	c Got one! Elapsed wall clock time (in seconds):112.47
225.16/112.79	o 841378953214
227.69/114.02	c cleaning 22045 clauses out of 44135 with flag 12363/779082
227.89/114.14	c And the winner is solver0
228.08/114.29	c Got one! Elapsed wall clock time (in seconds):113.975
228.08/114.29	o 840951106065
229.90/115.26	c cleaning 13943 clauses out of 27903 with flag 12163/784895
231.50/116.06	c cleaning 9949 clauses out of 19960 with flag 27154/790895
233.79/117.12	c cleaning 8475 clauses out of 17011 with flag 45915/797895
235.59/118.09	c cleaning 8257 clauses out of 16536 with flag 66369/805895
237.99/119.30	c cleaning 8626 clauses out of 17279 with flag 97582/814895
240.59/120.51	c cleaning 9311 clauses out of 18653 with flag 128809/824895
243.39/121.94	c cleaning 10167 clauses out of 20342 with flag 161510/835895
246.59/123.55	c cleaning 11066 clauses out of 22175 with flag 199857/847895
250.18/125.33	c cleaning 12045 clauses out of 24110 with flag 248695/860896
253.98/127.21	c cleaning 13008 clauses out of 26064 with flag 292145/874895
257.98/129.30	c cleaning 14028 clauses out of 28057 with flag 342814/889896
263.15/132.15	c cleaning 15010 clauses out of 30028 with flag 402576/905895
268.13/134.67	c cleaning 15998 clauses out of 32018 with flag 464964/922895
273.53/137.36	c cleaning 17007 clauses out of 34020 with flag 525839/940895
279.33/140.29	c cleaning 17999 clauses out of 36013 with flag 590135/959895
285.73/143.43	c cleaning 19005 clauses out of 38014 with flag 665745/979895
291.75/146.49	c cleaning 20002 clauses out of 40009 with flag 748731/1000895
298.36/149.71	c cleaning 21001 clauses out of 42007 with flag 833388/1022895
306.54/153.83	c cleaning 21975 clauses out of 44006 with flag 913463/1045895
314.80/157.94	c cleaning 23002 clauses out of 46031 with flag 990301/1069895
323.20/162.14	c cleaning 23999 clauses out of 48029 with flag 1059569/1094895
331.81/166.46	c cleaning 25013 clauses out of 50032 with flag 1131862/1120897
341.87/171.44	c cleaning 26008 clauses out of 52017 with flag 1236505/1147895
352.92/176.95	c cleaning 26997 clauses out of 54009 with flag 1348168/1175895
363.91/182.43	c cleaning 27989 clauses out of 56012 with flag 1441049/1204895
374.63/187.77	c cleaning 29012 clauses out of 58023 with flag 1543929/1234895
386.03/193.43	c cleaning 30005 clauses out of 60011 with flag 1647805/1265895
399.83/200.28	c cleaning 30998 clauses out of 62006 with flag 1756380/1297895
413.61/207.13	c cleaning 31990 clauses out of 64008 with flag 1866530/1330895
428.66/214.53	c cleaning 33010 clauses out of 66019 with flag 1977543/1364896
441.24/220.77	c And the winner is solver0
441.55/221.12	c Got one! Elapsed wall clock time (in seconds):220.803
441.55/221.12	o 840466832697
445.11/222.90	c cleaning 33795 clauses out of 67621 with flag 14051/1399508
447.71/224.24	c cleaning 19898 clauses out of 39826 with flag 33267/1405508
450.11/225.40	c cleaning 13453 clauses out of 26928 with flag 53130/1412508
452.89/226.78	c cleaning 10710 clauses out of 21475 with flag 80637/1420508
455.44/228.02	c cleaning 9880 clauses out of 19765 with flag 110683/1429508
458.04/229.30	c cleaning 9918 clauses out of 19886 with flag 144033/1439509
461.04/230.81	c cleaning 10480 clauses out of 20967 with flag 180918/1450508
464.04/232.38	c cleaning 11224 clauses out of 22487 with flag 220408/1462508
467.44/234.03	c cleaning 12118 clauses out of 24263 with flag 268684/1475508
470.90/235.79	c cleaning 13048 clauses out of 26145 with flag 317108/1489508
475.30/237.97	c cleaning 14045 clauses out of 28097 with flag 373181/1504508
479.50/240.05	c cleaning 15018 clauses out of 30052 with flag 431823/1520508
484.09/242.34	c cleaning 16002 clauses out of 32034 with flag 489763/1537508
488.89/244.74	c cleaning 17001 clauses out of 34032 with flag 551856/1555508
493.69/247.19	c cleaning 18007 clauses out of 36031 with flag 623776/1574508
498.91/249.77	c cleaning 19003 clauses out of 38025 with flag 704337/1594509
504.76/252.62	c cleaning 20006 clauses out of 40021 with flag 782637/1615508
510.36/255.47	c cleaning 21007 clauses out of 42015 with flag 863051/1637508
516.77/258.69	c cleaning 22002 clauses out of 44009 with flag 952357/1660509
524.16/262.31	c cleaning 22994 clauses out of 46006 with flag 1037829/1684508
532.76/266.65	c cleaning 23989 clauses out of 48012 with flag 1123671/1709508
543.76/272.65	c cleaning 25006 clauses out of 50023 with flag 1213905/1735508
554.17/277.89	c cleaning 26005 clauses out of 52017 with flag 1302481/1762508
564.05/282.77	c cleaning 27001 clauses out of 54015 with flag 1396142/1790511
574.23/287.87	c cleaning 27997 clauses out of 56011 with flag 1492748/1819508
584.83/293.18	c cleaning 28996 clauses out of 58014 with flag 1610706/1849508
596.89/299.12	c cleaning 29998 clauses out of 60019 with flag 1714655/1880509
612.09/306.74	c cleaning 31008 clauses out of 62021 with flag 1824860/1912509
627.77/314.54	c cleaning 31985 clauses out of 64012 with flag 1935248/1945508
643.30/322.22	c cleaning 33005 clauses out of 66027 with flag 2045094/1979508
659.64/330.35	c cleaning 33988 clauses out of 68022 with flag 2166926/2014508
675.22/338.03	c cleaning 35018 clauses out of 70035 with flag 2289010/2050509
690.61/345.77	c cleaning 35998 clauses out of 72016 with flag 2424906/2087508
710.00/355.34	c cleaning 36979 clauses out of 74018 with flag 2554446/2125508
728.78/364.66	c cleaning 38011 clauses out of 76039 with flag 2675252/2164508
729.58/365.07	c And the winner is solver0
729.86/365.27	c Got one! Elapsed wall clock time (in seconds):364.953
729.86/365.27	o 838749314131
732.01/366.32	c cleaning 21984 clauses out of 43995 with flag 12014/2170475
733.99/367.40	c cleaning 13999 clauses out of 28011 with flag 31359/2176475
735.99/368.31	c cleaning 10493 clauses out of 21012 with flag 50672/2183475
738.19/369.47	c cleaning 9251 clauses out of 18519 with flag 75551/2191475
740.39/370.58	c cleaning 9122 clauses out of 18268 with flag 103210/2200475
743.38/371.97	c cleaning 9566 clauses out of 19146 with flag 136636/2210475
746.36/373.42	c cleaning 10277 clauses out of 20580 with flag 173198/2221475
749.36/374.93	c cleaning 11146 clauses out of 22303 with flag 211670/2233475
752.56/376.50	c cleaning 12070 clauses out of 24157 with flag 254449/2246475
756.38/378.45	c cleaning 13042 clauses out of 26087 with flag 299334/2260475
760.92/380.67	c cleaning 14019 clauses out of 28046 with flag 347198/2275476
765.52/382.94	c cleaning 15008 clauses out of 30027 with flag 409773/2291476
770.11/385.29	c cleaning 16004 clauses out of 32019 with flag 477126/2308476
775.11/387.77	c cleaning 17004 clauses out of 34015 with flag 541338/2326476
781.24/390.73	c cleaning 18000 clauses out of 36010 with flag 620188/2345475
787.45/393.84	c cleaning 19003 clauses out of 38011 with flag 700108/2365476
794.06/397.19	c cleaning 20001 clauses out of 40008 with flag 771176/2386476
801.00/400.52	c cleaning 20982 clauses out of 42006 with flag 855174/2408475
807.98/404.06	c cleaning 21993 clauses out of 44024 with flag 940615/2431475
815.78/407.98	c cleaning 22997 clauses out of 46031 with flag 1020109/2455475
823.38/411.78	c cleaning 24016 clauses out of 48034 with flag 1103447/2480475
831.88/415.92	c cleaning 24993 clauses out of 50018 with flag 1194838/2506475
841.26/420.68	c cleaning 26004 clauses out of 52025 with flag 1298667/2533475
851.59/425.78	c cleaning 26996 clauses out of 54021 with flag 1399597/2561475
862.37/431.15	c cleaning 27999 clauses out of 56025 with flag 1492542/2590475
872.67/436.28	c cleaning 29010 clauses out of 58026 with flag 1597017/2620475
883.87/441.82	c cleaning 30004 clauses out of 60016 with flag 1709878/2651475
896.28/448.08	c cleaning 31005 clauses out of 62014 with flag 1823114/2683477
907.96/453.89	c cleaning 31995 clauses out of 64007 with flag 1925791/2716475
919.97/459.85	c cleaning 33005 clauses out of 66013 with flag 2040190/2750476
934.48/467.02	c cleaning 34001 clauses out of 68007 with flag 2177008/2785475
949.27/474.41	c cleaning 34994 clauses out of 70007 with flag 2318476/2821476
964.75/482.15	c cleaning 35993 clauses out of 72012 with flag 2449546/2858475
982.84/491.16	c cleaning 36999 clauses out of 74019 with flag 2591813/2896475
999.95/499.65	c cleaning 37997 clauses out of 76020 with flag 2721625/2935475
1016.75/508.01	c cleaning 39004 clauses out of 78023 with flag 2849841/2975475
1031.55/515.41	c cleaning 40003 clauses out of 80019 with flag 2970092/3016475
1049.06/524.17	c cleaning 40988 clauses out of 82016 with flag 3096981/3058475
1071.61/535.39	c cleaning 42006 clauses out of 84028 with flag 3244201/3101475
1094.38/546.67	c cleaning 42999 clauses out of 86022 with flag 3409741/3145475
1117.40/558.04	c cleaning 44002 clauses out of 88023 with flag 3559174/3190475
1138.03/568.23	c cleaning 45001 clauses out of 90025 with flag 3717140/3236479
1157.23/577.82	c cleaning 46007 clauses out of 92021 with flag 3883699/3283476
1181.45/589.81	c cleaning 46991 clauses out of 94013 with flag 4033330/3331475
1208.28/603.15	c cleaning 47997 clauses out of 96022 with flag 4195033/3380475
1239.16/619.56	c cleaning 48995 clauses out of 98025 with flag 4361587/3430475
1268.61/634.05	c cleaning 49991 clauses out of 100030 with flag 4569471/3481475
1300.40/649.89	c cleaning 51012 clauses out of 102039 with flag 4766648/3533475
1330.60/664.82	c cleaning 51996 clauses out of 104027 with flag 4947999/3586475
1365.61/682.21	c cleaning 53006 clauses out of 106031 with flag 5131071/3640475
1400.48/699.59	c cleaning 53996 clauses out of 108025 with flag 5318316/3695475
1432.22/715.34	c cleaning 55010 clauses out of 110029 with flag 5487016/3751475
1461.22/729.77	c cleaning 55997 clauses out of 112019 with flag 5662407/3808475
1491.52/744.82	c cleaning 57000 clauses out of 114022 with flag 5842455/3866475
1518.19/758.10	c cleaning 58002 clauses out of 116022 with flag 6006496/3925475
1548.27/773.10	c cleaning 59003 clauses out of 118021 with flag 6196867/3985476
1588.73/793.24	c cleaning 59995 clauses out of 120017 with flag 6413954/4046475
1629.05/813.37	c cleaning 60991 clauses out of 122023 with flag 6618836/4108476
1662.81/830.13	c And the winner is solver0
1663.21/830.43	c Got one! Elapsed wall clock time (in seconds):830.114
1663.21/830.43	o 834301707282
1669.42/833.42	c cleaning 58115 clauses out of 116257 with flag 18876/4163701
1673.82/835.62	c cleaning 32050 clauses out of 64142 with flag 38086/4169701
1676.84/837.19	c cleaning 19530 clauses out of 39092 with flag 63696/4176701
1679.63/838.59	c cleaning 13768 clauses out of 27562 with flag 90519/4184701
1682.60/839.96	c cleaning 11381 clauses out of 22795 with flag 125374/4193702
1685.40/841.38	c cleaning 10689 clauses out of 21413 with flag 162822/4203701
1688.40/842.82	c cleaning 10850 clauses out of 21726 with flag 202623/4214703
1691.60/844.42	c cleaning 11410 clauses out of 22874 with flag 243777/4226701
1694.81/846.09	c cleaning 12219 clauses out of 24464 with flag 289730/4239701
1698.40/847.87	c cleaning 13104 clauses out of 26245 with flag 339767/4253701
1702.76/849.99	c cleaning 14069 clauses out of 28142 with flag 390950/4268702
1707.36/852.23	c cleaning 15017 clauses out of 30072 with flag 441837/4284701
1712.16/854.70	c cleaning 16016 clauses out of 32055 with flag 499986/4301701
1717.75/857.46	c cleaning 17015 clauses out of 34039 with flag 563653/4319701
1723.96/860.59	c cleaning 18001 clauses out of 36024 with flag 638387/4338701
1729.71/863.36	c cleaning 19009 clauses out of 38023 with flag 723335/4358701
1736.30/866.60	c cleaning 19985 clauses out of 40014 with flag 795576/4379701
1743.32/870.18	c cleaning 20998 clauses out of 42029 with flag 882961/4401701
1751.62/874.24	c cleaning 22016 clauses out of 44032 with flag 958047/4424702
1759.03/877.94	c cleaning 22996 clauses out of 46015 with flag 1038992/4448701
1767.01/881.96	c cleaning 23996 clauses out of 48019 with flag 1125561/4473701
1775.49/886.16	c cleaning 25008 clauses out of 50023 with flag 1213509/4499701
1784.29/890.59	c cleaning 26007 clauses out of 52015 with flag 1304928/4526701
1793.69/895.22	c cleaning 27004 clauses out of 54008 with flag 1408128/4554701
1800.00/898.31	c >>>>>>>>>> Solver number 0 (12 answers) <<<<<<<<<<<<<<<<<<
1800.00/898.31	c starts		: 8132
1800.00/898.31	c conflicts		: 4577114
1800.00/898.31	c decisions		: 28285622
1800.00/898.31	c propagations		: 717874725
1800.00/898.31	c inspects		: 10196815178
1800.00/898.31	c shortcuts		: 0
1800.00/898.31	c learnt literals	: 0
1800.00/898.31	c learnt binary clauses	: 0
1800.00/898.31	c learnt ternary clauses	: 0
1800.00/898.31	c learnt constraints	: 4577114
1800.00/898.31	c ignored constraints	: 0
1800.00/898.31	c root simplifications	: 0
1800.00/898.31	c removed literals (reason simplification)	: 130499956
1800.00/898.31	c reason swapping (by a shorter reason)	: 0
1800.00/898.31	c Calls to reduceDB	: 205
1800.00/898.31	c Number of update (reduction) of LBD	: 1298994
1800.00/898.31	c Imported unit clauses	: 0
1800.00/898.31	c number of reductions to clauses (during analyze)	: 0
1800.00/898.31	c number of learned constraints concerned by reduction	: 0
1800.00/898.31	c number of learning phase by resolution	: 0
1800.00/898.31	c number of learning phase by cutting planes	: 0
1800.00/898.31	c speed (assignments/second)	: 799641.2403953902
1800.00/898.31	c non guided choices	0
1800.00/898.33	c learnt constraints type 
1800.00/898.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 49417
1800.00/898.33	c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<<
1800.00/898.33	c starts		: 58
1800.00/898.33	c conflicts		: 7176
1800.00/898.33	c decisions		: 31487
1800.00/898.33	c propagations		: 856280
1800.00/898.33	c inspects		: 426886468
1800.00/898.33	c shortcuts		: 0
1800.00/898.33	c learnt literals	: 0
1800.00/898.33	c learnt binary clauses	: 0
1800.00/898.33	c learnt ternary clauses	: 0
1800.00/898.33	c learnt constraints	: 7166
1800.00/898.33	c ignored constraints	: 0
1800.00/898.33	c root simplifications	: 0
1800.00/898.33	c removed literals (reason simplification)	: 0
1800.00/898.33	c reason swapping (by a shorter reason)	: 0
1800.00/898.33	c Calls to reduceDB	: 0
1800.00/898.33	c Number of update (reduction) of LBD	: 0
1800.00/898.33	c Imported unit clauses	: 0
1800.00/898.33	c number of reductions to clauses (during analyze)	: 0
1800.00/898.33	c number of learned constraints concerned by reduction	: 0
1800.00/898.33	c number of learning phase by resolution	: 0
1800.00/898.33	c number of learning phase by cutting planes	: 0
1800.00/898.33	c speed (assignments/second)	: 12612.570149209761
1800.00/898.33	c non guided choices	0
1800.00/898.33	c learnt constraints type 
1800.00/898.33	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2
1800.00/898.33	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 15
1800.00/898.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 7149
1800.00/898.33	s SATISFIABLE
1800.00/898.33	c Found 12 solution(s)
1800.00/898.34	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 
1800.00/898.34	c objective function=834301707282
1800.00/898.34	c Total wall clock time (in seconds): 898.021

Verifier Data 

OK	834301707282

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

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

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


[startup+0 s]
/proc/loadavg: 1.43 1.88 1.92 2/178 9361
/proc/meminfo: memFree=29229956/32872528 swapFree=7620/7620
[pid=9361] ppid=9358 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/9361/stat : 9361 (runsolver) D 9358 9361 8968 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 5763651 24911872 151 33554432000 4194304 4338465 140736016415312 140736016412952 218234703031 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/9361/statm: 6082 151 105 36 0 2655 0

[startup+0.10006 s]
/proc/loadavg: 1.43 1.88 1.92 2/178 9361
/proc/meminfo: memFree=29229956/32872528 swapFree=7620/7620
[pid=9361] ppid=9358 vsize=102664 CPUtime=0 cores=0,2,4,6
/proc/9361/stat : 9361 (java) S 9358 9361 8968 0 -1 4202496 1495 0 12 0 0 0 0 0 20 0 2 0 5763651 105127936 1109 33554432000 1073741824 1073778376 140733923169680 140733923160816 218238058557 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 3 0 0
/proc/9361/statm: 25666 1109 856 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664

[startup+0.200196 s]
/proc/loadavg: 1.43 1.88 1.92 2/178 9361
/proc/meminfo: memFree=29229956/32872528 swapFree=7620/7620
[pid=9361] ppid=9358 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/9361/stat : 9361 (java) S 9358 9361 8968 0 -1 4202496 3125 0 14 0 2 1 0 0 20 0 13 0 5763651 9446973440 3757 33554432000 1073741824 1073778376 140733923169680 140733923160816 218238058557 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 3 0 0
/proc/9361/statm: 2306390 3757 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.300185 s]
/proc/loadavg: 1.43 1.88 1.92 2/178 9361
/proc/meminfo: memFree=29229956/32872528 swapFree=7620/7620
[pid=9361] ppid=9358 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/9361/stat : 9361 (java) S 9358 9361 8968 0 -1 4202496 4449 0 16 0 9 2 0 0 20 0 18 0 5763651 9787879424 6091 33554432000 1073741824 1073778376 140733923169680 140733923160816 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0
/proc/9361/statm: 2389619 6091 2141 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.700178 s]
/proc/loadavg: 1.43 1.88 1.92 2/178 9361
/proc/meminfo: memFree=29229956/32872528 swapFree=7620/7620
[pid=9361] ppid=9358 vsize=9824732 CPUtime=1.09 cores=0,2,4,6
/proc/9361/stat : 9361 (java) S 9358 9361 8968 0 -1 4202496 10214 0 16 0 106 3 0 0 20 0 22 0 5763651 10060525568 14138 33554432000 1073741824 1073778376 140733923169680 140733923160816 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0
/proc/9361/statm: 2456183 14138 2256 9 0 2446860 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9824732

[startup+1.5008 s]
/proc/loadavg: 1.48 1.89 1.92 8/217 9403
/proc/meminfo: memFree=28900060/32872528 swapFree=7620/7620
[pid=9361] ppid=9358 vsize=9824732 CPUtime=2.8 cores=0,2,4,6
/proc/9361/stat : 9361 (java) S 9358 9361 8968 0 -1 4202496 24053 0 16 0 271 9 0 0 20 0 19 0 5763651 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140733923160816 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0
/proc/9361/statm: 2456183 26249 2263 9 0 2446860 0
[pid=9361/tid=9364] ppid=9358 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/9361/task/9364/stat : 9364 (java) S 9358 9361 8968 0 -1 4202560 2410 0 6 0 30 2 0 0 20 0 19 0 5763659 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140332176147320 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 12 0 0
[pid=9361/tid=9370] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9370/stat : 9370 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5763661 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140332154248104 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9373] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9373/stat : 9373 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5763661 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140332153195560 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9375] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9375/stat : 9375 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5763661 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140332152142504 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9376] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9376/stat : 9376 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5763661 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140331815267112 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9377] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9377/stat : 9377 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5763661 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140331814214056 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9378] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9378/stat : 9378 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5763661 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140331813161512 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9379] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9379/stat : 9379 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5763661 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140331812108456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9380] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9380/stat : 9380 (java) S 9358 9361 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5763661 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140331811055912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9381] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9381/stat : 9381 (java) S 9358 9361 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5763665 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140331798858600 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9384] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9384/stat : 9384 (java) S 9358 9361 8968 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5763666 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140331797804920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9386] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9386/stat : 9386 (java) S 9358 9361 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5763666 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140331796751752 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9387] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9387/stat : 9387 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5763672 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140331795700496 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9389] ppid=9358 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/9361/task/9389/stat : 9389 (java) S 9358 9361 8968 0 -1 4202560 10801 0 1 0 73 2 0 0 20 0 19 0 5763672 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140331794647352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9391] ppid=9358 vsize=9824732 CPUtime=0.78 cores=0,2,4,6
/proc/9361/task/9391/stat : 9391 (java) S 9358 9361 8968 0 -1 4202560 9494 0 1 0 76 2 0 0 20 0 19 0 5763672 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140331793594808 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9393] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9393/stat : 9393 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5763672 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140331792541944 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9395] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9395/stat : 9395 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5763672 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140331791489608 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9400] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9400/stat : 9400 (java) S 9358 9361 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5763708 10060525568 26249 33554432000 1073741824 1073778376 140733923169680 140331787179432 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 9824732

[startup+3.10094 s]
/proc/loadavg: 1.48 1.89 1.92 7/221 9413
/proc/meminfo: memFree=28758348/32872528 swapFree=7620/7620
[pid=9361] ppid=9358 vsize=9824732 CPUtime=6.59 cores=0,2,4,6
/proc/9361/stat : 9361 (java) S 9358 9361 8968 0 -1 4202496 24529 0 16 0 648 11 0 0 20 0 22 0 5763651 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140733923160816 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0
/proc/9361/statm: 2456183 50435 2285 9 0 2446860 0
[pid=9361/tid=9364] ppid=9358 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/9361/task/9364/stat : 9364 (java) S 9358 9361 8968 0 -1 4202560 2411 0 6 0 31 2 0 0 20 0 22 0 5763659 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140332176147320 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=9361/tid=9370] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9370/stat : 9370 (java) S 9358 9361 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 5763661 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140332154248104 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9373] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9373/stat : 9373 (java) S 9358 9361 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 5763661 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140332153195560 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9375] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9375/stat : 9375 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5763661 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140332152142504 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9376] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9376/stat : 9376 (java) S 9358 9361 8968 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 5763661 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331815267112 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9377] ppid=9358 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9361/task/9377/stat : 9377 (java) S 9358 9361 8968 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 5763661 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331814214056 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9378] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9378/stat : 9378 (java) S 9358 9361 8968 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 5763661 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331813161512 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9379] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9379/stat : 9379 (java) S 9358 9361 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 5763661 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331812108456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9380] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9380/stat : 9380 (java) S 9358 9361 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 5763661 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331811055912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9381] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9381/stat : 9381 (java) S 9358 9361 8968 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 5763665 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331798858600 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9384] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9384/stat : 9384 (java) S 9358 9361 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 5763666 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331797804920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9386] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9386/stat : 9386 (java) S 9358 9361 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 5763666 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331796751752 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9387] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9387/stat : 9387 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5763672 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331795700496 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9389] ppid=9358 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/9361/task/9389/stat : 9389 (java) S 9358 9361 8968 0 -1 4202560 11104 0 1 0 110 2 0 0 20 0 22 0 5763672 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331794647352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9391] ppid=9358 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/9361/task/9391/stat : 9391 (java) S 9358 9361 8968 0 -1 4202560 9498 0 1 0 108 2 0 0 20 0 22 0 5763672 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331793594808 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9393] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9393/stat : 9393 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5763672 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331792541944 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9395] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9395/stat : 9395 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5763672 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331791489608 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9400] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9400/stat : 9400 (java) S 9358 9361 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 5763708 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331787179432 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9406] ppid=9358 vsize=9824732 CPUtime=1.48 cores=0,2,4,6
/proc/9361/task/9406/stat : 9406 (java) R 9358 9361 8968 0 -1 4202560 6 0 0 0 148 0 0 0 20 0 22 0 5763808 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331790336616 140332033966700 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9407] ppid=9358 vsize=9824732 CPUtime=1.48 cores=0,2,4,6
/proc/9361/task/9407/stat : 9407 (java) R 9358 9361 8968 0 -1 4202560 41 0 0 0 148 0 0 0 20 0 22 0 5763808 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331789283896 140332034161687 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9408] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9408/stat : 9408 (java) S 9358 9361 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 5763809 10060525568 50435 33554432000 1073741824 1073778376 140733923169680 140331788232360 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 9824732

[startup+6.30093 s]
/proc/loadavg: 1.52 1.89 1.92 5/221 9434
/proc/meminfo: memFree=28484300/32872528 swapFree=7620/7620
[pid=9361] ppid=9358 vsize=9824732 CPUtime=13.1 cores=0,2,4,6
/proc/9361/stat : 9361 (java) S 9358 9361 8968 0 -1 4202496 24821 0 16 0 1289 21 0 0 20 0 22 0 5763651 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140733923160816 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0
/proc/9361/statm: 2456183 88720 2286 9 0 2446860 0
[pid=9361/tid=9364] ppid=9358 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/9361/task/9364/stat : 9364 (java) S 9358 9361 8968 0 -1 4202560 2411 0 6 0 32 2 0 0 20 0 22 0 5763659 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140332176147320 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=9361/tid=9370] ppid=9358 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/9361/task/9370/stat : 9370 (java) S 9358 9361 8968 0 -1 4202560 35 0 0 0 4 2 0 0 20 0 22 0 5763661 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140332154248104 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9373] ppid=9358 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/9361/task/9373/stat : 9373 (java) S 9358 9361 8968 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 5763661 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140332153195560 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9375] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9375/stat : 9375 (java) S 9358 9361 8968 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 5763661 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140332152142504 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9376] ppid=9358 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/9361/task/9376/stat : 9376 (java) S 9358 9361 8968 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 5763661 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140331815267112 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9377] ppid=9358 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/9361/task/9377/stat : 9377 (java) S 9358 9361 8968 0 -1 4202560 38 0 0 0 4 3 0 0 20 0 22 0 5763661 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140331814214056 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9378] ppid=9358 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/9361/task/9378/stat : 9378 (java) S 9358 9361 8968 0 -1 4202560 18 0 0 0 2 1 0 0 20 0 22 0 5763661 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140331813161512 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9379] ppid=9358 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9361/task/9379/stat : 9379 (java) S 9358 9361 8968 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 5763661 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140331812108456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9380] ppid=9358 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/9361/task/9380/stat : 9380 (java) S 9358 9361 8968 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 5763661 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140331811055912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9381] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9381/stat : 9381 (java) S 9358 9361 8968 0 -1 4202560 201 0 0 0 0 0 0 0 20 0 22 0 5763665 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140331798858600 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9384] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9384/stat : 9384 (java) S 9358 9361 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 5763666 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140331797804920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9386] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9386/stat : 9386 (java) S 9358 9361 8968 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 5763666 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140331796751752 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9387] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9387/stat : 9387 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5763672 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140331795700496 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9389] ppid=9358 vsize=9824732 CPUtime=1.17 cores=0,2,4,6
/proc/9361/task/9389/stat : 9389 (java) S 9358 9361 8968 0 -1 4202560 11104 0 1 0 115 2 0 0 20 0 22 0 5763672 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140331794647352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9391] ppid=9358 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/9361/task/9391/stat : 9391 (java) S 9358 9361 8968 0 -1 4202560 9498 0 1 0 110 2 0 0 20 0 22 0 5763672 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140331793594808 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9393] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9393/stat : 9393 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5763672 10060525568 88720 33554432000 1073741824 1073778376 140733923169680 140331792541944 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9395] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6

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


[startup+882.308 s]
/proc/loadavg: 3.88 3.82 3.10 5/220 9667
/proc/meminfo: memFree=22500256/32872528 swapFree=7620/7620
[pid=9361] ppid=9358 vsize=9824732 CPUtime=1767.91 cores=0,2,4,6
/proc/9361/stat : 9361 (java) S 9358 9361 8968 0 -1 4202496 34418 0 16 0 176528 263 0 0 20 0 22 0 5763651 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140733923160816 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0
/proc/9361/statm: 2456183 961450 2294 9 0 2446860 0
[pid=9361/tid=9364] ppid=9358 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/9361/task/9364/stat : 9364 (java) S 9358 9361 8968 0 -1 4202560 2417 0 6 0 39 3 0 0 20 0 22 0 5763659 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140332176147320 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=9361/tid=9370] ppid=9358 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/9361/task/9370/stat : 9370 (java) S 9358 9361 8968 0 -1 4202560 653 0 0 0 245 20 0 0 20 0 22 0 5763661 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140332154248104 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9373] ppid=9358 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/9361/task/9373/stat : 9373 (java) S 9358 9361 8968 0 -1 4202560 612 0 0 0 233 21 0 0 20 0 22 0 5763661 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140332153195560 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9375] ppid=9358 vsize=9824732 CPUtime=2.68 cores=0,2,4,6
/proc/9361/task/9375/stat : 9375 (java) S 9358 9361 8968 0 -1 4202560 606 0 0 0 251 17 0 0 20 0 22 0 5763661 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140332152142504 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9376] ppid=9358 vsize=9824732 CPUtime=2.61 cores=0,2,4,6
/proc/9361/task/9376/stat : 9376 (java) S 9358 9361 8968 0 -1 4202560 706 0 0 0 238 23 0 0 20 0 22 0 5763661 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331815267112 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9377] ppid=9358 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/9361/task/9377/stat : 9377 (java) S 9358 9361 8968 0 -1 4202560 590 0 0 0 250 21 0 0 20 0 22 0 5763661 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331814214056 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9378] ppid=9358 vsize=9824732 CPUtime=3.07 cores=0,2,4,6
/proc/9361/task/9378/stat : 9378 (java) S 9358 9361 8968 0 -1 4202560 757 0 0 0 281 26 0 0 20 0 22 0 5763661 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331813161512 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9379] ppid=9358 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/9361/task/9379/stat : 9379 (java) S 9358 9361 8968 0 -1 4202560 541 0 0 0 237 18 0 0 20 0 22 0 5763661 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331812108456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9380] ppid=9358 vsize=9824732 CPUtime=2.36 cores=0,2,4,6
/proc/9361/task/9380/stat : 9380 (java) S 9358 9361 8968 0 -1 4202560 606 0 0 0 220 16 0 0 20 0 22 0 5763661 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331811055912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9381] ppid=9358 vsize=9824732 CPUtime=3.93 cores=0,2,4,6
/proc/9361/task/9381/stat : 9381 (java) S 9358 9361 8968 0 -1 4202560 2798 0 0 0 386 7 0 0 20 0 22 0 5763665 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331798858600 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9384] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9384/stat : 9384 (java) S 9358 9361 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 5763666 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331797804920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9386] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9386/stat : 9386 (java) S 9358 9361 8968 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 5763666 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331796751752 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9387] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9387/stat : 9387 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5763672 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331795700496 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9389] ppid=9358 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/9361/task/9389/stat : 9389 (java) S 9358 9361 8968 0 -1 4202560 11109 0 1 0 125 2 0 0 20 0 22 0 5763672 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331794647352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9391] ppid=9358 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/9361/task/9391/stat : 9391 (java) S 9358 9361 8968 0 -1 4202560 9504 0 1 0 130 2 0 0 20 0 22 0 5763672 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331793594808 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9393] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9393/stat : 9393 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5763672 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331792541944 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9395] ppid=9358 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/9361/task/9395/stat : 9395 (java) S 9358 9361 8968 0 -1 4202560 51 0 0 0 16 16 0 0 20 0 22 0 5763672 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331791489608 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9400] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9400/stat : 9400 (java) S 9358 9361 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 5763708 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331787179432 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9658] ppid=9358 vsize=9824732 CPUtime=51.35 cores=0,2,4,6
/proc/9361/task/9658/stat : 9658 (java) R 9358 9361 8968 0 -1 4202560 7 0 0 0 5135 0 0 0 20 0 22 0 5846695 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331788231416 140332033966394 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9659] ppid=9358 vsize=9824732 CPUtime=51.36 cores=0,2,4,6
/proc/9361/task/9659/stat : 9659 (java) R 9358 9361 8968 0 -1 4202560 4 0 0 0 5136 0 0 0 20 0 22 0 5846695 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331790335256 140332034044125 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9660] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9660/stat : 9660 (java) S 9358 9361 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 5846695 10060525568 961450 33554432000 1073741824 1073778376 140733923169680 140331789284264 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1767.91
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.301 s]
/proc/loadavg: 3.91 3.83 3.11 4/218 9667
/proc/meminfo: memFree=22485816/32872528 swapFree=7620/7620
[pid=9361] ppid=9358 vsize=9824732 CPUtime=1800 cores=0,2,4,6
/proc/9361/stat : 9361 (java) S 9358 9361 8968 0 -1 4202496 34432 0 16 0 179736 264 0 0 20 0 22 0 5763651 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140733923160816 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0
/proc/9361/statm: 2456183 963496 2294 9 0 2446860 0
[pid=9361/tid=9364] ppid=9358 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/9361/task/9364/stat : 9364 (java) S 9358 9361 8968 0 -1 4202560 2417 0 6 0 39 3 0 0 20 0 22 0 5763659 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140332176147320 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=9361/tid=9370] ppid=9358 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/9361/task/9370/stat : 9370 (java) S 9358 9361 8968 0 -1 4202560 653 0 0 0 246 20 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140332154248104 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9373] ppid=9358 vsize=9824732 CPUtime=2.56 cores=0,2,4,6
/proc/9361/task/9373/stat : 9373 (java) S 9358 9361 8968 0 -1 4202560 612 0 0 0 235 21 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140332153195560 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9375] ppid=9358 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/9361/task/9375/stat : 9375 (java) S 9358 9361 8968 0 -1 4202560 610 0 0 0 253 17 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140332152142504 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9376] ppid=9358 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/9361/task/9376/stat : 9376 (java) S 9358 9361 8968 0 -1 4202560 709 0 0 0 242 23 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331815267112 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9377] ppid=9358 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/9361/task/9377/stat : 9377 (java) S 9358 9361 8968 0 -1 4202560 594 0 0 0 256 21 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331814214056 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9378] ppid=9358 vsize=9824732 CPUtime=3.11 cores=0,2,4,6
/proc/9361/task/9378/stat : 9378 (java) S 9358 9361 8968 0 -1 4202560 758 0 0 0 285 26 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331813161512 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9379] ppid=9358 vsize=9824732 CPUtime=2.58 cores=0,2,4,6
/proc/9361/task/9379/stat : 9379 (java) S 9358 9361 8968 0 -1 4202560 541 0 0 0 240 18 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331812108456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9380] ppid=9358 vsize=9824732 CPUtime=2.39 cores=0,2,4,6
/proc/9361/task/9380/stat : 9380 (java) S 9358 9361 8968 0 -1 4202560 607 0 0 0 223 16 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331811055912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9381] ppid=9358 vsize=9824732 CPUtime=3.94 cores=0,2,4,6
/proc/9361/task/9381/stat : 9381 (java) S 9358 9361 8968 0 -1 4202560 2798 0 0 0 386 8 0 0 20 0 22 0 5763665 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331798858600 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9384] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9384/stat : 9384 (java) S 9358 9361 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 5763666 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331797804920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9386] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9386/stat : 9386 (java) S 9358 9361 8968 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 5763666 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331796751752 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9387] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9387/stat : 9387 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5763672 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331795700496 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9389] ppid=9358 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/9361/task/9389/stat : 9389 (java) S 9358 9361 8968 0 -1 4202560 11109 0 1 0 125 2 0 0 20 0 22 0 5763672 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331794647352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9391] ppid=9358 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/9361/task/9391/stat : 9391 (java) S 9358 9361 8968 0 -1 4202560 9504 0 1 0 130 2 0 0 20 0 22 0 5763672 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331793594808 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9393] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9393/stat : 9393 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5763672 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331792541944 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9395] ppid=9358 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/9361/task/9395/stat : 9395 (java) S 9358 9361 8968 0 -1 4202560 51 0 0 0 17 16 0 0 20 0 22 0 5763672 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331791489608 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9400] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9400/stat : 9400 (java) S 9358 9361 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 5763708 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331787179432 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9658] ppid=9358 vsize=9824732 CPUtime=67.27 cores=0,2,4,6
/proc/9361/task/9658/stat : 9658 (java) R 9358 9361 8968 0 -1 4202560 7 0 0 0 6726 1 0 0 20 0 22 0 5846695 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331788229296 140332033966700 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9659] ppid=9358 vsize=9824732 CPUtime=67.29 cores=0,2,4,6
/proc/9361/task/9659/stat : 9659 (java) R 9358 9361 8968 0 -1 4202560 5 0 0 0 6728 1 0 0 20 0 22 0 5846695 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331790335136 140332034009309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9660] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9660/stat : 9660 (java) S 9358 9361 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 5846695 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331789284264 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 9361 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+898.301 s]
/proc/loadavg: 3.91 3.83 3.11 4/218 9667
/proc/meminfo: memFree=22485816/32872528 swapFree=7620/7620
[pid=9361] ppid=9358 vsize=9824732 CPUtime=1800 cores=0,2,4,6
/proc/9361/stat : 9361 (java) S 9358 9361 8968 0 -1 4202496 34432 0 16 0 179736 264 0 0 20 0 22 0 5763651 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140733923160816 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3 0 0
/proc/9361/statm: 2456183 963496 2294 9 0 2446860 0
[pid=9361/tid=9364] ppid=9358 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/9361/task/9364/stat : 9364 (java) S 9358 9361 8968 0 -1 4202560 2417 0 6 0 39 3 0 0 20 0 22 0 5763659 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140332176147320 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 12 0 0
[pid=9361/tid=9370] ppid=9358 vsize=9824732 CPUtime=2.66 cores=0,2,4,6
/proc/9361/task/9370/stat : 9370 (java) S 9358 9361 8968 0 -1 4202560 653 0 0 0 246 20 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140332154248104 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9373] ppid=9358 vsize=9824732 CPUtime=2.56 cores=0,2,4,6
/proc/9361/task/9373/stat : 9373 (java) S 9358 9361 8968 0 -1 4202560 612 0 0 0 235 21 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140332153195560 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9375] ppid=9358 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/9361/task/9375/stat : 9375 (java) S 9358 9361 8968 0 -1 4202560 610 0 0 0 253 17 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140332152142504 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9376] ppid=9358 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/9361/task/9376/stat : 9376 (java) S 9358 9361 8968 0 -1 4202560 709 0 0 0 242 23 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331815267112 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9377] ppid=9358 vsize=9824732 CPUtime=2.77 cores=0,2,4,6
/proc/9361/task/9377/stat : 9377 (java) S 9358 9361 8968 0 -1 4202560 594 0 0 0 256 21 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331814214056 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9378] ppid=9358 vsize=9824732 CPUtime=3.11 cores=0,2,4,6
/proc/9361/task/9378/stat : 9378 (java) S 9358 9361 8968 0 -1 4202560 758 0 0 0 285 26 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331813161512 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9379] ppid=9358 vsize=9824732 CPUtime=2.58 cores=0,2,4,6
/proc/9361/task/9379/stat : 9379 (java) S 9358 9361 8968 0 -1 4202560 541 0 0 0 240 18 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331812108456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9380] ppid=9358 vsize=9824732 CPUtime=2.39 cores=0,2,4,6
/proc/9361/task/9380/stat : 9380 (java) S 9358 9361 8968 0 -1 4202560 607 0 0 0 223 16 0 0 20 0 22 0 5763661 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331811055912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9381] ppid=9358 vsize=9824732 CPUtime=3.94 cores=0,2,4,6
/proc/9361/task/9381/stat : 9381 (java) S 9358 9361 8968 0 -1 4202560 2798 0 0 0 386 8 0 0 20 0 22 0 5763665 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331798858600 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9384] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9384/stat : 9384 (java) S 9358 9361 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 5763666 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331797804920 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9386] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9386/stat : 9386 (java) S 9358 9361 8968 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 5763666 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331796751752 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9387] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9387/stat : 9387 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5763672 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331795700496 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9389] ppid=9358 vsize=9824732 CPUtime=1.27 cores=0,2,4,6
/proc/9361/task/9389/stat : 9389 (java) S 9358 9361 8968 0 -1 4202560 11109 0 1 0 125 2 0 0 20 0 22 0 5763672 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331794647352 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9391] ppid=9358 vsize=9824732 CPUtime=1.32 cores=0,2,4,6
/proc/9361/task/9391/stat : 9391 (java) S 9358 9361 8968 0 -1 4202560 9504 0 1 0 130 2 0 0 20 0 22 0 5763672 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331793594808 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9393] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9393/stat : 9393 (java) S 9358 9361 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5763672 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331792541944 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9395] ppid=9358 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/9361/task/9395/stat : 9395 (java) S 9358 9361 8968 0 -1 4202560 51 0 0 0 17 16 0 0 20 0 22 0 5763672 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331791489608 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9361/tid=9400] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9400/stat : 9400 (java) S 9358 9361 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 5763708 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331787179432 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9361/tid=9658] ppid=9358 vsize=9824732 CPUtime=67.27 cores=0,2,4,6
/proc/9361/task/9658/stat : 9658 (java) R 9358 9361 8968 0 -1 4202560 7 0 0 0 6726 1 0 0 20 0 22 0 5846695 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331788229296 140332033966700 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9361/tid=9659] ppid=9358 vsize=9824732 CPUtime=67.29 cores=0,2,4,6
/proc/9361/task/9659/stat : 9659 (java) R 9358 9361 8968 0 -1 4202560 5 0 0 0 6728 1 0 0 20 0 22 0 5846695 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331790335136 140332034009309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9361/tid=9660] ppid=9358 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9361/task/9660/stat : 9660 (java) S 9358 9361 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 5846695 10060525568 963496 33554432000 1073741824 1073778376 140733923169680 140331789284264 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 898.358
CPU time (s): 1800.39
CPU user time (s): 1797.5
CPU system time (s): 2.89356
CPU usage (%): 200.409
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.5
system time used= 2.89356
maximum resident set size= 3854120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34477
page faults= 16
swaps= 0
block input operations= 6680
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24077
involuntary context switches= 28344

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85511 second user time and 7.2119 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-30 03:04:35
IDJOB=4119151
IDBENCH=111662
IDSOLVER=2543
FILE ID=node106/4119151-1467248675
RUNJOBID= node106-1467248675-9331
PBS_JOBID= 20004477
Free space on /tmp= 71744 MiB

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

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

MD5SUM BENCH= ab8a6f5e91a40bad312420b48a274fb7
RANDOM SEED=899986328

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.495
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.495
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.495
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.56
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.495
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.495
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.495
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:        29231972 kB
Buffers:           26272 kB
Cached:          2838224 kB
SwapCached:            0 kB
Active:          2226128 kB
Inactive:         653804 kB
Active(anon):       2304 kB
Inactive(anon):    16096 kB
Active(file):    2223824 kB
Inactive(file):   637708 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4300 kB
Writeback:             0 kB
AnonPages:         23552 kB
Mapped:            15232 kB
Shmem:               204 kB
Slab:             623344 kB
SReclaimable:      66876 kB
SUnreclaim:       556468 kB
KernelStack:        1416 kB
PageTables:         4092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     127160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71744 MiB
End job on node106 at 2016-06-30 03:19:34