Trace number 3458379

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 Resolution 2.3.0SAT (TO)-121 1800.19 1793.3

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_3.opb
MD5SUMd487c80c335f688d99ca29b5d7c254e0
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-125
Best CPU time to get the best result obtained on this benchmark1798.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -125
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint25
Maximum length of a constraint47
Number of terms in the objective function 1000
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 1000
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 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31622
Sum of products size (including duplicates)63244
Number of different products15811
Sum of products size31622

Quality of the solution as a function of time


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

Solver Data 

0.08/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.08	c See www.sat4j.org for details.
0.08/0.09	c version 2.3.1.v20110525
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	c os.version		2.6.18-164.el5
0.08/0.09	c os.arch		amd64
0.08/0.09	c Free memory 		12995394264
0.08/0.09	c Max memory 		13063553024
0.08/0.09	c Total memory 		13063553024
0.08/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458379-1307160339.opb
0.10/0.11	c reading problem ... 
1.36/0.64	c ... done. Wall clock time 0.527s.
1.36/0.64	c #vars     16811
1.36/0.64	c #constraints  48433
1.36/0.64	c constraints type 
1.36/0.64	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15811
1.36/0.64	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1.36/0.64	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15811
1.66/0.78	c SATISFIABLE
1.66/0.78	c OPTIMIZING...
1.66/0.78	c Got one! Elapsed wall clock time (in seconds):0.667
1.66/0.78	o -100
1.92/0.88	c Got one! Elapsed wall clock time (in seconds):0.766
1.92/0.88	o -101
1.92/0.90	c Got one! Elapsed wall clock time (in seconds):0.785
1.92/0.90	o -102
2.20/0.93	c Got one! Elapsed wall clock time (in seconds):0.815
2.20/0.93	o -103
2.20/0.97	c Got one! Elapsed wall clock time (in seconds):0.861
2.20/0.97	o -115
2.67/1.31	c Got one! Elapsed wall clock time (in seconds):1.202
2.67/1.31	o -117
3.53/2.14	c cleaning 2873 clauses out of 5746 with flag 4001/5746
4.72/3.27	c cleaning 4429 clauses out of 8873 with flag 10001/11746
6.01/4.54	c cleaning 5722 clauses out of 11444 with flag 17001/18746
7.54/6.00	c cleaning 6852 clauses out of 13721 with flag 25000/26745
9.17/7.68	c cleaning 7932 clauses out of 15869 with flag 34000/35745
10.28/8.77	c Got one! Elapsed wall clock time (in seconds):8.655
10.28/8.77	o -118
11.16/9.66	c cleaning 9268 clauses out of 18547 with flag 5001/46355
12.38/10.86	c cleaning 7637 clauses out of 15278 with flag 11000/52354
13.71/12.15	c cleaning 7314 clauses out of 14641 with flag 18000/59354
15.30/13.70	c cleaning 7655 clauses out of 15328 with flag 26001/67355
17.02/15.49	c cleaning 8330 clauses out of 16672 with flag 35000/76354
17.72/16.19	c Got one! Elapsed wall clock time (in seconds):16.083
17.72/16.19	o -119
18.14/16.57	c cleaning 7002 clauses out of 14016 with flag 2000/82028
19.32/17.76	c cleaning 6500 clauses out of 13014 with flag 8000/88028
20.73/19.14	c cleaning 6754 clauses out of 13514 with flag 15000/95028
22.34/20.75	c cleaning 7374 clauses out of 14760 with flag 23000/103028
24.15/22.55	c cleaning 8188 clauses out of 16387 with flag 32001/112029
26.05/24.43	c cleaning 9092 clauses out of 18198 with flag 42000/122028
28.16/26.52	c cleaning 10052 clauses out of 20108 with flag 53002/133030
30.48/28.85	c cleaning 11025 clauses out of 22054 with flag 65000/145028
33.19/31.56	c cleaning 12007 clauses out of 24029 with flag 78000/158028
36.30/34.68	c cleaning 13009 clauses out of 26023 with flag 92001/172029
39.22/37.51	c cleaning 14001 clauses out of 28013 with flag 107000/187028
42.23/40.55	c cleaning 14998 clauses out of 30012 with flag 123000/203028
45.67/43.96	c cleaning 16001 clauses out of 32014 with flag 140000/220028
49.68/47.94	c cleaning 17002 clauses out of 34013 with flag 158000/238028
54.51/52.77	c cleaning 17997 clauses out of 36011 with flag 177000/257028
58.41/56.64	c cleaning 19003 clauses out of 38015 with flag 197001/277029
63.35/61.61	c cleaning 19996 clauses out of 40011 with flag 218000/298028
63.64/61.83	c Got one! Elapsed wall clock time (in seconds):61.716
63.64/61.83	o -120
64.64/62.85	c cleaning 12831 clauses out of 25662 with flag 5000/303675
65.96/64.10	c cleaning 9416 clauses out of 18831 with flag 11000/309675
67.26/65.47	c cleaning 8204 clauses out of 16415 with flag 18000/316675
68.89/67.09	c cleaning 8096 clauses out of 16211 with flag 26000/324675
70.68/68.81	c cleaning 8549 clauses out of 17116 with flag 35001/333676
72.69/70.87	c cleaning 9282 clauses out of 18566 with flag 45000/343675
75.00/73.19	c cleaning 10141 clauses out of 20284 with flag 56000/354675
77.41/75.56	c cleaning 11061 clauses out of 22143 with flag 68000/366675
80.33/78.42	c cleaning 12034 clauses out of 24082 with flag 81000/379675
83.26/81.40	c cleaning 13022 clauses out of 26048 with flag 95000/393675
86.58/84.64	c cleaning 14014 clauses out of 28027 with flag 110001/408676
89.69/87.71	c cleaning 15001 clauses out of 30013 with flag 126001/424676
93.02/91.09	c cleaning 16003 clauses out of 32011 with flag 143000/441675
96.85/94.81	c cleaning 17001 clauses out of 34008 with flag 161000/459675
100.77/98.71	c cleaning 18002 clauses out of 36008 with flag 180001/478676
105.10/103.06	c cleaning 19000 clauses out of 38005 with flag 200000/498675
110.12/108.04	c cleaning 20000 clauses out of 40005 with flag 221000/519675
115.05/112.97	c cleaning 21003 clauses out of 42006 with flag 243001/541676
120.18/118.08	c cleaning 22001 clauses out of 44002 with flag 266000/564675
125.92/123.75	c cleaning 22999 clauses out of 46001 with flag 290000/588675
131.45/129.23	c cleaning 23993 clauses out of 48002 with flag 315000/613675
136.90/134.68	c cleaning 25002 clauses out of 50009 with flag 341000/639675
142.75/140.48	c cleaning 26000 clauses out of 52007 with flag 368000/666675
148.90/146.55	c cleaning 26999 clauses out of 54008 with flag 396001/694676
155.46/153.07	c cleaning 28000 clauses out of 56008 with flag 425000/723675
161.90/159.44	c cleaning 29000 clauses out of 58009 with flag 455001/753676
169.93/167.49	c cleaning 29999 clauses out of 60008 with flag 486000/784675
177.26/174.79	c cleaning 31005 clauses out of 62009 with flag 518000/816675
185.49/182.98	c cleaning 32002 clauses out of 64006 with flag 551002/849677
194.54/191.98	c cleaning 32500 clauses out of 65002 with flag 584000/882675
201.71/199.10	c cleaning 32744 clauses out of 65502 with flag 617000/915675
208.76/206.06	c cleaning 32879 clauses out of 65759 with flag 650001/948676
216.15/213.32	c cleaning 32939 clauses out of 65880 with flag 683001/981676
223.67/220.86	c cleaning 32958 clauses out of 65940 with flag 716000/1014675
230.71/227.81	c cleaning 32984 clauses out of 65983 with flag 749001/1047676
239.15/236.28	c cleaning 32993 clauses out of 65998 with flag 782000/1080675
247.00/244.11	c cleaning 32997 clauses out of 66006 with flag 815001/1113676
255.76/252.77	c cleaning 32993 clauses out of 66008 with flag 848000/1146675
264.51/261.41	c cleaning 33001 clauses out of 66015 with flag 881000/1179675
272.56/269.46	c cleaning 32991 clauses out of 66014 with flag 914000/1212675
281.97/278.88	c cleaning 33008 clauses out of 66023 with flag 947000/1245675
290.10/286.95	c cleaning 33000 clauses out of 66015 with flag 980000/1278675
299.32/296.17	c cleaning 32993 clauses out of 66015 with flag 1013000/1311675
308.95/305.76	c cleaning 33002 clauses out of 66022 with flag 1046000/1344675
315.71/312.49	c cleaning 33008 clauses out of 66020 with flag 1079000/1377675
322.83/319.59	c cleaning 33003 clauses out of 66014 with flag 1112002/1410677
329.77/326.47	c cleaning 32999 clauses out of 66009 with flag 1145000/1443675
337.20/333.84	c cleaning 33000 clauses out of 66011 with flag 1178001/1476676
345.04/341.65	c cleaning 32996 clauses out of 66010 with flag 1211000/1509675
352.77/349.35	c cleaning 32993 clauses out of 66014 with flag 1244000/1542675
360.61/357.19	c cleaning 33002 clauses out of 66021 with flag 1277000/1575675
368.54/365.00	c cleaning 33006 clauses out of 66020 with flag 1310001/1608676
376.56/373.06	c cleaning 33003 clauses out of 66013 with flag 1343000/1641675
386.19/382.66	c cleaning 32998 clauses out of 66010 with flag 1376000/1674675
396.54/392.95	c cleaning 32988 clauses out of 66013 with flag 1409001/1707676
404.87/401.27	c cleaning 32999 clauses out of 66024 with flag 1442000/1740675
414.47/410.80	c cleaning 33000 clauses out of 66025 with flag 1475000/1773675
422.19/418.55	c cleaning 33002 clauses out of 66025 with flag 1508000/1806675
430.82/427.12	c cleaning 32999 clauses out of 66023 with flag 1541000/1839675
438.75/435.01	c cleaning 32999 clauses out of 66024 with flag 1574000/1872675
447.00/443.22	c cleaning 33003 clauses out of 66025 with flag 1607000/1905675
455.81/452.08	c cleaning 33005 clauses out of 66023 with flag 1640001/1938676
465.43/461.67	c cleaning 32995 clauses out of 66018 with flag 1673001/1971676
474.36/470.50	c cleaning 33007 clauses out of 66022 with flag 1706000/2004675
480.79/476.98	c cleaning 32998 clauses out of 66016 with flag 1739001/2037676
488.02/484.14	c cleaning 33001 clauses out of 66017 with flag 1772000/2070675
495.96/492.08	c cleaning 33001 clauses out of 66016 with flag 1805000/2103675
503.69/499.70	c Got one! Elapsed wall clock time (in seconds):499.588
503.69/499.70	o -121
505.20/501.21	c cleaning 34944 clauses out of 69894 with flag 5000/2140554
506.66/502.64	c cleaning 20475 clauses out of 40950 with flag 11000/2146554
508.35/504.32	c cleaning 13738 clauses out of 27476 with flag 18001/2153555
510.08/506.02	c cleaning 10869 clauses out of 21738 with flag 26001/2161555
512.07/508.05	c cleaning 9933 clauses out of 19868 with flag 35000/2170554
514.39/510.35	c cleaning 9967 clauses out of 19935 with flag 45000/2180554
516.78/512.78	c cleaning 10479 clauses out of 20968 with flag 56000/2191554
519.39/515.31	c cleaning 11236 clauses out of 22490 with flag 68001/2203555
521.99/517.96	c cleaning 12122 clauses out of 24253 with flag 81000/2216554
525.00/520.93	c cleaning 13063 clauses out of 26132 with flag 95001/2230555
528.20/524.14	c cleaning 14027 clauses out of 28068 with flag 110000/2245554
531.81/527.78	c cleaning 15015 clauses out of 30042 with flag 126001/2261555
535.92/531.88	c cleaning 16013 clauses out of 32026 with flag 143000/2278554
540.13/536.05	c cleaning 17003 clauses out of 34014 with flag 161001/2296555
544.15/540.04	c cleaning 18003 clauses out of 36010 with flag 180000/2315554
548.75/544.67	c cleaning 19003 clauses out of 38007 with flag 200000/2335554
554.07/549.97	c cleaning 19997 clauses out of 40004 with flag 221000/2356554
559.47/555.35	c cleaning 21000 clauses out of 42008 with flag 243001/2378555
565.58/561.49	c cleaning 21999 clauses out of 44007 with flag 266000/2401554
572.71/568.59	c cleaning 23000 clauses out of 46009 with flag 290001/2425555
578.63/574.41	c cleaning 23998 clauses out of 48008 with flag 315000/2450554
584.65/580.45	c cleaning 25003 clauses out of 50011 with flag 341001/2476555
591.07/586.85	c cleaning 25999 clauses out of 52007 with flag 368000/2503554
598.08/593.88	c cleaning 26999 clauses out of 54008 with flag 396000/2531554
605.92/601.64	c cleaning 27998 clauses out of 56009 with flag 425000/2560554
614.12/609.82	c cleaning 29004 clauses out of 58013 with flag 455002/2590556
622.64/618.36	c cleaning 30004 clauses out of 60008 with flag 486001/2621555
631.55/627.22	c cleaning 30999 clauses out of 62003 with flag 518000/2653554
639.27/634.96	c cleaning 31988 clauses out of 64005 with flag 551001/2686555
647.40/643.06	c cleaning 32500 clauses out of 65016 with flag 584000/2719554
655.43/651.07	c cleaning 32750 clauses out of 65516 with flag 617000/2752554
664.05/659.63	c cleaning 32876 clauses out of 65766 with flag 650000/2785554
672.56/668.16	c cleaning 32945 clauses out of 65890 with flag 683000/2818554
680.89/676.43	c cleaning 32965 clauses out of 65946 with flag 716001/2851555
689.30/684.87	c cleaning 32984 clauses out of 65980 with flag 749000/2884554
698.63/694.19	c cleaning 32991 clauses out of 65996 with flag 782000/2917554
707.54/703.04	c cleaning 33000 clauses out of 66006 with flag 815001/2950555
716.35/711.85	c cleaning 32996 clauses out of 66005 with flag 848000/2983554
724.06/719.54	c cleaning 32993 clauses out of 66009 with flag 881000/3016554
731.00/726.45	c cleaning 32995 clauses out of 66017 with flag 914001/3049555
739.34/734.75	c cleaning 33004 clauses out of 66022 with flag 947001/3082555
747.07/742.50	c cleaning 33001 clauses out of 66019 with flag 980002/3115556
755.08/750.46	c cleaning 33000 clauses out of 66017 with flag 1013001/3148555
762.82/758.12	c cleaning 33000 clauses out of 66018 with flag 1046002/3181556
769.95/765.20	c cleaning 33008 clauses out of 66017 with flag 1079001/3214555
777.57/772.84	c cleaning 33000 clauses out of 66008 with flag 1112000/3247554
786.10/781.37	c cleaning 32999 clauses out of 66008 with flag 1145000/3280554
793.43/788.67	c cleaning 33003 clauses out of 66010 with flag 1178001/3313555
801.45/796.61	c cleaning 32997 clauses out of 66006 with flag 1211000/3346554
809.47/804.63	c cleaning 32998 clauses out of 66009 with flag 1244000/3379554
817.99/813.13	c cleaning 33006 clauses out of 66011 with flag 1277000/3412554
827.22/822.37	c cleaning 32996 clauses out of 66005 with flag 1310000/3445554
835.48/830.56	c cleaning 32995 clauses out of 66009 with flag 1343000/3478554
843.89/838.95	c cleaning 33000 clauses out of 66015 with flag 1376001/3511555
852.43/847.47	c cleaning 32990 clauses out of 66015 with flag 1409001/3544555
861.06/856.09	c cleaning 33009 clauses out of 66025 with flag 1442001/3577555
870.58/865.53	c cleaning 32991 clauses out of 66015 with flag 1475000/3610554
878.51/873.44	c cleaning 32998 clauses out of 66024 with flag 1508000/3643554
886.41/881.33	c cleaning 33005 clauses out of 66027 with flag 1541001/3676555
894.23/889.13	c cleaning 33000 clauses out of 66022 with flag 1574001/3709555
902.05/896.93	c cleaning 33001 clauses out of 66021 with flag 1607000/3742554
910.15/905.06	c cleaning 33000 clauses out of 66021 with flag 1640001/3775555
918.36/913.25	c cleaning 33003 clauses out of 66020 with flag 1673000/3808554
926.67/921.56	c cleaning 32997 clauses out of 66017 with flag 1706000/3841554
934.37/929.20	c cleaning 32998 clauses out of 66020 with flag 1739000/3874554
942.08/936.98	c cleaning 33006 clauses out of 66023 with flag 1772001/3907555
949.90/944.71	c cleaning 32995 clauses out of 66016 with flag 1805000/3940554
957.83/952.62	c cleaning 33000 clauses out of 66021 with flag 1838000/3973554
965.63/960.45	c cleaning 33004 clauses out of 66022 with flag 1871001/4006555
973.27/968.03	c cleaning 33000 clauses out of 66018 with flag 1904001/4039555
981.27/976.06	c cleaning 33000 clauses out of 66019 with flag 1937002/4072556
989.28/984.01	c cleaning 33004 clauses out of 66017 with flag 1970000/4105554
996.59/991.31	c cleaning 32998 clauses out of 66013 with flag 2003000/4138554
1004.91/999.67	c cleaning 32998 clauses out of 66015 with flag 2036000/4171554
1013.04/1007.74	c cleaning 33004 clauses out of 66018 with flag 2069001/4204555
1021.16/1015.89	c cleaning 32993 clauses out of 66013 with flag 2102000/4237554
1030.06/1024.74	c cleaning 33001 clauses out of 66021 with flag 2135001/4270555
1038.68/1033.37	c cleaning 33001 clauses out of 66019 with flag 2168000/4303554
1047.99/1042.60	c cleaning 32998 clauses out of 66018 with flag 2201000/4336554
1057.10/1051.78	c cleaning 32998 clauses out of 66020 with flag 2234000/4369554
1065.82/1060.44	c cleaning 33006 clauses out of 66023 with flag 2267001/4402555
1074.11/1068.71	c cleaning 32997 clauses out of 66017 with flag 2300001/4435555
1083.22/1077.80	c cleaning 32997 clauses out of 66019 with flag 2333000/4468554
1091.93/1086.57	c cleaning 33007 clauses out of 66023 with flag 2366001/4501555
1099.17/1093.74	c cleaning 33000 clauses out of 66015 with flag 2399000/4534554
1106.79/1101.33	c cleaning 32992 clauses out of 66016 with flag 2432001/4567555
1114.93/1109.48	c cleaning 33007 clauses out of 66024 with flag 2465001/4600555
1124.05/1118.57	c cleaning 33002 clauses out of 66016 with flag 2498000/4633554
1133.10/1127.59	c cleaning 32996 clauses out of 66015 with flag 2531001/4666555
1142.10/1136.55	c cleaning 32998 clauses out of 66019 with flag 2564001/4699555
1151.94/1146.34	c cleaning 33003 clauses out of 66020 with flag 2597000/4732554
1162.68/1157.08	c cleaning 32998 clauses out of 66017 with flag 2630000/4765554
1172.50/1166.84	c cleaning 33009 clauses out of 66019 with flag 2663000/4798554
1181.15/1175.40	c cleaning 33001 clauses out of 66011 with flag 2696001/4831555
1189.66/1183.92	c cleaning 32998 clauses out of 66009 with flag 2729000/4864554
1197.99/1192.20	c cleaning 33000 clauses out of 66012 with flag 2762001/4897555
1206.91/1201.12	c cleaning 33000 clauses out of 66011 with flag 2795000/4930554
1215.00/1209.22	c cleaning 32993 clauses out of 66012 with flag 2828001/4963555
1224.94/1219.19	c cleaning 33000 clauses out of 66018 with flag 2861000/4996554
1234.36/1228.60	c cleaning 32994 clauses out of 66019 with flag 2894001/5029555
1243.59/1237.72	c cleaning 33000 clauses out of 66025 with flag 2927001/5062555
1253.32/1247.49	c cleaning 33004 clauses out of 66024 with flag 2960000/5095554
1263.42/1257.59	c cleaning 32999 clauses out of 66020 with flag 2993000/5128554
1272.72/1266.82	c cleaning 33002 clauses out of 66021 with flag 3026000/5161554
1281.73/1275.90	c cleaning 33000 clauses out of 66019 with flag 3059000/5194554
1291.15/1285.27	c cleaning 32994 clauses out of 66019 with flag 3092000/5227554
1300.46/1294.56	c cleaning 33006 clauses out of 66026 with flag 3125001/5260555
1309.98/1304.10	c cleaning 32995 clauses out of 66020 with flag 3158001/5293555
1319.49/1313.55	c cleaning 32997 clauses out of 66025 with flag 3191001/5326555
1328.10/1322.20	c cleaning 33004 clauses out of 66027 with flag 3224000/5359554
1337.10/1331.15	c cleaning 33004 clauses out of 66024 with flag 3257001/5392555
1346.61/1340.60	c cleaning 32998 clauses out of 66019 with flag 3290000/5425554
1356.13/1350.19	c cleaning 32997 clauses out of 66021 with flag 3323000/5458554
1365.04/1359.08	c cleaning 33002 clauses out of 66025 with flag 3356001/5491555
1373.45/1367.42	c cleaning 33001 clauses out of 66022 with flag 3389000/5524554
1382.29/1376.23	c cleaning 33000 clauses out of 66021 with flag 3422000/5557554
1391.71/1385.61	c cleaning 33000 clauses out of 66021 with flag 3455000/5590554
1400.42/1394.31	c cleaning 33002 clauses out of 66021 with flag 3488000/5623554
1409.23/1403.13	c cleaning 33006 clauses out of 66019 with flag 3521000/5656554
1418.35/1412.22	c cleaning 32984 clauses out of 66014 with flag 3554001/5689555
1426.86/1420.74	c cleaning 32997 clauses out of 66030 with flag 3587001/5722555
1436.19/1430.04	c cleaning 33004 clauses out of 66032 with flag 3620000/5755554
1446.00/1439.83	c cleaning 33011 clauses out of 66028 with flag 3653000/5788554
1455.59/1449.45	c cleaning 32993 clauses out of 66017 with flag 3686000/5821554
1465.20/1459.09	c cleaning 32994 clauses out of 66024 with flag 3719000/5854554
1474.82/1468.68	c cleaning 33007 clauses out of 66030 with flag 3752000/5887554
1484.03/1477.85	c cleaning 33007 clauses out of 66023 with flag 3785000/5920554
1493.55/1487.31	c cleaning 33002 clauses out of 66016 with flag 3818000/5953554
1502.07/1495.88	c cleaning 32986 clauses out of 66015 with flag 3851001/5986555
1510.19/1503.90	c cleaning 33011 clauses out of 66028 with flag 3884000/6019554
1518.74/1512.49	c cleaning 33008 clauses out of 66018 with flag 3917001/6052555
1527.43/1521.17	c cleaning 33002 clauses out of 66009 with flag 3950000/6085554
1536.65/1530.34	c cleaning 32999 clauses out of 66007 with flag 3983000/6118554
1546.15/1539.85	c cleaning 33004 clauses out of 66011 with flag 4016003/6151557
1555.77/1549.49	c cleaning 33001 clauses out of 66005 with flag 4049001/6184555
1566.20/1559.85	c cleaning 32997 clauses out of 66003 with flag 4082000/6217554
1575.90/1569.53	c cleaning 32995 clauses out of 66006 with flag 4115000/6250554
1584.84/1578.50	c cleaning 32996 clauses out of 66011 with flag 4148000/6283554
1594.44/1588.05	c cleaning 32999 clauses out of 66015 with flag 4181000/6316554
1604.06/1597.60	c cleaning 33000 clauses out of 66016 with flag 4214000/6349554
1613.78/1607.31	c cleaning 33005 clauses out of 66016 with flag 4247000/6382554
1623.52/1617.04	c cleaning 32999 clauses out of 66011 with flag 4280000/6415554
1632.82/1626.38	c cleaning 33001 clauses out of 66013 with flag 4313001/6448555
1642.74/1636.21	c cleaning 33006 clauses out of 66011 with flag 4346000/6481554
1652.44/1646.00	c cleaning 32998 clauses out of 66006 with flag 4379001/6514555
1662.65/1656.19	c cleaning 33001 clauses out of 66007 with flag 4412000/6547554
1674.35/1667.88	c cleaning 32997 clauses out of 66006 with flag 4445000/6580554
1685.36/1678.87	c cleaning 33003 clauses out of 66010 with flag 4478001/6613555
1695.67/1689.16	c cleaning 32995 clauses out of 66006 with flag 4511000/6646554
1705.08/1698.50	c cleaning 32994 clauses out of 66012 with flag 4544001/6679555
1714.50/1707.90	c cleaning 33006 clauses out of 66018 with flag 4577001/6712555
1724.01/1717.48	c cleaning 33002 clauses out of 66011 with flag 4610000/6745554
1731.25/1724.65	c cleaning 32996 clauses out of 66009 with flag 4643000/6778554
1739.08/1732.49	c cleaning 33003 clauses out of 66013 with flag 4676000/6811554
1746.99/1740.33	c cleaning 33000 clauses out of 66010 with flag 4709000/6844554
1755.52/1748.91	c cleaning 32999 clauses out of 66012 with flag 4742002/6877556
1764.24/1757.55	c cleaning 32987 clauses out of 66011 with flag 4775000/6910554
1772.67/1765.97	c cleaning 33003 clauses out of 66024 with flag 4808000/6943554
1782.01/1775.26	c cleaning 32998 clauses out of 66022 with flag 4841001/6976555
1791.63/1784.84	c cleaning 33001 clauses out of 66023 with flag 4874000/7009554
1800.06/1793.22	c starts		: 305
1800.06/1793.22	c conflicts		: 7040295
1800.06/1793.22	c decisions		: 8544327
1800.06/1793.22	c propagations		: 43167300
1800.06/1793.22	c inspects		: 4143915920
1800.06/1793.22	c shortcuts		: 0
1800.06/1793.22	c learnt literals	: 0
1800.06/1793.22	c learnt binary clauses	: 0
1800.06/1793.22	c learnt ternary clauses	: 0
1800.06/1793.22	c learnt constraints	: 7040295
1800.06/1793.22	c ignored constraints	: 0
1800.06/1793.22	c root simplifications	: 0
1800.06/1793.22	c removed literals (reason simplification)	: 83723628
1800.06/1793.22	c reason swapping (by a shorter reason)	: 0
1800.06/1793.22	c Calls to reduceDB	: 254
1800.06/1793.22	c number of reductions to clauses (during analyze)	: 0
1800.06/1793.22	c number of learned constraints concerned by reduction	: 0
1800.06/1793.22	c number of learning phase by resolution	: 0
1800.06/1793.22	c number of learning phase by cutting planes	: 0
1800.06/1793.22	c speed (assignments/second)	: 33371.81471419979
1800.06/1793.22	c non guided choices	0
1800.06/1793.25	c learnt constraints type 
1800.06/1793.25	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 63891
1800.06/1793.25	c constraints type 
1800.06/1793.25	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 15811
1800.06/1793.25	c org.sat4j.minisat.constraints.cnf.UnitClauses => 1000
1800.06/1793.25	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1793.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 15811
1800.06/1793.25	s SATISFIABLE
1800.06/1793.25	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 
1800.06/1793.25	c objective function=-121
1800.06/1793.25	c Total wall clock time (in seconds): 1793.143

Verifier Data 

OK	-121

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3458379-1307160339/watcher-3458379-1307160339 -o /tmp/evaluation-result-3458379-1307160339/solver-3458379-1307160339 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458379-1307160339.opb 

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.17 2.07 2.01 2/545 18379
/proc/meminfo: memFree=24591968/32951124 swapFree=56241860/67111528
[pid=18379] ppid=18377 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/18379/stat : 18379 (java) S 18377 18379 11644 0 -1 4202496 6535 0 1 0 0 0 0 0 25 0 2 0 906264582 13850947584 6237 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/18379/statm: 3381579 6250 917 9 0 3372735 0
[pid=18379/tid=18380] ppid=18377 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18380/stat : 18380 (java) R 18377 18379 11644 0 -1 4202560 8006 0 1 0 0 0 0 0 25 0 2 0 906264582 13850947584 8821 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.088533 s]
/proc/loadavg: 2.17 2.07 2.01 2/545 18379
/proc/meminfo: memFree=24591968/32951124 swapFree=56241860/67111528
[pid=18379] ppid=18377 vsize=13621708 CPUtime=0.08 cores=0,2,4,6
/proc/18379/stat : 18379 (java) S 18377 18379 11644 0 -1 4202496 15115 0 1 0 7 1 0 0 25 0 18 0 906264582 13948628992 14812 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18379/statm: 3405427 14813 2023 9 0 3396161 0
[pid=18379/tid=18380] ppid=18377 vsize=13621708 CPUtime=0.07 cores=0,2,4,6
/proc/18379/task/18380/stat : 18380 (java) R 18377 18379 11644 0 -1 4202560 13437 0 1 0 6 1 0 0 23 0 18 0 906264582 13948628992 14816 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 46912505224000 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13621708

[startup+0.100532 s]
/proc/loadavg: 2.17 2.07 2.01 2/545 18379
/proc/meminfo: memFree=24591968/32951124 swapFree=56241860/67111528
[pid=18379] ppid=18377 vsize=13622168 CPUtime=0.1 cores=0,2,4,6
/proc/18379/stat : 18379 (java) S 18377 18379 11644 0 -1 4202496 15471 0 1 0 9 1 0 0 25 0 18 0 906264582 13949100032 15168 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18379/statm: 3405542 15168 2092 9 0 3396276 0
[pid=18379/tid=18380] ppid=18377 vsize=13622168 CPUtime=0.08 cores=0,2,4,6
/proc/18379/task/18380/stat : 18380 (java) R 18377 18379 11644 0 -1 4202560 13597 0 1 0 7 1 0 0 23 0 18 0 906264582 13949100032 15168 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 47203572782616 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622168

[startup+0.300483 s]
/proc/loadavg: 2.17 2.07 2.01 2/545 18379
/proc/meminfo: memFree=24591968/32951124 swapFree=56241860/67111528
[pid=18379] ppid=18377 vsize=13623980 CPUtime=0.46 cores=0,2,4,6
/proc/18379/stat : 18379 (java) S 18377 18379 11644 0 -1 4202496 17808 0 1 0 44 2 0 0 25 0 18 0 906264582 13950955520 17399 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18379/statm: 3405995 17399 2196 9 0 3396729 0
[pid=18379/tid=18380] ppid=18377 vsize=13623980 CPUtime=0.28 cores=0,2,4,6
/proc/18379/task/18380/stat : 18380 (java) R 18377 18379 11644 0 -1 4202560 15290 0 1 0 27 1 0 0 18 0 18 0 906264582 13950955520 17399 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 46912505215680 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13623980

[startup+0.700405 s]
/proc/loadavg: 2.17 2.07 2.01 2/545 18379
/proc/meminfo: memFree=24591968/32951124 swapFree=56241860/67111528
[pid=18379] ppid=18377 vsize=13638280 CPUtime=1.66 cores=0,2,4,6
/proc/18379/stat : 18379 (java) S 18377 18379 11644 0 -1 4202496 39170 0 1 0 160 6 0 0 25 0 19 0 906264582 13965598720 34164 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18379/statm: 3409570 34164 2234 9 0 3400304 0
[pid=18379/tid=18380] ppid=18377 vsize=13638280 CPUtime=0.68 cores=0,2,4,6
/proc/18379/task/18380/stat : 18380 (java) R 18377 18379 11644 0 -1 4202560 27165 0 1 0 65 3 0 0 19 0 19 0 906264582 13965598720 34164 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 46912505217828 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 13638280

[startup+1.50133 s]
/proc/loadavg: 2.17 2.07 2.01 4/564 18403
/proc/meminfo: memFree=24455052/32951124 swapFree=56241860/67111528
[pid=18379] ppid=18377 vsize=13638280 CPUtime=2.88 cores=0,2,4,6
/proc/18379/stat : 18379 (java) S 18377 18379 11644 0 -1 4202496 43622 0 1 0 281 7 0 0 25 0 19 0 906264582 13965598720 38444 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18379/statm: 3409570 38444 2244 9 0 3400304 0
[pid=18379/tid=18380] ppid=18377 vsize=13638280 CPUtime=1.48 cores=0,2,4,6
/proc/18379/task/18380/stat : 18380 (java) R 18377 18379 11644 0 -1 4202560 31384 0 1 0 144 4 0 0 20 0 19 0 906264582 13965598720 38444 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 47203574217555 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18379/tid=18383] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18383/stat : 18383 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264584 13965598720 38444 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18385] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18385/stat : 18385 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264584 13965598720 38444 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18386] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264584 13965598720 38444 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18388] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18388/stat : 18388 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264584 13965598720 38444 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18389] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18389/stat : 18389 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264584 13965598720 38444 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18390] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18390/stat : 18390 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264584 13965598720 38444 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18391] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18391/stat : 18391 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264584 13965598720 38444 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18392] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18392/stat : 18392 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 906264584 13965598720 38445 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18393] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18393/stat : 18393 (java) S 18377 18379 11644 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 906264585 13965598720 38445 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 0 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18394] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18394/stat : 18394 (java) S 18377 18379 11644 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 906264586 13965598720 38445 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18395] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18395/stat : 18395 (java) S 18377 18379 11644 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 906264586 13965598720 38445 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18398] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18398/stat : 18398 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906264588 13965598720 38445 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216747002289 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18399] ppid=18377 vsize=13638280 CPUtime=0.68 cores=0,2,4,6
/proc/18379/task/18399/stat : 18399 (java) S 18377 18379 11644 0 -1 4202560 5906 0 0 0 67 1 0 0 19 0 19 0 906264588 13965598720 38445 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18400] ppid=18377 vsize=13638280 CPUtime=0.7 cores=0,2,4,6
/proc/18379/task/18400/stat : 18400 (java) S 18377 18379 11644 0 -1 4202560 5173 0 0 0 69 1 0 0 15 0 19 0 906264588 13965598720 38445 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18401] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18401/stat : 18401 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906264588 13965598720 38446 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18402] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18402/stat : 18402 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906264588 13965598720 38446 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18403] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18403/stat : 18403 (java) S 18377 18379 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906264651 13965598720 38446 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 13638280

[startup+3.10104 s]
/proc/loadavg: 2.17 2.07 2.01 3/564 18403
/proc/meminfo: memFree=24433100/32951124 swapFree=56241860/67111528
[pid=18379] ppid=18377 vsize=13638280 CPUtime=4.6 cores=0,2,4,6
/proc/18379/stat : 18379 (java) S 18377 18379 11644 0 -1 4202496 58782 0 1 0 451 9 0 0 25 0 19 0 906264582 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18379/statm: 3409570 53598 2270 9 0 3400304 0
[pid=18379/tid=18380] ppid=18377 vsize=13638280 CPUtime=3 cores=0,2,4,6
/proc/18379/task/18380/stat : 18380 (java) R 18377 18379 11644 0 -1 4202560 34242 0 1 0 295 5 0 0 23 0 19 0 906264582 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 46912506043600 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18379/tid=18383] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18383/stat : 18383 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 906264584 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18385] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18385/stat : 18385 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 906264584 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18386] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 906264584 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18388] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18388/stat : 18388 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 906264584 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18389] ppid=18377 vsize=13638280 CPUtime=0.01 cores=0,2,4,6
/proc/18379/task/18389/stat : 18389 (java) S 18377 18379 11644 0 -1 4202560 1210 0 0 0 1 0 0 0 17 0 19 0 906264584 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18390] ppid=18377 vsize=13638280 CPUtime=0.01 cores=0,2,4,6
/proc/18379/task/18390/stat : 18390 (java) S 18377 18379 11644 0 -1 4202560 3037 0 0 0 1 0 0 0 18 0 19 0 906264584 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18391] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18391/stat : 18391 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 906264584 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18392] ppid=18377 vsize=13638280 CPUtime=0.01 cores=0,2,4,6
/proc/18379/task/18392/stat : 18392 (java) S 18377 18379 11644 0 -1 4202560 1933 0 0 0 1 0 0 0 18 0 19 0 906264584 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18393] ppid=18377 vsize=13638280 CPUtime=0.05 cores=0,2,4,6
/proc/18379/task/18393/stat : 18393 (java) S 18377 18379 11644 0 -1 4202560 6109 0 0 0 5 0 0 0 15 0 19 0 906264585 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 0 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18394] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18394/stat : 18394 (java) S 18377 18379 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906264586 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18395] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18395/stat : 18395 (java) S 18377 18379 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906264586 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18398] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18398/stat : 18398 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906264588 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216747002289 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18399] ppid=18377 vsize=13638280 CPUtime=0.71 cores=0,2,4,6
/proc/18379/task/18399/stat : 18399 (java) S 18377 18379 11644 0 -1 4202560 5910 0 0 0 70 1 0 0 15 0 19 0 906264588 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18400] ppid=18377 vsize=13638280 CPUtime=0.76 cores=0,2,4,6
/proc/18379/task/18400/stat : 18400 (java) S 18377 18379 11644 0 -1 4202560 5187 0 0 0 75 1 0 0 15 0 19 0 906264588 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18401] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18401/stat : 18401 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906264588 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18402] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18402/stat : 18402 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906264588 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18403] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18403/stat : 18403 (java) S 18377 18379 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906264651 13965598720 53598 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 13638280

[startup+6.30149 s]
/proc/loadavg: 2.16 2.07 2.01 3/564 18403
/proc/meminfo: memFree=24346024/32951124 swapFree=56241860/67111528
[pid=18379] ppid=18377 vsize=13638280 CPUtime=7.85 cores=0,2,4,6
/proc/18379/stat : 18379 (java) S 18377 18379 11644 0 -1 4202496 69885 0 1 0 774 11 0 0 25 0 19 0 906264582 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18379/statm: 3409570 64680 2270 9 0 3400304 0
[pid=18379/tid=18380] ppid=18377 vsize=13638280 CPUtime=6 cores=0,2,4,6
/proc/18379/task/18380/stat : 18380 (java) R 18377 18379 11644 0 -1 4202560 34246 0 1 0 595 5 0 0 25 0 19 0 906264582 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 46912506052248 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18379/tid=18383] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18383/stat : 18383 (java) S 18377 18379 11644 0 -1 4202560 1889 0 0 0 0 0 0 0 15 0 19 0 906264584 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18385] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18385/stat : 18385 (java) S 18377 18379 11644 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 906264584 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18386] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (java) S 18377 18379 11644 0 -1 4202560 2333 0 0 0 0 0 0 0 15 0 19 0 906264584 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18388] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18388/stat : 18388 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 906264584 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18389] ppid=18377 vsize=13638280 CPUtime=0.02 cores=0,2,4,6
/proc/18379/task/18389/stat : 18389 (java) S 18377 18379 11644 0 -1 4202560 1210 0 0 0 2 0 0 0 15 0 19 0 906264584 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18390] ppid=18377 vsize=13638280 CPUtime=0.01 cores=0,2,4,6
/proc/18379/task/18390/stat : 18390 (java) S 18377 18379 11644 0 -1 4202560 3075 0 0 0 1 0 0 0 15 0 19 0 906264584 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18391] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18391/stat : 18391 (java) S 18377 18379 11644 0 -1 4202560 2079 0 0 0 0 0 0 0 15 0 19 0 906264584 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18392] ppid=18377 vsize=13638280 CPUtime=0.02 cores=0,2,4,6
/proc/18379/task/18392/stat : 18392 (java) S 18377 18379 11644 0 -1 4202560 2496 0 0 0 2 0 0 0 15 0 19 0 906264584 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18393] ppid=18377 vsize=13638280 CPUtime=0.23 cores=0,2,4,6
/proc/18379/task/18393/stat : 18393 (java) S 18377 18379 11644 0 -1 4202560 10297 0 0 0 22 1 0 0 16 0 19 0 906264585 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 0 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18394] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18394/stat : 18394 (java) S 18377 18379 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906264586 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18395] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18395/stat : 18395 (java) S 18377 18379 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906264586 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18398] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18398/stat : 18398 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906264588 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216747002289 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18399] ppid=18377 vsize=13638280 CPUtime=0.73 cores=0,2,4,6
/proc/18379/task/18399/stat : 18399 (java) S 18377 18379 11644 0 -1 4202560 5921 0 0 0 72 1 0 0 15 0 19 0 906264588 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18400] ppid=18377 vsize=13638280 CPUtime=0.76 cores=0,2,4,6
/proc/18379/task/18400/stat : 18400 (java) S 18377 18379 11644 0 -1 4202560 5187 0 0 0 75 1 0 0 15 0 19 0 906264588 13965598720 64680 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0

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

[pid=18379/tid=18390] ppid=18377 vsize=13638280 CPUtime=0.84 cores=0,2,4,6
/proc/18379/task/18390/stat : 18390 (java) S 18377 18379 11644 0 -1 4202560 5675 0 0 0 84 0 0 0 15 0 19 0 906264584 13965598720 159034 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18391] ppid=18377 vsize=13638280 CPUtime=0.95 cores=0,2,4,6
/proc/18379/task/18391/stat : 18391 (java) S 18377 18379 11644 0 -1 4202560 5909 0 0 0 94 1 0 0 15 0 19 0 906264584 13965598720 159034 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18392] ppid=18377 vsize=13638280 CPUtime=1.09 cores=0,2,4,6
/proc/18379/task/18392/stat : 18392 (java) S 18377 18379 11644 0 -1 4202560 6660 0 0 0 108 1 0 0 16 0 19 0 906264584 13965598720 159034 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18393] ppid=18377 vsize=13638280 CPUtime=20.11 cores=0,2,4,6
/proc/18379/task/18393/stat : 18393 (java) S 18377 18379 11644 0 -1 4202560 54217 0 0 0 2002 9 0 0 15 0 19 0 906264585 13965598720 159034 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 0 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18394] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18394/stat : 18394 (java) S 18377 18379 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906264586 13965598720 159034 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18395] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18395/stat : 18395 (java) S 18377 18379 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906264586 13965598720 159034 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18398] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18398/stat : 18398 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906264588 13965598720 159034 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216747002289 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18399] ppid=18377 vsize=13638280 CPUtime=0.73 cores=0,2,4,6
/proc/18379/task/18399/stat : 18399 (java) S 18377 18379 11644 0 -1 4202560 5921 0 0 0 72 1 0 0 15 0 19 0 906264588 13965598720 159034 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18400] ppid=18377 vsize=13638280 CPUtime=0.78 cores=0,2,4,6
/proc/18379/task/18400/stat : 18400 (java) S 18377 18379 11644 0 -1 4202560 5192 0 0 0 77 1 0 0 15 0 19 0 906264588 13965598720 159034 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18401] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18401/stat : 18401 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906264588 13965598720 159034 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18402] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18402/stat : 18402 (java) S 18377 18379 11644 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 906264588 13965598720 159034 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18403] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18403/stat : 18403 (java) S 18377 18379 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906264651 13965598720 159034 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1668.85
Current children cumulated vsize (KiB) 13638280

[startup+1722.3 s]
/proc/loadavg: 1.11 1.04 1.18 2/540 18475
/proc/meminfo: memFree=24307848/32951124 swapFree=56241860/67111528
[pid=18379] ppid=18377 vsize=13638280 CPUtime=1728.95 cores=0,2,4,6
/proc/18379/stat : 18379 (java) S 18377 18379 11644 0 -1 4202496 164732 0 1 0 172862 33 0 0 25 0 19 0 906264582 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18379/statm: 3409570 159055 2271 9 0 3400304 0
[pid=18379/tid=18380] ppid=18377 vsize=13638280 CPUtime=1698.65 cores=0,2,4,6
/proc/18379/task/18380/stat : 18380 (java) R 18377 18379 11644 0 -1 4202560 46009 0 1 0 169855 10 0 0 25 0 19 0 906264582 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 46912506056991 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18379/tid=18383] ppid=18377 vsize=13638280 CPUtime=1.03 cores=0,2,4,6
/proc/18379/task/18383/stat : 18383 (java) S 18377 18379 11644 0 -1 4202560 5992 0 0 0 102 1 0 0 16 0 19 0 906264584 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18385] ppid=18377 vsize=13638280 CPUtime=1.12 cores=0,2,4,6
/proc/18379/task/18385/stat : 18385 (java) S 18377 18379 11644 0 -1 4202560 6027 0 0 0 111 1 0 0 15 0 19 0 906264584 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18386] ppid=18377 vsize=13638280 CPUtime=0.89 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (java) S 18377 18379 11644 0 -1 4202560 6528 0 0 0 88 1 0 0 16 0 19 0 906264584 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18388] ppid=18377 vsize=13638280 CPUtime=0.99 cores=0,2,4,6
/proc/18379/task/18388/stat : 18388 (java) S 18377 18379 11644 0 -1 4202560 6573 0 0 0 98 1 0 0 16 0 19 0 906264584 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18389] ppid=18377 vsize=13638280 CPUtime=1 cores=0,2,4,6
/proc/18379/task/18389/stat : 18389 (java) S 18377 18379 11644 0 -1 4202560 8777 0 0 0 99 1 0 0 15 0 19 0 906264584 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18390] ppid=18377 vsize=13638280 CPUtime=0.86 cores=0,2,4,6
/proc/18379/task/18390/stat : 18390 (java) S 18377 18379 11644 0 -1 4202560 5675 0 0 0 86 0 0 0 15 0 19 0 906264584 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18391] ppid=18377 vsize=13638280 CPUtime=0.99 cores=0,2,4,6
/proc/18379/task/18391/stat : 18391 (java) S 18377 18379 11644 0 -1 4202560 5910 0 0 0 98 1 0 0 16 0 19 0 906264584 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18392] ppid=18377 vsize=13638280 CPUtime=1.11 cores=0,2,4,6
/proc/18379/task/18392/stat : 18392 (java) S 18377 18379 11644 0 -1 4202560 6660 0 0 0 110 1 0 0 16 0 19 0 906264584 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18393] ppid=18377 vsize=13638280 CPUtime=20.67 cores=0,2,4,6
/proc/18379/task/18393/stat : 18393 (java) S 18377 18379 11644 0 -1 4202560 54221 0 0 0 2058 9 0 0 15 0 19 0 906264585 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 0 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18394] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18394/stat : 18394 (java) S 18377 18379 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906264586 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18395] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18395/stat : 18395 (java) S 18377 18379 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906264586 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18398] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18398/stat : 18398 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906264588 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216747002289 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18399] ppid=18377 vsize=13638280 CPUtime=0.73 cores=0,2,4,6
/proc/18379/task/18399/stat : 18399 (java) S 18377 18379 11644 0 -1 4202560 5921 0 0 0 72 1 0 0 15 0 19 0 906264588 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18400] ppid=18377 vsize=13638280 CPUtime=0.78 cores=0,2,4,6
/proc/18379/task/18400/stat : 18400 (java) S 18377 18379 11644 0 -1 4202560 5192 0 0 0 77 1 0 0 15 0 19 0 906264588 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18401] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18401/stat : 18401 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906264588 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18402] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18402/stat : 18402 (java) S 18377 18379 11644 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 906264588 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18403] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18403/stat : 18403 (java) S 18377 18379 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906264651 13965598720 159055 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1728.95
Current children cumulated vsize (KiB) 13638280

[startup+1782.3 s]
/proc/loadavg: 1.09 1.04 1.17 2/540 18477
/proc/meminfo: memFree=24307304/32951124 swapFree=56241860/67111528
[pid=18379] ppid=18377 vsize=13638280 CPUtime=1789.13 cores=0,2,4,6
/proc/18379/stat : 18379 (java) S 18377 18379 11644 0 -1 4202496 164773 0 1 0 178880 33 0 0 25 0 19 0 906264582 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18379/statm: 3409570 159081 2271 9 0 3400304 0
[pid=18379/tid=18380] ppid=18377 vsize=13638280 CPUtime=1757.86 cores=0,2,4,6
/proc/18379/task/18380/stat : 18380 (java) R 18377 18379 11644 0 -1 4202560 46016 0 1 0 175776 10 0 0 25 0 19 0 906264582 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 46912506059815 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18379/tid=18383] ppid=18377 vsize=13638280 CPUtime=1.08 cores=0,2,4,6
/proc/18379/task/18383/stat : 18383 (java) S 18377 18379 11644 0 -1 4202560 5992 0 0 0 107 1 0 0 15 0 19 0 906264584 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18385] ppid=18377 vsize=13638280 CPUtime=1.16 cores=0,2,4,6
/proc/18379/task/18385/stat : 18385 (java) S 18377 18379 11644 0 -1 4202560 6031 0 0 0 115 1 0 0 16 0 19 0 906264584 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18386] ppid=18377 vsize=13638280 CPUtime=0.91 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (java) S 18377 18379 11644 0 -1 4202560 6528 0 0 0 90 1 0 0 15 0 19 0 906264584 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18388] ppid=18377 vsize=13638280 CPUtime=1.04 cores=0,2,4,6
/proc/18379/task/18388/stat : 18388 (java) S 18377 18379 11644 0 -1 4202560 6575 0 0 0 103 1 0 0 15 0 19 0 906264584 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18389] ppid=18377 vsize=13638280 CPUtime=1.04 cores=0,2,4,6
/proc/18379/task/18389/stat : 18389 (java) S 18377 18379 11644 0 -1 4202560 8778 0 0 0 103 1 0 0 15 0 19 0 906264584 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18390] ppid=18377 vsize=13638280 CPUtime=0.89 cores=0,2,4,6
/proc/18379/task/18390/stat : 18390 (java) S 18377 18379 11644 0 -1 4202560 5675 0 0 0 89 0 0 0 16 0 19 0 906264584 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18391] ppid=18377 vsize=13638280 CPUtime=1.03 cores=0,2,4,6
/proc/18379/task/18391/stat : 18391 (java) S 18377 18379 11644 0 -1 4202560 5929 0 0 0 102 1 0 0 15 0 19 0 906264584 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18392] ppid=18377 vsize=13638280 CPUtime=1.17 cores=0,2,4,6
/proc/18379/task/18392/stat : 18392 (java) S 18377 18379 11644 0 -1 4202560 6660 0 0 0 116 1 0 0 16 0 19 0 906264584 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18393] ppid=18377 vsize=13638280 CPUtime=21.34 cores=0,2,4,6
/proc/18379/task/18393/stat : 18393 (java) S 18377 18379 11644 0 -1 4202560 54225 0 0 0 2125 9 0 0 15 0 19 0 906264585 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 0 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18394] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18394/stat : 18394 (java) S 18377 18379 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906264586 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18395] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18395/stat : 18395 (java) S 18377 18379 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906264586 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18398] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18398/stat : 18398 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906264588 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216747002289 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18399] ppid=18377 vsize=13638280 CPUtime=0.73 cores=0,2,4,6
/proc/18379/task/18399/stat : 18399 (java) S 18377 18379 11644 0 -1 4202560 5921 0 0 0 72 1 0 0 15 0 19 0 906264588 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18400] ppid=18377 vsize=13638280 CPUtime=0.78 cores=0,2,4,6
/proc/18379/task/18400/stat : 18400 (java) S 18377 18379 11644 0 -1 4202560 5192 0 0 0 77 1 0 0 15 0 19 0 906264588 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18401] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18401/stat : 18401 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906264588 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18402] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18402/stat : 18402 (java) S 18377 18379 11644 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 906264588 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18403] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18403/stat : 18403 (java) S 18377 18379 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906264651 13965598720 159081 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1789.13
Current children cumulated vsize (KiB) 13638280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.2 s]
/proc/loadavg: 1.08 1.04 1.17 2/540 18477
/proc/meminfo: memFree=24307300/32951124 swapFree=56241860/67111528
[pid=18379] ppid=18377 vsize=13638280 CPUtime=1800.06 cores=0,2,4,6
/proc/18379/stat : 18379 (java) S 18377 18379 11644 0 -1 4202496 164776 0 1 0 179973 33 0 0 25 0 19 0 906264582 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18379/statm: 3409570 159083 2271 9 0 3400304 0
[pid=18379/tid=18380] ppid=18377 vsize=13638280 CPUtime=1768.69 cores=0,2,4,6
/proc/18379/task/18380/stat : 18380 (java) R 18377 18379 11644 0 -1 4202560 46017 0 1 0 176859 10 0 0 25 0 19 0 906264582 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 46912506059669 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18379/tid=18383] ppid=18377 vsize=13638280 CPUtime=1.08 cores=0,2,4,6
/proc/18379/task/18383/stat : 18383 (java) S 18377 18379 11644 0 -1 4202560 5992 0 0 0 107 1 0 0 15 0 19 0 906264584 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18385] ppid=18377 vsize=13638280 CPUtime=1.16 cores=0,2,4,6
/proc/18379/task/18385/stat : 18385 (java) S 18377 18379 11644 0 -1 4202560 6031 0 0 0 115 1 0 0 15 0 19 0 906264584 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18386] ppid=18377 vsize=13638280 CPUtime=0.91 cores=0,2,4,6
/proc/18379/task/18386/stat : 18386 (java) S 18377 18379 11644 0 -1 4202560 6528 0 0 0 90 1 0 0 15 0 19 0 906264584 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18388] ppid=18377 vsize=13638280 CPUtime=1.05 cores=0,2,4,6
/proc/18379/task/18388/stat : 18388 (java) S 18377 18379 11644 0 -1 4202560 6577 0 0 0 104 1 0 0 16 0 19 0 906264584 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18389] ppid=18377 vsize=13638280 CPUtime=1.04 cores=0,2,4,6
/proc/18379/task/18389/stat : 18389 (java) S 18377 18379 11644 0 -1 4202560 8778 0 0 0 103 1 0 0 15 0 19 0 906264584 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 6 0 0 0
[pid=18379/tid=18390] ppid=18377 vsize=13638280 CPUtime=0.9 cores=0,2,4,6
/proc/18379/task/18390/stat : 18390 (java) S 18377 18379 11644 0 -1 4202560 5675 0 0 0 90 0 0 0 16 0 19 0 906264584 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18391] ppid=18377 vsize=13638280 CPUtime=1.04 cores=0,2,4,6
/proc/18379/task/18391/stat : 18391 (java) S 18377 18379 11644 0 -1 4202560 5929 0 0 0 103 1 0 0 15 0 19 0 906264584 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18392] ppid=18377 vsize=13638280 CPUtime=1.17 cores=0,2,4,6
/proc/18379/task/18392/stat : 18392 (java) S 18377 18379 11644 0 -1 4202560 6660 0 0 0 116 1 0 0 15 0 19 0 906264584 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18393] ppid=18377 vsize=13638280 CPUtime=21.42 cores=0,2,4,6
/proc/18379/task/18393/stat : 18393 (java) S 18377 18379 11644 0 -1 4202560 54225 0 0 0 2133 9 0 0 15 0 19 0 906264585 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 0 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18394] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18394/stat : 18394 (java) S 18377 18379 11644 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 906264586 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18395] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18395/stat : 18395 (java) S 18377 18379 11644 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 906264586 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18398] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18398/stat : 18398 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 906264588 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216747002289 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18399] ppid=18377 vsize=13638280 CPUtime=0.73 cores=0,2,4,6
/proc/18379/task/18399/stat : 18399 (java) S 18377 18379 11644 0 -1 4202560 5921 0 0 0 72 1 0 0 15 0 19 0 906264588 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 0 0 0 0
[pid=18379/tid=18400] ppid=18377 vsize=13638280 CPUtime=0.78 cores=0,2,4,6
/proc/18379/task/18400/stat : 18400 (java) S 18377 18379 11644 0 -1 4202560 5192 0 0 0 77 1 0 0 15 0 19 0 906264588 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18401] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18401/stat : 18401 (java) S 18377 18379 11644 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 906264588 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746994585 0 4 0 16800975 18446604450963232704 0 0 -1 4 0 0 0
[pid=18379/tid=18402] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18402/stat : 18402 (java) S 18377 18379 11644 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 906264588 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
[pid=18379/tid=18403] ppid=18377 vsize=13638280 CPUtime=0 cores=0,2,4,6
/proc/18379/task/18403/stat : 18403 (java) S 18377 18379 11644 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 906264651 13965598720 159083 33554432000 1073741824 1073778376 140735358754352 18446744073709551615 216746995200 0 4 0 16800975 18446604450963232704 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13638280

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

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1793.3
CPU time (s): 1800.19
CPU user time (s): 1799.82
CPU system time (s): 0.366944
CPU usage (%): 100.384
Max. virtual memory (cumulated for all children) (KiB): 13638280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.366944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164827
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43236
involuntary context switches= 17203

runsolver used 10.1235 second user time and 21.0428 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-04 06:05:39
IDJOB=3458379
IDBENCH=48199
IDSOLVER=1952
FILE ID=node119/3458379-1307160339
RUNJOBID= node119-1307156711-17661
PBS_JOBID= 13508797
Free space on /tmp= 73660 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458379-1307160339/watcher-3458379-1307160339 -o /tmp/evaluation-result-3458379-1307160339/solver-3458379-1307160339 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458379-1307160339.opb

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

MD5SUM BENCH= d487c80c335f688d99ca29b5d7c254e0
RANDOM SEED=716411794

node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24592124 kB
Buffers:        236840 kB
Cached:         584376 kB
SwapCached:      59076 kB
Active:        1045092 kB
Inactive:      7015564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24592124 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:             792 kB
Writeback:           0 kB
AnonPages:     7183908 kB
Mapped:          41920 kB
Slab:           149584 kB
PageTables:      79832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 177316772 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73660 MiB
End job on node119 at 2011-06-04 06:35:34