Trace number 3711185

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 specific settings 2.3.2 snapshotSAT (TO)-106 1800.08 1786.46

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_2.opb
MD5SUMfc8bff78845ab9a14b2d06ab749e4dc4
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-144
Best CPU time to get the best result obtained on this benchmark1796.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -137
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
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)12656
Sum of products size (including duplicates)25312
Number of different products6328
Sum of products size12656

Quality of the solution as a function of time


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

Solver Data 

0.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.02/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.02/0.09	c version 2.3.2.v20120418
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		501472288
0.02/0.09	c Max memory 		7480803328
0.02/0.09	c Total memory 		504102912
0.02/0.09	c Number of processors 	8
0.08/0.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.13	c configuring ORDERS
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=true
0.08/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3711185-1338173103.opb
0.08/0.13	c reading problem ... 
1.03/0.57	c ... done. Wall clock time 0.437s.
1.03/0.57	c declared #vars     1000
1.03/0.57	c internal #vars     7328
1.03/0.57	c #constraints  14158
1.03/0.57	c constraints type 
1.03/0.57	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6328
1.03/0.57	c org.sat4j.minisat.constraints.card.MinWatchCard => 1002
1.03/0.57	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1.03/0.57	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6328
1.03/0.57	c 14158 constraints processed.
1.62/0.73	c SATISFIABLE
1.62/0.73	c OPTIMIZING...
1.62/0.73	c Got one! Elapsed wall clock time (in seconds):0.6
1.62/0.73	o 0
1.93/0.80	c Got one! Elapsed wall clock time (in seconds):0.671
1.93/0.80	o -1
2.90/1.31	c Got one! Elapsed wall clock time (in seconds):1.173
2.90/1.31	o -60
2.90/1.33	c Got one! Elapsed wall clock time (in seconds):1.194
2.90/1.33	o -61
3.05/1.43	c Got one! Elapsed wall clock time (in seconds):1.295
3.05/1.43	o -62
3.19/1.56	c Got one! Elapsed wall clock time (in seconds):1.426
3.19/1.56	o -72
3.89/2.21	c Got one! Elapsed wall clock time (in seconds):2.079
3.89/2.21	o -73
4.49/2.81	c Got one! Elapsed wall clock time (in seconds):2.677
4.49/2.81	o -78
4.59/2.91	c Got one! Elapsed wall clock time (in seconds):2.78
4.59/2.91	o -79
4.59/2.97	c Got one! Elapsed wall clock time (in seconds):2.839
4.59/2.97	o -80
4.70/3.09	c Got one! Elapsed wall clock time (in seconds):2.957
4.70/3.09	o -81
5.70/4.09	c cleaning 4110 clauses out of 8235 with flag 3000/8235
6.06/4.34	c Got one! Elapsed wall clock time (in seconds):4.212
6.06/4.34	o -82
6.26/4.52	c Got one! Elapsed wall clock time (in seconds):4.384
6.26/4.52	o -88
7.08/5.36	c Got one! Elapsed wall clock time (in seconds):5.228
7.08/5.36	o -89
7.19/5.50	c Got one! Elapsed wall clock time (in seconds):5.369
7.19/5.50	o -90
7.98/6.28	c cleaning 5821 clauses out of 11649 with flag 3005/15759
9.41/7.64	c Got one! Elapsed wall clock time (in seconds):7.503
9.41/7.64	o -91
9.70/7.96	c Got one! Elapsed wall clock time (in seconds):7.828
9.70/7.96	o -92
10.00/8.26	c cleaning 6232 clauses out of 12473 with flag 1000/22404
10.58/8.77	c Got one! Elapsed wall clock time (in seconds):8.636
10.58/8.77	o -93
11.37/9.58	c cleaning 6017 clauses out of 12110 with flag 4000/28273
12.81/10.99	c Got one! Elapsed wall clock time (in seconds):10.857
12.81/10.99	o -94
13.80/11.91	c cleaning 8534 clauses out of 17074 with flag 5000/39254
15.13/13.29	c cleaning 7259 clauses out of 14542 with flag 11002/45256
17.13/15.29	c cleaning 7146 clauses out of 14314 with flag 18033/52287
19.14/17.29	c cleaning 7558 clauses out of 15136 with flag 26001/60255
21.47/19.52	c cleaning 8277 clauses out of 16577 with flag 35000/69254
24.11/22.16	c cleaning 9145 clauses out of 18300 with flag 45000/79254
26.94/24.97	c cleaning 10077 clauses out of 20163 with flag 56008/90262
29.38/27.34	c cleaning 11031 clauses out of 22078 with flag 68000/102254
31.41/29.31	c cleaning 12018 clauses out of 24048 with flag 81001/115255
33.62/31.52	c Got one! Elapsed wall clock time (in seconds):31.386
33.62/31.52	o -95
34.72/32.66	c cleaning 12229 clauses out of 24492 with flag 5004/127717
36.24/34.18	c cleaning 9042 clauses out of 18259 with flag 11000/133713
38.05/35.92	c cleaning 8093 clauses out of 16217 with flag 18000/140713
40.39/38.25	c cleaning 8053 clauses out of 16126 with flag 26002/148715
42.21/40.06	c cleaning 8531 clauses out of 17072 with flag 35001/157714
44.12/41.92	c cleaning 9270 clauses out of 18541 with flag 45001/167714
46.34/44.18	c cleaning 10131 clauses out of 20273 with flag 56003/178716
49.07/46.82	c Got one! Elapsed wall clock time (in seconds):46.687
49.07/46.82	o -96
50.29/48.03	c cleaning 12787 clauses out of 25588 with flag 5000/194162
51.46/49.14	c Got one! Elapsed wall clock time (in seconds):49.012
51.46/49.14	o -97
51.66/49.34	c cleaning 9279 clauses out of 18599 with flag 1002/199960
52.97/50.66	c cleaning 7641 clauses out of 15318 with flag 7000/205958
54.59/52.25	c cleaning 7332 clauses out of 14678 with flag 14001/212959
55.14/52.72	c Got one! Elapsed wall clock time (in seconds):52.59
55.14/52.72	o -98
55.24/52.86	c Got one! Elapsed wall clock time (in seconds):52.727
55.24/52.86	o -99
56.13/53.70	c cleaning 6669 clauses out of 13370 with flag 4001/218983
57.26/54.88	c cleaning 6334 clauses out of 12700 with flag 10000/224982
58.97/56.60	c cleaning 6673 clauses out of 13370 with flag 17004/231986
61.38/58.91	c cleaning 7347 clauses out of 14694 with flag 25001/239983
64.68/62.28	c cleaning 8171 clauses out of 16350 with flag 34004/248986
68.53/66.02	c cleaning 9083 clauses out of 18175 with flag 44000/258982
71.36/68.87	c cleaning 10045 clauses out of 20093 with flag 55001/269983
74.20/71.62	c cleaning 11033 clauses out of 22073 with flag 67026/282008
77.21/74.60	c cleaning 11998 clauses out of 24015 with flag 80001/294983
79.42/76.90	c cleaning 13005 clauses out of 26016 with flag 94000/308982
82.95/80.36	c cleaning 13999 clauses out of 28011 with flag 109000/323982
87.18/84.57	c cleaning 15006 clauses out of 30012 with flag 125000/339982
90.42/87.77	c cleaning 15998 clauses out of 32006 with flag 142000/356982
93.34/90.64	c cleaning 16993 clauses out of 34008 with flag 160000/374982
96.31/93.56	c Got one! Elapsed wall clock time (in seconds):93.427
96.31/93.56	o -100
97.62/94.87	c cleaning 19746 clauses out of 39504 with flag 5010/397471
99.26/96.47	c cleaning 12867 clauses out of 25748 with flag 11000/403461
100.78/97.98	c cleaning 9913 clauses out of 19882 with flag 18001/410462
102.29/99.40	c cleaning 8969 clauses out of 17972 with flag 26004/418465
103.91/101.00	c cleaning 8986 clauses out of 18000 with flag 35001/427462
106.11/103.27	c cleaning 9502 clauses out of 19014 with flag 45001/437462
108.64/105.78	c cleaning 10225 clauses out of 20512 with flag 56001/448462
111.38/108.44	c cleaning 11139 clauses out of 22288 with flag 68002/460463
113.12/110.20	c cleaning 12073 clauses out of 24148 with flag 81001/473462
115.94/112.99	c cleaning 13032 clauses out of 26075 with flag 95001/487462
119.57/116.58	c cleaning 14016 clauses out of 28042 with flag 110000/502461
123.50/120.48	c cleaning 15012 clauses out of 30027 with flag 126001/518462
126.64/123.59	c cleaning 16001 clauses out of 32015 with flag 143001/535462
130.20/127.05	c cleaning 17004 clauses out of 34013 with flag 161000/553461
135.66/132.42	c cleaning 18001 clauses out of 36010 with flag 180001/572462
141.18/137.92	c cleaning 19002 clauses out of 38008 with flag 200000/592461
146.72/143.47	c cleaning 20005 clauses out of 40011 with flag 221005/613466
151.48/148.14	c cleaning 20989 clauses out of 42001 with flag 243000/635461
156.92/153.51	c cleaning 21996 clauses out of 44013 with flag 266001/658462
163.25/159.84	c cleaning 23018 clauses out of 46041 with flag 290025/682486
169.45/165.95	c cleaning 23991 clauses out of 47998 with flag 315000/707461
175.43/171.88	c cleaning 24994 clauses out of 50007 with flag 341000/733461
184.35/180.63	c cleaning 26000 clauses out of 52013 with flag 368000/760461
192.02/188.25	c cleaning 26993 clauses out of 54018 with flag 396005/788466
198.91/195.05	c cleaning 28009 clauses out of 56027 with flag 425007/817468
206.66/202.78	c cleaning 29009 clauses out of 58022 with flag 455011/847472
214.74/210.71	c cleaning 29994 clauses out of 60004 with flag 486002/878463
222.39/218.39	c cleaning 31003 clauses out of 62014 with flag 518006/910467
231.65/227.50	c cleaning 32001 clauses out of 64008 with flag 551003/943464
240.92/236.75	c cleaning 33002 clauses out of 66004 with flag 585000/977461
250.00/245.75	c cleaning 33997 clauses out of 68003 with flag 620001/1012462
258.55/254.26	c cleaning 34997 clauses out of 70005 with flag 656000/1048461
267.70/263.31	c cleaning 35997 clauses out of 72008 with flag 693000/1085461
276.58/272.16	c cleaning 37001 clauses out of 74014 with flag 731003/1123464
286.88/282.31	c cleaning 37991 clauses out of 76010 with flag 770000/1162461
296.62/292.06	c cleaning 39001 clauses out of 78021 with flag 810002/1202463
307.34/302.65	c cleaning 39998 clauses out of 80018 with flag 851000/1243461
321.54/316.57	c cleaning 41002 clauses out of 82020 with flag 893000/1285461
334.77/329.72	c cleaning 42007 clauses out of 84021 with flag 936003/1328464
344.48/339.34	c cleaning 43009 clauses out of 86031 with flag 980020/1372481
355.15/349.90	c Got one! Elapsed wall clock time (in seconds):349.765
355.15/349.90	o -101
356.79/351.46	c cleaning 45579 clauses out of 91158 with flag 5000/1420617
358.22/352.81	c cleaning 25753 clauses out of 51584 with flag 11005/1426622
359.83/354.47	c cleaning 16343 clauses out of 32826 with flag 18000/1433617
361.64/356.26	c cleaning 12207 clauses out of 24485 with flag 26002/1441619
363.76/358.39	c cleaning 10599 clauses out of 21276 with flag 35000/1450617
366.32/360.86	c cleaning 10329 clauses out of 20678 with flag 45001/1460618
368.94/363.46	c cleaning 10669 clauses out of 21350 with flag 56002/1471619
372.05/366.51	c cleaning 11337 clauses out of 22680 with flag 68001/1483618
375.09/369.60	c cleaning 12165 clauses out of 24342 with flag 81000/1496617
378.61/373.05	c cleaning 13080 clauses out of 26178 with flag 95001/1510618
382.43/376.81	c cleaning 14050 clauses out of 28102 with flag 110005/1525622
385.36/379.73	c cleaning 15019 clauses out of 30048 with flag 126001/1541618
388.00/382.36	c cleaning 16008 clauses out of 32028 with flag 143000/1558617
390.96/385.29	c cleaning 17008 clauses out of 34022 with flag 161002/1576619
394.70/388.91	c cleaning 18007 clauses out of 36014 with flag 180002/1595619
398.62/392.82	c cleaning 19002 clauses out of 38007 with flag 200002/1615619
403.35/397.50	c cleaning 19991 clauses out of 40016 with flag 221013/1636630
409.59/403.71	c cleaning 21000 clauses out of 42014 with flag 243002/1658619
416.25/410.38	c cleaning 21984 clauses out of 44014 with flag 266002/1681619
421.30/415.32	c cleaning 23015 clauses out of 46029 with flag 290001/1705618
425.76/419.72	c cleaning 24007 clauses out of 48013 with flag 315000/1730617
430.49/424.46	c cleaning 25004 clauses out of 50007 with flag 341001/1756618
436.55/430.47	c cleaning 25995 clauses out of 52003 with flag 368001/1783618
443.92/437.76	c cleaning 26995 clauses out of 54008 with flag 396001/1811618
450.77/444.53	c cleaning 27999 clauses out of 56013 with flag 425001/1840618
458.04/451.78	c cleaning 29003 clauses out of 58013 with flag 455000/1870617
466.12/459.71	c cleaning 29996 clauses out of 60011 with flag 486001/1901618
474.33/467.88	c cleaning 31006 clauses out of 62025 with flag 518011/1933628
481.12/474.50	c cleaning 32002 clauses out of 64009 with flag 551001/1966618
491.39/484.74	c cleaning 33002 clauses out of 66006 with flag 585000/2000617
500.98/494.24	c cleaning 33991 clauses out of 68006 with flag 620002/2035619
510.14/503.39	c cleaning 35006 clauses out of 70014 with flag 656001/2071618
517.11/510.22	c cleaning 36002 clauses out of 72010 with flag 693003/2108620
530.69/523.78	c cleaning 36980 clauses out of 74007 with flag 731002/2146619
551.27/544.28	c cleaning 38001 clauses out of 76025 with flag 770000/2185617
560.06/552.96	c cleaning 39012 clauses out of 78027 with flag 810003/2225620
571.73/564.56	c cleaning 40002 clauses out of 80015 with flag 851003/2266620
582.93/575.68	c cleaning 41008 clauses out of 82033 with flag 893023/2308640
592.12/584.74	c cleaning 41994 clauses out of 84003 with flag 936001/2351618
600.26/592.85	c cleaning 43001 clauses out of 86012 with flag 980004/2395621
610.63/603.15	c cleaning 44003 clauses out of 88007 with flag 1025000/2440617
623.44/615.85	c cleaning 45000 clauses out of 90004 with flag 1071000/2486617
634.91/627.26	c cleaning 45991 clauses out of 92004 with flag 1118000/2533617
645.49/637.75	c cleaning 47004 clauses out of 94013 with flag 1166000/2581617
654.25/646.42	c cleaning 47998 clauses out of 96009 with flag 1215000/2630617
664.40/656.59	c cleaning 48995 clauses out of 98011 with flag 1265000/2680617
677.06/668.88	c cleaning 49995 clauses out of 100016 with flag 1316000/2731617
689.91/681.61	c cleaning 51005 clauses out of 102024 with flag 1368003/2783620
703.04/694.60	c cleaning 51999 clauses out of 104016 with flag 1421000/2836617
716.46/707.99	c cleaning 53001 clauses out of 106017 with flag 1475000/2890617
730.67/722.00	c cleaning 53999 clauses out of 108017 with flag 1530001/2945618
745.56/736.88	c cleaning 55006 clauses out of 110020 with flag 1586003/3001620
752.59/743.74	c Got one! Elapsed wall clock time (in seconds):743.612
752.59/743.74	o -104
752.59/743.79	c Got one! Elapsed wall clock time (in seconds):743.66
752.59/743.79	o -105
752.89/744.01	c Got one! Elapsed wall clock time (in seconds):743.881
752.89/744.01	o -106
753.88/745.07	c cleaning 43324 clauses out of 86658 with flag 5000/3033264
755.33/746.44	c cleaning 24609 clauses out of 49334 with flag 11000/3039264
757.34/748.48	c cleaning 15801 clauses out of 31725 with flag 18000/3046264
759.37/750.41	c cleaning 11930 clauses out of 23928 with flag 26004/3054268
762.41/753.42	c cleaning 10478 clauses out of 21001 with flag 35007/3063271
765.32/756.34	c cleaning 10243 clauses out of 20527 with flag 45011/3073275
767.87/758.90	c cleaning 10626 clauses out of 21273 with flag 56000/3084264
769.68/760.63	c cleaning 11318 clauses out of 22648 with flag 68001/3096265
771.91/762.86	c cleaning 12161 clauses out of 24330 with flag 81001/3109265
774.33/765.30	c cleaning 13077 clauses out of 26169 with flag 95001/3123265
777.58/768.45	c cleaning 14049 clauses out of 28101 with flag 110010/3138274
780.31/771.12	c cleaning 15018 clauses out of 30043 with flag 126001/3154265
782.74/773.52	c cleaning 16006 clauses out of 32024 with flag 143000/3171264
785.87/776.67	c cleaning 16992 clauses out of 34019 with flag 161001/3189265
790.29/781.01	c cleaning 18010 clauses out of 36027 with flag 180001/3208265
794.03/784.71	c cleaning 19008 clauses out of 38017 with flag 200001/3228265
797.65/788.37	c cleaning 20002 clauses out of 40008 with flag 221000/3249264
802.09/792.76	c cleaning 21001 clauses out of 42007 with flag 243001/3271265
807.32/797.93	c cleaning 22003 clauses out of 44011 with flag 266006/3294270
815.86/806.44	c cleaning 23012 clauses out of 46044 with flag 290042/3318306
824.21/814.72	c cleaning 23994 clauses out of 47991 with flag 315001/3343265
836.47/826.94	c cleaning 24977 clauses out of 50006 with flag 341010/3369274
849.92/840.38	c cleaning 25986 clauses out of 52020 with flag 368001/3396265
867.39/857.73	c cleaning 26996 clauses out of 54047 with flag 396014/3424278
875.46/865.78	c cleaning 28014 clauses out of 56037 with flag 425000/3453264
884.90/875.11	c cleaning 28996 clauses out of 58026 with flag 455003/3483267
905.55/895.79	c cleaning 30016 clauses out of 60034 with flag 486007/3514271
919.67/909.72	c cleaning 31001 clauses out of 62013 with flag 518002/3546266
929.24/919.25	c cleaning 31998 clauses out of 64010 with flag 551000/3579264
940.08/930.03	c cleaning 32993 clauses out of 66013 with flag 585001/3613265
951.53/941.46	c cleaning 34007 clauses out of 68027 with flag 620008/3648272
958.48/948.35	c cleaning 35002 clauses out of 70012 with flag 656000/3684264
968.04/957.88	c cleaning 36004 clauses out of 72014 with flag 693004/3721268
999.72/989.44	c cleaning 37012 clauses out of 74035 with flag 731029/3759293
1008.83/998.49	c cleaning 37994 clauses out of 75995 with flag 770001/3798265
1023.08/1012.69	c cleaning 38999 clauses out of 78026 with flag 810026/3838290
1042.83/1032.30	c cleaning 40024 clauses out of 80057 with flag 851056/3879320
1068.06/1057.58	c cleaning 40988 clauses out of 81990 with flag 893013/3921277
1107.96/1097.32	c cleaning 41994 clauses out of 84008 with flag 936019/3964283
1129.93/1119.21	c cleaning 42993 clauses out of 85995 with flag 980000/4008264
1141.52/1130.75	c cleaning 43996 clauses out of 88005 with flag 1025003/4053267
1152.64/1141.79	c cleaning 44994 clauses out of 90010 with flag 1071004/4099268
1164.20/1153.29	c cleaning 45994 clauses out of 92012 with flag 1118000/4146264
1176.20/1165.19	c cleaning 47003 clauses out of 94021 with flag 1166003/4194267
1188.68/1177.57	c cleaning 48004 clauses out of 96015 with flag 1215000/4243264
1202.27/1191.05	c cleaning 49002 clauses out of 98014 with flag 1265003/4293267
1216.90/1205.60	c cleaning 49995 clauses out of 100009 with flag 1316000/4344264
1232.07/1220.65	c cleaning 50991 clauses out of 102014 with flag 1368000/4396264
1247.26/1235.76	c cleaning 52009 clauses out of 104027 with flag 1421004/4449268
1262.84/1251.29	c cleaning 53002 clauses out of 106017 with flag 1475003/4503267
1276.33/1264.62	c cleaning 54007 clauses out of 108013 with flag 1530001/4558265
1288.60/1276.80	c cleaning 54992 clauses out of 110007 with flag 1586002/4614266
1376.18/1364.30	c cleaning 56006 clauses out of 112033 with flag 1643020/4671284
1394.20/1382.26	c cleaning 56998 clauses out of 114010 with flag 1701003/4729267
1411.05/1399.02	c cleaning 57996 clauses out of 116009 with flag 1760000/4788264
1426.76/1414.61	c cleaning 58999 clauses out of 118016 with flag 1820003/4848267
1455.29/1443.01	c cleaning 59998 clauses out of 120020 with flag 1881006/4909270
1474.50/1462.14	c cleaning 60997 clauses out of 122017 with flag 1943001/4971265
1493.77/1481.31	c cleaning 62004 clauses out of 124027 with flag 2006008/5034272
1513.51/1500.98	c cleaning 62991 clauses out of 126015 with flag 2070000/5098264
1533.16/1520.45	c cleaning 64011 clauses out of 128038 with flag 2135014/5163278
1554.57/1541.77	c cleaning 64998 clauses out of 130013 with flag 2201000/5229264
1576.00/1563.03	c cleaning 65983 clauses out of 132016 with flag 2268001/5296265
1596.39/1583.32	c cleaning 67001 clauses out of 134032 with flag 2336000/5364264
1616.81/1603.65	c cleaning 68002 clauses out of 136033 with flag 2405002/5433266
1638.98/1625.71	c cleaning 69017 clauses out of 138039 with flag 2475010/5503274
1739.53/1726.16	c cleaning 70001 clauses out of 140017 with flag 2546005/5574269
1800.08/1786.42	c starts		: 304
1800.08/1786.42	c conflicts		: 5612373
1800.08/1786.42	c decisions		: 20408593
1800.08/1786.42	c propagations		: 403197674
1800.08/1786.42	c inspects		: 5562488156
1800.08/1786.42	c shortcuts		: 0
1800.08/1786.42	c learnt literals	: 0
1800.08/1786.42	c learnt binary clauses	: 40
1800.08/1786.42	c learnt ternary clauses	: 99656
1800.08/1786.42	c learnt constraints	: 5612373
1800.08/1786.42	c ignored constraints	: 0
1800.08/1786.42	c root simplifications	: 304
1800.08/1786.42	c removed literals (reason simplification)	: 514450752
1800.08/1786.42	c reason swapping (by a shorter reason)	: 0
1800.08/1786.42	c Calls to reduceDB	: 197
1800.08/1786.42	c number of reductions to clauses (during analyze)	: 0
1800.08/1786.42	c number of learned constraints concerned by reduction	: 0
1800.08/1786.42	c number of learning phase by resolution	: 0
1800.08/1786.42	c number of learning phase by cutting planes	: 0
1800.08/1786.42	c speed (assignments/second)	: 225775.56144636063
1800.08/1786.42	c non guided choices	19630
1800.08/1786.45	c learnt constraints type 
1800.08/1786.45	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 40
1800.08/1786.45	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 108093
1800.08/1786.45	c constraints type 
1800.08/1786.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6328
1800.08/1786.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 1003
1800.08/1786.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 500
1800.08/1786.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6328
1800.08/1786.45	c 14159 constraints processed.
1800.08/1786.45	s SATISFIABLE
1800.08/1786.45	v -x1 x2 -x3 -x4 -x5 -x6 -x7 x8 x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 x59 -x60 -x61 -x62 -x63 x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 x149 x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 x182 -x183 -x184 -x185 x186 -x187 x188 -x189 -x190 x191 -x192 -x193 -x194 x195 x196 -x197 -x198 -x199 -x200 -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.08/1786.45	c objective function=-106
1800.08/1786.45	c Total wall clock time (in seconds): 1786.319

Verifier Data 

OK	-106

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3711185-1338173103/watcher-3711185-1338173103 -o /tmp/evaluation-result-3711185-1338173103/solver-3711185-1338173103 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711185-1338173103.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.08 2.06 2.01 3/194 2102
/proc/meminfo: memFree=31120596/32873844 swapFree=7624/7624
[pid=2102] ppid=2100 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/2102/stat : 2102 (java) D 2100 2102 31312 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 283435942 9515008 175 33554432000 1073741824 1073778376 140736882175008 140736882157736 214369649552 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/2102/statm: 2323 175 133 9 0 71 0

[startup+0.044878 s]
/proc/loadavg: 2.08 2.06 2.01 3/194 2102
/proc/meminfo: memFree=31120596/32873844 swapFree=7624/7624
[pid=2102] ppid=2100 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/2102/stat : 2102 (java) S 2100 2102 31312 0 -1 4202496 3038 0 1 0 2 0 0 0 20 0 13 0 283435942 9446973440 3224 33554432000 1073741824 1073778376 140734154425584 140734154416720 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2102/statm: 2306390 3224 1676 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100277 s]
/proc/loadavg: 2.08 2.06 2.01 3/194 2102
/proc/meminfo: memFree=31120596/32873844 swapFree=7624/7624
[pid=2102] ppid=2100 vsize=9558440 CPUtime=0.08 cores=1,3,5,7
/proc/2102/stat : 2102 (java) S 2100 2102 31312 0 -1 4202496 3967 0 1 0 7 1 0 0 20 0 18 0 283435942 9787842560 4663 33554432000 1073741824 1073778376 140734154425584 140734154416720 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2102/statm: 2389610 4663 2071 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.30025 s]
/proc/loadavg: 2.08 2.06 2.01 3/194 2102
/proc/meminfo: memFree=31120596/32873844 swapFree=7624/7624
[pid=2102] ppid=2100 vsize=9558440 CPUtime=0.44 cores=1,3,5,7
/proc/2102/stat : 2102 (java) S 2100 2102 31312 0 -1 4202496 6086 0 1 0 42 2 0 0 20 0 18 0 283435942 9787842560 8325 33554432000 1073741824 1073778376 140734154425584 140734154416720 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2102/statm: 2389610 8325 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558440

[startup+0.700257 s]
/proc/loadavg: 2.08 2.06 2.01 3/194 2102
/proc/meminfo: memFree=31120596/32873844 swapFree=7624/7624
[pid=2102] ppid=2100 vsize=9625004 CPUtime=1.62 cores=1,3,5,7
/proc/2102/stat : 2102 (java) S 2100 2102 31312 0 -1 4202496 21246 0 1 0 156 6 0 0 20 0 19 0 283435942 9856004096 32604 33554432000 1073741824 1073778376 140734154425584 140734154416720 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2102/statm: 2406251 32604 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 9625004

[startup+1.50077 s]
/proc/loadavg: 2.08 2.06 2.01 4/213 2121
/proc/meminfo: memFree=30990580/32873844 swapFree=7624/7624
[pid=2102] ppid=2100 vsize=9625004 CPUtime=3.19 cores=1,3,5,7
/proc/2102/stat : 2102 (java) S 2100 2102 31312 0 -1 4202496 24780 0 1 0 312 7 0 0 20 0 19 0 283435942 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140734154416720 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2102/statm: 2406251 34816 2266 9 0 2396937 0
[pid=2102/tid=2104] ppid=2100 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/2102/task/2104/stat : 2104 (java) R 2100 2102 31312 0 -1 4202560 2597 0 1 0 144 2 0 0 20 0 19 0 283435943 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306522390568 140306395277448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2105] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2105/stat : 2105 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306366155048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2106] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2106/stat : 2106 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306365102248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2107] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2107/stat : 2107 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306364049960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2102/tid=2108] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2108/stat : 2108 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306362997160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2109] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2109/stat : 2109 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306361944872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2110] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2110/stat : 2110 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306360892072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2111] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2111/stat : 2111 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306359839784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2112] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2112/stat : 2112 (java) S 2100 2102 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306358786984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2113] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2113/stat : 2113 (java) S 2100 2102 31312 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283435945 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306346588392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2114] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2114/stat : 2114 (java) S 2100 2102 31312 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283435946 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306345534456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2115] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2115/stat : 2115 (java) S 2100 2102 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283435946 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306344482056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2116] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2116/stat : 2116 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306343430544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2117] ppid=2100 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/2102/task/2117/stat : 2117 (java) S 2100 2102 31312 0 -1 4202560 12890 0 0 0 82 3 0 0 20 0 19 0 283435949 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306342378168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2118] ppid=2100 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/2102/task/2118/stat : 2118 (java) S 2100 2102 31312 0 -1 4202560 8093 0 0 0 81 2 0 0 20 0 19 0 283435949 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306341325368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2119] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2119/stat : 2119 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306340273272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2120] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2120/stat : 2120 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306339220680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2121] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2121/stat : 2121 (java) S 2100 2102 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283436001 9856004096 34816 33554432000 1073741824 1073778376 140734154425584 140306338165672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 9625004

[startup+3.10079 s]
/proc/loadavg: 2.08 2.06 2.01 3/213 2121
/proc/meminfo: memFree=30987540/32873844 swapFree=7624/7624
[pid=2102] ppid=2100 vsize=9625004 CPUtime=4.8 cores=1,3,5,7
/proc/2102/stat : 2102 (java) S 2100 2102 31312 0 -1 4202496 24787 0 1 0 473 7 0 0 20 0 19 0 283435942 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140734154416720 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2102/statm: 2406251 36355 2266 9 0 2396937 0
[pid=2102/tid=2104] ppid=2100 vsize=9625004 CPUtime=3.05 cores=1,3,5,7
/proc/2102/task/2104/stat : 2104 (java) R 2100 2102 31312 0 -1 4202560 2601 0 1 0 303 2 0 0 20 0 19 0 283435943 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306522382784 140306395448564 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2105] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2105/stat : 2105 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306366155048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2106] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2106/stat : 2106 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306365102248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2107] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2107/stat : 2107 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306364049960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2102/tid=2108] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2108/stat : 2108 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306362997160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2109] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2109/stat : 2109 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306361944872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2110] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2110/stat : 2110 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306360892072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2111] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2111/stat : 2111 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306359839784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2112] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2112/stat : 2112 (java) S 2100 2102 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306358786984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2113] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2113/stat : 2113 (java) S 2100 2102 31312 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 283435945 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306346588392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2114] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2114/stat : 2114 (java) S 2100 2102 31312 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283435946 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306345534456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2115] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2115/stat : 2115 (java) S 2100 2102 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283435946 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306344482056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2116] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2116/stat : 2116 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306343430544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2117] ppid=2100 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/2102/task/2117/stat : 2117 (java) S 2100 2102 31312 0 -1 4202560 12890 0 0 0 83 3 0 0 20 0 19 0 283435949 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306342378168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2118] ppid=2100 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/2102/task/2118/stat : 2118 (java) S 2100 2102 31312 0 -1 4202560 8095 0 0 0 83 2 0 0 20 0 19 0 283435949 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306341325368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2119] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2119/stat : 2119 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306340273272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2120] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2120/stat : 2120 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306339220680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2121] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2121/stat : 2121 (java) S 2100 2102 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283436001 9856004096 36355 33554432000 1073741824 1073778376 140734154425584 140306338165672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 9625004

[startup+6.30388 s]
/proc/loadavg: 2.07 2.06 2.01 3/213 2121
/proc/meminfo: memFree=30966316/32873844 swapFree=7624/7624
[pid=2102] ppid=2100 vsize=9625004 CPUtime=8.1 cores=1,3,5,7
/proc/2102/stat : 2102 (java) S 2100 2102 31312 0 -1 4202496 24879 0 1 0 800 10 0 0 20 0 19 0 283435942 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140734154416720 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2102/statm: 2406251 42521 2291 9 0 2396937 0
[pid=2102/tid=2104] ppid=2100 vsize=9625004 CPUtime=6.18 cores=1,3,5,7
/proc/2102/task/2104/stat : 2104 (java) S 2100 2102 31312 0 -1 4202560 2608 0 1 0 616 2 0 0 20 0 19 0 283435943 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306522390952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2105] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2105/stat : 2105 (java) S 2100 2102 31312 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306366155048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2106] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2106/stat : 2106 (java) S 2100 2102 31312 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306365102248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2107] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2107/stat : 2107 (java) S 2100 2102 31312 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306364049960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2108] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2108/stat : 2108 (java) S 2100 2102 31312 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306362997160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2109] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2109/stat : 2109 (java) S 2100 2102 31312 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306361944872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2102/tid=2110] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2110/stat : 2110 (java) S 2100 2102 31312 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306360892072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2111] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2111/stat : 2111 (java) S 2100 2102 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306359839784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2112] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2112/stat : 2112 (java) S 2100 2102 31312 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283435944 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306358786984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2113] ppid=2100 vsize=9625004 CPUtime=0.03 cores=1,3,5,7
/proc/2102/task/2113/stat : 2113 (java) R 2100 2102 31312 0 -1 4202560 36 0 0 0 3 0 0 0 20 0 19 0 283435945 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306346587248 140306528517263 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2114] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2114/stat : 2114 (java) S 2100 2102 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283435946 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306345534456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2115] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2115/stat : 2115 (java) S 2100 2102 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283435946 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306344482056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2116] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2116/stat : 2116 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306343430544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2117] ppid=2100 vsize=9625004 CPUtime=0.89 cores=1,3,5,7
/proc/2102/task/2117/stat : 2117 (java) S 2100 2102 31312 0 -1 4202560 12893 0 0 0 86 3 0 0 20 0 19 0 283435949 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306342378168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2118] ppid=2100 vsize=9625004 CPUtime=0.86 cores=1,3,5,7
/proc/2102/task/2118/stat : 2118 (java) S 2100 2102 31312 0 -1 4202560 8099 0 0 0 84 2 0 0 20 0 19 0 283435949 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306341325368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2119] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2119/stat : 2119 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306340273272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2120] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2120/stat : 2120 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306339220680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2121] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2121/stat : 2121 (java) S 2100 2102 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283436001 9856004096 42521 33554432000 1073741824 1073778376 140734154425584 140306338165672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=2102/tid=2117] ppid=2100 vsize=9625004 CPUtime=1.06 cores=1,3,5,7
/proc/2102/task/2117/stat : 2117 (java) S 2100 2102 31312 0 -1 4202560 12913 0 0 0 103 3 0 0 20 0 19 0 283435949 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306342378168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2118] ppid=2100 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/2102/task/2118/stat : 2118 (java) S 2100 2102 31312 0 -1 4202560 8105 0 0 0 89 2 0 0 20 0 19 0 283435949 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306341325368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2102/tid=2119] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2119/stat : 2119 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306340273272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2120] ppid=2100 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/2102/task/2120/stat : 2120 (java) S 2100 2102 31312 0 -1 4202560 94 0 0 0 30 19 0 0 20 0 19 0 283435949 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306339220680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2121] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2121/stat : 2121 (java) S 2100 2102 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283436001 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306338165672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1675.71
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/213 2272
/proc/meminfo: memFree=29709944/32873844 swapFree=7624/7624
[pid=2102] ppid=2100 vsize=9625004 CPUtime=1735.73 cores=1,3,5,7
/proc/2102/stat : 2102 (java) S 2100 2102 31312 0 -1 4202496 28530 0 1 0 173477 96 0 0 20 0 19 0 283435942 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140734154416720 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2102/statm: 2406251 148309 2292 9 0 2396937 0
[pid=2102/tid=2104] ppid=2100 vsize=9625004 CPUtime=1700.69 cores=1,3,5,7
/proc/2102/task/2104/stat : 2104 (java) R 2100 2102 31312 0 -1 4202560 2831 0 1 0 170038 31 0 0 20 0 19 0 283435943 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306522390832 140306395383654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2105] ppid=2100 vsize=9625004 CPUtime=1.93 cores=1,3,5,7
/proc/2102/task/2105/stat : 2105 (java) S 2100 2102 31312 0 -1 4202560 592 0 0 0 185 8 0 0 20 0 19 0 283435944 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306366155048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2106] ppid=2100 vsize=9625004 CPUtime=1.98 cores=1,3,5,7
/proc/2102/task/2106/stat : 2106 (java) S 2100 2102 31312 0 -1 4202560 381 0 0 0 190 8 0 0 20 0 19 0 283435944 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306365102248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2102/tid=2107] ppid=2100 vsize=9625004 CPUtime=1.98 cores=1,3,5,7
/proc/2102/task/2107/stat : 2107 (java) S 2100 2102 31312 0 -1 4202560 432 0 0 0 191 7 0 0 20 0 19 0 283435944 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306364049960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2108] ppid=2100 vsize=9625004 CPUtime=2.18 cores=1,3,5,7
/proc/2102/task/2108/stat : 2108 (java) S 2100 2102 31312 0 -1 4202560 201 0 0 0 212 6 0 0 20 0 19 0 283435944 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306362997160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2109] ppid=2100 vsize=9625004 CPUtime=2.07 cores=1,3,5,7
/proc/2102/task/2109/stat : 2109 (java) S 2100 2102 31312 0 -1 4202560 185 0 0 0 198 9 0 0 20 0 19 0 283435944 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306361944872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2110] ppid=2100 vsize=9625004 CPUtime=1.71 cores=1,3,5,7
/proc/2102/task/2110/stat : 2110 (java) S 2100 2102 31312 0 -1 4202560 209 0 0 0 165 6 0 0 20 0 19 0 283435944 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306360892072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2111] ppid=2100 vsize=9625004 CPUtime=1.88 cores=1,3,5,7
/proc/2102/task/2111/stat : 2111 (java) S 2100 2102 31312 0 -1 4202560 521 0 0 0 179 9 0 0 20 0 19 0 283435944 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306359839784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2112] ppid=2100 vsize=9625004 CPUtime=2.01 cores=1,3,5,7
/proc/2102/task/2112/stat : 2112 (java) S 2100 2102 31312 0 -1 4202560 465 0 0 0 190 11 0 0 20 0 19 0 283435944 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306358786984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2102/tid=2113] ppid=2100 vsize=9625004 CPUtime=12.49 cores=1,3,5,7
/proc/2102/task/2113/stat : 2113 (java) S 2100 2102 31312 0 -1 4202560 411 0 0 0 1247 2 0 0 20 0 19 0 283435945 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306346588392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2114] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2114/stat : 2114 (java) S 2100 2102 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283435946 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306345534456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2115] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2115/stat : 2115 (java) S 2100 2102 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283435946 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306344482056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2116] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2116/stat : 2116 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306343430544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2117] ppid=2100 vsize=9625004 CPUtime=1.06 cores=1,3,5,7
/proc/2102/task/2117/stat : 2117 (java) S 2100 2102 31312 0 -1 4202560 12913 0 0 0 103 3 0 0 20 0 19 0 283435949 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306342378168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2118] ppid=2100 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/2102/task/2118/stat : 2118 (java) S 2100 2102 31312 0 -1 4202560 8105 0 0 0 89 2 0 0 20 0 19 0 283435949 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306341325368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2102/tid=2119] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2119/stat : 2119 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306340273272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2120] ppid=2100 vsize=9625004 CPUtime=0.52 cores=1,3,5,7
/proc/2102/task/2120/stat : 2120 (java) S 2100 2102 31312 0 -1 4202560 98 0 0 0 32 20 0 0 20 0 19 0 283435949 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306339220680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2121] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2121/stat : 2121 (java) S 2100 2102 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283436001 9856004096 148309 33554432000 1073741824 1073778376 140734154425584 140306338165672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1735.73
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/213 2273
/proc/meminfo: memFree=29825852/32873844 swapFree=7624/7624
[pid=2102] ppid=2100 vsize=9625004 CPUtime=1795.96 cores=1,3,5,7
/proc/2102/stat : 2102 (java) S 2100 2102 31312 0 -1 4202496 28602 0 1 0 179496 100 0 0 20 0 19 0 283435942 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140734154416720 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2102/statm: 2406251 153966 2292 9 0 2396937 0
[pid=2102/tid=2104] ppid=2100 vsize=9625004 CPUtime=1760.35 cores=1,3,5,7
/proc/2102/task/2104/stat : 2104 (java) R 2100 2102 31312 0 -1 4202560 2832 0 1 0 176003 32 0 0 20 0 19 0 283435943 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306522390832 140306395383889 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2105] ppid=2100 vsize=9625004 CPUtime=1.94 cores=1,3,5,7
/proc/2102/task/2105/stat : 2105 (java) S 2100 2102 31312 0 -1 4202560 594 0 0 0 186 8 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306366155048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2106] ppid=2100 vsize=9625004 CPUtime=2.05 cores=1,3,5,7
/proc/2102/task/2106/stat : 2106 (java) S 2100 2102 31312 0 -1 4202560 405 0 0 0 196 9 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306365102248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2107] ppid=2100 vsize=9625004 CPUtime=1.99 cores=1,3,5,7
/proc/2102/task/2107/stat : 2107 (java) S 2100 2102 31312 0 -1 4202560 435 0 0 0 192 7 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306364049960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2108] ppid=2100 vsize=9625004 CPUtime=2.19 cores=1,3,5,7
/proc/2102/task/2108/stat : 2108 (java) S 2100 2102 31312 0 -1 4202560 201 0 0 0 213 6 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306362997160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2109] ppid=2100 vsize=9625004 CPUtime=2.14 cores=1,3,5,7
/proc/2102/task/2109/stat : 2109 (java) S 2100 2102 31312 0 -1 4202560 196 0 0 0 205 9 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306361944872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2110] ppid=2100 vsize=9625004 CPUtime=1.73 cores=1,3,5,7
/proc/2102/task/2110/stat : 2110 (java) S 2100 2102 31312 0 -1 4202560 209 0 0 0 167 6 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306360892072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2111] ppid=2100 vsize=9625004 CPUtime=1.9 cores=1,3,5,7
/proc/2102/task/2111/stat : 2111 (java) S 2100 2102 31312 0 -1 4202560 529 0 0 0 181 9 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306359839784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2112] ppid=2100 vsize=9625004 CPUtime=2.08 cores=1,3,5,7
/proc/2102/task/2112/stat : 2112 (java) S 2100 2102 31312 0 -1 4202560 482 0 0 0 197 11 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306358786984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2113] ppid=2100 vsize=9625004 CPUtime=12.6 cores=1,3,5,7
/proc/2102/task/2113/stat : 2113 (java) S 2100 2102 31312 0 -1 4202560 413 0 0 0 1257 3 0 0 20 0 19 0 283435945 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306346588392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2114] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2114/stat : 2114 (java) S 2100 2102 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283435946 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306345534456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2115] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2115/stat : 2115 (java) S 2100 2102 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283435946 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306344482056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2116] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2116/stat : 2116 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306343430544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2117] ppid=2100 vsize=9625004 CPUtime=1.06 cores=1,3,5,7
/proc/2102/task/2117/stat : 2117 (java) S 2100 2102 31312 0 -1 4202560 12913 0 0 0 103 3 0 0 20 0 19 0 283435949 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306342378168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2118] ppid=2100 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/2102/task/2118/stat : 2118 (java) S 2100 2102 31312 0 -1 4202560 8105 0 0 0 89 2 0 0 20 0 19 0 283435949 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306341325368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2102/tid=2119] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2119/stat : 2119 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306340273272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2120] ppid=2100 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/2102/task/2120/stat : 2120 (java) S 2100 2102 31312 0 -1 4202560 102 0 0 0 34 21 0 0 20 0 19 0 283435949 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306339220680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2121] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2121/stat : 2121 (java) S 2100 2102 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283436001 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306338165672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1795.96
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.41 s]
/proc/loadavg: 2.01 2.05 2.01 3/213 2273
/proc/meminfo: memFree=29825852/32873844 swapFree=7624/7624
[pid=2102] ppid=2100 vsize=9625004 CPUtime=1800.08 cores=1,3,5,7
/proc/2102/stat : 2102 (java) S 2100 2102 31312 0 -1 4202496 28602 0 1 0 179908 100 0 0 20 0 19 0 283435942 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140734154416720 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/2102/statm: 2406251 153966 2292 9 0 2396937 0
[pid=2102/tid=2104] ppid=2100 vsize=9625004 CPUtime=1764.46 cores=1,3,5,7
/proc/2102/task/2104/stat : 2104 (java) R 2100 2102 31312 0 -1 4202560 2832 0 1 0 176414 32 0 0 20 0 19 0 283435943 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306522390832 140306395430125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2105] ppid=2100 vsize=9625004 CPUtime=1.94 cores=1,3,5,7
/proc/2102/task/2105/stat : 2105 (java) S 2100 2102 31312 0 -1 4202560 594 0 0 0 186 8 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306366155048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2106] ppid=2100 vsize=9625004 CPUtime=2.05 cores=1,3,5,7
/proc/2102/task/2106/stat : 2106 (java) S 2100 2102 31312 0 -1 4202560 405 0 0 0 196 9 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306365102248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2107] ppid=2100 vsize=9625004 CPUtime=1.99 cores=1,3,5,7
/proc/2102/task/2107/stat : 2107 (java) S 2100 2102 31312 0 -1 4202560 435 0 0 0 192 7 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306364049960 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2108] ppid=2100 vsize=9625004 CPUtime=2.19 cores=1,3,5,7
/proc/2102/task/2108/stat : 2108 (java) S 2100 2102 31312 0 -1 4202560 201 0 0 0 213 6 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306362997160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2109] ppid=2100 vsize=9625004 CPUtime=2.14 cores=1,3,5,7
/proc/2102/task/2109/stat : 2109 (java) S 2100 2102 31312 0 -1 4202560 196 0 0 0 205 9 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306361944872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2110] ppid=2100 vsize=9625004 CPUtime=1.73 cores=1,3,5,7
/proc/2102/task/2110/stat : 2110 (java) S 2100 2102 31312 0 -1 4202560 209 0 0 0 167 6 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306360892072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2111] ppid=2100 vsize=9625004 CPUtime=1.9 cores=1,3,5,7
/proc/2102/task/2111/stat : 2111 (java) S 2100 2102 31312 0 -1 4202560 529 0 0 0 181 9 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306359839784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2112] ppid=2100 vsize=9625004 CPUtime=2.08 cores=1,3,5,7
/proc/2102/task/2112/stat : 2112 (java) S 2100 2102 31312 0 -1 4202560 482 0 0 0 197 11 0 0 20 0 19 0 283435944 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306358786984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2102/tid=2113] ppid=2100 vsize=9625004 CPUtime=12.6 cores=1,3,5,7
/proc/2102/task/2113/stat : 2113 (java) S 2100 2102 31312 0 -1 4202560 413 0 0 0 1257 3 0 0 20 0 19 0 283435945 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306346588392 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2114] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2114/stat : 2114 (java) S 2100 2102 31312 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283435946 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306345534456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2115] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2115/stat : 2115 (java) S 2100 2102 31312 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283435946 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306344482056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2116] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2116/stat : 2116 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306343430544 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2117] ppid=2100 vsize=9625004 CPUtime=1.06 cores=1,3,5,7
/proc/2102/task/2117/stat : 2117 (java) S 2100 2102 31312 0 -1 4202560 12913 0 0 0 103 3 0 0 20 0 19 0 283435949 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306342378168 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2118] ppid=2100 vsize=9625004 CPUtime=0.91 cores=1,3,5,7
/proc/2102/task/2118/stat : 2118 (java) S 2100 2102 31312 0 -1 4202560 8105 0 0 0 89 2 0 0 20 0 19 0 283435949 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306341325368 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=2102/tid=2119] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2119/stat : 2119 (java) S 2100 2102 31312 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283435949 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306340273272 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=2102/tid=2120] ppid=2100 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/2102/task/2120/stat : 2120 (java) S 2100 2102 31312 0 -1 4202560 102 0 0 0 34 21 0 0 20 0 19 0 283435949 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306339220680 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=2102/tid=2121] ppid=2100 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/2102/task/2121/stat : 2121 (java) S 2100 2102 31312 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 283436001 9856004096 153966 33554432000 1073741824 1073778376 140734154425584 140306338165672 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2102 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=548187
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=402786
# CPU time returned by wait4() is 1795.95
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1786.46
CPU time (s): 1800.08
CPU user time (s): 1799.08
CPU system time (s): 1
CPU usage (%): 100.762
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.55
system time used= 1.40279
maximum resident set size= 615988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28636
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43363
involuntary context switches= 41860

runsolver used 6.26105 second user time and 15.6526 second system time

The end

Launcher Data 

Begin job on node130 at 2012-05-28 04:45:03
IDJOB=3711185
IDBENCH=48256
IDSOLVER=2289
FILE ID=node130/3711185-1338173103
RUNJOBID= node130-1338158197-31329
PBS_JOBID= 14624537
Free space on /tmp= 71472 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_2.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711185-1338173103/watcher-3711185-1338173103 -o /tmp/evaluation-result-3711185-1338173103/solver-3711185-1338173103 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711185-1338173103.opb

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

MD5SUM BENCH= fc8bff78845ab9a14b2d06ab749e4dc4
RANDOM SEED=2065079342

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31121232 kB
Buffers:          316092 kB
Cached:           489040 kB
SwapCached:         4508 kB
Active:           806184 kB
Inactive:         110592 kB
Active(anon):     101360 kB
Inactive(anon):     9016 kB
Active(file):     704824 kB
Inactive(file):   101576 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099916 kB
Dirty:               832 kB
Writeback:             0 kB
AnonPages:        177944 kB
Mapped:            19952 kB
Shmem:                 8 kB
Slab:             694096 kB
SReclaimable:     135872 kB
SUnreclaim:       558224 kB
KernelStack:        1760 kB
PageTables:         4120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71472 MiB
End job on node130 at 2012-05-28 05:14:52