Trace number 3688529

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
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)28158 1800.06 1794.15

General information on the benchmark

Namenormalized-PB07/OPT-BIGINT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
MD5SUM3247d1c2d88b8e4a3c1b4f888e937620
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark23978
Best CPU time to get the best result obtained on this benchmark158.458
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables1343
Total number of constraints2405
Number of constraints which are clauses2405
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 constraint1
Maximum length of a constraint55
Number of terms in the objective function 690
Biggest coefficient in the objective function 2072
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 1098481
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 2072
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 1098481
Number of bits of the biggest sum of numbers21
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.01/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.10	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3688529-1337884712.opb
0.08/0.12	c reading problem ... 
0.24/0.28	c ... done. Wall clock time 0.16s.
0.24/0.28	c declared #vars     1343
0.24/0.28	c #constraints  2405
0.24/0.28	c constraints type 
0.24/0.29	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 649
0.24/0.29	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
0.24/0.29	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1753
0.24/0.29	c 2405 constraints processed.
0.24/0.29	c objective function length is 690 literals
0.45/0.31	c SATISFIABLE
0.45/0.31	c OPTIMIZING...
0.45/0.31	c Got one! Elapsed wall clock time (in seconds):0.189
0.45/0.31	o 34935
0.45/0.34	c Got one! Elapsed wall clock time (in seconds):0.21
0.45/0.34	o 33633
0.45/0.35	c Got one! Elapsed wall clock time (in seconds):0.225
0.45/0.35	o 32389
0.45/0.36	c Got one! Elapsed wall clock time (in seconds):0.238
0.45/0.36	o 31145
0.45/0.39	c Got one! Elapsed wall clock time (in seconds):0.265
0.45/0.39	o 29901
1.63/1.02	c cleaning 2514 clauses out of 5029 with flag 5000/5029
2.29/1.60	c cleaning 4257 clauses out of 8515 with flag 11000/11029
2.89/2.28	c cleaning 5622 clauses out of 11258 with flag 18000/18029
3.70/3.07	c cleaning 6818 clauses out of 13637 with flag 26001/26030
4.75/4.01	c cleaning 7907 clauses out of 15818 with flag 35000/35029
5.65/4.92	c cleaning 8956 clauses out of 17911 with flag 45000/45029
6.05/5.36	c Got one! Elapsed wall clock time (in seconds):5.235
6.05/5.36	o 29422
6.16/5.44	c cleaning 7429 clauses out of 14887 with flag 1000/50961
6.65/5.98	c cleaning 6687 clauses out of 13458 with flag 7000/56961
7.25/6.59	c cleaning 6887 clauses out of 13773 with flag 14002/63963
8.05/7.31	c cleaning 7435 clauses out of 14884 with flag 22000/71961
8.86/8.11	c cleaning 8220 clauses out of 16449 with flag 31000/80961
9.76/9.00	c cleaning 9111 clauses out of 18230 with flag 41001/90962
10.77/10.00	c cleaning 10058 clauses out of 20119 with flag 52001/101962
11.78/11.09	c cleaning 11022 clauses out of 22060 with flag 64000/113961
13.09/12.30	c cleaning 12008 clauses out of 24038 with flag 77000/126961
14.00/13.25	c Got one! Elapsed wall clock time (in seconds):13.122
14.00/13.25	o 28861
14.41/13.66	c cleaning 13857 clauses out of 27717 with flag 5003/142648
15.02/14.23	c cleaning 9907 clauses out of 19857 with flag 11000/148645
15.72/14.92	c cleaning 8459 clauses out of 16950 with flag 18000/155645
16.53/15.73	c cleaning 8243 clauses out of 16491 with flag 26000/163645
17.43/16.62	c cleaning 8624 clauses out of 17249 with flag 35001/172646
18.34/17.60	c cleaning 9313 clauses out of 18625 with flag 45001/182646
19.54/18.73	c cleaning 10146 clauses out of 20312 with flag 56001/193646
20.85/20.01	c cleaning 11079 clauses out of 22165 with flag 68000/205645
22.15/21.37	c cleaning 12041 clauses out of 24087 with flag 81001/218646
23.67/22.85	c cleaning 13009 clauses out of 26045 with flag 95000/232645
25.27/24.47	c cleaning 14014 clauses out of 28036 with flag 110000/247645
27.07/26.22	c cleaning 15009 clauses out of 30023 with flag 126001/263646
28.87/28.01	c cleaning 15998 clauses out of 32013 with flag 143000/280645
30.78/29.95	c cleaning 17004 clauses out of 34015 with flag 161000/298645
32.80/31.98	c cleaning 17998 clauses out of 36011 with flag 180000/317645
35.01/34.11	c cleaning 18998 clauses out of 38013 with flag 200000/337645
37.30/36.40	c cleaning 20002 clauses out of 40015 with flag 221000/358645
39.71/38.83	c cleaning 20997 clauses out of 42013 with flag 243000/380645
42.21/41.39	c cleaning 22009 clauses out of 44017 with flag 266001/403646
44.82/43.93	c cleaning 22998 clauses out of 46007 with flag 290000/427645
47.44/46.55	c cleaning 24004 clauses out of 48011 with flag 315002/452647
50.15/49.22	c cleaning 24994 clauses out of 50005 with flag 341000/478645
53.06/52.12	c cleaning 25984 clauses out of 52011 with flag 368000/505645
55.89/55.00	c cleaning 27010 clauses out of 54029 with flag 396002/533647
58.99/58.00	c cleaning 28001 clauses out of 56018 with flag 425001/562646
62.19/61.21	c cleaning 28989 clauses out of 58016 with flag 455000/592645
65.41/64.45	c cleaning 29997 clauses out of 60027 with flag 486000/623645
68.91/67.90	c cleaning 31004 clauses out of 62030 with flag 518000/655645
72.53/71.57	c cleaning 31952 clauses out of 64026 with flag 551000/688645
76.25/75.22	c cleaning 33023 clauses out of 66074 with flag 585000/722645
79.97/78.91	c cleaning 34024 clauses out of 68052 with flag 620001/757646
82.20/81.17	c Got one! Elapsed wall clock time (in seconds):81.04
82.20/81.17	o 28836
82.61/81.57	c cleaning 30688 clauses out of 61424 with flag 5000/785042
83.33/82.24	c cleaning 18363 clauses out of 36736 with flag 11000/791042
84.04/82.92	c cleaning 12684 clauses out of 25374 with flag 18001/798043
84.74/83.67	c cleaning 10318 clauses out of 20689 with flag 26000/806042
85.64/84.55	c cleaning 9681 clauses out of 19371 with flag 35000/815042
86.64/85.52	c cleaning 9843 clauses out of 19691 with flag 45001/825043
87.64/86.55	c cleaning 10423 clauses out of 20848 with flag 56001/836043
88.75/87.68	c cleaning 11208 clauses out of 22424 with flag 68000/848042
90.07/88.95	c cleaning 12068 clauses out of 24216 with flag 81000/861042
91.48/90.32	c cleaning 13071 clauses out of 26148 with flag 95000/875042
92.88/91.78	c cleaning 14016 clauses out of 28077 with flag 110000/890042
94.51/93.32	c cleaning 15017 clauses out of 30062 with flag 126001/906043
96.11/94.91	c cleaning 16013 clauses out of 32044 with flag 143000/923042
97.81/96.69	c cleaning 17013 clauses out of 34031 with flag 161000/941042
99.72/98.58	c cleaning 18002 clauses out of 36018 with flag 180000/960042
101.72/100.50	c cleaning 19005 clauses out of 38016 with flag 200000/980042
103.82/102.62	c cleaning 20006 clauses out of 40011 with flag 221000/1001042
106.02/104.82	c cleaning 20994 clauses out of 42005 with flag 243000/1023042
108.32/107.17	c cleaning 22003 clauses out of 44012 with flag 266001/1046043
110.83/109.62	c cleaning 22996 clauses out of 46008 with flag 290000/1070042
113.53/112.32	c cleaning 24005 clauses out of 48013 with flag 315001/1095043
116.34/115.14	c cleaning 24998 clauses out of 50007 with flag 341000/1121042
119.14/117.97	c cleaning 25992 clauses out of 52009 with flag 368000/1148042
122.04/120.89	c cleaning 26999 clauses out of 54017 with flag 396000/1176042
125.14/123.91	c cleaning 28002 clauses out of 56021 with flag 425003/1205045
128.35/127.10	c cleaning 29008 clauses out of 58016 with flag 455000/1235042
131.65/130.47	c cleaning 29998 clauses out of 60010 with flag 486002/1266044
135.16/133.94	c cleaning 30998 clauses out of 62010 with flag 518000/1298042
138.66/137.48	c cleaning 32004 clauses out of 64012 with flag 551000/1331042
142.47/141.21	c cleaning 32991 clauses out of 66008 with flag 585000/1365042
145.98/144.74	c cleaning 34006 clauses out of 68017 with flag 620000/1400042
149.79/148.54	c cleaning 35005 clauses out of 70011 with flag 656000/1436042
153.89/152.61	c cleaning 35997 clauses out of 72007 with flag 693001/1473043
158.10/156.80	c cleaning 37000 clauses out of 74009 with flag 731000/1511042
162.11/160.89	c cleaning 38004 clauses out of 76014 with flag 770005/1550047
166.43/165.16	c cleaning 38991 clauses out of 78005 with flag 810000/1590042
170.77/169.49	c cleaning 40001 clauses out of 80014 with flag 851000/1631042
175.27/173.92	c cleaning 40985 clauses out of 82013 with flag 893000/1673042
179.80/178.46	c cleaning 42009 clauses out of 84028 with flag 936000/1716042
184.60/183.25	c cleaning 43007 clauses out of 86019 with flag 980000/1760042
189.42/188.07	c cleaning 44002 clauses out of 88012 with flag 1025000/1805042
194.22/192.86	c cleaning 44996 clauses out of 90010 with flag 1071000/1851042
199.42/198.07	c cleaning 45999 clauses out of 92014 with flag 1118000/1898042
204.72/203.37	c cleaning 46999 clauses out of 94015 with flag 1166000/1946042
210.07/208.69	c cleaning 48004 clauses out of 96016 with flag 1215000/1995042
215.61/214.10	c cleaning 48980 clauses out of 98012 with flag 1265000/2045042
221.02/219.53	c cleaning 50010 clauses out of 100034 with flag 1316002/2096044
226.66/225.19	c cleaning 50989 clauses out of 102022 with flag 1368000/2148042
232.28/230.79	c cleaning 52001 clauses out of 104035 with flag 1421002/2201044
233.70/232.13	c Got one! Elapsed wall clock time (in seconds):232.008
233.70/232.13	o 28785
233.93/232.35	c Got one! Elapsed wall clock time (in seconds):232.222
233.93/232.35	o 28765
233.93/232.35	c Got one! Elapsed wall clock time (in seconds):232.226
233.93/232.35	o 28657
234.13/232.51	c cleaning 35999 clauses out of 72017 with flag 1001/2221027
234.43/232.86	c cleaning 20998 clauses out of 42018 with flag 7001/2227027
234.84/233.26	c cleaning 14005 clauses out of 28019 with flag 14000/2234026
235.23/233.67	c cleaning 11001 clauses out of 22018 with flag 22004/2242030
235.75/234.12	c cleaning 9996 clauses out of 20013 with flag 31000/2251026
236.25/234.62	c cleaning 10000 clauses out of 20017 with flag 41000/2261026
236.86/235.22	c cleaning 10500 clauses out of 21018 with flag 52001/2272027
237.46/235.88	c cleaning 11250 clauses out of 22519 with flag 64002/2284028
238.76/237.11	c cleaning 12118 clauses out of 24267 with flag 77000/2297026
240.16/238.56	c cleaning 13075 clauses out of 26149 with flag 91000/2311026
241.67/240.00	c cleaning 14032 clauses out of 28074 with flag 106000/2326026
243.27/241.67	c cleaning 15004 clauses out of 30042 with flag 122000/2342026
244.97/243.38	c cleaning 16016 clauses out of 32039 with flag 139001/2359027
246.89/245.22	c cleaning 17009 clauses out of 34025 with flag 157003/2377029
248.78/247.18	c cleaning 17974 clauses out of 36013 with flag 176000/2396026
250.79/249.18	c cleaning 19017 clauses out of 38039 with flag 196000/2416026
252.99/251.31	c cleaning 20006 clauses out of 40022 with flag 217000/2437026
255.20/253.58	c cleaning 21006 clauses out of 42016 with flag 239000/2459026
257.70/256.03	c cleaning 21999 clauses out of 44011 with flag 262001/2482027
260.21/258.54	c cleaning 23002 clauses out of 46011 with flag 286000/2506026
262.91/261.21	c cleaning 23999 clauses out of 48009 with flag 311000/2531026
265.62/264.00	c cleaning 24995 clauses out of 50010 with flag 337000/2557026
268.62/266.96	c cleaning 26003 clauses out of 52016 with flag 364001/2584027
271.63/269.96	c cleaning 27006 clauses out of 54012 with flag 392000/2612026
274.74/273.07	c cleaning 27997 clauses out of 56006 with flag 421000/2641026
278.04/276.37	c cleaning 28991 clauses out of 58009 with flag 451000/2671026
281.25/279.59	c cleaning 30003 clauses out of 60018 with flag 482000/2702026
284.65/282.91	c cleaning 31008 clauses out of 62016 with flag 514001/2734027
288.16/286.43	c cleaning 31997 clauses out of 64007 with flag 547000/2767026
291.77/290.02	c cleaning 33003 clauses out of 66011 with flag 581001/2801027
295.27/293.58	c cleaning 33962 clauses out of 68007 with flag 616000/2836026
298.97/297.29	c cleaning 35006 clauses out of 70045 with flag 652000/2872026
302.58/300.88	c cleaning 36018 clauses out of 72040 with flag 689001/2909027
306.59/304.89	c cleaning 37003 clauses out of 74021 with flag 727000/2947026
310.81/309.02	c cleaning 38007 clauses out of 76019 with flag 766001/2986027
315.32/313.56	c cleaning 39002 clauses out of 78011 with flag 806000/3026026
319.73/317.92	c cleaning 40004 clauses out of 80009 with flag 847000/3067026
324.32/322.59	c cleaning 40993 clauses out of 82005 with flag 889000/3109026
328.94/327.19	c cleaning 42004 clauses out of 84013 with flag 932001/3152027
333.84/332.06	c cleaning 42995 clauses out of 86008 with flag 976000/3196026
338.65/336.88	c cleaning 43976 clauses out of 88013 with flag 1021000/3241026
343.78/341.90	c cleaning 45009 clauses out of 90037 with flag 1067000/3287026
348.61/346.75	c cleaning 45979 clauses out of 92028 with flag 1114000/3334026
354.03/352.12	c cleaning 47011 clauses out of 94049 with flag 1162000/3382026
359.34/357.49	c cleaning 48002 clauses out of 96038 with flag 1211000/3431026
362.16/360.21	c Got one! Elapsed wall clock time (in seconds):360.086
362.16/360.21	o 28388
362.46/360.60	c cleaning 40095 clauses out of 80202 with flag 5000/3463192
362.89/360.98	c cleaning 23047 clauses out of 46108 with flag 11001/3469193
363.30/361.39	c cleaning 15021 clauses out of 30061 with flag 18001/3476193
363.81/361.84	c cleaning 11503 clauses out of 23039 with flag 26000/3484192
364.32/362.32	c cleaning 10259 clauses out of 20536 with flag 35000/3493192
364.82/362.90	c cleaning 10132 clauses out of 20277 with flag 45000/3503192
365.54/363.51	c cleaning 10564 clauses out of 21147 with flag 56002/3514194
366.16/364.15	c cleaning 11279 clauses out of 22582 with flag 68001/3526193
366.86/364.89	c cleaning 12140 clauses out of 24302 with flag 81000/3539192
367.76/365.70	c cleaning 13071 clauses out of 26162 with flag 95000/3553192
368.67/366.63	c cleaning 14035 clauses out of 28091 with flag 110000/3568192
369.68/367.68	c cleaning 15021 clauses out of 30057 with flag 126001/3584193
370.89/368.80	c cleaning 16012 clauses out of 32036 with flag 143001/3601193
372.00/369.99	c cleaning 17001 clauses out of 34023 with flag 161000/3619192
373.41/371.36	c cleaning 18003 clauses out of 36025 with flag 180003/3638195
375.04/372.92	c cleaning 18978 clauses out of 38019 with flag 200000/3658192
377.14/375.06	c cleaning 20020 clauses out of 40041 with flag 221000/3679192
379.46/377.38	c cleaning 21004 clauses out of 42022 with flag 243001/3701193
381.87/379.71	c cleaning 22005 clauses out of 44017 with flag 266000/3724192
384.28/382.14	c cleaning 22993 clauses out of 46012 with flag 290000/3748192
386.79/384.64	c cleaning 24004 clauses out of 48020 with flag 315001/3773193
389.69/387.52	c cleaning 25003 clauses out of 50015 with flag 341000/3799192
392.49/390.31	c cleaning 26000 clauses out of 52012 with flag 368000/3826192
395.40/393.23	c cleaning 26999 clauses out of 54012 with flag 396000/3854192
398.52/396.36	c cleaning 28006 clauses out of 56014 with flag 425001/3883193
401.74/399.52	c cleaning 28965 clauses out of 58007 with flag 455000/3913192
405.06/402.81	c cleaning 29978 clauses out of 60042 with flag 486000/3944192
408.28/406.06	c cleaning 31025 clauses out of 62064 with flag 518000/3976192
411.68/409.42	c cleaning 32018 clauses out of 64039 with flag 551000/4009192
415.09/412.85	c cleaning 32985 clauses out of 66021 with flag 585000/4043192
418.60/416.35	c cleaning 34009 clauses out of 68038 with flag 620002/4078194
422.20/419.90	c cleaning 35009 clauses out of 70028 with flag 656001/4114193
426.00/423.72	c cleaning 36010 clauses out of 72019 with flag 693001/4151193
429.72/427.48	c cleaning 36965 clauses out of 74008 with flag 731000/4189192
433.73/431.40	c cleaning 38012 clauses out of 76044 with flag 770001/4228193
437.86/435.56	c cleaning 39010 clauses out of 78031 with flag 810000/4268192
442.05/439.79	c cleaning 40003 clauses out of 80021 with flag 851000/4309192
446.66/444.39	c cleaning 41005 clauses out of 82018 with flag 893000/4351192
451.18/448.83	c cleaning 42003 clauses out of 84016 with flag 936003/4394195
455.68/453.32	c cleaning 42998 clauses out of 86012 with flag 980002/4438194
460.38/458.05	c cleaning 44008 clauses out of 88015 with flag 1025003/4483195
465.39/463.00	c cleaning 44992 clauses out of 90005 with flag 1071001/4529193
470.20/467.83	c cleaning 45996 clauses out of 92012 with flag 1118000/4576192
475.34/472.93	c cleaning 47005 clauses out of 94016 with flag 1166000/4624192
480.73/478.39	c cleaning 47979 clauses out of 96014 with flag 1215003/4673195
486.24/483.88	c cleaning 49010 clauses out of 98033 with flag 1265001/4723193
491.54/489.11	c cleaning 50000 clauses out of 100022 with flag 1316000/4774192
497.26/494.81	c cleaning 51005 clauses out of 102023 with flag 1368001/4826193
502.99/500.56	c cleaning 51974 clauses out of 104018 with flag 1421001/4879193
508.71/506.22	c cleaning 53012 clauses out of 106043 with flag 1475000/4933192
514.71/512.21	c cleaning 54017 clauses out of 108033 with flag 1530002/4988194
520.46/518.00	c cleaning 54982 clauses out of 110014 with flag 1586000/5044192
526.39/523.89	c cleaning 56015 clauses out of 112033 with flag 1643001/5101193
532.50/529.99	c cleaning 57008 clauses out of 114019 with flag 1701002/5159194
539.11/536.53	c cleaning 58001 clauses out of 116009 with flag 1760000/5218192
545.83/543.23	c cleaning 58997 clauses out of 118009 with flag 1820001/5278193
552.65/550.05	c cleaning 60002 clauses out of 120012 with flag 1881001/5339193
559.75/557.18	c cleaning 61001 clauses out of 122009 with flag 1943000/5401192
566.77/564.18	c cleaning 62003 clauses out of 124009 with flag 2006001/5464193
573.78/571.12	c cleaning 62986 clauses out of 126005 with flag 2070000/5528192
580.68/578.06	c cleaning 63999 clauses out of 128019 with flag 2135000/5593192
587.69/585.02	c cleaning 65004 clauses out of 130021 with flag 2201001/5659193
594.61/591.91	c cleaning 66001 clauses out of 132017 with flag 2268001/5726193
602.23/599.59	c cleaning 66987 clauses out of 134015 with flag 2336000/5794192
609.55/606.88	c cleaning 67989 clauses out of 136028 with flag 2405000/5863192
617.07/614.39	c cleaning 68986 clauses out of 138039 with flag 2475000/5933192
625.90/623.16	c cleaning 70012 clauses out of 140053 with flag 2546000/6004192
633.92/631.10	c cleaning 71011 clauses out of 142041 with flag 2618000/6076192
642.13/639.35	c cleaning 72002 clauses out of 144031 with flag 2691001/6149193
650.86/648.00	c cleaning 73009 clauses out of 146028 with flag 2765000/6223192
659.27/656.44	c cleaning 74004 clauses out of 148020 with flag 2840001/6298193
667.68/664.81	c cleaning 75005 clauses out of 150015 with flag 2916000/6374192
676.79/673.92	c cleaning 75995 clauses out of 152010 with flag 2993000/6451192
685.62/682.78	c cleaning 76996 clauses out of 154015 with flag 3071000/6529192
694.46/691.51	c cleaning 78002 clauses out of 156019 with flag 3150000/6608192
703.36/700.42	c cleaning 79007 clauses out of 158018 with flag 3230001/6688193
713.37/710.40	c cleaning 79997 clauses out of 160010 with flag 3311000/6769192
724.30/721.34	c cleaning 80994 clauses out of 162014 with flag 3393001/6851193
735.20/732.25	c cleaning 82006 clauses out of 164019 with flag 3476000/6934192
745.20/742.27	c cleaning 83006 clauses out of 166015 with flag 3560002/7018194
756.91/753.93	c cleaning 83991 clauses out of 168007 with flag 3645000/7103192
769.14/766.19	c cleaning 84999 clauses out of 170016 with flag 3731000/7189192
780.48/777.47	c cleaning 86002 clauses out of 172017 with flag 3818000/7276192
792.80/789.79	c cleaning 87003 clauses out of 174016 with flag 3906001/7364193
804.96/801.80	c cleaning 88001 clauses out of 176014 with flag 3995002/7453194
816.69/813.60	c cleaning 88999 clauses out of 178011 with flag 4085000/7543192
829.01/825.80	c cleaning 90001 clauses out of 180012 with flag 4176000/7634192
841.45/838.27	c cleaning 91003 clauses out of 182011 with flag 4268000/7726192
853.57/850.31	c cleaning 91998 clauses out of 184009 with flag 4361001/7819193
866.07/862.82	c cleaning 92999 clauses out of 186011 with flag 4455001/7913193
879.00/875.75	c cleaning 93996 clauses out of 188011 with flag 4550000/8008192
890.64/887.39	c cleaning 95001 clauses out of 190017 with flag 4646002/8104194
903.28/899.98	c cleaning 95999 clauses out of 192014 with flag 4743000/8201192
917.59/914.25	c cleaning 97003 clauses out of 194016 with flag 4841001/8299193
930.90/927.59	c cleaning 97992 clauses out of 196012 with flag 4940000/8398192
944.03/940.60	c cleaning 99010 clauses out of 198021 with flag 5040001/8498193
957.97/954.40	c cleaning 99999 clauses out of 200011 with flag 5141001/8599193
971.69/968.19	c cleaning 101000 clauses out of 202011 with flag 5243000/8701192
985.83/982.25	c cleaning 101999 clauses out of 204012 with flag 5346001/8804193
999.37/995.70	c cleaning 103003 clauses out of 206014 with flag 5450002/8908194
1013.39/1009.75	c cleaning 104003 clauses out of 208012 with flag 5555003/9013195
1027.99/1024.39	c cleaning 104999 clauses out of 210008 with flag 5661002/9119194
1041.53/1037.80	c cleaning 105977 clauses out of 212007 with flag 5768000/9226192
1054.25/1050.50	c cleaning 107005 clauses out of 214031 with flag 5876001/9334193
1068.47/1064.76	c cleaning 108005 clauses out of 216026 with flag 5985001/9443193
1082.39/1078.67	c cleaning 109005 clauses out of 218020 with flag 6095000/9553192
1097.92/1094.15	c cleaning 109990 clauses out of 220015 with flag 6206000/9664192
1111.47/1107.67	c cleaning 110951 clauses out of 222025 with flag 6318000/9776192
1124.69/1120.89	c cleaning 112011 clauses out of 224076 with flag 6431002/9889194
1140.71/1136.88	c cleaning 113028 clauses out of 226063 with flag 6545000/10003192
1157.44/1153.55	c cleaning 114006 clauses out of 228035 with flag 6660000/10118192
1173.66/1169.73	c cleaning 115005 clauses out of 230029 with flag 6776000/10234192
1189.89/1185.98	c cleaning 116007 clauses out of 232024 with flag 6893000/10351192
1206.60/1202.64	c cleaning 116986 clauses out of 234017 with flag 7011000/10469192
1223.21/1219.26	c cleaning 118005 clauses out of 236031 with flag 7130000/10588192
1239.81/1235.87	c cleaning 119004 clauses out of 238032 with flag 7250006/10708198
1254.33/1250.31	c cleaning 119995 clauses out of 240022 with flag 7371000/10829192
1255.23/1251.24	c Got one! Elapsed wall clock time (in seconds):1251.112
1255.23/1251.24	o 28362
1256.04/1252.01	c cleaning 67459 clauses out of 134930 with flag 5000/10844095
1256.44/1252.48	c cleaning 36730 clauses out of 73474 with flag 11003/10850098
1256.97/1252.94	c cleaning 21864 clauses out of 43742 with flag 18001/10857096
1257.47/1253.42	c cleaning 14930 clauses out of 29877 with flag 26000/10865095
1257.98/1253.92	c cleaning 11965 clauses out of 23948 with flag 35001/10874096
1258.49/1254.49	c cleaning 10982 clauses out of 21982 with flag 45000/10884095
1259.10/1255.09	c cleaning 10992 clauses out of 22001 with flag 56001/10895096
1259.80/1255.73	c cleaning 11493 clauses out of 23008 with flag 68000/10907095
1260.50/1256.43	c cleaning 12248 clauses out of 24516 with flag 81001/10920096
1261.31/1257.23	c cleaning 13129 clauses out of 26267 with flag 95000/10934095
1262.22/1258.14	c cleaning 14053 clauses out of 28138 with flag 110000/10949095
1263.23/1259.13	c cleaning 15038 clauses out of 30085 with flag 126000/10965095
1264.35/1260.26	c cleaning 16017 clauses out of 32047 with flag 143000/10982095
1265.57/1261.47	c cleaning 17009 clauses out of 34030 with flag 161000/11000095
1266.88/1262.76	c cleaning 17999 clauses out of 36021 with flag 180000/11019095
1268.29/1264.10	c cleaning 19003 clauses out of 38022 with flag 200000/11039095
1269.60/1265.49	c cleaning 19999 clauses out of 40021 with flag 221002/11060097
1271.20/1267.04	c cleaning 21000 clauses out of 42020 with flag 243000/11082095
1273.21/1269.02	c cleaning 22002 clauses out of 44020 with flag 266000/11105095
1275.62/1271.46	c cleaning 23009 clauses out of 46019 with flag 290001/11129096
1278.14/1273.95	c cleaning 23987 clauses out of 48009 with flag 315000/11154095
1280.96/1276.73	c cleaning 25002 clauses out of 50022 with flag 341000/11180095
1283.97/1279.71	c cleaning 26000 clauses out of 52020 with flag 368000/11207095
1286.99/1282.77	c cleaning 27008 clauses out of 54021 with flag 396001/11235096
1290.22/1285.94	c cleaning 28004 clauses out of 56013 with flag 425001/11264096
1293.33/1289.04	c cleaning 28991 clauses out of 58008 with flag 455000/11294095
1296.55/1292.21	c cleaning 30008 clauses out of 60018 with flag 486001/11325096
1297.07/1292.77	c Got one! Elapsed wall clock time (in seconds):1292.644
1297.07/1292.77	o 28303
1297.37/1293.04	c cleaning 20374 clauses out of 40763 with flag 5001/11335849
1297.67/1293.39	c cleaning 13186 clauses out of 26389 with flag 11001/11341849
1298.10/1293.76	c cleaning 10093 clauses out of 20204 with flag 18002/11348850
1298.52/1294.19	c cleaning 9035 clauses out of 18109 with flag 26000/11356848
1299.05/1294.65	c cleaning 9031 clauses out of 18074 with flag 35000/11365848
1299.67/1295.20	c cleaning 9515 clauses out of 19043 with flag 45000/11375848
1300.19/1295.77	c cleaning 10250 clauses out of 20528 with flag 56000/11386848
1300.79/1296.38	c cleaning 11130 clauses out of 22278 with flag 68000/11398848
1301.51/1297.09	c cleaning 12067 clauses out of 24149 with flag 81001/11411849
1302.33/1297.88	c cleaning 13032 clauses out of 26082 with flag 95001/11425849
1303.35/1298.83	c cleaning 14015 clauses out of 28049 with flag 110000/11440848
1304.37/1299.85	c cleaning 15008 clauses out of 30034 with flag 126000/11456848
1305.49/1300.98	c cleaning 16003 clauses out of 32026 with flag 143000/11473848
1306.81/1302.20	c cleaning 17005 clauses out of 34024 with flag 161001/11491849
1308.03/1303.47	c cleaning 17998 clauses out of 36018 with flag 180000/11510848
1309.44/1304.81	c cleaning 19006 clauses out of 38021 with flag 200001/11530849
1310.64/1306.07	c cleaning 20000 clauses out of 40014 with flag 221000/11551848
1312.06/1307.47	c cleaning 20998 clauses out of 42014 with flag 243000/11573848
1313.88/1309.20	c cleaning 22000 clauses out of 44016 with flag 266000/11596848
1316.28/1311.68	c cleaning 23003 clauses out of 46017 with flag 290001/11620849
1318.79/1314.13	c cleaning 24000 clauses out of 48013 with flag 315000/11645848
1321.40/1316.78	c cleaning 25000 clauses out of 50013 with flag 341000/11671848
1324.41/1319.72	c cleaning 25962 clauses out of 52013 with flag 368000/11698848
1326.82/1322.18	c Got one! Elapsed wall clock time (in seconds):1322.051
1326.82/1322.18	o 28158
1327.12/1322.47	c cleaning 28377 clauses out of 56776 with flag 5000/11729573
1327.52/1322.81	c cleaning 17189 clauses out of 34400 with flag 11001/11735574
1327.83/1323.18	c cleaning 12093 clauses out of 24210 with flag 18000/11742573
1328.37/1323.61	c cleaning 10048 clauses out of 20117 with flag 26000/11750573
1328.78/1324.07	c cleaning 9526 clauses out of 19069 with flag 35000/11759573
1329.28/1324.59	c cleaning 9762 clauses out of 19548 with flag 45005/11769578
1329.89/1325.18	c cleaning 10382 clauses out of 20781 with flag 56000/11780573
1330.59/1325.82	c cleaning 11194 clauses out of 22400 with flag 68001/11792574
1331.30/1326.51	c cleaning 12093 clauses out of 24206 with flag 81001/11805574
1332.00/1327.29	c cleaning 13048 clauses out of 26113 with flag 95001/11819574
1333.02/1328.22	c cleaning 14026 clauses out of 28065 with flag 110001/11834574
1334.03/1329.24	c cleaning 15008 clauses out of 30038 with flag 126000/11850573
1335.16/1330.37	c cleaning 16005 clauses out of 32030 with flag 143000/11867573
1336.37/1331.59	c cleaning 17006 clauses out of 34025 with flag 161000/11885573
1337.78/1332.91	c cleaning 18003 clauses out of 36020 with flag 180001/11904574
1339.09/1334.29	c cleaning 18999 clauses out of 38020 with flag 200004/11924577
1340.49/1335.63	c cleaning 20000 clauses out of 40017 with flag 221000/11945573
1341.89/1337.04	c cleaning 20999 clauses out of 42018 with flag 243001/11967574
1343.40/1338.59	c cleaning 22006 clauses out of 44018 with flag 266000/11990573
1345.22/1340.39	c cleaning 22996 clauses out of 46012 with flag 290000/12014573
1347.02/1342.19	c cleaning 23997 clauses out of 48017 with flag 315001/12039574
1349.06/1344.14	c cleaning 24997 clauses out of 50019 with flag 341000/12065573
1351.07/1346.12	c cleaning 26005 clauses out of 52022 with flag 368000/12092573
1353.19/1348.21	c cleaning 26999 clauses out of 54017 with flag 396000/12120573
1355.30/1350.34	c cleaning 27997 clauses out of 56019 with flag 425001/12149574
1357.30/1352.39	c cleaning 28999 clauses out of 58024 with flag 455003/12179576
1359.51/1354.58	c cleaning 30001 clauses out of 60022 with flag 486000/12210573
1362.02/1357.00	c cleaning 30999 clauses out of 62022 with flag 518001/12242574
1364.43/1359.48	c cleaning 32004 clauses out of 64025 with flag 551003/12275576
1367.24/1362.28	c cleaning 33003 clauses out of 66018 with flag 585000/12309573
1370.35/1365.31	c cleaning 33994 clauses out of 68015 with flag 620000/12344573
1373.96/1368.95	c cleaning 35004 clauses out of 70021 with flag 656000/12380573
1377.89/1372.82	c cleaning 36007 clauses out of 72017 with flag 693000/12417573
1381.70/1376.61	c cleaning 36995 clauses out of 74011 with flag 731001/12455574
1385.61/1380.53	c cleaning 38000 clauses out of 76015 with flag 770000/12494573
1389.71/1384.66	c cleaning 39007 clauses out of 78015 with flag 810000/12534573
1394.01/1388.95	c cleaning 39996 clauses out of 80008 with flag 851000/12575573
1398.42/1393.34	c cleaning 40997 clauses out of 82012 with flag 893000/12617573
1402.93/1397.84	c cleaning 42008 clauses out of 84017 with flag 936002/12660575
1407.55/1402.46	c cleaning 42994 clauses out of 86007 with flag 980000/12704573
1412.35/1407.29	c cleaning 44004 clauses out of 88015 with flag 1025002/12749575
1417.39/1412.23	c cleaning 44994 clauses out of 90009 with flag 1071000/12795573
1422.31/1417.15	c cleaning 45991 clauses out of 92015 with flag 1118000/12842573
1427.52/1422.32	c cleaning 47008 clauses out of 94024 with flag 1166000/12890573
1432.93/1427.73	c cleaning 47999 clauses out of 96016 with flag 1215000/12939573
1438.25/1433.09	c cleaning 49008 clauses out of 98019 with flag 1265002/12989575
1443.98/1438.72	c cleaning 49990 clauses out of 100009 with flag 1316000/13040573
1449.67/1444.41	c cleaning 51002 clauses out of 102019 with flag 1368000/13092573
1455.48/1450.23	c cleaning 52003 clauses out of 104018 with flag 1421001/13145574
1461.49/1456.28	c cleaning 53000 clauses out of 106014 with flag 1475000/13199573
1467.69/1462.40	c cleaning 54000 clauses out of 108014 with flag 1530000/13254573
1473.81/1468.59	c cleaning 55004 clauses out of 110014 with flag 1586000/13310573
1480.12/1474.84	c cleaning 56003 clauses out of 112011 with flag 1643001/13367574
1486.85/1481.60	c cleaning 56995 clauses out of 114007 with flag 1701000/13425573
1493.37/1488.06	c cleaning 57994 clauses out of 116012 with flag 1760000/13484573
1500.08/1494.76	c cleaning 59008 clauses out of 118020 with flag 1820002/13544575
1506.70/1501.38	c cleaning 60003 clauses out of 120010 with flag 1881000/13605573
1513.21/1507.86	c cleaning 61000 clauses out of 122008 with flag 1943001/13667574
1519.92/1514.60	c cleaning 61991 clauses out of 124007 with flag 2006000/13730573
1527.05/1521.60	c cleaning 62999 clauses out of 126016 with flag 2070000/13794573
1533.87/1528.46	c cleaning 63999 clauses out of 128017 with flag 2135000/13859573
1540.89/1535.45	c cleaning 64991 clauses out of 130018 with flag 2201000/13925573
1548.31/1542.82	c cleaning 66003 clauses out of 132029 with flag 2268002/13992575
1555.54/1550.07	c cleaning 67012 clauses out of 134024 with flag 2336000/14060573
1563.05/1557.60	c cleaning 68003 clauses out of 136013 with flag 2405001/14129574
1571.07/1565.56	c cleaning 68998 clauses out of 138009 with flag 2475000/14199573
1579.61/1574.07	c cleaning 69999 clauses out of 140012 with flag 2546001/14270574
1587.90/1582.33	c cleaning 70999 clauses out of 142012 with flag 2618000/14342573
1595.81/1590.26	c cleaning 71989 clauses out of 144013 with flag 2691000/14415573
1603.52/1597.98	c cleaning 73003 clauses out of 146025 with flag 2765001/14489574
1611.75/1606.13	c cleaning 74005 clauses out of 148021 with flag 2840000/14564573
1620.46/1614.84	c cleaning 74996 clauses out of 150016 with flag 2916000/14640573
1629.26/1623.61	c cleaning 76006 clauses out of 152020 with flag 2993000/14717573
1637.99/1632.38	c cleaning 77004 clauses out of 154014 with flag 3071000/14795573
1646.80/1641.13	c cleaning 77982 clauses out of 156010 with flag 3150000/14874573
1655.92/1650.22	c cleaning 79006 clauses out of 158028 with flag 3230000/14954573
1664.92/1659.24	c cleaning 80002 clauses out of 160023 with flag 3311001/15035574
1674.54/1668.84	c cleaning 81007 clauses out of 162020 with flag 3393000/15117573
1684.87/1679.15	c cleaning 82001 clauses out of 164014 with flag 3476001/15200574
1695.39/1689.68	c cleaning 82997 clauses out of 166014 with flag 3560002/15284575
1705.91/1700.14	c cleaning 84003 clauses out of 168016 with flag 3645001/15369574
1717.12/1711.36	c cleaning 85001 clauses out of 170012 with flag 3731000/15455573
1727.95/1722.11	c cleaning 85994 clauses out of 172011 with flag 3818000/15542573
1737.95/1732.14	c cleaning 87001 clauses out of 174017 with flag 3906000/15630573
1747.77/1741.94	c cleaning 88007 clauses out of 176016 with flag 3995000/15719573
1758.99/1753.15	c cleaning 88994 clauses out of 178009 with flag 4085000/15809573
1770.00/1764.18	c cleaning 90001 clauses out of 180016 with flag 4176001/15900574
1781.82/1775.96	c cleaning 90993 clauses out of 182014 with flag 4268000/15992573
1793.83/1787.97	c cleaning 92005 clauses out of 184022 with flag 4361001/16085574
1800.06/1794.11	c starts		: 361
1800.06/1794.11	c conflicts		: 16141135
1800.06/1794.11	c decisions		: 78924609
1800.06/1794.11	c propagations		: 7707569714
1800.06/1794.11	c inspects		: 14070485508
1800.06/1794.11	c shortcuts		: 0
1800.06/1794.11	c learnt literals	: 0
1800.06/1794.11	c learnt binary clauses	: 0
1800.06/1794.11	c learnt ternary clauses	: 0
1800.06/1794.11	c learnt constraints	: 16141136
1800.06/1794.11	c ignored constraints	: 0
1800.06/1794.12	c root simplifications	: 0
1800.06/1794.12	c removed literals (reason simplification)	: 0
1800.06/1794.12	c reason swapping (by a shorter reason)	: 0
1800.06/1794.12	c Calls to reduceDB	: 396
1800.06/1794.12	c number of reductions to clauses (during analyze)	: 0
1800.06/1794.12	c number of learned constraints concerned by reduction	: 0
1800.06/1794.12	c number of learning phase by resolution	: 0
1800.06/1794.12	c number of learning phase by cutting planes	: 0
1800.06/1794.12	c speed (assignments/second)	: 4296738.703849162
1800.06/1794.12	c non guided choices	0
1800.06/1794.14	c learnt constraints type 
1800.06/1794.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 147787
1800.06/1794.14	c constraints type 
1800.06/1794.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 649
1800.06/1794.14	c org.sat4j.minisat.constraints.cnf.UnitClause => 3
1800.06/1794.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1753
1800.06/1794.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.06/1794.14	c 2406 constraints processed.
1800.06/1794.14	s SATISFIABLE
1800.06/1794.14	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 
1800.06/1794.14	c objective function=28158
1800.06/1794.14	c Total wall clock time (in seconds): 1794.02

Verifier Data 

OK	28158

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-3688529-1337884712/watcher-3688529-1337884712 -o /tmp/evaluation-result-3688529-1337884712/solver-3688529-1337884712 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688529-1337884712.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.92 1.98 1.99 3/194 29007
/proc/meminfo: memFree=29799780/32873844 swapFree=7116/7116
[pid=29007] ppid=29005 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/29007/stat : 29007 (java) D 29005 29007 27542 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 254596123 9515008 182 33554432000 1073741824 1073778376 140737101653680 140737101644712 240565173941 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/29007/statm: 2323 182 140 9 0 71 0

[startup+0.033838 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 29007
/proc/meminfo: memFree=29799780/32873844 swapFree=7116/7116
[pid=29007] ppid=29005 vsize=9016616 CPUtime=0.01 cores=0,2,4,6
/proc/29007/stat : 29007 (java) S 29005 29007 27542 0 -1 4202496 2777 0 1 0 1 0 0 0 20 0 10 0 254596123 9233014784 3478 33554432000 1073741824 1073778376 140733665130336 140733665121472 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29007/statm: 2254154 3478 1538 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616

[startup+0.100254 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 29007
/proc/meminfo: memFree=29799780/32873844 swapFree=7116/7116
[pid=29007] ppid=29005 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/29007/stat : 29007 (java) S 29005 29007 27542 0 -1 4202496 3988 0 1 0 7 1 0 0 20 0 18 0 254596123 9787813888 5191 33554432000 1073741824 1073778376 140733665130336 140733665121472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29007/statm: 2389603 5191 2036 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300215 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 29007
/proc/meminfo: memFree=29799780/32873844 swapFree=7116/7116
[pid=29007] ppid=29005 vsize=9558412 CPUtime=0.45 cores=0,2,4,6
/proc/29007/stat : 29007 (java) S 29005 29007 27542 0 -1 4202496 5473 0 1 0 44 1 0 0 20 0 18 0 254596123 9787813888 7884 33554432000 1073741824 1073778376 140733665130336 140733665121472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29007/statm: 2389603 7884 2223 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558412

[startup+0.70022 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 29007
/proc/meminfo: memFree=29799780/32873844 swapFree=7116/7116
[pid=29007] ppid=29005 vsize=9624976 CPUtime=1.32 cores=0,2,4,6
/proc/29007/stat : 29007 (java) S 29005 29007 27542 0 -1 4202496 9024 0 1 0 130 2 0 0 20 0 19 0 254596123 9855975424 10106 33554432000 1073741824 1073778376 140733665130336 140733665121472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29007/statm: 2406244 10106 2243 9 0 2396937 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 9624976

[startup+1.50061 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 29026
/proc/meminfo: memFree=29765504/32873844 swapFree=7116/7116
[pid=29007] ppid=29005 vsize=9624976 CPUtime=2.16 cores=0,2,4,6
/proc/29007/stat : 29007 (java) S 29005 29007 27542 0 -1 4202496 9083 0 1 0 214 2 0 0 20 0 19 0 254596123 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140733665121472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29007/statm: 2406244 12204 2274 9 0 2396937 0
[pid=29007/tid=29009] ppid=29005 vsize=9624976 CPUtime=1.45 cores=0,2,4,6
/proc/29007/task/29009/stat : 29009 (java) R 29005 29007 27542 0 -1 4202560 2462 0 1 0 144 1 0 0 20 0 19 0 254596124 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140553020915864 140552889307447 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29010] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29010/stat : 29010 (java) S 29005 29007 27542 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140553009977512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29011] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29011/stat : 29011 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140553008924968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29012] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29012/stat : 29012 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140553007872424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29007/tid=29013] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29013/stat : 29013 (java) S 29005 29007 27542 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140552861071912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29014] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29014/stat : 29014 (java) S 29005 29007 27542 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140552860019368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29007/tid=29015] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29015/stat : 29015 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140552858966824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29016] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29016/stat : 29016 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140552857914280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29017] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29017/stat : 29017 (java) S 29005 29007 27542 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140552856861736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29018] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29018/stat : 29018 (java) S 29005 29007 27542 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 254596127 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140552844662888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29019] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29019/stat : 29019 (java) S 29005 29007 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254596127 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140552843609208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29020] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29020/stat : 29020 (java) S 29005 29007 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254596127 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140552842556552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29021] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29021/stat : 29021 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140552841505296 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29022] ppid=29005 vsize=9624976 CPUtime=0.36 cores=0,2,4,6
/proc/29007/task/29022/stat : 29022 (java) S 29005 29007 27542 0 -1 4202560 3209 0 0 0 36 0 0 0 20 0 19 0 254596130 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140552840452664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29023] ppid=29005 vsize=9624976 CPUtime=0.3 cores=0,2,4,6
/proc/29007/task/29023/stat : 29023 (java) S 29005 29007 27542 0 -1 4202560 2171 0 0 0 30 0 0 0 20 0 19 0 254596130 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140552839400120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29024] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29024/stat : 29024 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140552838347768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29025] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29025/stat : 29025 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140552837295432 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29026] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29026/stat : 29026 (java) S 29005 29007 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254596153 9855975424 12204 33554432000 1073741824 1073778376 140733665130336 140552836240168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 9624976

[startup+3.10065 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 29026
/proc/meminfo: memFree=29758864/32873844 swapFree=7116/7116
[pid=29007] ppid=29005 vsize=9624976 CPUtime=3.83 cores=0,2,4,6
/proc/29007/stat : 29007 (java) S 29005 29007 27542 0 -1 4202496 9101 0 1 0 380 3 0 0 20 0 19 0 254596123 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140733665121472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29007/statm: 2406244 13238 2274 9 0 2396937 0
[pid=29007/tid=29009] ppid=29005 vsize=9624976 CPUtime=3.01 cores=0,2,4,6
/proc/29007/task/29009/stat : 29009 (java) R 29005 29007 27542 0 -1 4202560 2465 0 1 0 300 1 0 0 20 0 19 0 254596124 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140553020916120 140552889307569 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29010] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29010/stat : 29010 (java) S 29005 29007 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140553009977512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29011] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29011/stat : 29011 (java) S 29005 29007 27542 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140553008924968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29012] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29012/stat : 29012 (java) S 29005 29007 27542 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140553007872424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29007/tid=29013] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29013/stat : 29013 (java) S 29005 29007 27542 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140552861071912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29007/tid=29014] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29014/stat : 29014 (java) S 29005 29007 27542 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140552860019368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29015] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29015/stat : 29015 (java) S 29005 29007 27542 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140552858966824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29016] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29016/stat : 29016 (java) S 29005 29007 27542 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140552857914280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29017] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29017/stat : 29017 (java) S 29005 29007 27542 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140552856861736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29018] ppid=29005 vsize=9624976 CPUtime=0.03 cores=0,2,4,6
/proc/29007/task/29018/stat : 29018 (java) S 29005 29007 27542 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 254596127 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140552844662888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29019] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29019/stat : 29019 (java) S 29005 29007 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254596127 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140552843609208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29020] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29020/stat : 29020 (java) S 29005 29007 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254596127 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140552842556552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29021] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29021/stat : 29021 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140552841505296 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29022] ppid=29005 vsize=9624976 CPUtime=0.4 cores=0,2,4,6
/proc/29007/task/29022/stat : 29022 (java) R 29005 29007 27542 0 -1 4202560 3209 0 0 0 40 0 0 0 20 0 19 0 254596130 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140552840438456 140553027891282 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29023] ppid=29005 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/29007/task/29023/stat : 29023 (java) S 29005 29007 27542 0 -1 4202560 2171 0 0 0 32 0 0 0 20 0 19 0 254596130 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140552839400120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29024] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29024/stat : 29024 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140552838347768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29025] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29025/stat : 29025 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140552837295432 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29026] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29026/stat : 29026 (java) S 29005 29007 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254596153 9855975424 13238 33554432000 1073741824 1073778376 140733665130336 140552836240168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 9624976

[startup+6.30069 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 29026
/proc/meminfo: memFree=29754644/32873844 swapFree=7116/7116
[pid=29007] ppid=29005 vsize=9624976 CPUtime=7.05 cores=0,2,4,6
/proc/29007/stat : 29007 (java) S 29005 29007 27542 0 -1 4202496 9118 0 1 0 702 3 0 0 20 0 19 0 254596123 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140733665121472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29007/statm: 2406244 13068 2274 9 0 2396937 0
[pid=29007/tid=29009] ppid=29005 vsize=9624976 CPUtime=6.14 cores=0,2,4,6
/proc/29007/task/29009/stat : 29009 (java) R 29005 29007 27542 0 -1 4202560 2469 0 1 0 613 1 0 0 20 0 19 0 254596124 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140553020916120 140552889331718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29010] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29010/stat : 29010 (java) S 29005 29007 27542 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140553009977512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29011] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29011/stat : 29011 (java) S 29005 29007 27542 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140553008924968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29012] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29012/stat : 29012 (java) S 29005 29007 27542 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140553007872424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29007/tid=29013] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29013/stat : 29013 (java) S 29005 29007 27542 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140552861071912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29007/tid=29014] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29014/stat : 29014 (java) S 29005 29007 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140552860019368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29015] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29015/stat : 29015 (java) S 29005 29007 27542 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140552858966824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29016] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29016/stat : 29016 (java) S 29005 29007 27542 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140552857914280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29017] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29017/stat : 29017 (java) S 29005 29007 27542 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254596125 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140552856861736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29018] ppid=29005 vsize=9624976 CPUtime=0.07 cores=0,2,4,6
/proc/29007/task/29018/stat : 29018 (java) S 29005 29007 27542 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 19 0 254596127 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140552844662888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29019] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29019/stat : 29019 (java) S 29005 29007 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254596127 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140552843609208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29020] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29020/stat : 29020 (java) S 29005 29007 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254596127 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140552842556552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29021] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29021/stat : 29021 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140552841505296 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29022] ppid=29005 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/29007/task/29022/stat : 29022 (java) S 29005 29007 27542 0 -1 4202560 3210 0 0 0 42 0 0 0 20 0 19 0 254596130 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140552840452664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29023] ppid=29005 vsize=9624976 CPUtime=0.32 cores=0,2,4,6
/proc/29007/task/29023/stat : 29023 (java) S 29005 29007 27542 0 -1 4202560 2171 0 0 0 32 0 0 0 20 0 19 0 254596130 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140552839400120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29024] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29024/stat : 29024 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140552838347768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29025] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29025/stat : 29025 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140552837295432 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29026] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29026/stat : 29026 (java) S 29005 29007 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254596153 9855975424 13068 33554432000 1073741824 1073778376 140733665130336 140552836240168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=29007/tid=29022] ppid=29005 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/29007/task/29022/stat : 29022 (java) S 29005 29007 27542 0 -1 4202560 3210 0 0 0 43 0 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552840452664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29023] ppid=29005 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/29007/task/29023/stat : 29023 (java) S 29005 29007 27542 0 -1 4202560 2200 0 0 0 39 0 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552839400120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29007/tid=29024] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29024/stat : 29024 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552838347768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29025] ppid=29005 vsize=9624976 CPUtime=0.42 cores=0,2,4,6
/proc/29007/task/29025/stat : 29025 (java) S 29005 29007 27542 0 -1 4202560 99 0 0 0 22 20 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552837295432 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29026] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29026/stat : 29026 (java) S 29005 29007 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254596153 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552836240168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1728.15
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 29122
/proc/meminfo: memFree=29672432/32873844 swapFree=7116/7116
[pid=29007] ppid=29005 vsize=9624976 CPUtime=1788.23 cores=0,2,4,6
/proc/29007/stat : 29007 (java) S 29005 29007 27542 0 -1 4202496 10878 0 1 0 178787 36 0 0 20 0 19 0 254596123 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140733665121472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29007/statm: 2406244 33478 2275 9 0 2396937 0
[pid=29007/tid=29009] ppid=29005 vsize=9624976 CPUtime=1765.34 cores=0,2,4,6
/proc/29007/task/29009/stat : 29009 (java) R 29005 29007 27542 0 -1 4202560 2864 0 1 0 176505 29 0 0 20 0 19 0 254596124 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140553020916000 140552889307652 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29010] ppid=29005 vsize=9624976 CPUtime=0.94 cores=0,2,4,6
/proc/29007/task/29010/stat : 29010 (java) S 29005 29007 27542 0 -1 4202560 214 0 0 0 92 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140553009977512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29011] ppid=29005 vsize=9624976 CPUtime=1 cores=0,2,4,6
/proc/29007/task/29011/stat : 29011 (java) S 29005 29007 27542 0 -1 4202560 266 0 0 0 98 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140553008924968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29012] ppid=29005 vsize=9624976 CPUtime=0.89 cores=0,2,4,6
/proc/29007/task/29012/stat : 29012 (java) S 29005 29007 27542 0 -1 4202560 201 0 0 0 88 1 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140553007872424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29013] ppid=29005 vsize=9624976 CPUtime=0.91 cores=0,2,4,6
/proc/29007/task/29013/stat : 29013 (java) S 29005 29007 27542 0 -1 4202560 142 0 0 0 89 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552861071912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29014] ppid=29005 vsize=9624976 CPUtime=0.94 cores=0,2,4,6
/proc/29007/task/29014/stat : 29014 (java) S 29005 29007 27542 0 -1 4202560 65 0 0 0 92 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552860019368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29015] ppid=29005 vsize=9624976 CPUtime=0.89 cores=0,2,4,6
/proc/29007/task/29015/stat : 29015 (java) S 29005 29007 27542 0 -1 4202560 78 0 0 0 89 0 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552858966824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29016] ppid=29005 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/29007/task/29016/stat : 29016 (java) S 29005 29007 27542 0 -1 4202560 102 0 0 0 88 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552857914280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29017] ppid=29005 vsize=9624976 CPUtime=0.94 cores=0,2,4,6
/proc/29007/task/29017/stat : 29017 (java) S 29005 29007 27542 0 -1 4202560 101 0 0 0 92 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552856861736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29007/tid=29018] ppid=29005 vsize=9624976 CPUtime=9.81 cores=0,2,4,6
/proc/29007/task/29018/stat : 29018 (java) S 29005 29007 27542 0 -1 4202560 148 0 0 0 978 3 0 0 20 0 19 0 254596127 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552844662888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29019] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29019/stat : 29019 (java) S 29005 29007 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254596127 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552843609208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29020] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29020/stat : 29020 (java) S 29005 29007 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254596127 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552842556552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29021] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29021/stat : 29021 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552841505296 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29022] ppid=29005 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/29007/task/29022/stat : 29022 (java) S 29005 29007 27542 0 -1 4202560 3210 0 0 0 43 0 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552840452664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29023] ppid=29005 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/29007/task/29023/stat : 29023 (java) S 29005 29007 27542 0 -1 4202560 2200 0 0 0 39 0 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552839400120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29007/tid=29024] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29024/stat : 29024 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552838347768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29025] ppid=29005 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/29007/task/29025/stat : 29025 (java) S 29005 29007 27542 0 -1 4202560 103 0 0 0 23 21 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552837295432 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29026] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29026/stat : 29026 (java) S 29005 29007 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254596153 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552836240168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1788.23
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.11 s]
/proc/loadavg: 2.03 2.02 2.00 3/213 29123
/proc/meminfo: memFree=29672308/32873844 swapFree=7116/7116
[pid=29007] ppid=29005 vsize=9624976 CPUtime=1800.06 cores=0,2,4,6
/proc/29007/stat : 29007 (java) S 29005 29007 27542 0 -1 4202496 10879 0 1 0 179970 36 0 0 20 0 19 0 254596123 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140733665121472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29007/statm: 2406244 33478 2275 9 0 2396937 0
[pid=29007/tid=29009] ppid=29005 vsize=9624976 CPUtime=1777.06 cores=0,2,4,6
/proc/29007/task/29009/stat : 29009 (java) R 29005 29007 27542 0 -1 4202560 2865 0 1 0 177676 30 0 0 20 0 19 0 254596124 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140553020916000 140552889307687 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29010] ppid=29005 vsize=9624976 CPUtime=0.94 cores=0,2,4,6
/proc/29007/task/29010/stat : 29010 (java) S 29005 29007 27542 0 -1 4202560 214 0 0 0 92 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140553009977512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29007/tid=29011] ppid=29005 vsize=9624976 CPUtime=1 cores=0,2,4,6
/proc/29007/task/29011/stat : 29011 (java) S 29005 29007 27542 0 -1 4202560 266 0 0 0 98 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140553008924968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29012] ppid=29005 vsize=9624976 CPUtime=0.89 cores=0,2,4,6
/proc/29007/task/29012/stat : 29012 (java) S 29005 29007 27542 0 -1 4202560 201 0 0 0 88 1 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140553007872424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29007/tid=29013] ppid=29005 vsize=9624976 CPUtime=0.92 cores=0,2,4,6
/proc/29007/task/29013/stat : 29013 (java) S 29005 29007 27542 0 -1 4202560 142 0 0 0 90 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552861071912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29014] ppid=29005 vsize=9624976 CPUtime=0.95 cores=0,2,4,6
/proc/29007/task/29014/stat : 29014 (java) S 29005 29007 27542 0 -1 4202560 65 0 0 0 93 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552860019368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29015] ppid=29005 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/29007/task/29015/stat : 29015 (java) S 29005 29007 27542 0 -1 4202560 78 0 0 0 90 0 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552858966824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29016] ppid=29005 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/29007/task/29016/stat : 29016 (java) S 29005 29007 27542 0 -1 4202560 102 0 0 0 88 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552857914280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29017] ppid=29005 vsize=9624976 CPUtime=0.95 cores=0,2,4,6
/proc/29007/task/29017/stat : 29017 (java) S 29005 29007 27542 0 -1 4202560 101 0 0 0 93 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552856861736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29018] ppid=29005 vsize=9624976 CPUtime=9.86 cores=0,2,4,6
/proc/29007/task/29018/stat : 29018 (java) S 29005 29007 27542 0 -1 4202560 148 0 0 0 983 3 0 0 20 0 19 0 254596127 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552844662888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29019] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29019/stat : 29019 (java) S 29005 29007 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254596127 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552843609208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29020] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29020/stat : 29020 (java) S 29005 29007 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254596127 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552842556552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29021] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29021/stat : 29021 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552841505296 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29022] ppid=29005 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/29007/task/29022/stat : 29022 (java) S 29005 29007 27542 0 -1 4202560 3210 0 0 0 43 0 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552840452664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29023] ppid=29005 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/29007/task/29023/stat : 29023 (java) S 29005 29007 27542 0 -1 4202560 2200 0 0 0 39 0 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552839400120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29007/tid=29024] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29024/stat : 29024 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552838347768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29025] ppid=29005 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/29007/task/29025/stat : 29025 (java) S 29005 29007 27542 0 -1 4202560 103 0 0 0 23 21 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552837295432 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29026] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29026/stat : 29026 (java) S 29005 29007 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254596153 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552836240168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

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

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

[startup+1794.11 s]
/proc/loadavg: 2.03 2.02 2.00 3/213 29123
/proc/meminfo: memFree=29672308/32873844 swapFree=7116/7116
[pid=29007] ppid=29005 vsize=9624976 CPUtime=1800.06 cores=0,2,4,6
/proc/29007/stat : 29007 (java) S 29005 29007 27542 0 -1 4202496 10879 0 1 0 179970 36 0 0 20 0 19 0 254596123 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140733665121472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/29007/statm: 2406244 33478 2275 9 0 2396937 0
[pid=29007/tid=29009] ppid=29005 vsize=9624976 CPUtime=1777.06 cores=0,2,4,6
/proc/29007/task/29009/stat : 29009 (java) R 29005 29007 27542 0 -1 4202560 2865 0 1 0 177676 30 0 0 20 0 19 0 254596124 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140553020916000 140552889307687 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29010] ppid=29005 vsize=9624976 CPUtime=0.94 cores=0,2,4,6
/proc/29007/task/29010/stat : 29010 (java) S 29005 29007 27542 0 -1 4202560 214 0 0 0 92 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140553009977512 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29007/tid=29011] ppid=29005 vsize=9624976 CPUtime=1 cores=0,2,4,6
/proc/29007/task/29011/stat : 29011 (java) S 29005 29007 27542 0 -1 4202560 266 0 0 0 98 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140553008924968 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29012] ppid=29005 vsize=9624976 CPUtime=0.89 cores=0,2,4,6
/proc/29007/task/29012/stat : 29012 (java) S 29005 29007 27542 0 -1 4202560 201 0 0 0 88 1 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140553007872424 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29007/tid=29013] ppid=29005 vsize=9624976 CPUtime=0.92 cores=0,2,4,6
/proc/29007/task/29013/stat : 29013 (java) S 29005 29007 27542 0 -1 4202560 142 0 0 0 90 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552861071912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29014] ppid=29005 vsize=9624976 CPUtime=0.95 cores=0,2,4,6
/proc/29007/task/29014/stat : 29014 (java) S 29005 29007 27542 0 -1 4202560 65 0 0 0 93 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552860019368 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29015] ppid=29005 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/29007/task/29015/stat : 29015 (java) S 29005 29007 27542 0 -1 4202560 78 0 0 0 90 0 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552858966824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29016] ppid=29005 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/29007/task/29016/stat : 29016 (java) S 29005 29007 27542 0 -1 4202560 102 0 0 0 88 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552857914280 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29017] ppid=29005 vsize=9624976 CPUtime=0.95 cores=0,2,4,6
/proc/29007/task/29017/stat : 29017 (java) S 29005 29007 27542 0 -1 4202560 101 0 0 0 93 2 0 0 20 0 19 0 254596125 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552856861736 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29018] ppid=29005 vsize=9624976 CPUtime=9.86 cores=0,2,4,6
/proc/29007/task/29018/stat : 29018 (java) S 29005 29007 27542 0 -1 4202560 148 0 0 0 983 3 0 0 20 0 19 0 254596127 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552844662888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29019] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29019/stat : 29019 (java) S 29005 29007 27542 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254596127 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552843609208 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29020] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29020/stat : 29020 (java) S 29005 29007 27542 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254596127 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552842556552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29021] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29021/stat : 29021 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552841505296 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29022] ppid=29005 vsize=9624976 CPUtime=0.43 cores=0,2,4,6
/proc/29007/task/29022/stat : 29022 (java) S 29005 29007 27542 0 -1 4202560 3210 0 0 0 43 0 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552840452664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=29007/tid=29023] ppid=29005 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/29007/task/29023/stat : 29023 (java) S 29005 29007 27542 0 -1 4202560 2200 0 0 0 39 0 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552839400120 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=29007/tid=29024] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29024/stat : 29024 (java) S 29005 29007 27542 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552838347768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=29007/tid=29025] ppid=29005 vsize=9624976 CPUtime=0.44 cores=0,2,4,6
/proc/29007/task/29025/stat : 29025 (java) S 29005 29007 27542 0 -1 4202560 103 0 0 0 23 21 0 0 20 0 19 0 254596130 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552837295432 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=29007/tid=29026] ppid=29005 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/29007/task/29026/stat : 29026 (java) S 29005 29007 27542 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254596153 9855975424 33478 33554432000 1073741824 1073778376 140733665130336 140552836240168 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29007 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=158094
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=811876
# CPU time returned by wait4() is 1795.97
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.15
CPU time (s): 1800.06
CPU user time (s): 1799.7
CPU system time (s): 0.36
CPU usage (%): 100.329
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.16
system time used= 0.811876
maximum resident set size= 134060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10919
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= 48421
involuntary context switches= 27746

runsolver used 5.51116 second user time and 14.1938 second system time

The end

Launcher Data 

Begin job on node146 at 2012-05-24 20:38:32
IDJOB=3688529
IDBENCH=25047
IDSOLVER=2269
FILE ID=node146/3688529-1337884712
RUNJOBID= node146-1337871880-27558
PBS_JOBID= 14620058
Free space on /tmp= 71716 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB07/normalized-PB07/OPT-BIGINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir03_trarea_ac.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688529-1337884712/watcher-3688529-1337884712 -o /tmp/evaluation-result-3688529-1337884712/solver-3688529-1337884712 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688529-1337884712.opb

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

MD5SUM BENCH= 3247d1c2d88b8e4a3c1b4f888e937620
RANDOM SEED=327790879

node146.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.034
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.06
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.034
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.92
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.034
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.034
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.034
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.034
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.034
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.034
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29800308 kB
Buffers:          215348 kB
Cached:          1998956 kB
SwapCached:         2348 kB
Active:           433336 kB
Inactive:        1879932 kB
Active(anon):      98032 kB
Inactive(anon):     3064 kB
Active(file):     335304 kB
Inactive(file):  1876868 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100340 kB
Dirty:               640 kB
Writeback:             0 kB
AnonPages:        103672 kB
Mapped:            16340 kB
Shmem:                 0 kB
Slab:             622304 kB
SReclaimable:      63764 kB
SUnreclaim:       558540 kB
KernelStack:        1600 kB
PageTables:         4480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     696684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 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= 71716 MiB
End job on node146 at 2012-05-24 21:08:28