Trace number 4106816

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-21 1800.83 1788.46

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_4.opb
MD5SUMedb32574ecafd14c2d1410b208d85a45
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-25
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2516
Sum of products size (including duplicates)5032
Number of different products1258
Sum of products size2516

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4106816-1466278230.opb
0.08/0.12	c reading problem ... 
0.08/0.13	c  objective function found
0.44/0.30	c ... done. Wall clock time 0.172s.
0.44/0.30	c declared #vars     200
0.44/0.30	c internal #vars     1458
0.44/0.30	c #constraints  2818
0.44/0.30	c constraints type 
0.44/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1258
0.44/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 202
0.44/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
0.44/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1258
0.44/0.30	c 2818 constraints processed.
0.44/0.30	c objective function length is 100 literals
0.70/0.45	c SATISFIABLE
0.70/0.45	c OPTIMIZING...
0.70/0.45	c Got one! Elapsed wall clock time (in seconds):0.328
0.70/0.45	o -15
0.89/0.50	c Got one! Elapsed wall clock time (in seconds):0.379
0.89/0.50	o -16
0.89/0.52	c Got one! Elapsed wall clock time (in seconds):0.4
0.89/0.52	o -17
1.38/0.97	c cleaning 2837 clauses out of 5673 with flag 15622/5673
2.07/1.56	c cleaning 4415 clauses out of 8831 with flag 28827/11668
2.67/2.18	c cleaning 5715 clauses out of 11430 with flag 44211/18682
3.72/3.10	c cleaning 6850 clauses out of 13700 with flag 62587/26667
4.64/4.06	c cleaning 7924 clauses out of 15848 with flag 81666/35665
5.84/5.20	c cleaning 8968 clauses out of 17936 with flag 102781/45677
7.14/6.56	c cleaning 9969 clauses out of 19949 with flag 128897/56658
8.54/7.92	c cleaning 10982 clauses out of 21990 with flag 155421/68668
10.56/9.99	c cleaning 11987 clauses out of 23998 with flag 184472/81658
13.07/12.05	c cleaning 13003 clauses out of 26011 with flag 216330/95658
15.17/14.14	c cleaning 14005 clauses out of 28009 with flag 248515/110659
17.37/16.35	c cleaning 15000 clauses out of 30008 with flag 283430/126663
20.07/19.09	c cleaning 16008 clauses out of 32016 with flag 319711/143671
22.56/21.59	c cleaning 16999 clauses out of 33998 with flag 358585/161661
25.51/24.43	c cleaning 17997 clauses out of 35997 with flag 404215/180659
28.21/27.15	c cleaning 19000 clauses out of 38003 with flag 452868/200662
31.31/30.26	c cleaning 19999 clauses out of 40006 with flag 501938/221665
34.01/32.96	c cleaning 21000 clauses out of 42000 with flag 560752/243658
36.71/35.67	c cleaning 22000 clauses out of 44005 with flag 626334/266663
40.31/39.23	c cleaning 22999 clauses out of 46000 with flag 684701/290658
43.42/42.36	c cleaning 23999 clauses out of 48001 with flag 754230/315658
44.62/43.59	c Got one! Elapsed wall clock time (in seconds):43.467
44.62/43.59	o -18
45.33/44.20	c cleaning 20798 clauses out of 41595 with flag 16650/333251
45.63/44.59	c cleaning 13402 clauses out of 26804 with flag 35023/339258
46.13/45.10	c cleaning 10198 clauses out of 20395 with flag 54641/346251
46.86/45.70	c cleaning 9101 clauses out of 18209 with flag 75258/354263
47.47/46.31	c cleaning 9046 clauses out of 18107 with flag 97656/363262
48.06/47.00	c cleaning 9527 clauses out of 19066 with flag 122056/373267
48.86/47.72	c cleaning 10261 clauses out of 20523 with flag 150004/384251
49.67/48.54	c cleaning 11133 clauses out of 22271 with flag 177625/396260
50.56/49.42	c cleaning 12050 clauses out of 24129 with flag 208847/409251
51.46/50.37	c cleaning 13041 clauses out of 26089 with flag 243651/423261
52.66/51.51	c cleaning 14018 clauses out of 28038 with flag 280837/438251
53.77/52.61	c cleaning 15003 clauses out of 30020 with flag 323005/454251
54.97/53.84	c cleaning 16002 clauses out of 32018 with flag 372216/471252
56.47/55.35	c cleaning 17006 clauses out of 34015 with flag 435269/489251
57.87/56.70	c cleaning 18000 clauses out of 36009 with flag 502112/508251
59.37/58.22	c cleaning 18982 clauses out of 38009 with flag 572981/528251
61.32/60.10	c cleaning 19998 clauses out of 40029 with flag 639797/549253
63.24/62.04	c cleaning 21002 clauses out of 42029 with flag 713747/571251
65.34/64.17	c cleaning 21972 clauses out of 44027 with flag 824926/594251
67.74/66.59	c cleaning 23020 clauses out of 46056 with flag 913036/618252
70.44/69.26	c cleaning 23974 clauses out of 48035 with flag 1002405/643251
72.94/71.76	c cleaning 25025 clauses out of 50065 with flag 1101375/669255
76.04/74.81	c cleaning 26007 clauses out of 52041 with flag 1187934/696256
78.54/77.39	c cleaning 27005 clauses out of 54029 with flag 1273587/724251
82.22/80.93	c cleaning 27996 clauses out of 56026 with flag 1353434/753253
86.32/85.06	c cleaning 29018 clauses out of 58043 with flag 1421157/783266
90.43/89.14	c cleaning 30001 clauses out of 60011 with flag 1491910/814252
94.92/93.67	c cleaning 30965 clauses out of 62009 with flag 1596061/846251
99.22/98.00	c cleaning 32026 clauses out of 64052 with flag 1718698/879259
104.02/102.70	c cleaning 32993 clauses out of 66018 with flag 1843867/913251
109.14/107.75	c cleaning 33999 clauses out of 68026 with flag 1963022/948252
114.34/112.91	c cleaning 34977 clauses out of 70026 with flag 2084233/984251
119.53/118.13	c cleaning 36019 clauses out of 72049 with flag 2218308/1021251
126.13/124.72	c cleaning 37010 clauses out of 74030 with flag 2332703/1059251
135.23/133.89	c cleaning 37985 clauses out of 76020 with flag 2454245/1098251
142.24/140.78	c cleaning 39021 clauses out of 78044 with flag 2576509/1138260
148.64/147.15	c cleaning 40008 clauses out of 80019 with flag 2703996/1179256
154.76/153.22	c cleaning 41007 clauses out of 82014 with flag 2847126/1221259
160.96/159.40	c cleaning 41991 clauses out of 84010 with flag 2965127/1264262
169.68/168.04	c cleaning 42996 clauses out of 86009 with flag 3070527/1308252
176.89/175.22	c cleaning 43977 clauses out of 88012 with flag 3248006/1353251
184.79/183.11	c cleaning 45018 clauses out of 90036 with flag 3450452/1399252
193.13/191.33	c cleaning 45997 clauses out of 92020 with flag 3644478/1446254
194.73/192.92	c Got one! Elapsed wall clock time (in seconds):192.792
194.73/192.92	o -19
195.33/193.53	c cleaning 32193 clauses out of 64386 with flag 16916/1464617
195.83/194.05	c cleaning 19085 clauses out of 38193 with flag 37329/1470617
196.33/194.54	c cleaning 13054 clauses out of 26108 with flag 61267/1477617
196.83/195.06	c cleaning 10528 clauses out of 21060 with flag 90544/1485623
197.43/195.65	c cleaning 9761 clauses out of 19531 with flag 120232/1494622
198.03/196.24	c cleaning 9882 clauses out of 19765 with flag 157413/1504617
198.73/196.91	c cleaning 10435 clauses out of 20883 with flag 192634/1515617
199.43/197.69	c cleaning 11233 clauses out of 22466 with flag 227707/1527635
200.33/198.59	c cleaning 12085 clauses out of 24216 with flag 270950/1540618
201.33/199.55	c cleaning 13051 clauses out of 26132 with flag 319181/1554619
202.64/200.72	c cleaning 14034 clauses out of 28082 with flag 374075/1569620
203.74/201.86	c cleaning 15022 clauses out of 30048 with flag 427180/1585620
204.94/203.09	c cleaning 16007 clauses out of 32023 with flag 480268/1602617
206.34/204.44	c cleaning 17004 clauses out of 34016 with flag 548326/1620617
207.75/205.89	c cleaning 17996 clauses out of 36012 with flag 613617/1639617
209.34/207.43	c cleaning 18997 clauses out of 38016 with flag 684739/1659617
211.16/209.14	c cleaning 20006 clauses out of 40022 with flag 752400/1680620
212.85/210.89	c cleaning 21001 clauses out of 42013 with flag 822561/1702617
214.85/212.86	c cleaning 21997 clauses out of 44019 with flag 907372/1725624
216.75/214.79	c cleaning 23004 clauses out of 46015 with flag 991690/1749617
218.93/216.89	c cleaning 23983 clauses out of 48011 with flag 1077872/1774617
221.13/219.06	c cleaning 25013 clauses out of 50028 with flag 1172815/1800617
223.43/221.33	c cleaning 26002 clauses out of 52015 with flag 1260197/1827617
225.92/223.86	c cleaning 27005 clauses out of 54015 with flag 1349128/1855619
228.60/226.42	c cleaning 27997 clauses out of 56008 with flag 1437839/1884617
231.40/229.24	c cleaning 28992 clauses out of 58011 with flag 1531351/1914617
234.50/232.38	c cleaning 29996 clauses out of 60025 with flag 1625427/1945623
237.78/235.58	c cleaning 31006 clauses out of 62023 with flag 1727798/1977617
241.47/239.21	c cleaning 32001 clauses out of 64020 with flag 1834325/2010620
245.37/243.13	c cleaning 33007 clauses out of 66016 with flag 1943616/2044617
249.86/247.56	c cleaning 34005 clauses out of 68009 with flag 2048287/2079617
253.95/251.63	c cleaning 34993 clauses out of 70005 with flag 2171744/2115618
258.55/256.22	c cleaning 36006 clauses out of 72016 with flag 2292705/2152622
263.43/261.02	c cleaning 36994 clauses out of 74006 with flag 2404044/2190618
268.23/265.85	c cleaning 38006 clauses out of 76017 with flag 2523810/2229623
272.70/270.29	c cleaning 38996 clauses out of 78005 with flag 2649140/2269617
277.51/275.10	c cleaning 40005 clauses out of 80011 with flag 2776779/2310619
283.11/280.63	c cleaning 40988 clauses out of 82004 with flag 2907779/2352617
288.54/286.07	c cleaning 42010 clauses out of 84019 with flag 3051761/2395620
293.83/291.37	c cleaning 43005 clauses out of 86009 with flag 3202029/2439620
300.15/297.63	c cleaning 43993 clauses out of 88001 with flag 3335464/2484617
306.16/303.62	c cleaning 45001 clauses out of 90009 with flag 3484023/2530618
312.27/309.77	c cleaning 46001 clauses out of 92008 with flag 3627338/2577618
319.67/317.13	c cleaning 46997 clauses out of 94006 with flag 3783895/2625617
327.00/324.46	c cleaning 48000 clauses out of 96010 with flag 3947610/2674618
334.37/331.74	c cleaning 49001 clauses out of 98009 with flag 4108292/2724617
341.87/339.27	c cleaning 49995 clauses out of 100008 with flag 4266398/2775617
349.56/346.88	c cleaning 51003 clauses out of 102013 with flag 4429026/2827617
357.56/354.81	c cleaning 52002 clauses out of 104011 with flag 4591113/2880618
366.12/363.33	c cleaning 53001 clauses out of 106012 with flag 4757657/2934621
375.85/373.08	c cleaning 53982 clauses out of 108007 with flag 4945392/2989617
384.95/382.16	c cleaning 55005 clauses out of 110027 with flag 5134115/3045619
394.39/391.56	c cleaning 56015 clauses out of 112030 with flag 5321699/3102627
406.37/403.44	c cleaning 56996 clauses out of 114005 with flag 5546505/3160617
420.03/417.10	c cleaning 57986 clauses out of 116009 with flag 5796507/3219617
431.93/428.98	c cleaning 58994 clauses out of 118023 with flag 6094483/3279617
446.09/443.09	c cleaning 60003 clauses out of 120034 with flag 6385509/3340622
461.87/458.80	c cleaning 60996 clauses out of 122026 with flag 6658436/3402617
476.73/473.58	c cleaning 62009 clauses out of 124030 with flag 6911344/3465617
493.73/490.53	c cleaning 62999 clauses out of 126021 with flag 7159630/3529617
510.88/507.67	c cleaning 63993 clauses out of 128022 with flag 7459559/3594617
527.51/524.29	c cleaning 65002 clauses out of 130030 with flag 7739196/3660618
543.37/540.10	c cleaning 66001 clauses out of 132028 with flag 8044461/3727618
561.24/557.83	c cleaning 66988 clauses out of 134026 with flag 8302294/3795617
581.92/578.47	c cleaning 68006 clauses out of 136038 with flag 8554098/3864617
599.56/596.09	c Got one! Elapsed wall clock time (in seconds):595.965
599.56/596.09	o -20
601.30/597.71	c cleaning 67926 clauses out of 135851 with flag 26312/3932436
602.10/598.57	c cleaning 36958 clauses out of 73925 with flag 60049/3938436
602.80/599.21	c cleaning 21989 clauses out of 43978 with flag 93226/3945447
603.30/599.76	c cleaning 14985 clauses out of 29978 with flag 127175/3953436
603.90/600.32	c cleaning 11983 clauses out of 23994 with flag 165530/3962437
604.50/600.91	c cleaning 10993 clauses out of 22011 with flag 208950/3972437
605.20/601.60	c cleaning 11000 clauses out of 22017 with flag 261737/3983436
605.94/602.37	c cleaning 11501 clauses out of 23017 with flag 318013/3995436
606.74/603.15	c cleaning 12245 clauses out of 24516 with flag 371978/4008436
607.55/603.99	c cleaning 13136 clauses out of 26271 with flag 423955/4022436
608.55/604.92	c cleaning 14059 clauses out of 28135 with flag 481761/4037436
609.55/605.93	c cleaning 15033 clauses out of 30076 with flag 543793/4053436
610.67/607.03	c cleaning 16019 clauses out of 32045 with flag 610108/4070438
611.67/608.06	c cleaning 17007 clauses out of 34024 with flag 675110/4088436
612.87/609.24	c cleaning 18007 clauses out of 36018 with flag 742559/4107437
614.18/610.57	c cleaning 18999 clauses out of 38010 with flag 809331/4127436
615.69/612.01	c cleaning 19996 clauses out of 40013 with flag 881965/4148438
617.09/613.43	c cleaning 21006 clauses out of 42015 with flag 961037/4170436
618.70/615.01	c cleaning 21996 clauses out of 44011 with flag 1042764/4193438
620.42/616.80	c cleaning 22996 clauses out of 46014 with flag 1127460/4217437
622.22/618.55	c cleaning 24001 clauses out of 48017 with flag 1210967/4242436
624.42/620.71	c cleaning 24997 clauses out of 50016 with flag 1300184/4268436
626.65/622.95	c cleaning 26002 clauses out of 52019 with flag 1390092/4295436
628.85/625.19	c cleaning 26998 clauses out of 54018 with flag 1481021/4323437
631.39/627.66	c cleaning 27994 clauses out of 56019 with flag 1572744/4352436
633.99/630.29	c cleaning 29012 clauses out of 58028 with flag 1667607/4382439
636.69/632.90	c cleaning 30002 clauses out of 60014 with flag 1763653/4413437
639.61/635.88	c cleaning 30999 clauses out of 62013 with flag 1860629/4445438
642.60/638.84	c cleaning 32008 clauses out of 64015 with flag 1965245/4478439
645.81/642.04	c cleaning 33002 clauses out of 66004 with flag 2073123/4512436
649.07/645.22	c cleaning 33996 clauses out of 68002 with flag 2194870/4547436
652.37/648.59	c cleaning 35000 clauses out of 70006 with flag 2321042/4583436
656.01/652.19	c cleaning 35995 clauses out of 72006 with flag 2441534/4620436
659.81/655.95	c cleaning 36993 clauses out of 74014 with flag 2563492/4658439
663.84/659.96	c cleaning 38005 clauses out of 76018 with flag 2684734/4697436
668.89/664.99	c cleaning 38973 clauses out of 78013 with flag 2834204/4737436
674.08/670.16	c cleaning 40010 clauses out of 80041 with flag 3010173/4778437
680.42/676.44	c cleaning 41005 clauses out of 82030 with flag 3199866/4820436
686.52/682.57	c cleaning 42003 clauses out of 84025 with flag 3396884/4863436
692.54/688.54	c cleaning 42979 clauses out of 86023 with flag 3583727/4907437
699.47/695.46	c cleaning 44009 clauses out of 88044 with flag 3755796/4952437
706.32/702.21	c cleaning 45003 clauses out of 90034 with flag 3934551/4998436
712.72/708.63	c cleaning 46004 clauses out of 92031 with flag 4115983/5045436
719.16/715.09	c cleaning 47002 clauses out of 94027 with flag 4286721/5093436
726.10/721.92	c cleaning 48003 clauses out of 96027 with flag 4461485/5142438
734.05/729.86	c cleaning 49010 clauses out of 98029 with flag 4649485/5192443
742.90/738.61	c cleaning 50006 clauses out of 100012 with flag 4881685/5243436
750.90/746.68	c cleaning 51003 clauses out of 102006 with flag 5125005/5295436
760.83/756.58	c cleaning 51998 clauses out of 104004 with flag 5351519/5348437
768.97/764.66	c cleaning 52993 clauses out of 106005 with flag 5583974/5402436
777.61/773.30	c cleaning 53997 clauses out of 108014 with flag 5810614/5457438
786.16/781.77	c cleaning 55001 clauses out of 110015 with flag 6035564/5513436
795.78/791.39	c cleaning 55997 clauses out of 112014 with flag 6280563/5570436
807.42/802.93	c cleaning 56993 clauses out of 114020 with flag 6557374/5628439
818.76/814.23	c cleaning 58002 clauses out of 116024 with flag 6813742/5687436
823.28/818.75	c Got one! Elapsed wall clock time (in seconds):818.621
823.28/818.75	o -21
824.10/819.51	c cleaning 45402 clauses out of 90812 with flag 18842/5720226
824.49/819.93	c cleaning 25695 clauses out of 51410 with flag 38438/5726226
824.89/820.37	c cleaning 16348 clauses out of 32715 with flag 60734/5733226
825.39/820.81	c cleaning 12171 clauses out of 24370 with flag 85077/5741229
825.82/821.27	c cleaning 10588 clauses out of 21196 with flag 111878/5750226
826.33/821.75	c cleaning 10292 clauses out of 20608 with flag 141838/5760226
826.82/822.29	c cleaning 10650 clauses out of 21317 with flag 176100/5771227
827.53/822.94	c cleaning 11333 clauses out of 22666 with flag 215672/5783226
828.34/823.71	c cleaning 12161 clauses out of 24333 with flag 260688/5796226
829.14/824.50	c cleaning 13079 clauses out of 26172 with flag 310102/5810226
829.94/825.37	c cleaning 14037 clauses out of 28094 with flag 361492/5825227
830.94/826.30	c cleaning 15027 clauses out of 30070 with flag 418210/5841240
831.99/827.39	c cleaning 16012 clauses out of 32033 with flag 475634/5858230
833.28/828.67	c cleaning 16998 clauses out of 34017 with flag 541216/5876226
834.68/830.04	c cleaning 18005 clauses out of 36019 with flag 610192/5895226
836.30/831.69	c cleaning 19007 clauses out of 38014 with flag 690677/5915226
838.09/833.41	c cleaning 20004 clauses out of 40007 with flag 768039/5936226
839.82/835.17	c cleaning 20992 clauses out of 42004 with flag 853772/5958227
841.83/837.15	c cleaning 22006 clauses out of 44012 with flag 934961/5981227
843.84/839.16	c cleaning 22990 clauses out of 46005 with flag 1027450/6005226
846.04/841.34	c cleaning 24008 clauses out of 48015 with flag 1119417/6030226
848.27/843.53	c cleaning 25000 clauses out of 50008 with flag 1214761/6056227
850.68/845.91	c cleaning 25989 clauses out of 52007 with flag 1319381/6083226
853.21/848.45	c cleaning 27001 clauses out of 54018 with flag 1420268/6111226
855.81/851.05	c cleaning 27999 clauses out of 56020 with flag 1526830/6140229
858.83/854.03	c cleaning 28993 clauses out of 58018 with flag 1639462/6170226
861.63/856.90	c cleaning 30011 clauses out of 60025 with flag 1745885/6201226
865.08/860.23	c cleaning 30975 clauses out of 62014 with flag 1885822/6233226
869.39/864.51	c cleaning 31988 clauses out of 64039 with flag 2019658/6266226
873.83/868.95	c cleaning 33004 clauses out of 66051 with flag 2156711/6300226
878.33/873.40	c cleaning 34021 clauses out of 68047 with flag 2294650/6335226
882.94/878.04	c cleaning 34990 clauses out of 70026 with flag 2445712/6371226
887.96/883.03	c cleaning 35995 clauses out of 72036 with flag 2607965/6408226
893.08/888.11	c cleaning 37021 clauses out of 74042 with flag 2784448/6446227
898.61/893.62	c cleaning 37996 clauses out of 76025 with flag 2995155/6485231
904.53/899.52	c cleaning 38988 clauses out of 78024 with flag 3191531/6525226
910.47/905.43	c cleaning 40014 clauses out of 80036 with flag 3394400/6566226
917.10/912.08	c cleaning 40988 clauses out of 82022 with flag 3596149/6608226
923.82/918.78	c cleaning 42013 clauses out of 84034 with flag 3810681/6651226
930.07/924.90	c cleaning 42999 clauses out of 86021 with flag 4006093/6695226
937.21/932.08	c cleaning 43992 clauses out of 88022 with flag 4231943/6740226
945.06/939.81	c cleaning 45000 clauses out of 90031 with flag 4464822/6786227
952.70/947.49	c cleaning 46004 clauses out of 92030 with flag 4680643/6833226
960.84/955.60	c cleaning 47012 clauses out of 94026 with flag 4917668/6881226
969.60/964.27	c cleaning 47974 clauses out of 96014 with flag 5152815/6930226
979.27/973.80	c cleaning 49014 clauses out of 98040 with flag 5392610/6980226
988.51/983.05	c cleaning 50008 clauses out of 100026 with flag 5657846/7031226
997.47/991.99	c cleaning 50979 clauses out of 102018 with flag 5916109/7083226
1007.37/1001.75	c cleaning 52010 clauses out of 104039 with flag 6183252/7136226
1018.33/1012.62	c cleaning 52999 clauses out of 106029 with flag 6448176/7190226
1028.80/1023.06	c cleaning 53987 clauses out of 108030 with flag 6696410/7245226
1039.67/1033.84	c cleaning 55022 clauses out of 110043 with flag 6935620/7301226
1049.42/1043.53	c cleaning 56011 clauses out of 112021 with flag 7154073/7358226
1059.32/1053.36	c cleaning 56991 clauses out of 114010 with flag 7361784/7416226
1069.89/1063.85	c cleaning 57999 clauses out of 116019 with flag 7642276/7475226
1079.59/1073.42	c cleaning 59006 clauses out of 118020 with flag 7889853/7535226
1089.26/1083.02	c cleaning 60005 clauses out of 120014 with flag 8144515/7596226
1098.91/1092.60	c cleaning 60999 clauses out of 122010 with flag 8393390/7658227
1108.49/1102.20	c cleaning 61999 clauses out of 124010 with flag 8633006/7721226
1118.90/1112.43	c cleaning 63007 clauses out of 126015 with flag 8882155/7785230
1129.59/1123.03	c cleaning 63987 clauses out of 128004 with flag 9142328/7850226
1140.10/1133.41	c cleaning 65006 clauses out of 130017 with flag 9410848/7916226
1150.92/1144.18	c cleaning 66001 clauses out of 132012 with flag 9662564/7983227
1165.04/1158.13	c cleaning 66979 clauses out of 134011 with flag 9967499/8051227
1178.18/1171.11	c cleaning 68013 clauses out of 136031 with flag 10284573/8120226
1192.98/1185.85	c cleaning 68971 clauses out of 138018 with flag 10607432/8190226
1207.77/1200.57	c cleaning 70005 clauses out of 140047 with flag 10931686/8261226
1223.09/1215.70	c cleaning 71008 clauses out of 142042 with flag 11254914/8333226
1238.72/1231.25	c cleaning 72001 clauses out of 144034 with flag 11587814/8406226
1253.41/1245.86	c cleaning 73005 clauses out of 146033 with flag 11934749/8480226
1269.17/1261.42	c cleaning 74007 clauses out of 148028 with flag 12276154/8555226
1286.18/1278.35	c cleaning 74984 clauses out of 150022 with flag 12671228/8631227
1305.70/1297.75	c cleaning 76019 clauses out of 152037 with flag 13037591/8708226
1324.95/1316.89	c cleaning 77000 clauses out of 154018 with flag 13413733/8786226
1344.24/1336.02	c cleaning 77986 clauses out of 156018 with flag 13755436/8865226
1363.79/1355.41	c cleaning 79012 clauses out of 158032 with flag 14087191/8945226
1384.46/1376.00	c cleaning 79991 clauses out of 160021 with flag 14445257/9026227
1406.50/1397.80	c cleaning 80994 clauses out of 162031 with flag 14765570/9108228
1430.58/1421.76	c cleaning 82018 clauses out of 164035 with flag 15140277/9191226
1451.38/1442.34	c cleaning 82999 clauses out of 166017 with flag 15453629/9275226
1470.25/1461.01	c cleaning 84009 clauses out of 168019 with flag 15751889/9360227
1492.12/1482.77	c cleaning 85003 clauses out of 170009 with flag 16044777/9446226
1516.85/1507.22	c cleaning 85972 clauses out of 172006 with flag 16376313/9533226
1541.34/1531.56	c cleaning 86999 clauses out of 174035 with flag 16740911/9621227
1565.90/1555.96	c cleaning 88009 clauses out of 176039 with flag 17111618/9710230
1590.39/1580.27	c cleaning 89008 clauses out of 178026 with flag 17482277/9800226
1620.90/1610.51	c cleaning 89996 clauses out of 180018 with flag 17866143/9891226
1649.88/1639.39	c cleaning 91000 clauses out of 182022 with flag 18241437/9983226
1679.26/1668.58	c cleaning 91997 clauses out of 184022 with flag 18606777/10076226
1705.90/1694.91	c cleaning 93013 clauses out of 186026 with flag 18975664/10170227
1730.80/1719.60	c cleaning 94002 clauses out of 188012 with flag 19340772/10265226
1755.95/1744.67	c cleaning 95002 clauses out of 190010 with flag 19707401/10361226
1783.41/1771.96	c cleaning 95995 clauses out of 192009 with flag 20088301/10458227
1800.03/1788.42	c starts		: 36433
1800.03/1788.42	c conflicts		: 10528646
1800.03/1788.42	c decisions		: 48995110
1800.03/1788.42	c propagations		: 277220673
1800.03/1788.42	c inspects		: 28281436204
1800.03/1788.42	c shortcuts		: 0
1800.03/1788.42	c learnt literals	: 0
1800.03/1788.42	c learnt binary clauses	: 1
1800.03/1788.42	c learnt ternary clauses	: 2790
1800.03/1788.42	c learnt constraints	: 10528646
1800.03/1788.42	c ignored constraints	: 0
1800.03/1788.42	c root simplifications	: 0
1800.03/1788.42	c removed literals (reason simplification)	: 0
1800.03/1788.42	c reason swapping (by a shorter reason)	: 0
1800.03/1788.42	c Calls to reduceDB	: 277
1800.03/1788.42	c Number of update (reduction) of LBD	: 4542972
1800.03/1788.42	c Imported unit clauses	: 0
1800.03/1788.42	c number of reductions to clauses (during analyze)	: 0
1800.03/1788.42	c number of learned constraints concerned by reduction	: 0
1800.03/1788.42	c number of learning phase by resolution	: 0
1800.03/1788.42	c number of learning phase by cutting planes	: 0
1800.03/1788.42	c speed (assignments/second)	: 155034.88751860894
1800.03/1788.42	c non guided choices	0
1800.03/1788.45	c learnt constraints type 
1800.03/1788.45	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.03/1788.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 166432
1800.03/1788.45	s SATISFIABLE
1800.03/1788.45	c Found 7 solution(s)
1800.03/1788.45	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 
1800.03/1788.45	c objective function=-21
1800.03/1788.45	c Total wall clock time (in seconds): 1788.325

Verifier Data 

OK	-21

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-4106816-1466278230/watcher-4106816-1466278230 -o /tmp/evaluation-result-4106816-1466278230/solver-4106816-1466278230 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466264639-24566 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106816-1466278230.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.19 2.09 3/195 29078
/proc/meminfo: memFree=31022252/32872528 swapFree=338416/354768
[pid=29078] ppid=29075 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/29078/stat : 29078 (java) R 29075 29078 24550 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 29869700 278528 33 33554432000 1073741824 1073778376 140736717769360 140733734744120 242158234919 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29078/statm: 68 33 25 9 0 25 0

[startup+0.100061 s]
/proc/loadavg: 2.20 2.19 2.09 3/195 29078
/proc/meminfo: memFree=31022252/32872528 swapFree=338416/354768
[pid=29078] ppid=29075 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/29078/stat : 29078 (java) S 29075 29078 24550 0 -1 4202496 4350 0 1 0 8 0 0 0 20 0 18 0 29869700 9787879424 5456 33554432000 1073741824 1073778376 140736717769360 140736717760496 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29078/statm: 2389619 5456 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.200213 s]
/proc/loadavg: 2.20 2.19 2.09 3/195 29078
/proc/meminfo: memFree=31022252/32872528 swapFree=338416/354768
[pid=29078] ppid=29075 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/29078/stat : 29078 (java) S 29075 29078 24550 0 -1 4202496 4621 0 1 0 22 1 0 0 20 0 18 0 29869700 9787879424 6706 33554432000 1073741824 1073778376 140736717769360 140736717760496 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29078/statm: 2389619 6706 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300224 s]
/proc/loadavg: 2.20 2.19 2.09 3/195 29078
/proc/meminfo: memFree=31022252/32872528 swapFree=338416/354768
[pid=29078] ppid=29075 vsize=9558476 CPUtime=0.44 cores=0,2,4,6
/proc/29078/stat : 29078 (java) S 29075 29078 24550 0 -1 4202496 6236 0 1 0 43 1 0 0 20 0 18 0 29869700 9787879424 9334 33554432000 1073741824 1073778376 140736717769360 140736717760496 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29078/statm: 2389619 9334 2249 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476

[startup+0.700161 s]
/proc/loadavg: 2.20 2.19 2.09 3/195 29078
/proc/meminfo: memFree=31022252/32872528 swapFree=338416/354768
[pid=29078] ppid=29075 vsize=9625040 CPUtime=1.18 cores=0,2,4,6
/proc/29078/stat : 29078 (java) S 29075 29078 24550 0 -1 4202496 8939 0 1 0 116 2 0 0 20 0 19 0 29869700 9856040960 10008 33554432000 1073741824 1073778376 140736717769360 140736717760496 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29078/statm: 2406260 10008 2263 9 0 2396937 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9625040

[startup+1.50078 s]
/proc/loadavg: 2.20 2.19 2.09 3/214 29097
/proc/meminfo: memFree=30985792/32872528 swapFree=338416/354768
[pid=29078] ppid=29075 vsize=9625040 CPUtime=2.07 cores=0,2,4,6
/proc/29078/stat : 29078 (java) S 29075 29078 24550 0 -1 4202496 9250 0 1 0 205 2 0 0 20 0 19 0 29869700 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 140736717760496 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29078/statm: 2406260 11552 2270 9 0 2396937 0
[pid=29078/tid=29080] ppid=29075 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/29078/task/29080/stat : 29080 (java) R 29075 29078 24550 0 -1 4202560 2421 0 1 0 144 2 0 0 20 0 19 0 29869701 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789681218040 139789525884479 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29081] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29081/stat : 29081 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789525145896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29082] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29082/stat : 29082 (java) S 29075 29078 24550 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789524093096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29083] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29083/stat : 29083 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789523040808 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29078/tid=29084] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29084/stat : 29084 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789521988008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29085] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29085/stat : 29085 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789520935720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29086] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29086/stat : 29086 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789519882920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29087] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29087/stat : 29087 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789518830632 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29088] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29088/stat : 29088 (java) S 29075 29078 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789517777832 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29089] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29089/stat : 29089 (java) S 29075 29078 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29869703 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789034563816 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29090] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29090/stat : 29090 (java) S 29075 29078 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29869704 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789033509880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29091] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29091/stat : 29091 (java) S 29075 29078 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29869704 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789032457480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29092] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29092/stat : 29092 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789031405968 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29093] ppid=29075 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/29078/task/29093/stat : 29093 (java) S 29075 29078 24550 0 -1 4202560 3538 0 0 0 33 0 0 0 20 0 19 0 29869706 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789030353592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29094] ppid=29075 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/29078/task/29094/stat : 29094 (java) S 29075 29078 24550 0 -1 4202560 2017 0 0 0 25 0 0 0 20 0 19 0 29869706 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789029300792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29095] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29095/stat : 29095 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789028248696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29096] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29096/stat : 29096 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789027196104 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29097] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29097/stat : 29097 (java) S 29075 29078 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29869730 9856040960 11552 33554432000 1073741824 1073778376 140736717769360 139789026141096 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 9625040

[startup+3.10069 s]
/proc/loadavg: 2.20 2.19 2.09 3/214 29097
/proc/meminfo: memFree=30977264/32872528 swapFree=338416/354768
[pid=29078] ppid=29075 vsize=9625040 CPUtime=3.72 cores=0,2,4,6
/proc/29078/stat : 29078 (java) S 29075 29078 24550 0 -1 4202496 9677 0 1 0 370 2 0 0 20 0 19 0 29869700 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 140736717760496 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29078/statm: 2406260 14885 2270 9 0 2396937 0
[pid=29078/tid=29080] ppid=29075 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/29078/task/29080/stat : 29080 (java) R 29075 29078 24550 0 -1 4202560 2428 0 1 0 304 2 0 0 20 0 19 0 29869701 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789681209040 139789525981497 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29081] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29081/stat : 29081 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789525145896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29082] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29082/stat : 29082 (java) S 29075 29078 24550 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789524093096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29083] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29083/stat : 29083 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789523040808 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29078/tid=29084] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29084/stat : 29084 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789521988008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29085] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29085/stat : 29085 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789520935720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29086] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29086/stat : 29086 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789519882920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29087] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29087/stat : 29087 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789518830632 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29088] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29088/stat : 29088 (java) S 29075 29078 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789517777832 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29089] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29089/stat : 29089 (java) S 29075 29078 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29869703 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789034563816 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29090] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29090/stat : 29090 (java) S 29075 29078 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29869704 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789033509880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29091] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29091/stat : 29091 (java) S 29075 29078 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29869704 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789032457480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29092] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29092/stat : 29092 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789031405968 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29093] ppid=29075 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/29078/task/29093/stat : 29093 (java) R 29075 29078 24550 0 -1 4202560 3753 0 0 0 35 0 0 0 20 0 19 0 29869706 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789030330840 139789688196214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29078/tid=29094] ppid=29075 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/29078/task/29094/stat : 29094 (java) R 29075 29078 24550 0 -1 4202560 2222 0 0 0 28 0 0 0 20 0 19 0 29869706 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789029288200 139789685304815 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29095] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29095/stat : 29095 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789028248696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29096] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29096/stat : 29096 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789027196104 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29097] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29097/stat : 29097 (java) S 29075 29078 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29869730 9856040960 14885 33554432000 1073741824 1073778376 140736717769360 139789026141096 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 9625040

[startup+6.30087 s]
/proc/loadavg: 2.18 2.18 2.09 3/214 29097
/proc/meminfo: memFree=30955356/32872528 swapFree=338416/354768
[pid=29078] ppid=29075 vsize=9625040 CPUtime=6.94 cores=0,2,4,6
/proc/29078/stat : 29078 (java) S 29075 29078 24550 0 -1 4202496 9703 0 1 0 692 2 0 0 20 0 19 0 29869700 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 140736717760496 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29078/statm: 2406260 19588 2271 9 0 2396937 0
[pid=29078/tid=29080] ppid=29075 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/29078/task/29080/stat : 29080 (java) R 29075 29078 24550 0 -1 4202560 2439 0 1 0 624 2 0 0 20 0 19 0 29869701 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789681217864 139789525884567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29081] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29081/stat : 29081 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789525145896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29082] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29082/stat : 29082 (java) S 29075 29078 24550 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789524093096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29083] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29083/stat : 29083 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789523040808 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29078/tid=29084] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29084/stat : 29084 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789521988008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29085] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29085/stat : 29085 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789520935720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29086] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29086/stat : 29086 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789519882920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29087] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29087/stat : 29087 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789518830632 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29088] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29088/stat : 29088 (java) S 29075 29078 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29869702 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789517777832 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29089] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29089/stat : 29089 (java) S 29075 29078 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29869703 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789034563816 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29090] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29090/stat : 29090 (java) S 29075 29078 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29869704 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789033509880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29091] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29091/stat : 29091 (java) S 29075 29078 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29869704 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789032457480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29092] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29092/stat : 29092 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789031405968 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29093] ppid=29075 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/29078/task/29093/stat : 29093 (java) S 29075 29078 24550 0 -1 4202560 3753 0 0 0 36 0 0 0 20 0 19 0 29869706 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789030353592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29078/tid=29094] ppid=29075 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/29078/task/29094/stat : 29094 (java) S 29075 29078 24550 0 -1 4202560 2236 0 0 0 30 0 0 0 20 0 19 0 29869706 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789029300792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29095] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29095/stat : 29095 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789028248696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29096] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29096/stat : 29096 (java) S 29075 29078 24550 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789027196104 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29097] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29097/stat : 29097 (java) S 29075 29078 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29869730 9856040960 19588 33554432000 1073741824 1073778376 140736717769360 139789026141096 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 9625040


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

[pid=29078/tid=29090] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29090/stat : 29090 (java) S 29075 29078 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29869704 9856040960 61904 33554432000 1073741824 1073778376 140736717769360 139789033509880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29091] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29091/stat : 29091 (java) S 29075 29078 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29869704 9856040960 61904 33554432000 1073741824 1073778376 140736717769360 139789032457480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29092] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29092/stat : 29092 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 61904 33554432000 1073741824 1073778376 140736717769360 139789031405968 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29093] ppid=29075 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/29078/task/29093/stat : 29093 (java) S 29075 29078 24550 0 -1 4202560 3753 0 0 0 38 0 0 0 20 0 19 0 29869706 9856040960 61904 33554432000 1073741824 1073778376 140736717769360 139789030353592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29078/tid=29094] ppid=29075 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/29078/task/29094/stat : 29094 (java) S 29075 29078 24550 0 -1 4202560 10275 0 0 0 76 3 0 0 20 0 19 0 29869706 9856040960 61904 33554432000 1073741824 1073778376 140736717769360 139789029300792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29095] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29095/stat : 29095 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 61904 33554432000 1073741824 1073778376 140736717769360 139789028248696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29096] ppid=29075 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/29078/task/29096/stat : 29096 (java) S 29075 29078 24550 0 -1 4202560 96 0 0 0 30 28 0 0 20 0 19 0 29869706 9856040960 61904 33554432000 1073741824 1073778376 140736717769360 139789027196104 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29097] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29097/stat : 29097 (java) S 29075 29078 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29869730 9856040960 61904 33554432000 1073741824 1073778376 140736717769360 139789026141096 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1673.01
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.16 2.16 2.10 3/213 29332
/proc/meminfo: memFree=30637184/32872528 swapFree=338416/354768
[pid=29078] ppid=29075 vsize=9625040 CPUtime=1733.53 cores=0,2,4,6
/proc/29078/stat : 29078 (java) S 29075 29078 24550 0 -1 4202496 23917 0 1 0 173255 98 0 0 20 0 19 0 29869700 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 140736717760496 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29078/statm: 2406260 54148 2293 9 0 2396937 0
[pid=29078/tid=29080] ppid=29075 vsize=9625040 CPUtime=1715.91 cores=0,2,4,6
/proc/29078/task/29080/stat : 29080 (java) R 29075 29078 24550 0 -1 4202560 2760 0 1 0 171558 33 0 0 20 0 19 0 29869701 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789681216800 139789525927707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29081] ppid=29075 vsize=9625040 CPUtime=1.75 cores=0,2,4,6
/proc/29078/task/29081/stat : 29081 (java) S 29075 29078 24550 0 -1 4202560 679 0 0 0 168 7 0 0 20 0 19 0 29869702 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789525145896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29082] ppid=29075 vsize=9625040 CPUtime=1.83 cores=0,2,4,6
/proc/29078/task/29082/stat : 29082 (java) S 29075 29078 24550 0 -1 4202560 592 0 0 0 175 8 0 0 20 0 19 0 29869702 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789524093096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29083] ppid=29075 vsize=9625040 CPUtime=1.86 cores=0,2,4,6
/proc/29078/task/29083/stat : 29083 (java) S 29075 29078 24550 0 -1 4202560 609 0 0 0 179 7 0 0 20 0 19 0 29869702 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789523040808 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29084] ppid=29075 vsize=9625040 CPUtime=1.85 cores=0,2,4,6
/proc/29078/task/29084/stat : 29084 (java) S 29075 29078 24550 0 -1 4202560 646 0 0 0 177 8 0 0 20 0 19 0 29869702 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789521988008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29085] ppid=29075 vsize=9625040 CPUtime=1.8 cores=0,2,4,6
/proc/29078/task/29085/stat : 29085 (java) S 29075 29078 24550 0 -1 4202560 717 0 0 0 172 8 0 0 20 0 19 0 29869702 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789520935720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29086] ppid=29075 vsize=9625040 CPUtime=1.79 cores=0,2,4,6
/proc/29078/task/29086/stat : 29086 (java) S 29075 29078 24550 0 -1 4202560 698 0 0 0 173 6 0 0 20 0 19 0 29869702 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789519882920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29087] ppid=29075 vsize=9625040 CPUtime=1.72 cores=0,2,4,6
/proc/29078/task/29087/stat : 29087 (java) S 29075 29078 24550 0 -1 4202560 629 0 0 0 165 7 0 0 20 0 19 0 29869702 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789518830632 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29088] ppid=29075 vsize=9625040 CPUtime=1.79 cores=0,2,4,6
/proc/29078/task/29088/stat : 29088 (java) S 29075 29078 24550 0 -1 4202560 826 0 0 0 172 7 0 0 20 0 19 0 29869702 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789517777832 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29089] ppid=29075 vsize=9625040 CPUtime=1.77 cores=0,2,4,6
/proc/29078/task/29089/stat : 29089 (java) S 29075 29078 24550 0 -1 4202560 374 0 0 0 173 4 0 0 20 0 19 0 29869703 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789034563816 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29090] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29090/stat : 29090 (java) S 29075 29078 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29869704 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789033509880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29091] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29091/stat : 29091 (java) S 29075 29078 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29869704 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789032457480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29092] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29092/stat : 29092 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789031405968 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29093] ppid=29075 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/29078/task/29093/stat : 29093 (java) S 29075 29078 24550 0 -1 4202560 3753 0 0 0 38 0 0 0 20 0 19 0 29869706 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789030353592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29078/tid=29094] ppid=29075 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/29078/task/29094/stat : 29094 (java) S 29075 29078 24550 0 -1 4202560 10275 0 0 0 76 3 0 0 20 0 19 0 29869706 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789029300792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29095] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29095/stat : 29095 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789028248696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29096] ppid=29075 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/29078/task/29096/stat : 29096 (java) S 29075 29078 24550 0 -1 4202560 100 0 0 0 31 30 0 0 20 0 19 0 29869706 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789027196104 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29097] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29097/stat : 29097 (java) S 29075 29078 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29869730 9856040960 54148 33554432000 1073741824 1073778376 140736717769360 139789026141096 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1733.53
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.20 2.17 2.10 3/214 29336
/proc/meminfo: memFree=30618980/32872528 swapFree=338416/354768
[pid=29078] ppid=29075 vsize=9625040 CPUtime=1793.9 cores=0,2,4,6
/proc/29078/stat : 29078 (java) S 29075 29078 24550 0 -1 4202496 24099 0 1 0 179289 101 0 0 20 0 19 0 29869700 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 140736717760496 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29078/statm: 2406260 58458 2293 9 0 2396937 0
[pid=29078/tid=29080] ppid=29075 vsize=9625040 CPUtime=1775.49 cores=0,2,4,6
/proc/29078/task/29080/stat : 29080 (java) R 29075 29078 24550 0 -1 4202560 2776 0 1 0 177516 33 0 0 20 0 19 0 29869701 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789681216800 139789525778181 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29081] ppid=29075 vsize=9625040 CPUtime=1.82 cores=0,2,4,6
/proc/29078/task/29081/stat : 29081 (java) S 29075 29078 24550 0 -1 4202560 683 0 0 0 174 8 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789525145896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29082] ppid=29075 vsize=9625040 CPUtime=1.91 cores=0,2,4,6
/proc/29078/task/29082/stat : 29082 (java) S 29075 29078 24550 0 -1 4202560 598 0 0 0 183 8 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789524093096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29083] ppid=29075 vsize=9625040 CPUtime=1.93 cores=0,2,4,6
/proc/29078/task/29083/stat : 29083 (java) S 29075 29078 24550 0 -1 4202560 613 0 0 0 186 7 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789523040808 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29084] ppid=29075 vsize=9625040 CPUtime=1.92 cores=0,2,4,6
/proc/29078/task/29084/stat : 29084 (java) S 29075 29078 24550 0 -1 4202560 673 0 0 0 184 8 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789521988008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29085] ppid=29075 vsize=9625040 CPUtime=1.86 cores=0,2,4,6
/proc/29078/task/29085/stat : 29085 (java) S 29075 29078 24550 0 -1 4202560 719 0 0 0 178 8 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789520935720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29086] ppid=29075 vsize=9625040 CPUtime=1.89 cores=0,2,4,6
/proc/29078/task/29086/stat : 29086 (java) S 29075 29078 24550 0 -1 4202560 765 0 0 0 182 7 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789519882920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29087] ppid=29075 vsize=9625040 CPUtime=1.79 cores=0,2,4,6
/proc/29078/task/29087/stat : 29087 (java) S 29075 29078 24550 0 -1 4202560 630 0 0 0 172 7 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789518830632 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29088] ppid=29075 vsize=9625040 CPUtime=1.87 cores=0,2,4,6
/proc/29078/task/29088/stat : 29088 (java) S 29075 29078 24550 0 -1 4202560 830 0 0 0 180 7 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789517777832 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29078/tid=29089] ppid=29075 vsize=9625040 CPUtime=1.99 cores=0,2,4,6
/proc/29078/task/29089/stat : 29089 (java) S 29075 29078 24550 0 -1 4202560 421 0 0 0 195 4 0 0 20 0 19 0 29869703 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789034563816 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29090] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29090/stat : 29090 (java) S 29075 29078 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29869704 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789033509880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29091] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29091/stat : 29091 (java) S 29075 29078 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29869704 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789032457480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29092] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29092/stat : 29092 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789031405968 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29093] ppid=29075 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/29078/task/29093/stat : 29093 (java) S 29075 29078 24550 0 -1 4202560 3753 0 0 0 38 0 0 0 20 0 19 0 29869706 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789030353592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29078/tid=29094] ppid=29075 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/29078/task/29094/stat : 29094 (java) S 29075 29078 24550 0 -1 4202560 10275 0 0 0 76 3 0 0 20 0 19 0 29869706 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789029300792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29095] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29095/stat : 29095 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789028248696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29096] ppid=29075 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/29078/task/29096/stat : 29096 (java) S 29075 29078 24550 0 -1 4202560 104 0 0 0 32 31 0 0 20 0 19 0 29869706 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789027196104 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29097] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29097/stat : 29097 (java) S 29075 29078 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29869730 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789026141096 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1793.9
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.4 s]
/proc/loadavg: 2.18 2.17 2.10 4/214 29337
/proc/meminfo: memFree=30618912/32872528 swapFree=338416/354768
[pid=29078] ppid=29075 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/29078/stat : 29078 (java) S 29075 29078 24550 0 -1 4202496 24100 0 1 0 179902 101 0 0 20 0 19 0 29869700 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 140736717760496 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/29078/statm: 2406260 58458 2293 9 0 2396937 0
[pid=29078/tid=29080] ppid=29075 vsize=9625040 CPUtime=1781.58 cores=0,2,4,6
/proc/29078/task/29080/stat : 29080 (java) R 29075 29078 24550 0 -1 4202560 2777 0 1 0 178124 34 0 0 20 0 19 0 29869701 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789681216784 139789525778186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29081] ppid=29075 vsize=9625040 CPUtime=1.82 cores=0,2,4,6
/proc/29078/task/29081/stat : 29081 (java) S 29075 29078 24550 0 -1 4202560 683 0 0 0 174 8 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789525145896 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29082] ppid=29075 vsize=9625040 CPUtime=1.91 cores=0,2,4,6
/proc/29078/task/29082/stat : 29082 (java) S 29075 29078 24550 0 -1 4202560 598 0 0 0 183 8 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789524093096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29083] ppid=29075 vsize=9625040 CPUtime=1.94 cores=0,2,4,6
/proc/29078/task/29083/stat : 29083 (java) S 29075 29078 24550 0 -1 4202560 613 0 0 0 187 7 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789523040808 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29084] ppid=29075 vsize=9625040 CPUtime=1.93 cores=0,2,4,6
/proc/29078/task/29084/stat : 29084 (java) S 29075 29078 24550 0 -1 4202560 673 0 0 0 185 8 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789521988008 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29078/tid=29085] ppid=29075 vsize=9625040 CPUtime=1.87 cores=0,2,4,6
/proc/29078/task/29085/stat : 29085 (java) S 29075 29078 24550 0 -1 4202560 719 0 0 0 179 8 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789520935720 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29086] ppid=29075 vsize=9625040 CPUtime=1.9 cores=0,2,4,6
/proc/29078/task/29086/stat : 29086 (java) S 29075 29078 24550 0 -1 4202560 765 0 0 0 183 7 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789519882920 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29087] ppid=29075 vsize=9625040 CPUtime=1.79 cores=0,2,4,6
/proc/29078/task/29087/stat : 29087 (java) S 29075 29078 24550 0 -1 4202560 630 0 0 0 172 7 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789518830632 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29088] ppid=29075 vsize=9625040 CPUtime=1.87 cores=0,2,4,6
/proc/29078/task/29088/stat : 29088 (java) S 29075 29078 24550 0 -1 4202560 830 0 0 0 180 7 0 0 20 0 19 0 29869702 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789517777832 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29078/tid=29089] ppid=29075 vsize=9625040 CPUtime=1.99 cores=0,2,4,6
/proc/29078/task/29089/stat : 29089 (java) S 29075 29078 24550 0 -1 4202560 421 0 0 0 195 4 0 0 20 0 19 0 29869703 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789034563816 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29090] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29090/stat : 29090 (java) S 29075 29078 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29869704 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789033509880 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29091] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29091/stat : 29091 (java) S 29075 29078 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29869704 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789032457480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29092] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29092/stat : 29092 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789031405968 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29093] ppid=29075 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/29078/task/29093/stat : 29093 (java) S 29075 29078 24550 0 -1 4202560 3753 0 0 0 38 0 0 0 20 0 19 0 29869706 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789030353592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29078/tid=29094] ppid=29075 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/29078/task/29094/stat : 29094 (java) S 29075 29078 24550 0 -1 4202560 10275 0 0 0 76 3 0 0 20 0 19 0 29869706 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789029300792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29078/tid=29095] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29095/stat : 29095 (java) S 29075 29078 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29869706 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789028248696 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29078/tid=29096] ppid=29075 vsize=9625040 CPUtime=0.64 cores=0,2,4,6
/proc/29078/task/29096/stat : 29096 (java) S 29075 29078 24550 0 -1 4202560 104 0 0 0 32 32 0 0 20 0 19 0 29869706 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789027196104 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29078/tid=29097] ppid=29075 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/29078/task/29097/stat : 29097 (java) S 29075 29078 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29869730 9856040960 58458 33554432000 1073741824 1073778376 140736717769360 139789026141096 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29078 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1788.46
CPU time (s): 1800.83
CPU user time (s): 1799.36
CPU system time (s): 1.47178
CPU usage (%): 100.692
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 1.47178
maximum resident set size= 617368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24161
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46987
involuntary context switches= 44168

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.879 second user time and 16.3695 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-18 21:30:30
IDJOB=4106816
IDBENCH=48274
IDSOLVER=2546
FILE ID=node126/4106816-1466278230
RUNJOBID= node126-1466264639-24566
PBS_JOBID= 19918224
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_4.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106816-1466278230/watcher-4106816-1466278230 -o /tmp/evaluation-result-4106816-1466278230/solver-4106816-1466278230 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466264639-24566 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106816-1466278230.opb

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

MD5SUM BENCH= edb32574ecafd14c2d1410b208d85a45
RANDOM SEED=506817901

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.121
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.121
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.121
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:        31022524 kB
Buffers:          145992 kB
Cached:           251536 kB
SwapCached:         1736 kB
Active:           440248 kB
Inactive:         315872 kB
Active(anon):     359284 kB
Inactive(anon):     1796 kB
Active(file):      80964 kB
Inactive(file):   314076 kB
Unevictable:      354768 kB
Mlocked:          338416 kB
SwapTotal:      67108856 kB
SwapFree:       67100232 kB
Dirty:               928 kB
Writeback:             0 kB
AnonPages:        940132 kB
Mapped:            17248 kB
Shmem:                 0 kB
Slab:             606356 kB
SReclaimable:      50124 kB
SUnreclaim:       556232 kB
KernelStack:        1656 kB
PageTables:         5592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     841084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    555008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node126 at 2016-06-18 22:00:18