Trace number 3710788

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)12 1800.02 1794.36

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_100_10_15.r.opb
MD5SUM7e1b8a9f40a52781f7629bf04a2d5793
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.129979
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
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.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.10	c See www.sat4j.org for details.
0.06/0.10	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.06/0.10	c version 2.3.2.v20120418
0.06/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.10	c java.vm.version	19.1-b02
0.06/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version		1.6.0_24
0.06/0.10	c os.name		Linux
0.06/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch		amd64
0.06/0.10	c Free memory 		501472288
0.06/0.10	c Max memory 		7480803328
0.06/0.10	c Total memory 		504102912
0.06/0.10	c Number of processors 	8
0.06/0.14	c read org.sat4j.minisat.orders.VarOrderHeap
0.06/0.14	c configuring ORDERS
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.06/0.14	c Expensive reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=true
0.06/0.14	c Heuristics kept accross calls (keep the solver "hot")
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c solving HOME/instance-3710788-1338153291.opb
0.06/0.14	c reading problem ... 
0.06/0.19	c ... done. Wall clock time 0.05s.
0.06/0.19	c declared #vars     100
0.06/0.19	c #constraints  100
0.06/0.19	c constraints type 
0.06/0.19	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.06/0.19	c 100 constraints processed.
0.22/0.20	c SATISFIABLE
0.22/0.20	c OPTIMIZING...
0.22/0.20	c Got one! Elapsed wall clock time (in seconds):0.055
0.22/0.20	o 16
0.22/0.22	c Got one! Elapsed wall clock time (in seconds):0.072
0.22/0.22	o 15
0.68/0.42	c cleaning 2526 clauses out of 5052 with flag 5000/5052
0.85/0.54	c cleaning 4260 clauses out of 8526 with flag 11000/11052
0.97/0.66	c cleaning 5628 clauses out of 11266 with flag 18000/18052
1.19/0.82	c cleaning 6816 clauses out of 13638 with flag 26000/26052
1.31/0.99	c cleaning 7908 clauses out of 15827 with flag 35005/35057
1.52/1.18	c cleaning 8949 clauses out of 17914 with flag 45000/45052
1.82/1.40	c cleaning 9976 clauses out of 19967 with flag 56002/56054
1.82/1.43	c Got one! Elapsed wall clock time (in seconds):1.29
1.82/1.43	o 14
1.92/1.51	c cleaning 7556 clauses out of 15127 with flag 4004/61190
2.02/1.62	c cleaning 6779 clauses out of 13567 with flag 10000/67186
2.12/1.75	c cleaning 6888 clauses out of 13791 with flag 17003/74189
2.33/1.90	c cleaning 7439 clauses out of 14900 with flag 25000/82186
2.43/2.07	c cleaning 8217 clauses out of 16461 with flag 34000/91186
2.64/2.26	c cleaning 9119 clauses out of 18244 with flag 44000/101186
2.83/2.47	c cleaning 10048 clauses out of 20125 with flag 55000/112186
3.15/2.72	c cleaning 11032 clauses out of 22077 with flag 67000/124186
3.35/2.99	c cleaning 12014 clauses out of 24045 with flag 80000/137186
3.66/3.28	c cleaning 13008 clauses out of 26034 with flag 94003/151189
4.06/3.61	c cleaning 13998 clauses out of 28023 with flag 109000/166186
4.36/3.94	c Got one! Elapsed wall clock time (in seconds):3.8
4.36/3.94	o 13
4.56/4.10	c cleaning 17300 clauses out of 34625 with flag 5000/186786
4.67/4.25	c cleaning 11645 clauses out of 23325 with flag 11000/192786
4.79/4.39	c cleaning 9332 clauses out of 18680 with flag 18000/199786
4.99/4.56	c cleaning 8664 clauses out of 17348 with flag 26000/207786
5.19/4.73	c cleaning 8833 clauses out of 17684 with flag 35000/216786
5.39/4.92	c cleaning 9421 clauses out of 18851 with flag 45000/226786
5.60/5.13	c cleaning 10207 clauses out of 20430 with flag 56000/237786
5.80/5.38	c cleaning 11098 clauses out of 22223 with flag 68000/249786
6.10/5.66	c cleaning 12059 clauses out of 24125 with flag 81000/262786
6.40/5.95	c cleaning 13029 clauses out of 26066 with flag 95000/276786
6.70/6.28	c cleaning 14014 clauses out of 28042 with flag 110005/291791
7.11/6.62	c cleaning 14996 clauses out of 30024 with flag 126001/307787
7.51/7.00	c cleaning 16003 clauses out of 32027 with flag 143000/324786
7.91/7.43	c cleaning 17001 clauses out of 34024 with flag 161000/342786
8.32/7.86	c cleaning 18008 clauses out of 36023 with flag 180000/361786
8.82/8.32	c cleaning 18998 clauses out of 38015 with flag 200000/381786
9.33/8.84	c cleaning 19998 clauses out of 40018 with flag 221001/402787
9.94/9.41	c cleaning 20998 clauses out of 42022 with flag 243003/424789
10.56/10.01	c cleaning 22006 clauses out of 44028 with flag 266007/447793
11.18/10.63	c cleaning 22989 clauses out of 46015 with flag 290000/471786
11.79/11.29	c cleaning 24004 clauses out of 48027 with flag 315001/496787
12.60/12.03	c cleaning 24996 clauses out of 50022 with flag 341000/522786
13.39/12.82	c cleaning 25995 clauses out of 52026 with flag 368000/549786
14.20/13.61	c cleaning 27002 clauses out of 54031 with flag 396000/577786
15.11/14.51	c cleaning 28012 clauses out of 56030 with flag 425001/606787
15.95/15.38	c cleaning 28995 clauses out of 58018 with flag 455001/636787
16.87/16.25	c cleaning 30003 clauses out of 60023 with flag 486001/667787
17.79/17.13	c cleaning 30995 clauses out of 62019 with flag 518000/699786
18.70/18.08	c cleaning 32002 clauses out of 64025 with flag 551001/732787
19.81/19.14	c cleaning 32995 clauses out of 66022 with flag 585000/766786
20.94/20.25	c cleaning 34001 clauses out of 68027 with flag 620000/801786
22.04/21.39	c cleaning 34995 clauses out of 70029 with flag 656003/837789
23.15/22.44	c cleaning 35996 clauses out of 72031 with flag 693000/874786
24.56/23.82	c cleaning 37007 clauses out of 74035 with flag 731000/912786
25.86/25.15	c cleaning 38006 clauses out of 76028 with flag 770000/951786
27.26/26.54	c cleaning 39003 clauses out of 78022 with flag 810000/991786
28.67/27.91	c cleaning 40000 clauses out of 80020 with flag 851001/1032787
29.97/29.27	c cleaning 41003 clauses out of 82020 with flag 893001/1074787
31.69/30.90	c cleaning 41990 clauses out of 84018 with flag 936002/1117788
33.21/32.46	c cleaning 42993 clauses out of 86027 with flag 980001/1161787
34.92/34.13	c cleaning 44004 clauses out of 88034 with flag 1025001/1206787
36.53/35.73	c cleaning 45003 clauses out of 90030 with flag 1071001/1252787
38.16/37.40	c cleaning 46007 clauses out of 92027 with flag 1118001/1299787
40.19/39.37	c cleaning 46993 clauses out of 94020 with flag 1166001/1347787
42.23/41.32	c cleaning 48004 clauses out of 96029 with flag 1215003/1396789
44.34/43.43	c cleaning 49003 clauses out of 98022 with flag 1265000/1446786
46.44/45.56	c cleaning 49992 clauses out of 100019 with flag 1316000/1497786
48.68/47.70	c cleaning 50998 clauses out of 102027 with flag 1368000/1549786
50.81/49.84	c cleaning 51998 clauses out of 104029 with flag 1421000/1602786
53.03/52.08	c cleaning 53005 clauses out of 106031 with flag 1475000/1656786
55.33/54.30	c cleaning 53999 clauses out of 108026 with flag 1530000/1711786
57.75/56.74	c cleaning 55003 clauses out of 110028 with flag 1586001/1767787
60.06/59.10	c cleaning 55996 clauses out of 112024 with flag 1643000/1824786
62.57/61.50	c cleaning 57001 clauses out of 114031 with flag 1701003/1882789
65.08/64.10	c cleaning 58009 clauses out of 116031 with flag 1760004/1941790
68.01/66.98	c cleaning 58996 clauses out of 118018 with flag 1820000/2001786
71.14/70.01	c cleaning 60003 clauses out of 120022 with flag 1881000/2062786
73.94/72.83	c cleaning 61003 clauses out of 122023 with flag 1943004/2124790
76.95/75.89	c cleaning 61997 clauses out of 124016 with flag 2006000/2187786
80.06/78.96	c cleaning 62998 clauses out of 126019 with flag 2070000/2251786
80.30/79.14	c Got one! Elapsed wall clock time (in seconds):79.003
80.30/79.14	o 12
80.49/79.33	c cleaning 34425 clauses out of 68873 with flag 1000/2257638
80.73/79.55	c cleaning 20215 clauses out of 40449 with flag 7001/2263639
80.93/79.72	c cleaning 13602 clauses out of 27234 with flag 14001/2270639
81.05/79.88	c cleaning 10794 clauses out of 21631 with flag 22000/2278638
81.26/80.04	c cleaning 9913 clauses out of 19838 with flag 31001/2287639
81.48/80.26	c cleaning 9956 clauses out of 19924 with flag 41000/2297638
81.68/80.48	c cleaning 10472 clauses out of 20968 with flag 52000/2308638
81.99/80.74	c cleaning 11238 clauses out of 22496 with flag 64000/2320638
82.30/81.00	c cleaning 12113 clauses out of 24259 with flag 77001/2333639
82.50/81.30	c cleaning 13060 clauses out of 26147 with flag 91002/2347640
82.94/81.62	c cleaning 14031 clauses out of 28085 with flag 106000/2362638
83.26/81.96	c cleaning 15014 clauses out of 30055 with flag 122001/2378639
83.68/82.35	c cleaning 16008 clauses out of 32040 with flag 139000/2395638
84.08/82.79	c cleaning 16998 clauses out of 34032 with flag 157000/2413638
84.60/83.27	c cleaning 18011 clauses out of 36040 with flag 176006/2432644
85.12/83.78	c cleaning 18991 clauses out of 38023 with flag 196000/2452638
85.72/84.30	c cleaning 19998 clauses out of 40032 with flag 217000/2473638
86.22/84.84	c cleaning 21006 clauses out of 42036 with flag 239002/2495640
86.72/85.39	c cleaning 21999 clauses out of 44031 with flag 262003/2518641
87.35/85.99	c cleaning 22999 clauses out of 46029 with flag 286000/2542638
88.07/86.67	c cleaning 24007 clauses out of 48033 with flag 311003/2567641
88.78/87.32	c cleaning 25001 clauses out of 50023 with flag 337000/2593638
89.39/87.94	c cleaning 25988 clauses out of 52022 with flag 364000/2620638
90.10/88.68	c cleaning 27003 clauses out of 54035 with flag 392001/2648639
91.01/89.53	c cleaning 28002 clauses out of 56031 with flag 421000/2677638
91.91/90.44	c cleaning 29001 clauses out of 58029 with flag 451000/2707638
92.82/91.35	c cleaning 30002 clauses out of 60030 with flag 482002/2738640
93.72/92.22	c cleaning 31004 clauses out of 62029 with flag 514003/2770641
94.72/93.29	c cleaning 31994 clauses out of 64025 with flag 547003/2803641
95.82/94.37	c cleaning 32999 clauses out of 66029 with flag 581001/2837639
96.84/95.33	c cleaning 33994 clauses out of 68029 with flag 616000/2872638
97.96/96.48	c cleaning 35006 clauses out of 70039 with flag 652004/2908642
99.07/97.56	c cleaning 36002 clauses out of 72032 with flag 689003/2945641
100.27/98.72	c cleaning 36994 clauses out of 74027 with flag 727000/2983638
101.58/100.08	c cleaning 38006 clauses out of 76035 with flag 766002/3022640
102.98/101.42	c cleaning 39003 clauses out of 78028 with flag 806001/3062639
104.29/102.79	c cleaning 39996 clauses out of 80024 with flag 847000/3103638
105.81/104.23	c cleaning 41001 clauses out of 82032 with flag 889004/3145642
107.32/105.75	c cleaning 42007 clauses out of 84027 with flag 932000/3188638
109.04/107.43	c cleaning 43002 clauses out of 86021 with flag 976001/3232639
110.65/109.00	c cleaning 44003 clauses out of 88021 with flag 1021003/3277641
112.38/110.72	c cleaning 44989 clauses out of 90015 with flag 1067000/3323638
114.00/112.37	c cleaning 45998 clauses out of 92028 with flag 1114002/3370640
115.72/114.08	c cleaning 46998 clauses out of 94028 with flag 1162000/3418638
117.63/115.98	c cleaning 48002 clauses out of 96030 with flag 1211000/3467638
119.64/117.94	c cleaning 48992 clauses out of 98030 with flag 1261002/3517640
121.75/120.05	c cleaning 50003 clauses out of 100037 with flag 1312001/3568639
123.78/122.08	c cleaning 51010 clauses out of 102034 with flag 1364001/3620639
126.01/124.25	c cleaning 52003 clauses out of 104025 with flag 1417002/3673640
128.33/126.51	c cleaning 52992 clauses out of 106020 with flag 1471000/3727638
130.64/128.88	c cleaning 54000 clauses out of 108029 with flag 1526001/3782639
132.86/131.04	c cleaning 54998 clauses out of 110028 with flag 1582000/3838638
135.18/133.33	c cleaning 55995 clauses out of 112030 with flag 1639000/3895638
137.39/135.55	c cleaning 57012 clauses out of 114035 with flag 1697000/3953638
140.01/138.14	c cleaning 57996 clauses out of 116023 with flag 1756000/4012638
142.92/141.06	c cleaning 59006 clauses out of 118030 with flag 1816003/4072641
145.82/143.99	c cleaning 59992 clauses out of 120021 with flag 1877000/4133638
148.63/146.80	c cleaning 60996 clauses out of 122030 with flag 1939001/4195639
151.45/149.59	c cleaning 62004 clauses out of 124034 with flag 2002001/4258639
154.75/152.86	c cleaning 63000 clauses out of 126032 with flag 2066003/4322641
157.99/156.00	c cleaning 63994 clauses out of 128029 with flag 2131000/4387638
161.12/159.14	c cleaning 64994 clauses out of 130035 with flag 2197000/4453638
165.04/163.02	c cleaning 66001 clauses out of 132042 with flag 2264001/4520639
168.55/166.50	c cleaning 67003 clauses out of 134040 with flag 2332000/4588638
172.06/170.02	c cleaning 68003 clauses out of 136037 with flag 2401000/4657638
175.58/173.52	c cleaning 69010 clauses out of 138034 with flag 2471000/4727638
179.20/177.17	c cleaning 70003 clauses out of 140024 with flag 2542000/4798638
183.20/181.19	c cleaning 70994 clauses out of 142021 with flag 2614000/4870638
187.43/185.35	c cleaning 71998 clauses out of 144028 with flag 2687001/4943639
192.17/190.09	c cleaning 72999 clauses out of 146030 with flag 2761001/5017639
196.39/194.28	c cleaning 73999 clauses out of 148030 with flag 2836000/5092638
200.63/198.42	c cleaning 75003 clauses out of 150031 with flag 2912000/5168638
204.96/202.75	c cleaning 76004 clauses out of 152032 with flag 2989004/5245642
209.08/206.85	c cleaning 76990 clauses out of 154024 with flag 3067000/5323638
213.09/210.84	c cleaning 77991 clauses out of 156034 with flag 3146000/5402638
217.21/214.93	c cleaning 79012 clauses out of 158043 with flag 3226000/5482638
222.12/219.85	c cleaning 79994 clauses out of 160032 with flag 3307001/5563639
226.83/224.54	c cleaning 81010 clauses out of 162041 with flag 3389004/5645642
231.45/229.16	c cleaning 82000 clauses out of 164030 with flag 3472003/5728641
236.29/233.99	c cleaning 82991 clauses out of 166029 with flag 3556002/5812640
241.32/238.94	c cleaning 83996 clauses out of 168036 with flag 3641000/5897638
246.04/243.60	c cleaning 85016 clauses out of 170041 with flag 3727001/5983639
251.26/248.82	c cleaning 85990 clauses out of 172025 with flag 3814001/6070639
256.39/253.99	c cleaning 86996 clauses out of 174034 with flag 3902000/6158638
261.74/259.27	c cleaning 88006 clauses out of 176039 with flag 3991001/6247639
266.97/264.41	c cleaning 89003 clauses out of 178032 with flag 4081000/6337638
272.41/269.87	c cleaning 89986 clauses out of 180029 with flag 4172000/6428638
277.83/275.20	c cleaning 91003 clauses out of 182043 with flag 4264000/6520638
283.45/280.83	c cleaning 91997 clauses out of 184042 with flag 4357002/6613640
288.76/286.18	c cleaning 93012 clauses out of 186044 with flag 4451001/6707639
296.31/293.69	c cleaning 94007 clauses out of 188031 with flag 4546000/6802638
302.81/300.14	c cleaning 94991 clauses out of 190024 with flag 4642000/6898638
309.44/306.72	c cleaning 95997 clauses out of 192033 with flag 4739000/6995638
316.16/313.45	c cleaning 97007 clauses out of 194036 with flag 4837000/7093638
322.27/319.53	c cleaning 98007 clauses out of 196031 with flag 4936002/7192640
328.08/325.36	c cleaning 99000 clauses out of 198023 with flag 5036001/7292639
334.27/331.47	c cleaning 100008 clauses out of 200022 with flag 5137000/7393638
342.19/339.32	c cleaning 100987 clauses out of 202014 with flag 5239000/7495638
349.71/346.89	c cleaning 101994 clauses out of 204028 with flag 5342001/7598639
356.44/353.55	c cleaning 102995 clauses out of 206033 with flag 5446000/7702638
363.58/360.60	c cleaning 104006 clauses out of 208040 with flag 5551002/7807640
371.29/368.39	c cleaning 105003 clauses out of 210032 with flag 5657000/7913638
379.30/376.27	c cleaning 106005 clauses out of 212030 with flag 5764001/8020639
387.42/384.34	c cleaning 106994 clauses out of 214024 with flag 5872000/8128638
395.25/392.13	c cleaning 108001 clauses out of 216032 with flag 5981002/8237640
404.49/401.35	c cleaning 109002 clauses out of 218031 with flag 6091002/8347640
412.34/409.14	c cleaning 109991 clauses out of 220027 with flag 6202000/8458638
420.66/417.44	c cleaning 110995 clauses out of 222036 with flag 6314000/8570638
429.07/425.83	c cleaning 111996 clauses out of 224041 with flag 6427000/8683638
437.39/434.13	c cleaning 113005 clauses out of 226045 with flag 6541000/8797638
445.10/441.89	c cleaning 114008 clauses out of 228040 with flag 6656000/8912638
454.64/451.37	c cleaning 114998 clauses out of 230032 with flag 6772000/9028638
465.16/461.88	c cleaning 115997 clauses out of 232035 with flag 6889001/9145639
474.57/471.21	c cleaning 117001 clauses out of 234037 with flag 7007000/9263638
484.48/481.12	c cleaning 118001 clauses out of 236036 with flag 7126000/9382638
494.73/491.36	c cleaning 119002 clauses out of 238035 with flag 7246000/9502638
505.15/501.78	c cleaning 120001 clauses out of 240033 with flag 7367000/9623638
514.68/511.29	c cleaning 121002 clauses out of 242033 with flag 7489001/9745639
525.01/521.51	c cleaning 122000 clauses out of 244031 with flag 7612001/9868639
536.73/533.26	c cleaning 122996 clauses out of 246031 with flag 7736001/9992639
549.07/545.53	c cleaning 124007 clauses out of 248034 with flag 7861000/10117638
561.29/557.79	c cleaning 125006 clauses out of 250029 with flag 7987002/10243640
573.61/570.05	c cleaning 125995 clauses out of 252022 with flag 8114001/10370639
585.94/582.34	c cleaning 126988 clauses out of 254027 with flag 8242001/10498639
598.26/594.64	c cleaning 128002 clauses out of 256038 with flag 8371000/10627638
610.58/606.99	c cleaning 129006 clauses out of 258036 with flag 8501000/10757638
622.40/618.76	c cleaning 130000 clauses out of 260030 with flag 8632000/10888638
635.41/631.75	c cleaning 130995 clauses out of 262030 with flag 8764000/11020638
647.13/643.45	c cleaning 132001 clauses out of 264035 with flag 8897000/11153638
660.03/656.36	c cleaning 133012 clauses out of 266035 with flag 9031001/11287639
672.65/668.99	c cleaning 133988 clauses out of 268022 with flag 9166000/11422638
684.16/680.45	c cleaning 135004 clauses out of 270034 with flag 9302000/11558638
697.60/693.85	c cleaning 135991 clauses out of 272030 with flag 9439000/11695638
712.23/708.49	c cleaning 137010 clauses out of 274039 with flag 9577000/11833638
727.15/723.37	c cleaning 137998 clauses out of 276029 with flag 9716000/11972638
740.08/736.22	c cleaning 138993 clauses out of 278033 with flag 9856002/12112640
753.32/749.40	c cleaning 139992 clauses out of 280039 with flag 9997001/12253639
767.36/763.46	c cleaning 141004 clauses out of 282046 with flag 10139000/12395638
781.28/777.30	c cleaning 142016 clauses out of 284044 with flag 10282002/12538640
795.69/791.74	c cleaning 142995 clauses out of 286027 with flag 10426001/12682639
810.00/806.03	c cleaning 144000 clauses out of 288031 with flag 10571000/12827638
823.93/819.95	c cleaning 145000 clauses out of 290031 with flag 10717000/12973638
837.26/833.23	c cleaning 146003 clauses out of 292031 with flag 10864000/13120638
851.68/847.63	c cleaning 146992 clauses out of 294028 with flag 11012000/13268638
865.99/861.90	c cleaning 147999 clauses out of 296037 with flag 11161001/13417639
881.43/877.32	c cleaning 149001 clauses out of 298038 with flag 11311001/13567639
896.86/892.70	c cleaning 150011 clauses out of 300036 with flag 11462000/13718638
913.91/909.78	c cleaning 150999 clauses out of 302026 with flag 11614001/13870639
929.51/925.32	c cleaning 151998 clauses out of 304027 with flag 11767001/14023639
943.45/939.29	c cleaning 152993 clauses out of 306029 with flag 11921001/14177639
960.59/956.30	c cleaning 154001 clauses out of 308039 with flag 12076004/14332642
978.42/974.14	c cleaning 155003 clauses out of 310039 with flag 12232005/14488643
995.67/991.33	c cleaning 155996 clauses out of 312032 with flag 12389001/14645639
1012.60/1008.25	c cleaning 157005 clauses out of 314039 with flag 12547004/14803642
1029.65/1025.29	c cleaning 157991 clauses out of 316030 with flag 12706000/14962638
1047.38/1042.95	c cleaning 159000 clauses out of 318040 with flag 12866001/15122639
1070.33/1065.86	c cleaning 160003 clauses out of 320039 with flag 13027000/15283638
1088.44/1083.91	c cleaning 160995 clauses out of 322037 with flag 13189001/15445639
1109.35/1104.81	c cleaning 162009 clauses out of 324043 with flag 13352002/15608640
1130.18/1125.60	c cleaning 163003 clauses out of 326032 with flag 13516000/15772638
1149.41/1144.86	c cleaning 163995 clauses out of 328029 with flag 13681000/15937638
1169.81/1165.25	c cleaning 165007 clauses out of 330036 with flag 13847002/16103640
1188.93/1184.39	c cleaning 166001 clauses out of 332029 with flag 14014002/16270640
1210.18/1205.55	c cleaning 166994 clauses out of 334026 with flag 14182000/16438638
1230.79/1226.12	c cleaning 167997 clauses out of 336033 with flag 14351001/16607639
1251.24/1246.52	c cleaning 169010 clauses out of 338035 with flag 14521000/16777638
1272.15/1267.40	c cleaning 170002 clauses out of 340026 with flag 14692001/16948639
1292.20/1287.46	c cleaning 170986 clauses out of 342023 with flag 14864000/17120638
1313.95/1309.10	c cleaning 171992 clauses out of 344037 with flag 15037000/17293638
1333.91/1329.04	c cleaning 173007 clauses out of 346047 with flag 15211002/17467640
1355.86/1350.92	c cleaning 174002 clauses out of 348039 with flag 15386001/17642639
1376.50/1371.52	c cleaning 175005 clauses out of 350037 with flag 15562001/17818639
1397.08/1392.02	c cleaning 175995 clauses out of 352031 with flag 15739000/17995638
1415.62/1410.56	c cleaning 177005 clauses out of 354038 with flag 15917002/18173640
1438.04/1432.97	c cleaning 177996 clauses out of 356032 with flag 16096001/18352639
1458.77/1453.68	c cleaning 179013 clauses out of 358037 with flag 16276002/18532640
1483.40/1478.20	c cleaning 179988 clauses out of 360025 with flag 16457003/18713641
1507.63/1502.41	c cleaning 181000 clauses out of 362034 with flag 16639000/18895638
1528.29/1523.07	c cleaning 182003 clauses out of 364036 with flag 16822002/19078640
1550.82/1545.52	c cleaning 182995 clauses out of 366031 with flag 17006000/19262638
1574.96/1569.66	c cleaning 183990 clauses out of 368038 with flag 17191002/19447640
1598.00/1592.60	c cleaning 185011 clauses out of 370047 with flag 17377001/19633639
1620.24/1614.80	c cleaning 185995 clauses out of 372035 with flag 17564000/19820638
1645.47/1640.03	c cleaning 187005 clauses out of 374041 with flag 17752001/20008639
1667.49/1662.03	c cleaning 188015 clauses out of 376041 with flag 17941006/20197644
1697.81/1692.31	c cleaning 188995 clauses out of 378020 with flag 18131000/20387638
1722.94/1717.43	c cleaning 190001 clauses out of 380026 with flag 18322001/20578639
1746.69/1741.17	c cleaning 190997 clauses out of 382024 with flag 18514000/20770638
1771.53/1765.91	c cleaning 191992 clauses out of 384027 with flag 18707000/20963638
1797.17/1791.50	c cleaning 193000 clauses out of 386035 with flag 18901000/21157638
1800.02/1794.31	c starts		: 356
1800.02/1794.31	c conflicts		: 21197105
1800.02/1794.31	c decisions		: 40477354
1800.02/1794.31	c propagations		: 240326781
1800.02/1794.31	c inspects		: 21032882629
1800.02/1794.31	c shortcuts		: 0
1800.02/1794.31	c learnt literals	: 0
1800.02/1794.31	c learnt binary clauses	: 0
1800.02/1794.31	c learnt ternary clauses	: 0
1800.02/1794.31	c learnt constraints	: 21197106
1800.02/1794.31	c ignored constraints	: 0
1800.02/1794.31	c root simplifications	: 356
1800.02/1794.31	c removed literals (reason simplification)	: 4846499
1800.02/1794.31	c reason swapping (by a shorter reason)	: 0
1800.02/1794.31	c Calls to reduceDB	: 268
1800.02/1794.31	c number of reductions to clauses (during analyze)	: 0
1800.02/1794.31	c number of learned constraints concerned by reduction	: 0
1800.02/1794.31	c number of learning phase by resolution	: 0
1800.02/1794.31	c number of learning phase by cutting planes	: 0
1800.02/1794.31	c speed (assignments/second)	: 133952.70208130238
1800.02/1794.31	c non guided choices	161
1800.02/1794.35	c learnt constraints type 
1800.02/1794.35	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 232967
1800.02/1794.35	c constraints type 
1800.02/1794.35	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
1800.02/1794.35	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.02/1794.35	c 101 constraints processed.
1800.02/1794.35	s SATISFIABLE
1800.02/1794.35	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 
1800.02/1794.35	c objective function=12
1800.02/1794.35	c Total wall clock time (in seconds): 1794.207

Verifier Data 

OK	12

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 9/194 26498
/proc/meminfo: memFree=30390776/32873844 swapFree=6872/6872
[pid=26498] ppid=26496 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/26498/stat : 26498 (java) D 26496 26498 22966 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 281457622 2560000 46 33554432000 1073741824 1073778376 140733963459216 140733963456344 270109076775 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/26498/statm: 625 46 37 9 0 29 0

[startup+0.0278469 s]
/proc/loadavg: 2.00 2.03 2.00 9/194 26498
/proc/meminfo: memFree=30390776/32873844 swapFree=6872/6872
[pid=26498] ppid=26496 vsize=102664 CPUtime=0 cores=0,2,4,6
/proc/26498/stat : 26498 (java) S 26496 26498 22966 0 -1 4202496 1429 0 1 0 0 0 0 0 20 0 2 0 281457622 105127936 1110 33554432000 1073741824 1073778376 140736829281312 140736829272448 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26498/statm: 25674 1111 858 9 0 16783 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664

[startup+0.100312 s]
/proc/loadavg: 2.00 2.03 2.00 9/194 26498
/proc/meminfo: memFree=30390776/32873844 swapFree=6872/6872
[pid=26498] ppid=26496 vsize=9558440 CPUtime=0.06 cores=0,2,4,6
/proc/26498/stat : 26498 (java) S 26496 26498 22966 0 -1 4202496 3459 0 1 0 6 0 0 0 20 0 18 0 281457622 9787842560 4667 33554432000 1073741824 1073778376 140736829281312 140736829272448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26498/statm: 2389610 4667 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.30014 s]
/proc/loadavg: 2.00 2.03 2.00 9/194 26498
/proc/meminfo: memFree=30390776/32873844 swapFree=6872/6872
[pid=26498] ppid=26496 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/26498/stat : 26498 (java) S 26496 26498 22966 0 -1 4202496 6950 0 1 0 46 2 0 0 20 0 19 0 281457622 9856004096 8364 33554432000 1073741824 1073778376 140736829281312 140736829272448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26498/statm: 2406251 8364 2236 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9625004

[startup+0.700286 s]
/proc/loadavg: 2.00 2.03 2.00 9/194 26498
/proc/meminfo: memFree=30390776/32873844 swapFree=6872/6872
[pid=26498] ppid=26496 vsize=9625004 CPUtime=1.09 cores=0,2,4,6
/proc/26498/stat : 26498 (java) S 26496 26498 22966 0 -1 4202496 8254 0 1 0 106 3 0 0 20 0 19 0 281457622 9856004096 10550 33554432000 1073741824 1073778376 140736829281312 140736829272448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26498/statm: 2406251 10550 2274 9 0 2396937 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9625004

[startup+1.50067 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 26517
/proc/meminfo: memFree=30354744/32873844 swapFree=6872/6872
[pid=26498] ppid=26496 vsize=9625004 CPUtime=1.92 cores=0,2,4,6
/proc/26498/stat : 26498 (java) S 26496 26498 22966 0 -1 4202496 8329 0 1 0 189 3 0 0 20 0 19 0 281457622 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140736829272448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26498/statm: 2406251 11586 2275 9 0 2396937 0
[pid=26498/tid=26500] ppid=26496 vsize=9625004 CPUtime=1.37 cores=0,2,4,6
/proc/26498/task/26500/stat : 26500 (java) R 26496 26498 22966 0 -1 4202560 2525 0 1 0 136 1 0 0 20 0 19 0 281457624 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219427525056 140219290943532 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26501] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26501/stat : 26501 (java) S 26496 26498 22966 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219416595240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26502] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26502/stat : 26502 (java) S 26496 26498 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219415542440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26503] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26503/stat : 26503 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219414490152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26504] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26504/stat : 26504 (java) S 26496 26498 22966 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219413437352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26505] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26505/stat : 26505 (java) S 26496 26498 22966 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219412384040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26506] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26506/stat : 26506 (java) S 26496 26498 22966 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219411331240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26507] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26507/stat : 26507 (java) S 26496 26498 22966 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219410278952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26508] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26508/stat : 26508 (java) S 26496 26498 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219409226152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26509] ppid=26496 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/26498/task/26509/stat : 26509 (java) S 26496 26498 22966 0 -1 4202560 31 0 0 0 5 0 0 0 20 0 19 0 281457626 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219251763944 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26510] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26510/stat : 26510 (java) S 26496 26498 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281457627 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219250710008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26511] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26511/stat : 26511 (java) S 26496 26498 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457627 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219249657608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26512] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26512/stat : 26512 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219248606096 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26513] ppid=26496 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/26498/task/26513/stat : 26513 (java) S 26496 26498 22966 0 -1 4202560 2566 0 0 0 18 0 0 0 20 0 19 0 281457630 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219247552696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26514] ppid=26496 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/26498/task/26514/stat : 26514 (java) S 26496 26498 22966 0 -1 4202560 1978 0 0 0 23 0 0 0 20 0 19 0 281457630 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219246499896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26515] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26515/stat : 26515 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219245447800 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26516] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26516/stat : 26516 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219244395208 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26517] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26517/stat : 26517 (java) S 26496 26498 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457642 9856004096 11586 33554432000 1073741824 1073778376 140736829281312 140219243341224 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.92
Current children cumulated vsize (KiB) 9625004

[startup+3.10083 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 26517
/proc/meminfo: memFree=30352324/32873844 swapFree=6872/6872
[pid=26498] ppid=26496 vsize=9625004 CPUtime=3.55 cores=0,2,4,6
/proc/26498/stat : 26498 (java) S 26496 26498 22966 0 -1 4202496 8346 0 1 0 352 3 0 0 20 0 19 0 281457622 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140736829272448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26498/statm: 2406251 11594 2275 9 0 2396937 0
[pid=26498/tid=26500] ppid=26496 vsize=9625004 CPUtime=2.86 cores=0,2,4,6
/proc/26498/task/26500/stat : 26500 (java) R 26496 26498 22966 0 -1 4202560 2534 0 1 0 285 1 0 0 20 0 19 0 281457624 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219427533208 140219290944054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26501] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26501/stat : 26501 (java) S 26496 26498 22966 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219416595240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26502] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26502/stat : 26502 (java) S 26496 26498 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219415542440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26503] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26503/stat : 26503 (java) S 26496 26498 22966 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219414490152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26504] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26504/stat : 26504 (java) S 26496 26498 22966 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219413437352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26505] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26505/stat : 26505 (java) S 26496 26498 22966 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219412384040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26506] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26506/stat : 26506 (java) S 26496 26498 22966 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219411331240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26507] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26507/stat : 26507 (java) S 26496 26498 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219410278952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26508] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26508/stat : 26508 (java) S 26496 26498 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219409226152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26509] ppid=26496 vsize=9625004 CPUtime=0.13 cores=0,2,4,6
/proc/26498/task/26509/stat : 26509 (java) S 26496 26498 22966 0 -1 4202560 31 0 0 0 13 0 0 0 20 0 19 0 281457626 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219251763944 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26510] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26510/stat : 26510 (java) S 26496 26498 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281457627 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219250710008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26511] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26511/stat : 26511 (java) S 26496 26498 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457627 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219249657608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26512] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26512/stat : 26512 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219248606096 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26513] ppid=26496 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/26498/task/26513/stat : 26513 (java) S 26496 26498 22966 0 -1 4202560 2566 0 0 0 18 0 0 0 20 0 19 0 281457630 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219247552696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26514] ppid=26496 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/26498/task/26514/stat : 26514 (java) S 26496 26498 22966 0 -1 4202560 1978 0 0 0 23 0 0 0 20 0 19 0 281457630 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219246499896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26515] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26515/stat : 26515 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219245447800 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26516] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26516/stat : 26516 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219244395208 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26517] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26517/stat : 26517 (java) S 26496 26498 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457642 9856004096 11594 33554432000 1073741824 1073778376 140736829281312 140219243341224 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 9625004

[startup+6.30063 s]
/proc/loadavg: 2.00 2.03 2.00 3/213 26517
/proc/meminfo: memFree=30348972/32873844 swapFree=6872/6872
[pid=26498] ppid=26496 vsize=9625004 CPUtime=6.81 cores=0,2,4,6
/proc/26498/stat : 26498 (java) S 26496 26498 22966 0 -1 4202496 8393 0 1 0 677 4 0 0 20 0 19 0 281457622 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140736829272448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26498/statm: 2406251 12226 2275 9 0 2396937 0
[pid=26498/tid=26500] ppid=26496 vsize=9625004 CPUtime=5.88 cores=0,2,4,6
/proc/26498/task/26500/stat : 26500 (java) S 26496 26498 22966 0 -1 4202560 2547 0 1 0 587 1 0 0 20 0 19 0 281457624 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219427533208 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26501] ppid=26496 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/26498/task/26501/stat : 26501 (java) S 26496 26498 22966 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 19 0 281457625 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219416595240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26502] ppid=26496 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/26498/task/26502/stat : 26502 (java) S 26496 26498 22966 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 281457625 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219415542440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26503] ppid=26496 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/26498/task/26503/stat : 26503 (java) S 26496 26498 22966 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 281457625 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219414490152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26504] ppid=26496 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/26498/task/26504/stat : 26504 (java) S 26496 26498 22966 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 281457625 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219413437352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26505] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26505/stat : 26505 (java) S 26496 26498 22966 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219412384040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26506] ppid=26496 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/26498/task/26506/stat : 26506 (java) S 26496 26498 22966 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 281457625 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219411331240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26507] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26507/stat : 26507 (java) S 26496 26498 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457625 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219410278952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26508] ppid=26496 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/26498/task/26508/stat : 26508 (java) S 26496 26498 22966 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 19 0 281457625 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219409226152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26509] ppid=26496 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/26498/task/26509/stat : 26509 (java) R 26496 26498 22966 0 -1 4202560 32 0 0 0 28 0 0 0 20 0 19 0 281457626 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219251762800 140219431694652 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26510] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26510/stat : 26510 (java) S 26496 26498 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281457627 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219250710008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26511] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26511/stat : 26511 (java) S 26496 26498 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457627 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219249657608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26512] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26512/stat : 26512 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219248606096 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26513] ppid=26496 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/26498/task/26513/stat : 26513 (java) S 26496 26498 22966 0 -1 4202560 2566 0 0 0 18 0 0 0 20 0 19 0 281457630 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219247552696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26514] ppid=26496 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/26498/task/26514/stat : 26514 (java) S 26496 26498 22966 0 -1 4202560 1978 0 0 0 23 0 0 0 20 0 19 0 281457630 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219246499896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26515] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26515/stat : 26515 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219245447800 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26516] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26516/stat : 26516 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219244395208 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26517] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26517/stat : 26517 (java) S 26496 26498 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457642 9856004096 12226 33554432000 1073741824 1073778376 140736829281312 140219243341224 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.81
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=26498/tid=26513] ppid=26496 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/26498/task/26513/stat : 26513 (java) S 26496 26498 22966 0 -1 4202560 2566 0 0 0 18 0 0 0 20 0 19 0 281457630 9856004096 37204 33554432000 1073741824 1073778376 140736829281312 140219247552696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26514] ppid=26496 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/26498/task/26514/stat : 26514 (java) S 26496 26498 22966 0 -1 4202560 2355 0 0 0 26 0 0 0 20 0 19 0 281457630 9856004096 37204 33554432000 1073741824 1073778376 140736829281312 140219246499896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26515] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26515/stat : 26515 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 37204 33554432000 1073741824 1073778376 140736829281312 140219245447800 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26516] ppid=26496 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/26498/task/26516/stat : 26516 (java) S 26496 26498 22966 0 -1 4202560 98 0 0 0 39 27 0 0 20 0 19 0 281457630 9856004096 37204 33554432000 1073741824 1073778376 140736829281312 140219244395208 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26517] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26517/stat : 26517 (java) S 26496 26498 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457642 9856004096 37204 33554432000 1073741824 1073778376 140736829281312 140219243341224 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1727.89
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 26648
/proc/meminfo: memFree=30819232/32873844 swapFree=6872/6872
[pid=26498] ppid=26496 vsize=9625004 CPUtime=1787.96 cores=0,2,4,6
/proc/26498/stat : 26498 (java) S 26496 26498 22966 0 -1 4202496 10818 0 1 0 178758 38 0 0 20 0 19 0 281457622 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140736829272448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26498/statm: 2406251 37260 2276 9 0 2396937 0
[pid=26498/tid=26500] ppid=26496 vsize=9625004 CPUtime=1766.34 cores=0,2,4,6
/proc/26498/task/26500/stat : 26500 (java) R 26496 26498 22966 0 -1 4202560 2796 0 1 0 176606 28 0 0 20 0 19 0 281457624 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219427533088 140219290998043 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26501] ppid=26496 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/26498/task/26501/stat : 26501 (java) S 26496 26498 22966 0 -1 4202560 271 0 0 0 85 0 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219416595240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26502] ppid=26496 vsize=9625004 CPUtime=0.93 cores=0,2,4,6
/proc/26498/task/26502/stat : 26502 (java) S 26496 26498 22966 0 -1 4202560 264 0 0 0 91 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219415542440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26503] ppid=26496 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/26498/task/26503/stat : 26503 (java) S 26496 26498 22966 0 -1 4202560 264 0 0 0 84 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219414490152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26504] ppid=26496 vsize=9625004 CPUtime=0.96 cores=0,2,4,6
/proc/26498/task/26504/stat : 26504 (java) S 26496 26498 22966 0 -1 4202560 148 0 0 0 95 1 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219413437352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26505] ppid=26496 vsize=9625004 CPUtime=0.88 cores=0,2,4,6
/proc/26498/task/26505/stat : 26505 (java) S 26496 26498 22966 0 -1 4202560 125 0 0 0 86 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219412384040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26506] ppid=26496 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/26498/task/26506/stat : 26506 (java) S 26496 26498 22966 0 -1 4202560 74 0 0 0 84 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219411331240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26507] ppid=26496 vsize=9625004 CPUtime=0.94 cores=0,2,4,6
/proc/26498/task/26507/stat : 26507 (java) S 26496 26498 22966 0 -1 4202560 243 0 0 0 92 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219410278952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26508] ppid=26496 vsize=9625004 CPUtime=0.91 cores=0,2,4,6
/proc/26498/task/26508/stat : 26508 (java) S 26496 26498 22966 0 -1 4202560 262 0 0 0 89 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219409226152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26509] ppid=26496 vsize=9625004 CPUtime=9.17 cores=0,2,4,6
/proc/26498/task/26509/stat : 26509 (java) S 26496 26498 22966 0 -1 4202560 167 0 0 0 914 3 0 0 20 0 19 0 281457626 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219251763944 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26510] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26510/stat : 26510 (java) S 26496 26498 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281457627 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219250710008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26511] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26511/stat : 26511 (java) S 26496 26498 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457627 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219249657608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26512] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26512/stat : 26512 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219248606096 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26513] ppid=26496 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/26498/task/26513/stat : 26513 (java) S 26496 26498 22966 0 -1 4202560 2566 0 0 0 18 0 0 0 20 0 19 0 281457630 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219247552696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26514] ppid=26496 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/26498/task/26514/stat : 26514 (java) S 26496 26498 22966 0 -1 4202560 2355 0 0 0 26 0 0 0 20 0 19 0 281457630 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219246499896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26515] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26515/stat : 26515 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219245447800 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26516] ppid=26496 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/26498/task/26516/stat : 26516 (java) S 26496 26498 22966 0 -1 4202560 102 0 0 0 41 27 0 0 20 0 19 0 281457630 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219244395208 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26517] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26517/stat : 26517 (java) S 26496 26498 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457642 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219243341224 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1787.96
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 26648
/proc/meminfo: memFree=30819356/32873844 swapFree=6872/6872
[pid=26498] ppid=26496 vsize=9625004 CPUtime=1800.02 cores=0,2,4,6
/proc/26498/stat : 26498 (java) S 26496 26498 22966 0 -1 4202496 10821 0 1 0 179963 39 0 0 20 0 19 0 281457622 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140736829272448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26498/statm: 2406251 37260 2276 9 0 2396937 0
[pid=26498/tid=26500] ppid=26496 vsize=9625004 CPUtime=1778.19 cores=0,2,4,6
/proc/26498/task/26500/stat : 26500 (java) R 26496 26498 22966 0 -1 4202560 2797 0 1 0 177790 29 0 0 20 0 19 0 281457624 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219427533088 140219290995059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26501] ppid=26496 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/26498/task/26501/stat : 26501 (java) S 26496 26498 22966 0 -1 4202560 271 0 0 0 85 0 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219416595240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26502] ppid=26496 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/26498/task/26502/stat : 26502 (java) S 26496 26498 22966 0 -1 4202560 264 0 0 0 93 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219415542440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26503] ppid=26496 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/26498/task/26503/stat : 26503 (java) S 26496 26498 22966 0 -1 4202560 264 0 0 0 84 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219414490152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26504] ppid=26496 vsize=9625004 CPUtime=0.97 cores=0,2,4,6
/proc/26498/task/26504/stat : 26504 (java) S 26496 26498 22966 0 -1 4202560 148 0 0 0 95 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219413437352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26505] ppid=26496 vsize=9625004 CPUtime=0.9 cores=0,2,4,6
/proc/26498/task/26505/stat : 26505 (java) S 26496 26498 22966 0 -1 4202560 125 0 0 0 88 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219412384040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26506] ppid=26496 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/26498/task/26506/stat : 26506 (java) S 26496 26498 22966 0 -1 4202560 74 0 0 0 84 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219411331240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26507] ppid=26496 vsize=9625004 CPUtime=0.94 cores=0,2,4,6
/proc/26498/task/26507/stat : 26507 (java) S 26496 26498 22966 0 -1 4202560 243 0 0 0 92 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219410278952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26508] ppid=26496 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/26498/task/26508/stat : 26508 (java) S 26496 26498 22966 0 -1 4202560 262 0 0 0 90 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219409226152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26509] ppid=26496 vsize=9625004 CPUtime=9.28 cores=0,2,4,6
/proc/26498/task/26509/stat : 26509 (java) S 26496 26498 22966 0 -1 4202560 169 0 0 0 925 3 0 0 20 0 19 0 281457626 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219251763944 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26510] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26510/stat : 26510 (java) S 26496 26498 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281457627 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219250710008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26511] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26511/stat : 26511 (java) S 26496 26498 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457627 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219249657608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26512] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26512/stat : 26512 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219248606096 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26513] ppid=26496 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/26498/task/26513/stat : 26513 (java) S 26496 26498 22966 0 -1 4202560 2566 0 0 0 18 0 0 0 20 0 19 0 281457630 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219247552696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26514] ppid=26496 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/26498/task/26514/stat : 26514 (java) S 26496 26498 22966 0 -1 4202560 2355 0 0 0 26 0 0 0 20 0 19 0 281457630 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219246499896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26515] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26515/stat : 26515 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219245447800 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26516] ppid=26496 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/26498/task/26516/stat : 26516 (java) S 26496 26498 22966 0 -1 4202560 102 0 0 0 41 27 0 0 20 0 19 0 281457630 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219244395208 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26517] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26517/stat : 26517 (java) S 26496 26498 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457642 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219243341224 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 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.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 26648
/proc/meminfo: memFree=30819356/32873844 swapFree=6872/6872
[pid=26498] ppid=26496 vsize=9625004 CPUtime=1800.02 cores=0,2,4,6
/proc/26498/stat : 26498 (java) S 26496 26498 22966 0 -1 4202496 10821 0 1 0 179963 39 0 0 20 0 19 0 281457622 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140736829272448 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26498/statm: 2406251 37260 2276 9 0 2396937 0
[pid=26498/tid=26500] ppid=26496 vsize=9625004 CPUtime=1778.19 cores=0,2,4,6
/proc/26498/task/26500/stat : 26500 (java) R 26496 26498 22966 0 -1 4202560 2797 0 1 0 177790 29 0 0 20 0 19 0 281457624 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219427533088 140219290995059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26501] ppid=26496 vsize=9625004 CPUtime=0.85 cores=0,2,4,6
/proc/26498/task/26501/stat : 26501 (java) S 26496 26498 22966 0 -1 4202560 271 0 0 0 85 0 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219416595240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26502] ppid=26496 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/26498/task/26502/stat : 26502 (java) S 26496 26498 22966 0 -1 4202560 264 0 0 0 93 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219415542440 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26503] ppid=26496 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/26498/task/26503/stat : 26503 (java) S 26496 26498 22966 0 -1 4202560 264 0 0 0 84 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219414490152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26504] ppid=26496 vsize=9625004 CPUtime=0.97 cores=0,2,4,6
/proc/26498/task/26504/stat : 26504 (java) S 26496 26498 22966 0 -1 4202560 148 0 0 0 95 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219413437352 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26505] ppid=26496 vsize=9625004 CPUtime=0.9 cores=0,2,4,6
/proc/26498/task/26505/stat : 26505 (java) S 26496 26498 22966 0 -1 4202560 125 0 0 0 88 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219412384040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26506] ppid=26496 vsize=9625004 CPUtime=0.86 cores=0,2,4,6
/proc/26498/task/26506/stat : 26506 (java) S 26496 26498 22966 0 -1 4202560 74 0 0 0 84 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219411331240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26507] ppid=26496 vsize=9625004 CPUtime=0.94 cores=0,2,4,6
/proc/26498/task/26507/stat : 26507 (java) S 26496 26498 22966 0 -1 4202560 243 0 0 0 92 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219410278952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26498/tid=26508] ppid=26496 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/26498/task/26508/stat : 26508 (java) S 26496 26498 22966 0 -1 4202560 262 0 0 0 90 2 0 0 20 0 19 0 281457625 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219409226152 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26509] ppid=26496 vsize=9625004 CPUtime=9.28 cores=0,2,4,6
/proc/26498/task/26509/stat : 26509 (java) S 26496 26498 22966 0 -1 4202560 169 0 0 0 925 3 0 0 20 0 19 0 281457626 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219251763944 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26510] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26510/stat : 26510 (java) S 26496 26498 22966 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281457627 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219250710008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26511] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26511/stat : 26511 (java) S 26496 26498 22966 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281457627 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219249657608 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26512] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26512/stat : 26512 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219248606096 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26513] ppid=26496 vsize=9625004 CPUtime=0.18 cores=0,2,4,6
/proc/26498/task/26513/stat : 26513 (java) S 26496 26498 22966 0 -1 4202560 2566 0 0 0 18 0 0 0 20 0 19 0 281457630 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219247552696 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26498/tid=26514] ppid=26496 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/26498/task/26514/stat : 26514 (java) S 26496 26498 22966 0 -1 4202560 2355 0 0 0 26 0 0 0 20 0 19 0 281457630 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219246499896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26515] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26515/stat : 26515 (java) S 26496 26498 22966 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281457630 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219245447800 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26498/tid=26516] ppid=26496 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/26498/task/26516/stat : 26516 (java) S 26496 26498 22966 0 -1 4202560 102 0 0 0 41 27 0 0 20 0 19 0 281457630 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219244395208 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26498/tid=26517] ppid=26496 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26498/task/26517/stat : 26517 (java) S 26496 26498 22966 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281457642 9856004096 37260 33554432000 1073741824 1073778376 140736829281312 140219243341224 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 4 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 26498 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=339066
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=871867
# CPU time returned by wait4() is 1796.21
# 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.36
CPU time (s): 1800.02
CPU user time (s): 1799.63
CPU system time (s): 0.39
CPU usage (%): 100.316
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.34
system time used= 0.871867
maximum resident set size= 149196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10863
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= 45341
involuntary context switches= 21037

runsolver used 6.19206 second user time and 14.1628 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-27 23:14:51
IDJOB=3710788
IDBENCH=2874
IDSOLVER=2289
FILE ID=node106/3710788-1338153291
RUNJOBID= node106-1338138950-25294
PBS_JOBID= 14624504
Free space on /tmp= 71336 MiB

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

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

MD5SUM BENCH= 7e1b8a9f40a52781f7629bf04a2d5793
RANDOM SEED=777200070

node106.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.065
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.13
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.065
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.065
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		: 2667.065
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.92
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.065
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.065
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.065
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		: 2667.065
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:       32873844 kB
MemFree:        30390668 kB
Buffers:          171480 kB
Cached:           507972 kB
SwapCached:            0 kB
Active:          1555792 kB
Inactive:          89032 kB
Active(anon):     955752 kB
Inactive(anon):    12004 kB
Active(file):     600040 kB
Inactive(file):    77028 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               824 kB
Writeback:             0 kB
AnonPages:        971784 kB
Mapped:            18660 kB
Shmem:               200 kB
Slab:             696784 kB
SReclaimable:     138956 kB
SUnreclaim:       557828 kB
KernelStack:        1600 kB
PageTables:         6600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1179388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    937984 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= 71332 MiB
End job on node106 at 2012-05-27 23:44:48