Trace number 3710634

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)166 1800.02 1794.95

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/ttp/normalized-circ8_3.opb
MD5SUMd431323968e1ca4dc95d181076d01437
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark148
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 154
Optimality of the best value was proved NO
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
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 phase appearing in latest learned clause
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=true
0.10/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3710634-1338142407.opb
0.10/0.11	c reading problem ... 
0.92/0.51	c ... done. Wall clock time 0.393s.
0.92/0.51	c declared #vars     1344
0.92/0.51	c #constraints  16376
0.92/0.51	c constraints type 
0.92/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
0.92/0.51	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
0.92/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
0.92/0.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7392
0.92/0.51	c 16376 constraints processed.
1.16/0.63	c SATISFIABLE
1.16/0.63	c OPTIMIZING...
1.16/0.63	c Got one! Elapsed wall clock time (in seconds):0.513
1.16/0.63	o 212
1.44/0.74	c Got one! Elapsed wall clock time (in seconds):0.624
1.44/0.74	o 204
1.44/0.75	c Got one! Elapsed wall clock time (in seconds):0.636
1.44/0.75	o 202
1.59/0.81	c Got one! Elapsed wall clock time (in seconds):0.698
1.59/0.81	o 198
1.79/0.95	c Got one! Elapsed wall clock time (in seconds):0.84
1.79/0.95	o 196
2.06/1.11	c Got one! Elapsed wall clock time (in seconds):0.998
2.06/1.11	o 194
2.20/1.20	c Got one! Elapsed wall clock time (in seconds):1.091
2.20/1.20	o 192
2.20/1.24	c Got one! Elapsed wall clock time (in seconds):1.125
2.20/1.24	o 188
2.83/1.85	c cleaning 3938 clauses out of 7890 with flag 4001/7890
3.89/2.87	c cleaning 4969 clauses out of 9952 with flag 10001/13890
4.20/3.12	c Got one! Elapsed wall clock time (in seconds):3.01
4.20/3.12	o 186
4.83/3.76	c cleaning 5331 clauses out of 10676 with flag 4000/19583
5.04/3.98	c Got one! Elapsed wall clock time (in seconds):3.863
5.04/3.98	o 184
5.64/4.58	c cleaning 5348 clauses out of 10701 with flag 4000/24939
6.39/5.21	c Got one! Elapsed wall clock time (in seconds):5.096
6.39/5.21	o 182
6.79/5.60	c cleaning 5624 clauses out of 11276 with flag 2000/30862
6.89/5.78	c Got one! Elapsed wall clock time (in seconds):5.666
6.89/5.78	o 180
7.09/5.95	c Got one! Elapsed wall clock time (in seconds):5.834
7.09/5.95	o 178
7.19/6.03	c Got one! Elapsed wall clock time (in seconds):5.917
7.19/6.03	o 174
7.89/6.71	c cleaning 6131 clauses out of 12279 with flag 4000/37489
8.90/7.74	c cleaning 6071 clauses out of 12149 with flag 10001/43490
10.40/9.23	c cleaning 6533 clauses out of 13077 with flag 17000/50489
11.81/10.62	c cleaning 7257 clauses out of 14546 with flag 25002/58491
13.61/12.42	c cleaning 8134 clauses out of 16287 with flag 34000/67489
15.82/14.66	c cleaning 9073 clauses out of 18153 with flag 44000/77489
18.14/16.96	c cleaning 10028 clauses out of 20081 with flag 55001/88490
19.57/18.33	c Got one! Elapsed wall clock time (in seconds):18.217
19.57/18.33	o 170
20.67/19.43	c cleaning 10800 clauses out of 21629 with flag 5000/100066
21.98/20.73	c cleaning 8401 clauses out of 16831 with flag 11002/106068
23.40/22.13	c cleaning 7679 clauses out of 15429 with flag 18001/113067
24.83/23.55	c cleaning 7837 clauses out of 15751 with flag 26002/121068
26.73/25.45	c cleaning 8448 clauses out of 16913 with flag 35001/130067
28.96/27.67	c cleaning 9223 clauses out of 18468 with flag 45004/140070
31.47/30.15	c cleaning 10104 clauses out of 20241 with flag 56000/151066
34.39/33.02	c cleaning 11067 clauses out of 22143 with flag 68006/163072
37.41/36.01	c cleaning 12019 clauses out of 24070 with flag 81000/176066
40.32/38.90	c cleaning 13017 clauses out of 26051 with flag 95000/190066
43.85/42.41	c cleaning 13980 clauses out of 28034 with flag 110000/205066
47.98/46.56	c cleaning 15017 clauses out of 30054 with flag 126000/221066
52.18/50.74	c cleaning 15980 clauses out of 32037 with flag 143000/238066
56.91/55.48	c cleaning 17019 clauses out of 34059 with flag 161002/256068
61.33/59.83	c cleaning 18010 clauses out of 36038 with flag 180000/275066
66.04/64.51	c cleaning 18989 clauses out of 38030 with flag 200002/295068
71.56/70.01	c cleaning 19980 clauses out of 40040 with flag 221001/316067
77.28/75.74	c cleaning 21004 clauses out of 42059 with flag 243000/338066
80.40/78.80	c Got one! Elapsed wall clock time (in seconds):78.689
80.40/78.80	o 168
81.60/80.08	c cleaning 19032 clauses out of 38099 with flag 5002/355110
83.10/81.58	c cleaning 12517 clauses out of 25065 with flag 11000/361108
84.72/83.13	c cleaning 9751 clauses out of 19548 with flag 18000/368108
86.72/85.12	c cleaning 8868 clauses out of 17798 with flag 26001/376109
88.93/87.30	c cleaning 8915 clauses out of 17929 with flag 35000/385108
90.85/89.22	c cleaning 9493 clauses out of 19016 with flag 45002/395110
92.96/91.40	c cleaning 10255 clauses out of 20521 with flag 56000/406108
95.16/93.58	c cleaning 11119 clauses out of 22267 with flag 68001/418109
97.76/96.10	c cleaning 12064 clauses out of 24147 with flag 81000/431108
100.89/99.29	c cleaning 13027 clauses out of 26084 with flag 95001/445109
104.59/102.95	c cleaning 13998 clauses out of 28058 with flag 110002/460110
108.80/107.19	c cleaning 14997 clauses out of 30059 with flag 126001/476109
113.01/111.37	c cleaning 16011 clauses out of 32061 with flag 143000/493108
117.84/116.12	c cleaning 16990 clauses out of 34050 with flag 161000/511108
122.56/120.81	c cleaning 18008 clauses out of 36060 with flag 180000/530108
127.36/125.63	c cleaning 18974 clauses out of 38052 with flag 200000/550108
132.99/131.29	c cleaning 20035 clauses out of 40079 with flag 221001/571109
138.82/137.06	c cleaning 21003 clauses out of 42045 with flag 243002/593110
144.25/142.49	c cleaning 22008 clauses out of 44041 with flag 266001/616109
150.76/148.93	c cleaning 22998 clauses out of 46033 with flag 290001/640109
156.08/154.26	c cleaning 23992 clauses out of 48036 with flag 315002/665110
163.71/161.81	c cleaning 25002 clauses out of 50042 with flag 341000/691108
173.34/171.48	c cleaning 26014 clauses out of 52041 with flag 368001/718109
182.17/180.25	c cleaning 26976 clauses out of 54027 with flag 396001/746109
192.10/190.16	c cleaning 27994 clauses out of 56050 with flag 425000/775108
200.91/198.93	c cleaning 29006 clauses out of 58058 with flag 455002/805110
209.95/207.93	c cleaning 30014 clauses out of 60051 with flag 486001/836109
220.37/218.37	c cleaning 31009 clauses out of 62037 with flag 518001/868109
229.19/227.19	c cleaning 32004 clauses out of 64027 with flag 551000/901108
239.29/237.23	c cleaning 32993 clauses out of 66023 with flag 585000/935108
250.30/248.21	c cleaning 34012 clauses out of 68030 with flag 620000/970108
262.52/260.45	c cleaning 34987 clauses out of 70018 with flag 656000/1006108
275.05/272.97	c cleaning 35966 clauses out of 72032 with flag 693001/1043109
290.68/288.59	c cleaning 37022 clauses out of 74066 with flag 731001/1081109
304.17/301.91	c cleaning 37984 clauses out of 76043 with flag 770000/1120108
318.20/315.90	c cleaning 38987 clauses out of 78060 with flag 810001/1160109
332.52/330.24	c cleaning 40019 clauses out of 80072 with flag 851000/1201108
349.04/346.73	c cleaning 40992 clauses out of 82053 with flag 893000/1243108
367.58/365.28	c cleaning 42000 clauses out of 84064 with flag 936003/1286111
384.82/382.42	c cleaning 43020 clauses out of 86061 with flag 980000/1330108
398.65/396.25	c cleaning 44015 clauses out of 88041 with flag 1025000/1375108
417.49/415.04	c cleaning 44979 clauses out of 90026 with flag 1071000/1421108
437.22/434.78	c cleaning 46003 clauses out of 92047 with flag 1118000/1468108
458.06/455.58	c cleaning 46983 clauses out of 94047 with flag 1166003/1516111
476.03/473.44	c cleaning 47999 clauses out of 96062 with flag 1215001/1565109
498.07/495.48	c cleaning 48999 clauses out of 98065 with flag 1265003/1615111
516.71/514.03	c cleaning 49979 clauses out of 100063 with flag 1316000/1666108
538.26/535.53	c cleaning 50993 clauses out of 102085 with flag 1368001/1718109
559.71/556.96	c cleaning 52039 clauses out of 104094 with flag 1421003/1771111
578.74/575.92	c cleaning 52982 clauses out of 106053 with flag 1475001/1825109
601.98/599.18	c cleaning 53998 clauses out of 108070 with flag 1530000/1880108
623.40/620.58	c cleaning 55014 clauses out of 110073 with flag 1586001/1936109
645.43/642.57	c cleaning 56029 clauses out of 112059 with flag 1643001/1993109
664.89/661.95	c cleaning 56991 clauses out of 114029 with flag 1701000/2051108
690.74/687.73	c cleaning 58004 clauses out of 116038 with flag 1760000/2110108
718.67/715.60	c cleaning 58958 clauses out of 118035 with flag 1820001/2170109
745.13/742.00	c cleaning 60020 clauses out of 120076 with flag 1881000/2231108
774.78/771.65	c cleaning 61007 clauses out of 122056 with flag 1943000/2293108
803.72/800.53	c cleaning 61970 clauses out of 124051 with flag 2006002/2356110
834.60/831.40	c cleaning 63012 clauses out of 126080 with flag 2070001/2420109
863.59/860.24	c cleaning 63998 clauses out of 128068 with flag 2135001/2485109
866.83/863.42	c Got one! Elapsed wall clock time (in seconds):863.312
866.83/863.42	o 166
868.53/865.18	c cleaning 38925 clauses out of 77897 with flag 5001/2498936
870.25/866.83	c cleaning 22470 clauses out of 44973 with flag 11002/2504937
872.07/868.66	c cleaning 14726 clauses out of 29502 with flag 18001/2511936
873.78/870.34	c cleaning 11362 clauses out of 22776 with flag 26001/2519936
875.90/872.44	c cleaning 10166 clauses out of 20419 with flag 35006/2528941
878.42/874.93	c cleaning 10065 clauses out of 20247 with flag 45000/2538935
881.14/877.66	c cleaning 10567 clauses out of 21184 with flag 56002/2549937
884.34/880.84	c cleaning 11286 clauses out of 22617 with flag 68002/2561937
887.97/884.48	c cleaning 12147 clauses out of 24330 with flag 81001/2574936
891.98/888.45	c cleaning 13080 clauses out of 26184 with flag 95002/2588937
896.41/892.82	c cleaning 14042 clauses out of 28105 with flag 110003/2603938
901.24/897.63	c cleaning 15011 clauses out of 30061 with flag 126001/2619936
906.54/902.97	c cleaning 16003 clauses out of 32049 with flag 143000/2636935
912.65/909.07	c cleaning 17003 clauses out of 34046 with flag 161000/2654935
917.37/913.77	c cleaning 18001 clauses out of 36048 with flag 180005/2673940
922.39/918.75	c cleaning 19010 clauses out of 38043 with flag 200001/2693936
928.82/925.11	c cleaning 19988 clauses out of 40032 with flag 221000/2714935
935.22/931.56	c cleaning 21010 clauses out of 42044 with flag 243000/2736935
942.06/938.37	c cleaning 22004 clauses out of 44034 with flag 266000/2759935
949.38/945.67	c cleaning 22998 clauses out of 46033 with flag 290003/2783938
957.92/954.12	c cleaning 24006 clauses out of 48033 with flag 315001/2808936
966.53/962.70	c cleaning 25005 clauses out of 50026 with flag 341000/2834935
975.26/971.47	c cleaning 26004 clauses out of 52021 with flag 368000/2861935
984.98/981.16	c cleaning 26997 clauses out of 54018 with flag 396001/2889936
995.59/991.74	c cleaning 27998 clauses out of 56020 with flag 425000/2918935
1006.31/1002.44	c cleaning 28991 clauses out of 58024 with flag 455002/2948937
1014.41/1010.51	c cleaning 30013 clauses out of 60032 with flag 486001/2979936
1022.63/1018.78	c cleaning 31003 clauses out of 62022 with flag 518004/3011939
1032.16/1028.21	c cleaning 31969 clauses out of 64015 with flag 551000/3044935
1042.78/1038.88	c cleaning 33014 clauses out of 66046 with flag 585000/3078935
1056.50/1052.51	c cleaning 33988 clauses out of 68032 with flag 620000/3113935
1068.82/1064.82	c cleaning 35003 clauses out of 70047 with flag 656003/3149938
1082.42/1078.40	c cleaning 36010 clauses out of 72042 with flag 693001/3186936
1095.55/1091.54	c cleaning 36970 clauses out of 74033 with flag 731002/3224937
1111.07/1107.00	c cleaning 38001 clauses out of 76061 with flag 770000/3263935
1124.29/1120.27	c cleaning 39021 clauses out of 78061 with flag 810001/3303936
1139.40/1135.33	c cleaning 39992 clauses out of 80039 with flag 851000/3344935
1157.33/1153.23	c cleaning 40986 clauses out of 82047 with flag 893000/3386935
1176.27/1172.16	c cleaning 41988 clauses out of 84061 with flag 936000/3429935
1193.91/1189.80	c cleaning 43017 clauses out of 86075 with flag 980002/3473937
1214.03/1209.83	c cleaning 44005 clauses out of 88056 with flag 1025000/3518935
1235.17/1230.92	c cleaning 44978 clauses out of 90052 with flag 1071001/3564936
1256.69/1252.41	c cleaning 46011 clauses out of 92073 with flag 1118000/3611935
1277.60/1273.32	c cleaning 47025 clauses out of 94062 with flag 1166000/3659935
1294.93/1290.68	c cleaning 47993 clauses out of 96037 with flag 1215000/3708935
1314.15/1309.85	c cleaning 49000 clauses out of 98045 with flag 1265001/3758936
1334.58/1330.26	c cleaning 49990 clauses out of 100046 with flag 1316002/3809937
1354.63/1350.21	c cleaning 51015 clauses out of 102054 with flag 1368000/3861935
1378.55/1374.15	c cleaning 52001 clauses out of 104041 with flag 1421002/3914937
1402.98/1398.55	c cleaning 52978 clauses out of 106039 with flag 1475001/3968936
1423.42/1418.91	c cleaning 54016 clauses out of 108063 with flag 1530003/4023938
1451.36/1446.86	c cleaning 54992 clauses out of 110044 with flag 1586000/4079935
1480.91/1476.39	c cleaning 55996 clauses out of 112055 with flag 1643003/4136938
1512.08/1507.43	c cleaning 56996 clauses out of 114057 with flag 1701001/4194936
1543.02/1538.38	c cleaning 58015 clauses out of 116060 with flag 1760000/4253935
1574.96/1570.28	c cleaning 59001 clauses out of 118045 with flag 1820000/4313935
1607.31/1602.52	c cleaning 60010 clauses out of 120045 with flag 1881001/4374936
1639.57/1634.77	c cleaning 60998 clauses out of 122035 with flag 1943001/4436936
1669.42/1664.52	c cleaning 62004 clauses out of 124036 with flag 2006000/4499935
1692.26/1687.33	c cleaning 62981 clauses out of 126033 with flag 2070001/4563936
1718.70/1713.75	c cleaning 64021 clauses out of 128051 with flag 2135000/4628935
1748.21/1743.28	c cleaning 64987 clauses out of 130030 with flag 2201000/4694935
1779.77/1774.76	c cleaning 65993 clauses out of 132045 with flag 2268002/4761937
1800.02/1794.91	c starts		: 289
1800.02/1794.91	c conflicts		: 4812436
1800.02/1794.91	c decisions		: 6298241
1800.02/1794.91	c propagations		: 464501873
1800.02/1794.91	c inspects		: 18996302911
1800.02/1794.91	c shortcuts		: 0
1800.02/1794.91	c learnt literals	: 0
1800.02/1794.91	c learnt binary clauses	: 0
1800.02/1794.91	c learnt ternary clauses	: 2
1800.02/1794.91	c learnt constraints	: 4812436
1800.02/1794.91	c ignored constraints	: 0
1800.02/1794.91	c root simplifications	: 289
1800.02/1794.91	c removed literals (reason simplification)	: 73595437
1800.02/1794.91	c reason swapping (by a shorter reason)	: 0
1800.02/1794.91	c Calls to reduceDB	: 154
1800.02/1794.91	c number of reductions to clauses (during analyze)	: 0
1800.02/1794.91	c number of learned constraints concerned by reduction	: 0
1800.02/1794.91	c number of learning phase by resolution	: 0
1800.02/1794.91	c number of learning phase by cutting planes	: 0
1800.02/1794.91	c speed (assignments/second)	: 258862.25241000048
1800.02/1794.91	c non guided choices	350
1800.02/1794.93	c learnt constraints type 
1800.02/1794.93	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 116587
1800.02/1794.93	c constraints type 
1800.02/1794.93	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6864
1800.02/1794.93	c org.sat4j.minisat.constraints.card.MinWatchCard => 496
1800.02/1794.93	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1624
1800.02/1794.93	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7393
1800.02/1794.93	c 16377 constraints processed.
1800.02/1794.93	s SATISFIABLE
1800.02/1794.94	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 x897 -x898 x899 x900 -x901 -x902 x903 -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 x962 -x963 -x964 x965 x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 x1027 x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 x1089 x1090 -x1091 x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 x1149 x1150 -x1151 x1152 x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 x1209 -x1210 -x1211 x1212 x1213 x1214 -x1215 -x1216 x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 x1280 x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 x1342 x1343 x1344 
1800.02/1794.94	c objective function=166
1800.02/1794.94	c Total wall clock time (in seconds): 1794.826

Verifier Data 

OK	166

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-3710634-1338142407/watcher-3710634-1338142407 -o /tmp/evaluation-result-3710634-1338142407/solver-3710634-1338142407 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710634-1338142407.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: 1.84 1.97 1.92 5/190 24006
/proc/meminfo: memFree=28693244/32873624 swapFree=7104/7104
[pid=24006] ppid=24004 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/24006/stat : 24006 (java) D 24004 24006 21372 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 280366191 9515008 185 33554432000 1073741824 1073778376 140735454279840 140735454268904 227503336743 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/24006/statm: 2323 185 143 9 0 71 0

[startup+0.0990129 s]
/proc/loadavg: 1.84 1.97 1.92 5/190 24006
/proc/meminfo: memFree=28693244/32873624 swapFree=7104/7104
[pid=24006] ppid=24004 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24006 21372 0 -1 4202496 4292 0 1 0 9 1 0 0 20 0 18 0 280366191 9787842560 6009 33554432000 1073741824 1073778376 140735454279840 140735454270976 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24006/statm: 2389610 6009 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.100251 s]
/proc/loadavg: 1.84 1.97 1.92 5/190 24006
/proc/meminfo: memFree=28693244/32873624 swapFree=7104/7104
[pid=24006] ppid=24004 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24006 21372 0 -1 4202496 4292 0 1 0 9 1 0 0 20 0 18 0 280366191 9787842560 6009 33554432000 1073741824 1073778376 140735454279840 140735454270976 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24006/statm: 2389610 6009 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300218 s]
/proc/loadavg: 1.84 1.97 1.92 5/190 24006
/proc/meminfo: memFree=28693244/32873624 swapFree=7104/7104
[pid=24006] ppid=24004 vsize=9558440 CPUtime=0.51 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24006 21372 0 -1 4202496 6389 0 1 0 50 1 0 0 20 0 18 0 280366191 9787842560 10618 33554432000 1073741824 1073778376 140735454279840 140735454270976 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24006/statm: 2389610 10618 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558440

[startup+0.700222 s]
/proc/loadavg: 1.84 1.97 1.92 5/190 24006
/proc/meminfo: memFree=28693244/32873624 swapFree=7104/7104
[pid=24006] ppid=24004 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24006 21372 0 -1 4202496 8850 0 1 0 141 3 0 0 20 0 19 0 280366191 9856004096 27119 33554432000 1073741824 1073778376 140735454279840 140735454270976 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24006/statm: 2406251 27119 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 9625004

[startup+1.50067 s]
/proc/loadavg: 1.84 1.97 1.92 3/210 24026
/proc/meminfo: memFree=28564916/32873624 swapFree=7104/7104
[pid=24006] ppid=24004 vsize=9625004 CPUtime=2.53 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24006 21372 0 -1 4202496 12310 0 1 0 249 4 0 0 20 0 19 0 280366191 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 140735454270976 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24006/statm: 2406251 28632 2267 9 0 2396937 0
[pid=24006/tid=24008] ppid=24004 vsize=9625004 CPUtime=1.47 cores=0,2,4,6
/proc/24006/task/24008/stat : 24008 (java) R 24004 24006 21372 0 -1 4202560 2559 0 1 0 145 2 0 0 20 0 19 0 280366192 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139851096048528 139850930615153 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24009] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24009/stat : 24009 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139851057539368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24010] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24010/stat : 24010 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139851056486568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24011] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24011/stat : 24011 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139851055434280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24006/tid=24012] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24012/stat : 24012 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139851054381480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24013] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24013/stat : 24013 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139851053329192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24014] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24014/stat : 24014 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139851052276392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24015] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24015/stat : 24015 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139851051224104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24016] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24016/stat : 24016 (java) S 24004 24006 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139851050171304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24018] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24018/stat : 24018 (java) S 24004 24006 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280366194 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139850920237288 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24019] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24019/stat : 24019 (java) S 24004 24006 21372 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 280366194 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139850919183352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24020] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24020/stat : 24020 (java) S 24004 24006 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280366194 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139850918130952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24021] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24021/stat : 24021 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139850917079440 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24022] ppid=24004 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/24006/task/24022/stat : 24022 (java) S 24004 24006 21372 0 -1 4202560 2175 0 0 0 45 0 0 0 20 0 19 0 280366197 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139850916027064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24023] ppid=24004 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/24006/task/24023/stat : 24023 (java) S 24004 24006 21372 0 -1 4202560 6381 0 0 0 55 1 0 0 20 0 19 0 280366197 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139850914974264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24024] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24024/stat : 24024 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139850040732792 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24025] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24025/stat : 24025 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139850039680200 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24026] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24026/stat : 24026 (java) S 24004 24006 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280366243 9856004096 28632 33554432000 1073741824 1073778376 140735454279840 139850038625192 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 9625004

[startup+3.10061 s]
/proc/loadavg: 1.84 1.97 1.92 3/210 24026
/proc/meminfo: memFree=28502856/32873624 swapFree=7104/7104
[pid=24006] ppid=24004 vsize=9625004 CPUtime=4.2 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24006 21372 0 -1 4202496 12450 0 1 0 415 5 0 0 20 0 19 0 280366191 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 140735454270976 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24006/statm: 2406251 33800 2292 9 0 2396937 0
[pid=24006/tid=24008] ppid=24004 vsize=9625004 CPUtime=3.03 cores=0,2,4,6
/proc/24006/task/24008/stat : 24008 (java) R 24004 24006 21372 0 -1 4202560 2565 0 1 0 301 2 0 0 20 0 19 0 280366192 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139851096048040 139850930587535 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24009] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24009/stat : 24009 (java) S 24004 24006 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139851057539368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24010] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24010/stat : 24010 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139851056486568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24011] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24011/stat : 24011 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139851055434280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24006/tid=24012] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24012/stat : 24012 (java) S 24004 24006 21372 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139851054381480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24013] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24013/stat : 24013 (java) S 24004 24006 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139851053329192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24014] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24014/stat : 24014 (java) S 24004 24006 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139851052276392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24015] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24015/stat : 24015 (java) S 24004 24006 21372 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139851051224104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24016] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24016/stat : 24016 (java) S 24004 24006 21372 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139851050171304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24018] ppid=24004 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/24006/task/24018/stat : 24018 (java) S 24004 24006 21372 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 280366194 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139850920237288 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24006/tid=24019] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24019/stat : 24019 (java) S 24004 24006 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280366194 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139850919183352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24020] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24020/stat : 24020 (java) S 24004 24006 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280366194 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139850918130952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24021] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24021/stat : 24021 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139850917079440 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24022] ppid=24004 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/24006/task/24022/stat : 24022 (java) S 24004 24006 21372 0 -1 4202560 2179 0 0 0 47 0 0 0 20 0 19 0 280366197 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139850916027064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24023] ppid=24004 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/24006/task/24023/stat : 24023 (java) S 24004 24006 21372 0 -1 4202560 6449 0 0 0 58 1 0 0 20 0 19 0 280366197 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139850914974264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24024] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24024/stat : 24024 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139850040732792 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24025] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24025/stat : 24025 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139850039680200 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24026] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24026/stat : 24026 (java) S 24004 24006 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280366243 9856004096 33800 33554432000 1073741824 1073778376 140735454279840 139850038625192 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 9625004

[startup+6.30064 s]
/proc/loadavg: 1.85 1.97 1.92 3/211 24027
/proc/meminfo: memFree=28457732/32873624 swapFree=7104/7104
[pid=24006] ppid=24004 vsize=9625004 CPUtime=7.49 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24006 21372 0 -1 4202496 13501 0 1 0 744 5 0 0 20 0 19 0 280366191 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 140735454270976 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24006/statm: 2406251 33783 2292 9 0 2396937 0
[pid=24006/tid=24008] ppid=24004 vsize=9625004 CPUtime=6.16 cores=0,2,4,6
/proc/24006/task/24008/stat : 24008 (java) R 24004 24006 21372 0 -1 4202560 2568 0 1 0 614 2 0 0 20 0 19 0 280366192 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139851096039872 139850930613632 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24009] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24009/stat : 24009 (java) S 24004 24006 21372 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139851057539368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24010] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24010/stat : 24010 (java) S 24004 24006 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139851056486568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24011] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24011/stat : 24011 (java) S 24004 24006 21372 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139851055434280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24006/tid=24012] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24012/stat : 24012 (java) S 24004 24006 21372 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139851054381480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24013] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24013/stat : 24013 (java) S 24004 24006 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139851053329192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24014] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24014/stat : 24014 (java) S 24004 24006 21372 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139851052276392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24015] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24015/stat : 24015 (java) S 24004 24006 21372 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139851051224104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24016] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24016/stat : 24016 (java) S 24004 24006 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280366193 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139851050171304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24018] ppid=24004 vsize=9625004 CPUtime=0.07 cores=0,2,4,6
/proc/24006/task/24018/stat : 24018 (java) S 24004 24006 21372 0 -1 4202560 34 0 0 0 7 0 0 0 20 0 19 0 280366194 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139850920237288 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24019] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24019/stat : 24019 (java) S 24004 24006 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280366194 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139850919183352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24020] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24020/stat : 24020 (java) S 24004 24006 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280366194 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139850918130952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24021] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24021/stat : 24021 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139850917079440 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24022] ppid=24004 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/24006/task/24022/stat : 24022 (java) S 24004 24006 21372 0 -1 4202560 2553 0 0 0 50 2 0 0 20 0 19 0 280366197 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139850916027064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24023] ppid=24004 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/24006/task/24023/stat : 24023 (java) S 24004 24006 21372 0 -1 4202560 7116 0 0 0 63 2 0 0 20 0 19 0 280366197 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139850914974264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24024] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24024/stat : 24024 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139850040732792 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24025] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24025/stat : 24025 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139850039680200 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24026] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24026/stat : 24026 (java) S 24004 24006 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280366243 9856004096 33783 33554432000 1073741824 1073778376 140735454279840 139850038625192 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=24006/tid=24022] ppid=24004 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/24006/task/24022/stat : 24022 (java) S 24004 24006 21372 0 -1 4202560 2553 0 0 0 50 2 0 0 20 0 19 0 280366197 9856004096 62853 33554432000 1073741824 1073778376 140735454279840 139850916027064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24023] ppid=24004 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/24006/task/24023/stat : 24023 (java) S 24004 24006 21372 0 -1 4202560 7268 0 0 0 66 2 0 0 20 0 19 0 280366197 9856004096 62853 33554432000 1073741824 1073778376 140735454279840 139850914974264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24024] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24024/stat : 24024 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 62853 33554432000 1073741824 1073778376 140735454279840 139850040732792 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24025] ppid=24004 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/24006/task/24025/stat : 24025 (java) S 24004 24006 21372 0 -1 4202560 99 0 0 0 26 19 0 0 20 0 19 0 280366197 9856004096 62853 33554432000 1073741824 1073778376 140735454279840 139850039680200 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24026] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24026/stat : 24026 (java) S 24004 24006 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280366243 9856004096 62853 33554432000 1073741824 1073778376 140735454279840 139850038625192 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1727.31
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/211 24042
/proc/meminfo: memFree=27114140/32873624 swapFree=7104/7104
[pid=24006] ppid=24004 vsize=9625004 CPUtime=1787.41 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24006 21372 0 -1 4202496 15193 0 1 0 178699 42 0 0 20 0 19 0 280366191 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 140735454270976 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24006/statm: 2406251 63889 2293 9 0 2396937 0
[pid=24006/tid=24008] ppid=24004 vsize=9625004 CPUtime=1771.24 cores=0,2,4,6
/proc/24006/task/24008/stat : 24008 (java) R 24004 24006 21372 0 -1 4202560 2725 0 1 0 177095 29 0 0 20 0 19 0 280366192 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851096047920 139850930699900 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24009] ppid=24004 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/24006/task/24009/stat : 24009 (java) S 24004 24006 21372 0 -1 4202560 178 0 0 0 67 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851057539368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24010] ppid=24004 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/24006/task/24010/stat : 24010 (java) S 24004 24006 21372 0 -1 4202560 213 0 0 0 61 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851056486568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24011] ppid=24004 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/24006/task/24011/stat : 24011 (java) S 24004 24006 21372 0 -1 4202560 106 0 0 0 65 3 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851055434280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24012] ppid=24004 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/24006/task/24012/stat : 24012 (java) S 24004 24006 21372 0 -1 4202560 77 0 0 0 62 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851054381480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24013] ppid=24004 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/24006/task/24013/stat : 24013 (java) S 24004 24006 21372 0 -1 4202560 108 0 0 0 66 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851053329192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24014] ppid=24004 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/24006/task/24014/stat : 24014 (java) S 24004 24006 21372 0 -1 4202560 271 0 0 0 58 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851052276392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24015] ppid=24004 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/24006/task/24015/stat : 24015 (java) S 24004 24006 21372 0 -1 4202560 176 0 0 0 64 3 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851051224104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24006/tid=24016] ppid=24004 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/24006/task/24016/stat : 24016 (java) S 24004 24006 21372 0 -1 4202560 93 0 0 0 62 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851050171304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24018] ppid=24004 vsize=9625004 CPUtime=4.79 cores=0,2,4,6
/proc/24006/task/24018/stat : 24018 (java) S 24004 24006 21372 0 -1 4202560 141 0 0 0 478 1 0 0 20 0 19 0 280366194 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850920237288 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24019] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24019/stat : 24019 (java) S 24004 24006 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280366194 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850919183352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24020] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24020/stat : 24020 (java) S 24004 24006 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280366194 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850918130952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24021] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24021/stat : 24021 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850917079440 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24022] ppid=24004 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/24006/task/24022/stat : 24022 (java) S 24004 24006 21372 0 -1 4202560 2553 0 0 0 50 2 0 0 20 0 19 0 280366197 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850916027064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24023] ppid=24004 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/24006/task/24023/stat : 24023 (java) S 24004 24006 21372 0 -1 4202560 7268 0 0 0 66 2 0 0 20 0 19 0 280366197 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850914974264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24024] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24024/stat : 24024 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850040732792 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24025] ppid=24004 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/24006/task/24025/stat : 24025 (java) S 24004 24006 21372 0 -1 4202560 103 0 0 0 27 20 0 0 20 0 19 0 280366197 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850039680200 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24026] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24026/stat : 24026 (java) S 24004 24006 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280366243 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850038625192 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1787.41
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/211 24101
/proc/meminfo: memFree=28412972/32873624 swapFree=7104/7104
[pid=24006] ppid=24004 vsize=9625004 CPUtime=1800.02 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24006 21372 0 -1 4202496 15193 0 1 0 179960 42 0 0 20 0 19 0 280366191 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 140735454270976 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24006/statm: 2406251 63889 2293 9 0 2396937 0
[pid=24006/tid=24008] ppid=24004 vsize=9625004 CPUtime=1783.82 cores=0,2,4,6
/proc/24006/task/24008/stat : 24008 (java) R 24004 24006 21372 0 -1 4202560 2725 0 1 0 178352 30 0 0 20 0 19 0 280366192 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851096047920 139850930542597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24009] ppid=24004 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/24006/task/24009/stat : 24009 (java) S 24004 24006 21372 0 -1 4202560 178 0 0 0 67 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851057539368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24010] ppid=24004 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/24006/task/24010/stat : 24010 (java) S 24004 24006 21372 0 -1 4202560 213 0 0 0 61 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851056486568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24011] ppid=24004 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/24006/task/24011/stat : 24011 (java) S 24004 24006 21372 0 -1 4202560 106 0 0 0 65 3 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851055434280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24012] ppid=24004 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/24006/task/24012/stat : 24012 (java) S 24004 24006 21372 0 -1 4202560 77 0 0 0 62 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851054381480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24013] ppid=24004 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/24006/task/24013/stat : 24013 (java) S 24004 24006 21372 0 -1 4202560 108 0 0 0 66 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851053329192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24014] ppid=24004 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/24006/task/24014/stat : 24014 (java) S 24004 24006 21372 0 -1 4202560 271 0 0 0 58 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851052276392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24015] ppid=24004 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/24006/task/24015/stat : 24015 (java) S 24004 24006 21372 0 -1 4202560 176 0 0 0 64 3 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851051224104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24006/tid=24016] ppid=24004 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/24006/task/24016/stat : 24016 (java) S 24004 24006 21372 0 -1 4202560 93 0 0 0 62 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851050171304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24018] ppid=24004 vsize=9625004 CPUtime=4.79 cores=0,2,4,6
/proc/24006/task/24018/stat : 24018 (java) S 24004 24006 21372 0 -1 4202560 141 0 0 0 478 1 0 0 20 0 19 0 280366194 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850920237288 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24019] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24019/stat : 24019 (java) S 24004 24006 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280366194 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850919183352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24020] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24020/stat : 24020 (java) S 24004 24006 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280366194 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850918130952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24021] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24021/stat : 24021 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850917079440 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24022] ppid=24004 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/24006/task/24022/stat : 24022 (java) S 24004 24006 21372 0 -1 4202560 2553 0 0 0 50 2 0 0 20 0 19 0 280366197 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850916027064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24023] ppid=24004 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/24006/task/24023/stat : 24023 (java) S 24004 24006 21372 0 -1 4202560 7268 0 0 0 66 2 0 0 20 0 19 0 280366197 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850914974264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24024] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24024/stat : 24024 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850040732792 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24025] ppid=24004 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/24006/task/24025/stat : 24025 (java) S 24004 24006 21372 0 -1 4202560 103 0 0 0 27 20 0 0 20 0 19 0 280366197 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850039680200 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24026] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24026/stat : 24026 (java) S 24004 24006 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280366243 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850038625192 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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

[startup+1794.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/211 24101
/proc/meminfo: memFree=28412972/32873624 swapFree=7104/7104
[pid=24006] ppid=24004 vsize=9625004 CPUtime=1800.02 cores=0,2,4,6
/proc/24006/stat : 24006 (java) S 24004 24006 21372 0 -1 4202496 15193 0 1 0 179960 42 0 0 20 0 19 0 280366191 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 140735454270976 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24006/statm: 2406251 63889 2293 9 0 2396937 0
[pid=24006/tid=24008] ppid=24004 vsize=9625004 CPUtime=1783.82 cores=0,2,4,6
/proc/24006/task/24008/stat : 24008 (java) R 24004 24006 21372 0 -1 4202560 2725 0 1 0 178352 30 0 0 20 0 19 0 280366192 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851096047920 139850930542597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24009] ppid=24004 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/24006/task/24009/stat : 24009 (java) S 24004 24006 21372 0 -1 4202560 178 0 0 0 67 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851057539368 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24010] ppid=24004 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/24006/task/24010/stat : 24010 (java) S 24004 24006 21372 0 -1 4202560 213 0 0 0 61 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851056486568 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24011] ppid=24004 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/24006/task/24011/stat : 24011 (java) S 24004 24006 21372 0 -1 4202560 106 0 0 0 65 3 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851055434280 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24012] ppid=24004 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/24006/task/24012/stat : 24012 (java) S 24004 24006 21372 0 -1 4202560 77 0 0 0 62 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851054381480 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24013] ppid=24004 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/24006/task/24013/stat : 24013 (java) S 24004 24006 21372 0 -1 4202560 108 0 0 0 66 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851053329192 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24014] ppid=24004 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/24006/task/24014/stat : 24014 (java) S 24004 24006 21372 0 -1 4202560 271 0 0 0 58 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851052276392 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24015] ppid=24004 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/24006/task/24015/stat : 24015 (java) S 24004 24006 21372 0 -1 4202560 176 0 0 0 64 3 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851051224104 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24006/tid=24016] ppid=24004 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/24006/task/24016/stat : 24016 (java) S 24004 24006 21372 0 -1 4202560 93 0 0 0 62 2 0 0 20 0 19 0 280366193 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139851050171304 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24018] ppid=24004 vsize=9625004 CPUtime=4.79 cores=0,2,4,6
/proc/24006/task/24018/stat : 24018 (java) S 24004 24006 21372 0 -1 4202560 141 0 0 0 478 1 0 0 20 0 19 0 280366194 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850920237288 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24019] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24019/stat : 24019 (java) S 24004 24006 21372 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280366194 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850919183352 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24020] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24020/stat : 24020 (java) S 24004 24006 21372 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280366194 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850918130952 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24021] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24021/stat : 24021 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850917079440 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24022] ppid=24004 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/24006/task/24022/stat : 24022 (java) S 24004 24006 21372 0 -1 4202560 2553 0 0 0 50 2 0 0 20 0 19 0 280366197 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850916027064 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24006/tid=24023] ppid=24004 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/24006/task/24023/stat : 24023 (java) S 24004 24006 21372 0 -1 4202560 7268 0 0 0 66 2 0 0 20 0 19 0 280366197 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850914974264 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24024] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24024/stat : 24024 (java) S 24004 24006 21372 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280366197 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850040732792 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24006/tid=24025] ppid=24004 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/24006/task/24025/stat : 24025 (java) S 24004 24006 21372 0 -1 4202560 103 0 0 0 27 20 0 0 20 0 19 0 280366197 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850039680200 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24006/tid=24026] ppid=24004 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/24006/task/24026/stat : 24026 (java) S 24004 24006 21372 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280366243 9856004096 63889 33554432000 1073741824 1073778376 140735454279840 139850038625192 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625004

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24006 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=979121
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=871867
# CPU time returned by wait4() is 1795.85
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.95
CPU time (s): 1800.02
CPU user time (s): 1799.6
CPU system time (s): 0.42
CPU usage (%): 100.283
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.98
system time used= 0.871867
maximum resident set size= 255672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15224
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42260
involuntary context switches= 16513

runsolver used 6.68998 second user time and 13.253 second system time

The end

Launcher Data 

Begin job on node121 at 2012-05-27 20:13:27
IDJOB=3710634
IDBENCH=2006
IDSOLVER=2289
FILE ID=node121/3710634-1338142407
RUNJOBID= node121-1338138816-23672
PBS_JOBID= 14624482
Free space on /tmp= 71708 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ8_3.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-3710634-1338142407/watcher-3710634-1338142407 -o /tmp/evaluation-result-3710634-1338142407/solver-3710634-1338142407 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710634-1338142407.opb

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

MD5SUM BENCH= d431323968e1ca4dc95d181076d01437
RANDOM SEED=208237319

node121.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		: 2667.042
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	: 5334.08
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		: 2667.042
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		: 2667.042
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.92
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		: 2667.042
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.91
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		: 2667.042
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		: 2667.042
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.91
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		: 2667.042
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	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        28693400 kB
Buffers:          510772 kB
Cached:          2776664 kB
SwapCached:            0 kB
Active:           794364 kB
Inactive:        2522628 kB
Active(anon):      30744 kB
Inactive(anon):        0 kB
Active(file):     763620 kB
Inactive(file):  2522628 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2376 kB
Writeback:            16 kB
AnonPages:         27168 kB
Mapped:            21720 kB
Shmem:               200 kB
Slab:             717852 kB
SReclaimable:     162092 kB
SUnreclaim:       555760 kB
KernelStack:        1424 kB
PageTables:         4220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     682376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node121 at 2012-05-27 20:43:24