Trace number 4085429

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)6 1800.66 1792.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-rd84.b.opb
MD5SUM6560abb26f607ef952ebe1a74dd5dae1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.487925
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables1009
Total number of constraints3773
Number of constraints which are clauses3773
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint5
Maximum length of a constraint446
Number of terms in the objective function 1009
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 1009
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1009
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization by upper bound
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Glucose 2.1 dynamic restart strategy
0.10/0.10	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.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-4085429-1465241639.opb
0.10/0.10	c reading problem ... 
0.10/0.10	c  objective function found
0.79/0.58	c ... done. Wall clock time 0.476s.
0.79/0.58	c declared #vars     1009
0.79/0.58	c #constraints  3773
0.79/0.58	c constraints type 
0.79/0.58	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3773
0.79/0.58	c 3773 constraints processed.
0.79/0.58	c objective function length is 1009 literals
0.91/0.61	c SATISFIABLE
0.91/0.61	c OPTIMIZING...
0.91/0.61	c Got one! Elapsed wall clock time (in seconds):0.503
0.91/0.61	o 9
1.19/0.77	c Got one! Elapsed wall clock time (in seconds):0.669
1.19/0.77	o 8
1.95/1.33	c cleaning 2801 clauses out of 5601 with flag 23794/5601
2.65/1.93	c cleaning 4384 clauses out of 8799 with flag 51561/11600
3.44/2.73	c cleaning 5702 clauses out of 11415 with flag 85008/18600
4.25/3.54	c cleaning 6860 clauses out of 13719 with flag 116022/26606
5.27/4.54	c cleaning 7925 clauses out of 15854 with flag 158629/35601
6.37/5.69	c cleaning 8959 clauses out of 17928 with flag 200393/45600
7.67/6.91	c cleaning 9983 clauses out of 19969 with flag 271445/56600
8.87/8.17	c cleaning 10980 clauses out of 21991 with flag 349878/68605
10.57/9.80	c cleaning 11998 clauses out of 24006 with flag 411800/81600
12.17/11.42	c cleaning 12991 clauses out of 26008 with flag 483850/95600
13.87/13.16	c cleaning 14003 clauses out of 28018 with flag 563285/110601
15.87/15.13	c cleaning 14983 clauses out of 30014 with flag 660423/126600
17.87/17.18	c cleaning 15995 clauses out of 32032 with flag 783353/143601
20.27/19.54	c cleaning 16965 clauses out of 34036 with flag 881091/161600
22.77/22.05	c cleaning 18024 clauses out of 36071 with flag 978910/180600
25.37/24.60	c cleaning 18930 clauses out of 38047 with flag 1060834/200600
28.07/27.36	c cleaning 20060 clauses out of 40119 with flag 1149908/221602
31.07/30.35	c cleaning 21027 clauses out of 42058 with flag 1290999/243601
34.16/33.42	c cleaning 22006 clauses out of 44030 with flag 1403135/266600
37.07/36.39	c cleaning 23000 clauses out of 46024 with flag 1613080/290600
40.67/39.95	c cleaning 23996 clauses out of 48024 with flag 1745528/315600
44.07/43.34	c cleaning 24958 clauses out of 50029 with flag 1894931/341601
44.17/43.43	c Got one! Elapsed wall clock time (in seconds):43.327
44.17/43.43	o 7
44.67/43.97	c cleaning 15410 clauses out of 30851 with flag 32355/347381
45.37/44.62	c cleaning 10709 clauses out of 21442 with flag 67908/353382
46.07/45.35	c cleaning 8859 clauses out of 17735 with flag 103928/360384
46.87/46.18	c cleaning 8428 clauses out of 16873 with flag 146296/368381
47.77/47.09	c cleaning 8715 clauses out of 17445 with flag 202632/377381
48.67/47.93	c cleaning 9358 clauses out of 18734 with flag 249489/387385
49.68/48.91	c cleaning 10171 clauses out of 20373 with flag 291635/398382
50.78/50.02	c cleaning 11087 clauses out of 22201 with flag 336958/410381
51.98/51.26	c cleaning 12057 clauses out of 24116 with flag 394574/423383
53.48/52.71	c cleaning 13021 clauses out of 26058 with flag 466977/437382
54.98/54.26	c cleaning 13963 clauses out of 28038 with flag 549102/452383
56.78/56.01	c cleaning 15013 clauses out of 30075 with flag 647409/468383
58.68/57.98	c cleaning 16019 clauses out of 32060 with flag 732195/485381
60.68/59.95	c cleaning 17017 clauses out of 34041 with flag 815252/503381
62.78/62.01	c cleaning 18010 clauses out of 36024 with flag 913403/522381
64.98/64.23	c cleaning 19004 clauses out of 38014 with flag 1026738/542381
67.18/66.49	c cleaning 19999 clauses out of 40010 with flag 1122174/563381
70.08/69.32	c cleaning 20996 clauses out of 42012 with flag 1217806/585382
72.68/71.99	c cleaning 21983 clauses out of 44015 with flag 1348367/608381
75.48/74.74	c cleaning 23008 clauses out of 46032 with flag 1498122/632381
78.68/77.91	c cleaning 23948 clauses out of 48024 with flag 1636099/657381
81.97/81.29	c cleaning 25017 clauses out of 50077 with flag 1773711/683382
85.27/84.51	c cleaning 26025 clauses out of 52059 with flag 1925296/710381
88.67/88.00	c cleaning 27017 clauses out of 54038 with flag 2082872/738385
92.37/91.60	c cleaning 27998 clauses out of 56017 with flag 2224046/767381
96.07/95.30	c cleaning 29004 clauses out of 58019 with flag 2455450/797381
99.67/98.96	c cleaning 29938 clauses out of 60015 with flag 2713169/828381
103.82/103.00	c cleaning 31003 clauses out of 62078 with flag 2886083/860382
107.42/106.70	c cleaning 32016 clauses out of 64074 with flag 3095099/893381
111.52/110.76	c cleaning 32982 clauses out of 66058 with flag 3281457/927381
116.02/115.21	c cleaning 34018 clauses out of 68077 with flag 3513538/962382
120.42/119.65	c cleaning 35023 clauses out of 70058 with flag 3704845/998381
125.42/124.69	c cleaning 35999 clauses out of 72036 with flag 3884306/1035382
130.62/129.84	c cleaning 37001 clauses out of 74036 with flag 4095632/1073381
135.82/135.05	c cleaning 38006 clauses out of 76035 with flag 4310181/1112381
140.91/140.18	c cleaning 38978 clauses out of 78029 with flag 4586451/1152381
146.12/145.33	c cleaning 40007 clauses out of 80051 with flag 4822227/1193381
151.72/150.98	c cleaning 41015 clauses out of 82044 with flag 5059656/1235381
157.42/156.66	c cleaning 41945 clauses out of 84030 with flag 5301394/1278382
163.02/162.27	c cleaning 42914 clauses out of 86084 with flag 5551251/1322381
168.67/167.89	c cleaning 44085 clauses out of 88170 with flag 5960392/1367381
174.67/173.81	c cleaning 45023 clauses out of 90085 with flag 6313335/1413381
180.36/179.59	c cleaning 46029 clauses out of 92062 with flag 6659181/1460381
186.77/186.00	c cleaning 47011 clauses out of 94033 with flag 6968605/1508381
193.17/192.38	c cleaning 48011 clauses out of 96024 with flag 7292559/1557383
199.77/198.94	c cleaning 49002 clauses out of 98012 with flag 7604298/1607382
206.67/205.86	c cleaning 49996 clauses out of 100010 with flag 7893122/1658382
213.96/213.15	c cleaning 50996 clauses out of 102013 with flag 8156803/1710381
221.62/220.77	c cleaning 51987 clauses out of 104017 with flag 8438739/1763381
229.22/228.34	c cleaning 53009 clauses out of 106031 with flag 8745059/1817382
236.72/235.82	c cleaning 53932 clauses out of 108021 with flag 9136132/1872381
244.12/243.29	c cleaning 55035 clauses out of 110090 with flag 9487996/1928382
251.72/250.90	c cleaning 55993 clauses out of 112054 with flag 9934844/1985381
261.12/260.20	c cleaning 57027 clauses out of 114061 with flag 10276708/2043381
269.51/268.68	c cleaning 58007 clauses out of 116034 with flag 10652612/2102381
278.32/277.33	c cleaning 58996 clauses out of 118027 with flag 11014982/2162381
286.61/285.67	c cleaning 60005 clauses out of 120031 with flag 11395511/2223381
292.01/291.05	c Got one! Elapsed wall clock time (in seconds):290.945
292.01/291.05	o 6
292.95/291.97	c cleaning 53184 clauses out of 106377 with flag 26349/2269732
293.66/292.67	c cleaning 29589 clauses out of 59195 with flag 57955/2275734
294.64/293.50	c cleaning 18296 clauses out of 36605 with flag 90876/2282733
295.70/294.36	c cleaning 13139 clauses out of 26308 with flag 123034/2290732
297.00/295.27	c cleaning 11047 clauses out of 22169 with flag 164456/2299732
298.01/296.27	c cleaning 10546 clauses out of 21122 with flag 214328/2309732
299.21/297.42	c cleaning 10754 clauses out of 21576 with flag 285294/2320732
300.52/298.71	c cleaning 11402 clauses out of 22822 with flag 343035/2332732
301.82/300.08	c cleaning 12208 clauses out of 24422 with flag 408045/2345734
303.42/301.62	c cleaning 13091 clauses out of 26212 with flag 480828/2359732
304.92/303.20	c cleaning 14054 clauses out of 28122 with flag 554984/2374733
306.72/304.93	c cleaning 15031 clauses out of 30069 with flag 640718/2390734
308.54/306.77	c cleaning 16003 clauses out of 32036 with flag 780940/2407732
310.64/308.83	c cleaning 17015 clauses out of 34034 with flag 888928/2425733
312.74/310.92	c cleaning 18009 clauses out of 36018 with flag 1011157/2444732
314.84/313.04	c cleaning 18995 clauses out of 38011 with flag 1134216/2464734
317.14/315.38	c cleaning 19991 clauses out of 40014 with flag 1299509/2485732
319.54/317.77	c cleaning 21001 clauses out of 42023 with flag 1497424/2507732
321.99/320.19	c cleaning 21977 clauses out of 44022 with flag 1684279/2530732
324.78/322.92	c cleaning 23005 clauses out of 46045 with flag 1843671/2554732
327.49/325.65	c cleaning 24021 clauses out of 48041 with flag 2016786/2579733
330.39/328.56	c cleaning 24923 clauses out of 50019 with flag 2239466/2605732
333.49/331.62	c cleaning 26048 clauses out of 52096 with flag 2380146/2632732
336.68/334.87	c cleaning 27017 clauses out of 54048 with flag 2573758/2660732
340.08/338.28	c cleaning 27979 clauses out of 56031 with flag 2744886/2689732
343.58/341.73	c cleaning 29021 clauses out of 58053 with flag 2967148/2719733
347.18/345.36	c cleaning 30001 clauses out of 60032 with flag 3161336/2750733
350.88/349.05	c cleaning 30977 clauses out of 62030 with flag 3432298/2782732
354.88/353.05	c cleaning 32017 clauses out of 64055 with flag 3615507/2815734
359.08/357.27	c cleaning 33012 clauses out of 66043 with flag 3776168/2849739
363.45/361.50	c cleaning 33904 clauses out of 68024 with flag 3966365/2884732
367.75/365.80	c cleaning 34978 clauses out of 70120 with flag 4196694/2920732
372.15/370.30	c cleaning 36066 clauses out of 72142 with flag 4453099/2957732
376.76/374.85	c cleaning 37023 clauses out of 74079 with flag 4682224/2995735
381.36/379.50	c cleaning 37862 clauses out of 76054 with flag 4971046/3034733
386.26/384.35	c cleaning 39016 clauses out of 78191 with flag 5271686/3074732
391.47/389.52	c cleaning 40085 clauses out of 80175 with flag 5547201/3115732
396.56/394.64	c cleaning 41029 clauses out of 82090 with flag 5862433/3157732
401.65/399.66	c cleaning 41982 clauses out of 84061 with flag 6179780/3200732
407.15/405.11	c cleaning 43034 clauses out of 86079 with flag 6464506/3244732
412.65/410.62	c cleaning 43993 clauses out of 88046 with flag 6765038/3289733
418.45/416.43	c cleaning 44994 clauses out of 90052 with flag 7061795/3335732
424.25/422.22	c cleaning 45903 clauses out of 92058 with flag 7409055/3382732
430.15/428.15	c cleaning 47065 clauses out of 94155 with flag 7750719/3430732
436.02/433.97	c cleaning 48044 clauses out of 96091 with flag 8061424/3479733
441.82/439.77	c cleaning 49013 clauses out of 98046 with flag 8393062/3529732
447.82/445.77	c cleaning 49990 clauses out of 100033 with flag 8754791/3580732
454.02/451.94	c cleaning 51002 clauses out of 102043 with flag 9136111/3632732
460.42/458.37	c cleaning 52011 clauses out of 104041 with flag 9482354/3685732
466.92/464.87	c cleaning 53001 clauses out of 106030 with flag 9851447/3739732
473.69/471.56	c cleaning 53966 clauses out of 108029 with flag 10168170/3794732
481.11/478.90	c cleaning 55021 clauses out of 110063 with flag 10539343/3850732
488.31/486.18	c cleaning 55982 clauses out of 112042 with flag 10911913/3907732
495.61/493.41	c cleaning 57018 clauses out of 114060 with flag 11349819/3965732
503.30/501.17	c cleaning 58001 clauses out of 116042 with flag 11696186/4024732
511.37/509.14	c cleaning 58906 clauses out of 118041 with flag 12088756/4084732
519.57/517.35	c cleaning 60037 clauses out of 120135 with flag 12506478/4145732
527.47/525.26	c cleaning 61031 clauses out of 122098 with flag 13010397/4207732
536.07/533.84	c cleaning 62029 clauses out of 124067 with flag 13404458/4270732
544.74/542.48	c cleaning 63006 clauses out of 126038 with flag 13893747/4334732
553.54/551.21	c cleaning 64007 clauses out of 128032 with flag 14374553/4399732
562.43/560.19	c cleaning 65001 clauses out of 130027 with flag 14845116/4465734
571.64/569.35	c cleaning 65957 clauses out of 132024 with flag 15304920/4532732
580.64/578.31	c cleaning 67030 clauses out of 134069 with flag 15708632/4600734
590.02/587.68	c cleaning 67939 clauses out of 136037 with flag 16163681/4669732
599.42/597.01	c cleaning 69041 clauses out of 138102 with flag 16729551/4739736
609.02/606.62	c cleaning 70027 clauses out of 140057 with flag 17219151/4810732
619.20/616.78	c cleaning 70998 clauses out of 142030 with flag 17738081/4882732
629.30/626.86	c cleaning 71971 clauses out of 144032 with flag 18290281/4955732
639.61/637.15	c cleaning 73025 clauses out of 146061 with flag 18816922/5029732
650.21/647.76	c cleaning 73971 clauses out of 148036 with flag 19318770/5104732
660.77/658.20	c cleaning 75032 clauses out of 150068 with flag 19831970/5180735
671.28/668.75	c cleaning 75950 clauses out of 152033 with flag 20386866/5257732
681.88/679.31	c cleaning 77037 clauses out of 154084 with flag 20954609/5335733
692.94/690.33	c cleaning 78002 clauses out of 156046 with flag 21543682/5414732
703.73/701.19	c cleaning 79007 clauses out of 158044 with flag 22154385/5494732
714.64/712.04	c cleaning 79998 clauses out of 160038 with flag 22725679/5575733
725.79/723.14	c cleaning 80994 clauses out of 162039 with flag 23307466/5657732
736.99/734.32	c cleaning 81964 clauses out of 164045 with flag 23940537/5740732
748.29/745.61	c cleaning 83028 clauses out of 166081 with flag 24564757/5824732
759.46/756.70	c cleaning 84027 clauses out of 168053 with flag 25297474/5909732
770.56/767.83	c cleaning 85009 clauses out of 170027 with flag 26029859/5995733
782.41/779.63	c cleaning 86001 clauses out of 172018 with flag 26702984/6082733
794.21/791.41	c cleaning 86997 clauses out of 174018 with flag 27384290/6170734
806.91/804.08	c cleaning 87998 clauses out of 176019 with flag 27972906/6259732
819.81/816.95	c cleaning 89003 clauses out of 178022 with flag 28710407/6349733
833.20/830.28	c cleaning 89934 clauses out of 180018 with flag 29394315/6440732
847.00/844.08	c cleaning 90994 clauses out of 182084 with flag 29987795/6532732
861.00/858.06	c cleaning 92036 clauses out of 184090 with flag 30623089/6625732
874.26/871.25	c cleaning 92981 clauses out of 186054 with flag 31421454/6719732
887.96/884.80	c cleaning 94030 clauses out of 188075 with flag 32203727/6814734
902.06/898.94	c cleaning 95013 clauses out of 190043 with flag 32894963/6910732
916.23/913.06	c cleaning 95968 clauses out of 192030 with flag 33624568/7007732
930.93/927.79	c cleaning 97006 clauses out of 194062 with flag 34370038/7105732
945.20/941.99	c cleaning 97974 clauses out of 196056 with flag 35129803/7204732
960.09/956.74	c cleaning 99021 clauses out of 198082 with flag 35958407/7304732
975.39/972.10	c cleaning 100009 clauses out of 200061 with flag 36699577/7405732
990.44/987.00	c cleaning 101006 clauses out of 202052 with flag 37513685/7507732
1005.53/1001.92	c cleaning 102022 clauses out of 204048 with flag 38360596/7610734
1020.93/1017.37	c cleaning 102981 clauses out of 206025 with flag 39194481/7714733
1036.31/1032.68	c cleaning 104020 clauses out of 208043 with flag 40056355/7819732
1052.10/1048.37	c cleaning 104967 clauses out of 210024 with flag 40881358/7925733
1067.69/1063.96	c cleaning 105955 clauses out of 212057 with flag 41835736/8032733
1084.15/1080.35	c cleaning 107045 clauses out of 214102 with flag 42611849/8140733
1099.90/1096.06	c cleaning 108009 clauses out of 216056 with flag 43444380/8249732
1115.09/1111.16	c cleaning 109011 clauses out of 218047 with flag 44273226/8359732
1130.35/1126.37	c cleaning 110008 clauses out of 220036 with flag 45179977/8470732
1145.44/1141.30	c cleaning 110977 clauses out of 222028 with flag 46195362/8582732
1161.03/1156.96	c cleaning 111970 clauses out of 224051 with flag 47203436/8695732
1176.94/1172.71	c cleaning 112974 clauses out of 226081 with flag 48220571/8809732
1193.63/1189.46	c cleaning 114026 clauses out of 228107 with flag 49068328/8924732
1211.54/1207.22	c cleaning 115017 clauses out of 230081 with flag 49958029/9040732
1228.91/1224.53	c cleaning 115954 clauses out of 232064 with flag 50876011/9157732
1245.88/1241.49	c cleaning 116980 clauses out of 234110 with flag 51790709/9275732
1262.54/1258.05	c cleaning 118049 clauses out of 236132 with flag 52745198/9394734
1280.09/1275.48	c cleaning 119035 clauses out of 238081 with flag 53585034/9514732
1297.95/1293.21	c cleaning 120006 clauses out of 240046 with flag 54507896/9635732
1316.30/1311.53	c cleaning 120935 clauses out of 242040 with flag 55469825/9757732
1336.12/1331.21	c cleaning 122037 clauses out of 244107 with flag 56402404/9880734
1355.70/1350.78	c cleaning 123013 clauses out of 246068 with flag 57265236/10004732
1374.40/1369.39	c cleaning 123940 clauses out of 248055 with flag 58151299/10129732
1393.69/1388.58	c cleaning 125055 clauses out of 250117 with flag 59108834/10255734
1413.90/1408.67	c cleaning 125961 clauses out of 252060 with flag 60137671/10382732
1433.84/1428.56	c cleaning 127008 clauses out of 254100 with flag 61116239/10510733
1454.07/1448.64	c cleaning 128020 clauses out of 256091 with flag 62066206/10639732
1474.42/1468.99	c cleaning 129019 clauses out of 258072 with flag 62973980/10769733
1493.82/1488.27	c cleaning 130001 clauses out of 260052 with flag 63952990/10900732
1514.85/1509.18	c cleaning 131017 clauses out of 262051 with flag 64826778/11032732
1536.08/1530.20	c cleaning 131990 clauses out of 264034 with flag 65834621/11165732
1556.22/1550.23	c cleaning 132953 clauses out of 266047 with flag 66908944/11299735
1578.37/1572.24	c cleaning 134037 clauses out of 268091 with flag 67933805/11434732
1600.29/1594.10	c cleaning 134992 clauses out of 270054 with flag 68874666/11570732
1623.01/1616.68	c cleaning 136020 clauses out of 272062 with flag 69842924/11707732
1645.67/1639.15	c cleaning 137019 clauses out of 274043 with flag 70857665/11845733
1667.68/1661.04	c cleaning 138000 clauses out of 276023 with flag 72017076/11984732
1689.10/1682.37	c cleaning 138956 clauses out of 278023 with flag 73115541/12124732
1710.75/1703.81	c cleaning 140015 clauses out of 280067 with flag 74197847/12265732
1732.71/1725.67	c cleaning 141022 clauses out of 282052 with flag 75266037/12407732
1754.67/1747.45	c cleaning 142014 clauses out of 284031 with flag 76350782/12550733
1776.36/1768.93	c cleaning 142957 clauses out of 286018 with flag 77498005/12694734
1799.22/1791.69	c cleaning 144020 clauses out of 288059 with flag 78548383/12839732
1800.03/1792.40	c starts		: 84556
1800.03/1792.40	c conflicts		: 12844483
1800.03/1792.40	c decisions		: 271908959
1800.03/1792.40	c propagations		: 695415622
1800.03/1792.40	c inspects		: 13006518313
1800.03/1792.40	c shortcuts		: 0
1800.03/1792.40	c learnt literals	: 0
1800.03/1792.40	c learnt binary clauses	: 76
1800.03/1792.40	c learnt ternary clauses	: 1127
1800.03/1792.40	c learnt constraints	: 12844483
1800.03/1792.40	c ignored constraints	: 0
1800.03/1792.40	c root simplifications	: 0
1800.03/1792.40	c removed literals (reason simplification)	: 0
1800.03/1792.40	c reason swapping (by a shorter reason)	: 0
1800.03/1792.40	c Calls to reduceDB	: 220
1800.03/1792.40	c Number of update (reduction) of LBD	: 9719261
1800.03/1792.40	c Imported unit clauses	: 0
1800.03/1792.40	c number of reductions to clauses (during analyze)	: 0
1800.03/1792.40	c number of learned constraints concerned by reduction	: 0
1800.03/1792.40	c number of learning phase by resolution	: 0
1800.03/1792.40	c number of learning phase by cutting planes	: 0
1800.03/1792.40	c speed (assignments/second)	: 388106.17038114363
1800.03/1792.40	c non guided choices	0
1800.03/1792.43	c learnt constraints type 
1800.03/1792.43	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 76
1800.03/1792.43	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 148714
1800.03/1792.43	s SATISFIABLE
1800.03/1792.43	c Found 4 solution(s)
1800.03/1792.44	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 
1800.03/1792.44	c objective function=6
1800.03/1792.44	c Total wall clock time (in seconds): 1792.334

Verifier Data 

OK	6

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-4085429-1465241639/watcher-4085429-1465241639 -o /tmp/evaluation-result-4085429-1465241639/solver-4085429-1465241639 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465241631-17481 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085429-1465241639.opb 

pid=19508
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.16 2.67 3.39 2/170 19511
/proc/meminfo: memFree=31709080/32872528 swapFree=11320/319964
[pid=19511] ppid=19508 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/19511/stat : 19511 (java) S 19508 19511 12316 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 106097211 98570240 976 33554432000 1073741824 1073778376 140736134336864 140736134328000 262966116413 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19511/statm: 24065 976 743 9 0 16771 0
[pid=19511/tid=19512] ppid=19508 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19512/stat : 19512 (java) R 19508 19511 12316 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 106097212 98570240 976 33554432000 1073741824 1073778376 140736134336864 139951100014120 262962759040 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.16 2.67 3.39 2/170 19511
/proc/meminfo: memFree=31709080/32872528 swapFree=11320/319964
[pid=19511] ppid=19508 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/19511/stat : 19511 (java) S 19508 19511 12316 0 -1 4202496 4531 0 1 0 10 0 0 0 20 0 18 0 106097211 9787879424 5649 33554432000 1073741824 1073778376 140736134336864 140736134328000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19511/statm: 2389619 5649 2155 9 0 2380296 0
[pid=19511/tid=19512] ppid=19508 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/19511/task/19512/stat : 19512 (java) R 19508 19511 12316 0 -1 4202560 2427 0 1 0 7 0 0 0 20 0 18 0 106097212 9787879424 5649 33554432000 1073741824 1073778376 140736134336864 139951100017688 262966142221 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200277 s]
/proc/loadavg: 2.16 2.67 3.39 2/170 19511
/proc/meminfo: memFree=31709080/32872528 swapFree=11320/319964
[pid=19511] ppid=19508 vsize=9558476 CPUtime=0.31 cores=0,2,4,6
/proc/19511/stat : 19511 (java) S 19508 19511 12316 0 -1 4202496 5779 0 1 0 30 1 0 0 20 0 18 0 106097211 9787879424 7005 33554432000 1073741824 1073778376 140736134336864 140736134328000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19511/statm: 2389619 7005 2222 9 0 2380296 0
[pid=19511/tid=19512] ppid=19508 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/19511/task/19512/stat : 19512 (java) R 19508 19511 12316 0 -1 4202560 2441 0 1 0 17 0 0 0 20 0 18 0 106097212 9787879424 7005 33554432000 1073741824 1073778376 140736134336864 139951100018648 139951039813941 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476

[startup+0.300373 s]
/proc/loadavg: 2.16 2.67 3.39 2/170 19511
/proc/meminfo: memFree=31709080/32872528 swapFree=11320/319964
[pid=19511] ppid=19508 vsize=9558476 CPUtime=0.58 cores=0,2,4,6
/proc/19511/stat : 19511 (java) S 19508 19511 12316 0 -1 4202496 7378 0 1 0 57 1 0 0 20 0 18 0 106097211 9787879424 11441 33554432000 1073741824 1073778376 140736134336864 140736134328000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19511/statm: 2389619 11441 2238 9 0 2380296 0
[pid=19511/tid=19512] ppid=19508 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/19511/task/19512/stat : 19512 (java) R 19508 19511 12316 0 -1 4202560 2448 0 1 0 27 0 0 0 20 0 18 0 106097212 9787879424 11441 33554432000 1073741824 1073778376 140736134336864 139951100018648 139951039824424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558476

[startup+0.700195 s]
/proc/loadavg: 2.16 2.67 3.39 2/170 19511
/proc/meminfo: memFree=31709080/32872528 swapFree=11320/319964
[pid=19511] ppid=19508 vsize=9625040 CPUtime=1.19 cores=0,2,4,6
/proc/19511/stat : 19511 (java) S 19508 19511 12316 0 -1 4202496 8116 0 1 0 115 4 0 0 20 0 19 0 106097211 9856040960 39679 33554432000 1073741824 1073778376 140736134336864 140736134328000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19511/statm: 2406260 39679 2273 9 0 2396937 0
[pid=19511/tid=19512] ppid=19508 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/19511/task/19512/stat : 19512 (java) R 19508 19511 12316 0 -1 4202560 2522 0 1 0 64 3 0 0 20 0 19 0 106097212 9856040960 39679 33554432000 1073741824 1073778376 140736134336864 139951100010512 139951039788560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9625040

[startup+1.50083 s]
/proc/loadavg: 2.07 2.64 3.38 5/213 19628
/proc/meminfo: memFree=31534696/32872528 swapFree=11320/319964
[pid=19511] ppid=19508 vsize=9625040 CPUtime=2.17 cores=0,2,4,6
/proc/19511/stat : 19511 (java) S 19508 19511 12316 0 -1 4202496 9068 0 1 0 213 4 0 0 20 0 19 0 106097211 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 140736134328000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19511/statm: 2406260 39872 2282 9 0 2396937 0
[pid=19511/tid=19512] ppid=19508 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/19511/task/19512/stat : 19512 (java) R 19508 19511 12316 0 -1 4202560 2522 0 1 0 144 3 0 0 20 0 19 0 106097212 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139951100019064 139951040359249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19514] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19514/stat : 19514 (java) S 19508 19511 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950943938728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19515] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19515/stat : 19515 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950942886184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19516] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19516/stat : 19516 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950941833640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19517] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19517/stat : 19517 (java) S 19508 19511 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950940781096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19518] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19518/stat : 19518 (java) S 19508 19511 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950939728552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19519] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19519/stat : 19519 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950938676008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19520] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19520/stat : 19520 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950937623464 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19521] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19521/stat : 19521 (java) S 19508 19511 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950936570920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19522] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19522/stat : 19522 (java) S 19508 19511 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950924159080 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19523] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19523/stat : 19523 (java) S 19508 19511 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950923105400 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19524] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19524/stat : 19524 (java) S 19508 19511 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950922052744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19525] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19525/stat : 19525 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097216 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950921001488 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19526] ppid=19508 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/19511/task/19526/stat : 19526 (java) S 19508 19511 12316 0 -1 4202560 2750 0 0 0 39 0 0 0 20 0 19 0 106097216 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950919948856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19527] ppid=19508 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/19511/task/19527/stat : 19527 (java) S 19508 19511 12316 0 -1 4202560 2506 0 0 0 27 0 0 0 20 0 19 0 106097216 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950918896312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19528] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19528/stat : 19528 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097216 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950917843960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19529] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19529/stat : 19529 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097217 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950916791624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19568] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19568/stat : 19568 (java) S 19508 19511 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106097270 9856040960 39872 33554432000 1073741824 1073778376 140736134336864 139950915736360 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9625040

[startup+3.10073 s]
/proc/loadavg: 2.07 2.64 3.38 3/213 19628
/proc/meminfo: memFree=31507152/32872528 swapFree=11320/319964
[pid=19511] ppid=19508 vsize=9625040 CPUtime=3.85 cores=0,2,4,6
/proc/19511/stat : 19511 (java) S 19508 19511 12316 0 -1 4202496 9470 0 1 0 380 5 0 0 20 0 19 0 106097211 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 140736134328000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19511/statm: 2406260 39894 2282 9 0 2396937 0
[pid=19511/tid=19512] ppid=19508 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/19511/task/19512/stat : 19512 (java) R 19508 19511 12316 0 -1 4202560 2524 0 1 0 304 3 0 0 20 0 19 0 106097212 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139951100010192 139951040418920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19514] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19514/stat : 19514 (java) S 19508 19511 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950943938728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19515] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19515/stat : 19515 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950942886184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19516] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19516/stat : 19516 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950941833640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19517] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19517/stat : 19517 (java) S 19508 19511 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950940781096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19518] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19518/stat : 19518 (java) S 19508 19511 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950939728552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19519] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19519/stat : 19519 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950938676008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19520] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19520/stat : 19520 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950937623464 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19521] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19521/stat : 19521 (java) S 19508 19511 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950936570920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19522] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19522/stat : 19522 (java) S 19508 19511 12316 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950924159080 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19523] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19523/stat : 19523 (java) S 19508 19511 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950923105400 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19524] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19524/stat : 19524 (java) S 19508 19511 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950922052744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19525] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19525/stat : 19525 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097216 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950921001488 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19526] ppid=19508 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/19511/task/19526/stat : 19526 (java) S 19508 19511 12316 0 -1 4202560 3145 0 0 0 42 1 0 0 20 0 19 0 106097216 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950919948856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19527] ppid=19508 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/19511/task/19527/stat : 19527 (java) S 19508 19511 12316 0 -1 4202560 2510 0 0 0 30 0 0 0 20 0 19 0 106097216 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950918896312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19528] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19528/stat : 19528 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097216 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950917843960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19529] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19529/stat : 19529 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097217 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950916791624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19568] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19568/stat : 19568 (java) S 19508 19511 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106097270 9856040960 39894 33554432000 1073741824 1073778376 140736134336864 139950915736360 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9625040

[startup+6.30075 s]
/proc/loadavg: 2.06 2.63 3.37 4/213 19628
/proc/meminfo: memFree=31500924/32872528 swapFree=11320/319964
[pid=19511] ppid=19508 vsize=9625040 CPUtime=7.07 cores=0,2,4,6
/proc/19511/stat : 19511 (java) S 19508 19511 12316 0 -1 4202496 9472 0 1 0 702 5 0 0 20 0 19 0 106097211 9856040960 39879 33554432000 1073741824 1073778376 140736134336864 140736134328000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19511/statm: 2406260 39879 2282 9 0 2396937 0
[pid=19511/tid=19512] ppid=19508 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/19511/task/19512/stat : 19512 (java) R 19508 19511 12316 0 -1 4202560 2525 0 1 0 624 3 0 0 20 0 19 0 106097212 9856040960 39879 33554432000 1073741824 1073778376 140736134336864 139951100019016 139951040419044 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19514] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19514/stat : 19514 (java) S 19508 19511 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39879 33554432000 1073741824 1073778376 140736134336864 139950943938728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19515] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19515/stat : 19515 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39879 33554432000 1073741824 1073778376 140736134336864 139950942886184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19516] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19516/stat : 19516 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39879 33554432000 1073741824 1073778376 140736134336864 139950941833640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19517] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19517/stat : 19517 (java) S 19508 19511 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39879 33554432000 1073741824 1073778376 140736134336864 139950940781096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19518] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19518/stat : 19518 (java) S 19508 19511 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39879 33554432000 1073741824 1073778376 140736134336864 139950939728552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19519] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19519/stat : 19519 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39879 33554432000 1073741824 1073778376 140736134336864 139950938676008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19520] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19520/stat : 19520 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39879 33554432000 1073741824 1073778376 140736134336864 139950937623464 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19521] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19521/stat : 19521 (java) S 19508 19511 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 106097213 9856040960 39879 33554432000 1073741824 1073778376 140736134336864 139950936570920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19522] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19522/stat : 19522 (java) S 19508 19511 12316 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 39879 33554432000 1073741824 1073778376 140736134336864 139950924159080 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19523] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19523/stat : 19523 (java) S 19508 19511 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 39879 33554432000 1073741824 1073778376 140736134336864 139950923105400 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19524] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19524/stat : 19524 (java) S 19508 19511 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 39879 33554432000 1073741824 1073778376 140736134336864 139950922052744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19525] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19525/stat : 19525 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097216 9856040960 39879 33554432000 1073741824 1073778376 140736134336864 139950921001488 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19526] ppid=19508 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/19511/task/19526/stat : 19526 (java) S 19508 19511 12316 0 -1 4202560 3146 0 0 0 43 2 0 0 20 0 19 0 106097216 9856040960 39879 33554432000 1073741824 1073778376 140736134336864 139950919948856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19527] ppid=19508 vsize=9625040 CPUtime=0.3 cores=0,2,4,6

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

[pid=19511/tid=19523] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19523/stat : 19523 (java) S 19508 19511 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 93573 33554432000 1073741824 1073778376 140736134336864 139950923105400 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19524] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19524/stat : 19524 (java) S 19508 19511 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 93573 33554432000 1073741824 1073778376 140736134336864 139950922052744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19525] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19525/stat : 19525 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097216 9856040960 93573 33554432000 1073741824 1073778376 140736134336864 139950921001488 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19526] ppid=19508 vsize=9625040 CPUtime=1.27 cores=0,2,4,6
/proc/19511/task/19526/stat : 19526 (java) S 19508 19511 12316 0 -1 4202560 14746 0 0 0 123 4 0 0 20 0 19 0 106097216 9856040960 93573 33554432000 1073741824 1073778376 140736134336864 139950919948856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19527] ppid=19508 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/19511/task/19527/stat : 19527 (java) S 19508 19511 12316 0 -1 4202560 2518 0 0 0 38 0 0 0 20 0 19 0 106097216 9856040960 93573 33554432000 1073741824 1073778376 140736134336864 139950918896312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19528] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19528/stat : 19528 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097216 9856040960 93573 33554432000 1073741824 1073778376 140736134336864 139950917843960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19529] ppid=19508 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/19511/task/19529/stat : 19529 (java) S 19508 19511 12316 0 -1 4202560 95 0 0 0 25 24 0 0 20 0 19 0 106097217 9856040960 93573 33554432000 1073741824 1073778376 140736134336864 139950916791624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19568] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19568/stat : 19568 (java) S 19508 19511 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106097270 9856040960 93573 33554432000 1073741824 1073778376 140736134336864 139950915736360 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1668.97
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.20 3/213 19696
/proc/meminfo: memFree=31076576/32872528 swapFree=11320/319964
[pid=19511] ppid=19508 vsize=9625040 CPUtime=1729.41 cores=0,2,4,6
/proc/19511/stat : 19511 (java) S 19508 19511 12316 0 -1 4202496 22993 0 1 0 172868 73 0 0 20 0 19 0 106097211 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 140736134328000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19511/statm: 2406260 88279 2291 9 0 2396937 0
[pid=19511/tid=19512] ppid=19508 vsize=9625040 CPUtime=1719.4 cores=0,2,4,6
/proc/19511/task/19512/stat : 19512 (java) R 19508 19511 12316 0 -1 4202560 2614 0 1 0 171907 33 0 0 20 0 19 0 106097212 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139951100017968 139951039940103 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19514] ppid=19508 vsize=9625040 CPUtime=0.97 cores=0,2,4,6
/proc/19511/task/19514/stat : 19514 (java) S 19508 19511 12316 0 -1 4202560 417 0 0 0 93 4 0 0 20 0 19 0 106097213 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950943938728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19515] ppid=19508 vsize=9625040 CPUtime=0.97 cores=0,2,4,6
/proc/19511/task/19515/stat : 19515 (java) S 19508 19511 12316 0 -1 4202560 129 0 0 0 92 5 0 0 20 0 19 0 106097213 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950942886184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19516] ppid=19508 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/19511/task/19516/stat : 19516 (java) S 19508 19511 12316 0 -1 4202560 224 0 0 0 81 4 0 0 20 0 19 0 106097213 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950941833640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19517] ppid=19508 vsize=9625040 CPUtime=0.93 cores=0,2,4,6
/proc/19511/task/19517/stat : 19517 (java) S 19508 19511 12316 0 -1 4202560 87 0 0 0 88 5 0 0 20 0 19 0 106097213 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950940781096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19518] ppid=19508 vsize=9625040 CPUtime=0.95 cores=0,2,4,6
/proc/19511/task/19518/stat : 19518 (java) S 19508 19511 12316 0 -1 4202560 172 0 0 0 88 7 0 0 20 0 19 0 106097213 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950939728552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19519] ppid=19508 vsize=9625040 CPUtime=0.97 cores=0,2,4,6
/proc/19511/task/19519/stat : 19519 (java) S 19508 19511 12316 0 -1 4202560 153 0 0 0 92 5 0 0 20 0 19 0 106097213 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950938676008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19520] ppid=19508 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/19511/task/19520/stat : 19520 (java) S 19508 19511 12316 0 -1 4202560 153 0 0 0 81 4 0 0 20 0 19 0 106097213 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950937623464 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19521] ppid=19508 vsize=9625040 CPUtime=0.98 cores=0,2,4,6
/proc/19511/task/19521/stat : 19521 (java) S 19508 19511 12316 0 -1 4202560 232 0 0 0 92 6 0 0 20 0 19 0 106097213 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950936570920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19522] ppid=19508 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/19511/task/19522/stat : 19522 (java) S 19508 19511 12316 0 -1 4202560 192 0 0 0 59 4 0 0 20 0 19 0 106097214 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950924159080 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19523] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19523/stat : 19523 (java) S 19508 19511 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950923105400 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19524] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19524/stat : 19524 (java) S 19508 19511 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950922052744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19525] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19525/stat : 19525 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097216 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950921001488 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19526] ppid=19508 vsize=9625040 CPUtime=1.27 cores=0,2,4,6
/proc/19511/task/19526/stat : 19526 (java) S 19508 19511 12316 0 -1 4202560 14746 0 0 0 123 4 0 0 20 0 19 0 106097216 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950919948856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19527] ppid=19508 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/19511/task/19527/stat : 19527 (java) S 19508 19511 12316 0 -1 4202560 2518 0 0 0 38 0 0 0 20 0 19 0 106097216 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950918896312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19528] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19528/stat : 19528 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097216 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950917843960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19529] ppid=19508 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/19511/task/19529/stat : 19529 (java) S 19508 19511 12316 0 -1 4202560 99 0 0 0 26 25 0 0 20 0 19 0 106097217 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950916791624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19568] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19568/stat : 19568 (java) S 19508 19511 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106097270 9856040960 88279 33554432000 1073741824 1073778376 140736134336864 139950915736360 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1729.41
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.18 3/213 19697
/proc/meminfo: memFree=31089772/32872528 swapFree=11320/319964
[pid=19511] ppid=19508 vsize=9625040 CPUtime=1789.82 cores=0,2,4,6
/proc/19511/stat : 19511 (java) S 19508 19511 12316 0 -1 4202496 23073 0 1 0 178908 74 0 0 20 0 19 0 106097211 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 140736134328000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19511/statm: 2406260 85762 2291 9 0 2396937 0
[pid=19511/tid=19512] ppid=19508 vsize=9625040 CPUtime=1779.11 cores=0,2,4,6
/proc/19511/task/19512/stat : 19512 (java) R 19508 19511 12316 0 -1 4202560 2622 0 1 0 177877 34 0 0 20 0 19 0 106097212 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139951100017968 139951040313026 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19514] ppid=19508 vsize=9625040 CPUtime=1.08 cores=0,2,4,6
/proc/19511/task/19514/stat : 19514 (java) S 19508 19511 12316 0 -1 4202560 431 0 0 0 104 4 0 0 20 0 19 0 106097213 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950943938728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19515] ppid=19508 vsize=9625040 CPUtime=1.03 cores=0,2,4,6
/proc/19511/task/19515/stat : 19515 (java) S 19508 19511 12316 0 -1 4202560 129 0 0 0 98 5 0 0 20 0 19 0 106097213 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950942886184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19516] ppid=19508 vsize=9625040 CPUtime=0.9 cores=0,2,4,6
/proc/19511/task/19516/stat : 19516 (java) S 19508 19511 12316 0 -1 4202560 224 0 0 0 86 4 0 0 20 0 19 0 106097213 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950941833640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19517] ppid=19508 vsize=9625040 CPUtime=0.98 cores=0,2,4,6
/proc/19511/task/19517/stat : 19517 (java) S 19508 19511 12316 0 -1 4202560 87 0 0 0 93 5 0 0 20 0 19 0 106097213 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950940781096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19518] ppid=19508 vsize=9625040 CPUtime=1.01 cores=0,2,4,6
/proc/19511/task/19518/stat : 19518 (java) S 19508 19511 12316 0 -1 4202560 172 0 0 0 94 7 0 0 20 0 19 0 106097213 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950939728552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19519] ppid=19508 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/19511/task/19519/stat : 19519 (java) S 19508 19511 12316 0 -1 4202560 153 0 0 0 102 5 0 0 20 0 19 0 106097213 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950938676008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19520] ppid=19508 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/19511/task/19520/stat : 19520 (java) S 19508 19511 12316 0 -1 4202560 153 0 0 0 88 4 0 0 20 0 19 0 106097213 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950937623464 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19521] ppid=19508 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/19511/task/19521/stat : 19521 (java) S 19508 19511 12316 0 -1 4202560 232 0 0 0 98 6 0 0 20 0 19 0 106097213 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950936570920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19522] ppid=19508 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/19511/task/19522/stat : 19522 (java) S 19508 19511 12316 0 -1 4202560 246 0 0 0 72 4 0 0 20 0 19 0 106097214 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950924159080 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19523] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19523/stat : 19523 (java) S 19508 19511 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950923105400 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19524] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19524/stat : 19524 (java) S 19508 19511 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950922052744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19525] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19525/stat : 19525 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097216 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950921001488 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19526] ppid=19508 vsize=9625040 CPUtime=1.27 cores=0,2,4,6
/proc/19511/task/19526/stat : 19526 (java) S 19508 19511 12316 0 -1 4202560 14746 0 0 0 123 4 0 0 20 0 19 0 106097216 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950919948856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19527] ppid=19508 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/19511/task/19527/stat : 19527 (java) S 19508 19511 12316 0 -1 4202560 2518 0 0 0 38 0 0 0 20 0 19 0 106097216 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950918896312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19528] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19528/stat : 19528 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097216 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950917843960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19529] ppid=19508 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/19511/task/19529/stat : 19529 (java) S 19508 19511 12316 0 -1 4202560 103 0 0 0 27 27 0 0 20 0 19 0 106097217 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950916791624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19568] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19568/stat : 19568 (java) S 19508 19511 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106097270 9856040960 85762 33554432000 1073741824 1073778376 140736134336864 139950915736360 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1789.82
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.4 s]
/proc/loadavg: 2.00 2.00 2.18 3/213 19697
/proc/meminfo: memFree=31091636/32872528 swapFree=11320/319964
[pid=19511] ppid=19508 vsize=9625040 CPUtime=1800.03 cores=0,2,4,6
/proc/19511/stat : 19511 (java) S 19508 19511 12316 0 -1 4202496 23077 0 1 0 179929 74 0 0 20 0 19 0 106097211 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 140736134328000 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19511/statm: 2406260 85267 2291 9 0 2396937 0
[pid=19511/tid=19512] ppid=19508 vsize=9625040 CPUtime=1789.17 cores=0,2,4,6
/proc/19511/task/19512/stat : 19512 (java) R 19508 19511 12316 0 -1 4202560 2624 0 1 0 178883 34 0 0 20 0 19 0 106097212 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139951100017952 139951040306860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19514] ppid=19508 vsize=9625040 CPUtime=1.1 cores=0,2,4,6
/proc/19511/task/19514/stat : 19514 (java) S 19508 19511 12316 0 -1 4202560 431 0 0 0 106 4 0 0 20 0 19 0 106097213 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950943938728 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19515] ppid=19508 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/19511/task/19515/stat : 19515 (java) S 19508 19511 12316 0 -1 4202560 129 0 0 0 99 5 0 0 20 0 19 0 106097213 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950942886184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19516] ppid=19508 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/19511/task/19516/stat : 19516 (java) S 19508 19511 12316 0 -1 4202560 224 0 0 0 88 4 0 0 20 0 19 0 106097213 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950941833640 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19517] ppid=19508 vsize=9625040 CPUtime=1 cores=0,2,4,6
/proc/19511/task/19517/stat : 19517 (java) S 19508 19511 12316 0 -1 4202560 87 0 0 0 95 5 0 0 20 0 19 0 106097213 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950940781096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19518] ppid=19508 vsize=9625040 CPUtime=1.02 cores=0,2,4,6
/proc/19511/task/19518/stat : 19518 (java) S 19508 19511 12316 0 -1 4202560 172 0 0 0 95 7 0 0 20 0 19 0 106097213 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950939728552 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19519] ppid=19508 vsize=9625040 CPUtime=1.09 cores=0,2,4,6
/proc/19511/task/19519/stat : 19519 (java) S 19508 19511 12316 0 -1 4202560 153 0 0 0 104 5 0 0 20 0 19 0 106097213 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950938676008 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19520] ppid=19508 vsize=9625040 CPUtime=0.94 cores=0,2,4,6
/proc/19511/task/19520/stat : 19520 (java) S 19508 19511 12316 0 -1 4202560 153 0 0 0 90 4 0 0 20 0 19 0 106097213 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950937623464 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19521] ppid=19508 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/19511/task/19521/stat : 19521 (java) S 19508 19511 12316 0 -1 4202560 232 0 0 0 101 6 0 0 20 0 19 0 106097213 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950936570920 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19522] ppid=19508 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/19511/task/19522/stat : 19522 (java) S 19508 19511 12316 0 -1 4202560 248 0 0 0 72 4 0 0 20 0 19 0 106097214 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950924159080 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19511/tid=19523] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19523/stat : 19523 (java) S 19508 19511 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950923105400 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19524] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19524/stat : 19524 (java) S 19508 19511 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 106097214 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950922052744 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19525] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19525/stat : 19525 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097216 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950921001488 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19511/tid=19526] ppid=19508 vsize=9625040 CPUtime=1.27 cores=0,2,4,6
/proc/19511/task/19526/stat : 19526 (java) S 19508 19511 12316 0 -1 4202560 14746 0 0 0 123 4 0 0 20 0 19 0 106097216 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950919948856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19527] ppid=19508 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/19511/task/19527/stat : 19527 (java) S 19508 19511 12316 0 -1 4202560 2518 0 0 0 38 0 0 0 20 0 19 0 106097216 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950918896312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19528] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19528/stat : 19528 (java) S 19508 19511 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 106097216 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950917843960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19511/tid=19529] ppid=19508 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/19511/task/19529/stat : 19529 (java) S 19508 19511 12316 0 -1 4202560 103 0 0 0 28 27 0 0 20 0 19 0 106097217 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950916791624 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19511/tid=19568] ppid=19508 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/19511/task/19568/stat : 19568 (java) S 19508 19511 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 106097270 9856040960 85267 33554432000 1073741824 1073778376 140736134336864 139950915736360 262966130601 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 19511 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1792.45
CPU time (s): 1800.66
CPU user time (s): 1799.43
CPU system time (s): 1.23081
CPU usage (%): 100.458
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 1.23081
maximum resident set size= 541020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23115
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= 40834
involuntary context switches= 27406

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.56255 second user time and 14.5328 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-06 21:33:59
IDJOB=4085429
IDBENCH=2838
IDSOLVER=2546
FILE ID=node128/4085429-1465241639
RUNJOBID= node128-1465241631-17481
PBS_JOBID= 19843236
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd84.b.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085429-1465241639/watcher-4085429-1465241639 -o /tmp/evaluation-result-4085429-1465241639/solver-4085429-1465241639 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465241631-17481 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085429-1465241639.opb

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

MD5SUM BENCH= 6560abb26f607ef952ebe1a74dd5dae1
RANDOM SEED=1502316947

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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.486
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31709360 kB
Buffers:           36836 kB
Cached:            99524 kB
SwapCached:         1664 kB
Active:            66712 kB
Inactive:          73004 kB
Active(anon):       5308 kB
Inactive(anon):      528 kB
Active(file):      61404 kB
Inactive(file):    72476 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098460 kB
Dirty:              2796 kB
Writeback:             0 kB
AnonPages:        338412 kB
Mapped:             6792 kB
Shmem:                 0 kB
Slab:             571132 kB
SReclaimable:      12724 kB
SUnreclaim:       558408 kB
KernelStack:        1744 kB
PageTables:         4208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     417140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    325632 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 node128 at 2016-06-06 22:03:52