Trace number 3689145

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)29 1800.06 1793.35

General information on the benchmark

Name/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/
normalized-90_rounds_10_errors.opb
MD5SUMb561a61efc46169e6f19abce33721598
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark19.745
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables584
Total number of constraints427
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints394
Minimum length of a constraint1
Maximum length of a constraint34
Number of terms in the objective function 182
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 182
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2406
Sum of products size (including duplicates)10572
Number of different products2406
Sum of products size10572

Quality of the solution as a function of time


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

Solver Data

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	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@431b9fb1
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-3689145-1337889848.opb
0.08/0.12	c reading problem ... 
0.72/0.45	c ... done. Wall clock time 0.327s.
0.72/0.45	c declared #vars     584
0.72/0.45	c internal #vars     2990
0.72/0.45	c #constraints  5064
0.72/0.45	c constraints type 
0.72/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104
0.72/0.45	c org.sat4j.minisat.constraints.cnf.UnitClauses => 32
0.72/0.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 436
0.72/0.45	c ignored satisfied constraints => 602
0.72/0.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20
0.72/0.45	c org.sat4j.minisat.constraints.cnf.UnitClause => 66
0.72/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406
0.72/0.45	c 5666 constraints processed.
0.72/0.45	c objective function length is 182 literals
1.22/0.61	c SATISFIABLE
1.22/0.61	c OPTIMIZING...
1.22/0.61	c Got one! Elapsed wall clock time (in seconds):0.482
1.22/0.61	o 67
1.95/1.21	c cleaning 2647 clauses out of 5303 with flag 5002/5303
2.94/2.14	c cleaning 4322 clauses out of 8654 with flag 11000/11301
4.05/3.24	c cleaning 5658 clauses out of 11333 with flag 18001/18302
4.97/4.13	c cleaning 6832 clauses out of 13674 with flag 26000/26301
5.22/4.36	c Got one! Elapsed wall clock time (in seconds):4.24
5.22/4.36	o 66
5.54/4.68	c cleaning 5929 clauses out of 11872 with flag 3000/31331
5.74/4.81	c Got one! Elapsed wall clock time (in seconds):4.682
5.74/4.81	o 64
5.94/5.07	c cleaning 5566 clauses out of 11146 with flag 4000/36534
6.04/5.17	c Got one! Elapsed wall clock time (in seconds):5.05
6.04/5.17	o 63
6.35/5.44	c Got one! Elapsed wall clock time (in seconds):5.315
6.35/5.44	o 62
6.68/5.76	c cleaning 6043 clauses out of 12093 with flag 3005/43047
7.09/6.15	c Got one! Elapsed wall clock time (in seconds):6.028
7.09/6.15	o 61
7.40/6.50	c cleaning 5901 clauses out of 11819 with flag 3000/48816
7.90/6.94	c cleaning 5957 clauses out of 11921 with flag 9003/54819
8.31/7.33	c Got one! Elapsed wall clock time (in seconds):7.204
8.31/7.33	o 59
8.51/7.59	c cleaning 5910 clauses out of 11835 with flag 2002/60690
9.31/8.38	c Got one! Elapsed wall clock time (in seconds):8.258
9.31/8.38	o 58
9.51/8.50	c Got one! Elapsed wall clock time (in seconds):8.378
9.51/8.50	o 57
10.01/9.09	c cleaning 8353 clauses out of 16715 with flag 5002/71480
10.52/9.53	c cleaning 7172 clauses out of 14362 with flag 11002/77480
11.32/10.35	c cleaning 7090 clauses out of 14188 with flag 18000/84478
11.82/10.86	c cleaning 7546 clauses out of 15099 with flag 26001/92479
12.32/11.34	c cleaning 8273 clauses out of 16554 with flag 35002/101480
12.83/11.84	c cleaning 9140 clauses out of 18284 with flag 45005/111483
12.93/11.94	c Got one! Elapsed wall clock time (in seconds):11.814
12.93/11.94	o 56
13.23/12.20	c cleaning 7208 clauses out of 14436 with flag 3002/116775
13.23/12.24	c Got one! Elapsed wall clock time (in seconds):12.111
13.23/12.24	o 54
13.44/12.49	c Got one! Elapsed wall clock time (in seconds):12.367
13.44/12.49	o 52
13.84/12.83	c Got one! Elapsed wall clock time (in seconds):12.702
13.84/12.83	o 50
14.04/13.06	c cleaning 6897 clauses out of 13811 with flag 2000/123358
14.95/13.92	c cleaning 6448 clauses out of 12914 with flag 8000/129358
15.06/14.10	c Got one! Elapsed wall clock time (in seconds):13.971
15.06/14.10	o 49
15.17/14.20	c Got one! Elapsed wall clock time (in seconds):14.074
15.17/14.20	o 48
15.80/14.70	c cleaning 6225 clauses out of 12468 with flag 4001/135360
16.41/15.31	c cleaning 6117 clauses out of 12242 with flag 10000/141359
17.11/16.07	c Got one! Elapsed wall clock time (in seconds):15.943
17.11/16.07	o 46
17.81/16.79	c cleaning 8874 clauses out of 17753 with flag 5001/152987
18.21/17.12	c Got one! Elapsed wall clock time (in seconds):16.996
18.21/17.12	o 44
18.72/17.64	c cleaning 7114 clauses out of 14235 with flag 3003/158343
19.22/18.15	c cleaning 6550 clauses out of 13119 with flag 9001/164341
19.83/18.73	c cleaning 6762 clauses out of 13568 with flag 16000/171340
20.73/19.64	c cleaning 7402 clauses out of 14808 with flag 24002/179342
21.14/20.06	c cleaning 8196 clauses out of 16404 with flag 33000/188340
22.35/21.22	c cleaning 9098 clauses out of 18210 with flag 43002/198342
23.15/22.02	c Got one! Elapsed wall clock time (in seconds):21.898
23.15/22.02	o 43
23.66/22.51	c Got one! Elapsed wall clock time (in seconds):22.383
23.66/22.51	o 41
23.96/22.83	c cleaning 11977 clauses out of 23965 with flag 2001/213195
24.58/23.47	c cleaning 8989 clauses out of 17988 with flag 8001/219195
25.39/24.26	c cleaning 7987 clauses out of 15998 with flag 15000/226194
25.79/24.61	c Got one! Elapsed wall clock time (in seconds):24.488
25.79/24.61	o 40
25.89/24.77	c cleaning 6517 clauses out of 13068 with flag 1001/231251
26.51/25.32	c cleaning 6255 clauses out of 12550 with flag 7000/237250
27.12/25.92	c cleaning 6637 clauses out of 13295 with flag 14000/244250
27.83/26.64	c cleaning 7314 clauses out of 14658 with flag 22000/252250
28.24/27.09	c cleaning 8168 clauses out of 16345 with flag 31001/261251
28.76/27.52	c cleaning 9081 clauses out of 18176 with flag 41000/271250
29.16/27.98	c cleaning 10034 clauses out of 20095 with flag 52000/282250
30.09/28.81	c cleaning 11011 clauses out of 22062 with flag 64001/294251
30.79/29.53	c cleaning 12022 clauses out of 24050 with flag 77000/307250
31.80/30.58	c cleaning 13007 clauses out of 26030 with flag 91002/321252
33.01/31.79	c cleaning 13993 clauses out of 28022 with flag 106001/336251
34.43/33.14	c cleaning 15006 clauses out of 30028 with flag 122000/352250
36.77/35.44	c cleaning 16000 clauses out of 32022 with flag 139000/369250
39.39/38.06	c cleaning 17003 clauses out of 34022 with flag 157000/387250
41.01/39.67	c Got one! Elapsed wall clock time (in seconds):39.542
41.01/39.67	o 39
41.81/40.42	c cleaning 18427 clauses out of 36861 with flag 5002/407092
42.13/40.77	c Got one! Elapsed wall clock time (in seconds):40.645
42.13/40.77	o 38
42.52/41.15	c cleaning 11779 clauses out of 23574 with flag 3002/412232
43.23/41.83	c cleaning 8892 clauses out of 17796 with flag 9003/418233
43.62/42.27	c Got one! Elapsed wall clock time (in seconds):42.144
43.62/42.27	o 37
44.02/42.64	c cleaning 7441 clauses out of 14890 with flag 3000/424219
44.62/43.30	c cleaning 6720 clauses out of 13451 with flag 9002/430221
45.83/44.45	c cleaning 6862 clauses out of 13732 with flag 16003/437222
46.03/44.62	c Got one! Elapsed wall clock time (in seconds):44.493
46.03/44.62	o 36
46.63/45.23	c cleaning 6372 clauses out of 12756 with flag 5002/443108
47.13/45.77	c cleaning 6187 clauses out of 12382 with flag 11000/449106
48.03/46.64	c cleaning 6586 clauses out of 13195 with flag 18000/456106
49.14/47.77	c cleaning 7298 clauses out of 14614 with flag 26005/464111
50.64/49.22	c cleaning 8151 clauses out of 16311 with flag 35000/473106
51.74/50.37	c cleaning 9065 clauses out of 18161 with flag 45001/483107
52.75/51.35	c cleaning 10032 clauses out of 20096 with flag 56001/494107
53.75/52.39	c cleaning 11019 clauses out of 22063 with flag 68000/506106
54.75/53.34	c cleaning 12008 clauses out of 24044 with flag 81000/519106
55.36/53.91	c cleaning 13016 clauses out of 26040 with flag 95004/533110
56.58/55.13	c cleaning 14000 clauses out of 28020 with flag 110000/548106
58.28/56.88	c cleaning 14996 clauses out of 30020 with flag 126000/564106
60.10/58.63	c cleaning 15995 clauses out of 32025 with flag 143001/581107
61.21/59.73	c cleaning 17014 clauses out of 34032 with flag 161003/599109
62.21/60.71	c cleaning 18003 clauses out of 36017 with flag 180002/618108
63.33/61.84	c cleaning 18995 clauses out of 38013 with flag 200001/638107
64.93/63.42	c cleaning 19986 clauses out of 40017 with flag 221000/659106
67.65/66.19	c cleaning 21008 clauses out of 42031 with flag 243000/681106
70.27/68.77	c cleaning 21999 clauses out of 44024 with flag 266001/704107
73.00/71.43	c cleaning 22988 clauses out of 46025 with flag 290001/728107
76.61/75.05	c cleaning 23999 clauses out of 48038 with flag 315002/753108
80.34/78.70	c cleaning 25007 clauses out of 50038 with flag 341001/779107
84.07/82.44	c cleaning 26002 clauses out of 52031 with flag 368001/806107
88.21/86.52	c cleaning 27006 clauses out of 54029 with flag 396001/834107
92.23/90.57	c cleaning 28004 clauses out of 56022 with flag 425000/863106
95.94/94.25	c cleaning 28999 clauses out of 58018 with flag 455000/893106
99.56/97.86	c cleaning 29994 clauses out of 60019 with flag 486000/924106
105.57/103.87	c cleaning 31002 clauses out of 62025 with flag 518000/956106
110.20/108.46	c cleaning 32005 clauses out of 64026 with flag 551003/989109
113.51/111.76	c cleaning 32999 clauses out of 66018 with flag 585000/1023106
117.73/115.90	c cleaning 33996 clauses out of 68019 with flag 620000/1058106
122.06/120.22	c cleaning 35002 clauses out of 70023 with flag 656000/1094106
127.58/125.71	c cleaning 36003 clauses out of 72022 with flag 693001/1131107
133.49/131.61	c cleaning 37001 clauses out of 74020 with flag 731002/1169108
137.52/135.61	c cleaning 37996 clauses out of 76017 with flag 770000/1208106
141.13/139.25	c cleaning 39005 clauses out of 78025 with flag 810004/1248110
147.37/145.46	c cleaning 39998 clauses out of 80017 with flag 851001/1289107
152.40/150.43	c cleaning 40997 clauses out of 82018 with flag 893000/1331106
158.62/156.64	c cleaning 41975 clauses out of 84021 with flag 936000/1374106
163.54/161.57	c cleaning 43003 clauses out of 86047 with flag 980001/1418107
170.37/168.34	c cleaning 44013 clauses out of 88043 with flag 1025000/1463106
180.09/178.04	c cleaning 45009 clauses out of 90030 with flag 1071000/1509106
188.13/186.07	c cleaning 45997 clauses out of 92021 with flag 1118000/1556106
194.66/192.60	c cleaning 47001 clauses out of 94024 with flag 1166000/1604106
200.76/198.66	c cleaning 48010 clauses out of 96023 with flag 1215000/1653106
205.09/202.92	c cleaning 49006 clauses out of 98013 with flag 1265000/1703106
209.22/207.09	c cleaning 50002 clauses out of 100010 with flag 1316003/1754109
216.04/213.89	c cleaning 50992 clauses out of 102007 with flag 1368002/1806108
228.28/226.06	c cleaning 51991 clauses out of 104013 with flag 1421000/1859106
239.84/237.58	c cleaning 52989 clauses out of 106022 with flag 1475000/1913106
252.80/250.40	c cleaning 54002 clauses out of 108036 with flag 1530003/1968109
262.14/259.75	c cleaning 54999 clauses out of 110031 with flag 1586000/2024106
265.06/262.68	c Got one! Elapsed wall clock time (in seconds):262.559
265.06/262.68	o 34
265.86/263.48	c cleaning 38219 clauses out of 76464 with flag 5000/2045538
266.79/264.35	c cleaning 22115 clauses out of 44245 with flag 11000/2051538
267.41/264.97	c Got one! Elapsed wall clock time (in seconds):264.842
267.41/264.97	o 33
267.71/265.24	c cleaning 13733 clauses out of 27483 with flag 2000/2056891
268.42/265.99	c cleaning 9860 clauses out of 19753 with flag 8003/2062894
269.03/266.58	c cleaning 8428 clauses out of 16890 with flag 15000/2069891
269.65/267.14	c cleaning 8214 clauses out of 16463 with flag 23001/2077892
270.87/268.35	c cleaning 8610 clauses out of 17248 with flag 32000/2086891
271.27/268.79	c Got one! Elapsed wall clock time (in seconds):268.667
271.27/268.79	o 32
271.69/269.14	c cleaning 7230 clauses out of 14492 with flag 3000/2092745
272.31/269.77	c cleaning 6610 clauses out of 13262 with flag 9000/2098745
272.92/270.37	c cleaning 6816 clauses out of 13654 with flag 16002/2105747
273.63/271.09	c cleaning 7413 clauses out of 14837 with flag 24001/2113746
274.44/271.83	c cleaning 8206 clauses out of 16425 with flag 33002/2122747
275.04/272.47	c cleaning 9097 clauses out of 18217 with flag 43000/2132745
275.96/273.31	c cleaning 10048 clauses out of 20120 with flag 54000/2143745
276.77/274.13	c cleaning 10996 clauses out of 22076 with flag 66004/2155749
277.69/275.05	c cleaning 12015 clauses out of 24078 with flag 79002/2168747
278.90/276.22	c cleaning 13007 clauses out of 26064 with flag 93003/2182748
280.62/277.93	c cleaning 14014 clauses out of 28055 with flag 108001/2197746
282.84/280.15	c cleaning 15011 clauses out of 30040 with flag 124000/2213745
284.65/281.98	c cleaning 16005 clauses out of 32029 with flag 141000/2230745
286.07/283.39	c cleaning 17007 clauses out of 34024 with flag 159000/2248745
287.98/285.26	c cleaning 17997 clauses out of 36017 with flag 178000/2267745
290.78/288.02	c cleaning 19000 clauses out of 38020 with flag 198000/2287745
292.49/289.70	c cleaning 19989 clauses out of 40020 with flag 219000/2308745
295.19/292.44	c cleaning 21002 clauses out of 42032 with flag 241001/2330746
298.00/295.29	c cleaning 22000 clauses out of 44029 with flag 264000/2353745
302.13/299.39	c cleaning 23002 clauses out of 46029 with flag 288000/2377745
306.45/303.61	c cleaning 23996 clauses out of 48027 with flag 313000/2402745
310.66/307.86	c cleaning 25010 clauses out of 50033 with flag 339002/2428747
313.08/310.27	c cleaning 25999 clauses out of 52021 with flag 366000/2455745
315.38/312.59	c cleaning 27007 clauses out of 54023 with flag 394001/2483746
317.90/315.09	c cleaning 28000 clauses out of 56015 with flag 423000/2512745
320.61/317.74	c cleaning 28996 clauses out of 58016 with flag 453001/2542746
323.73/320.80	c cleaning 30002 clauses out of 60019 with flag 484000/2573745
326.03/323.12	c cleaning 31003 clauses out of 62017 with flag 516000/2605745
329.46/326.56	c cleaning 31998 clauses out of 64015 with flag 549001/2638746
333.48/330.58	c cleaning 32998 clauses out of 66017 with flag 583001/2672746
340.19/337.24	c cleaning 34000 clauses out of 68021 with flag 618003/2707748
345.29/342.32	c cleaning 34989 clauses out of 70018 with flag 654000/2743745
350.92/347.93	c cleaning 35978 clauses out of 72029 with flag 691000/2780745
357.32/354.30	c cleaning 37008 clauses out of 74055 with flag 729004/2818749
364.83/361.84	c cleaning 37996 clauses out of 76043 with flag 768000/2857745
372.15/369.12	c cleaning 39005 clauses out of 78048 with flag 808001/2897746
379.77/376.71	c cleaning 39997 clauses out of 80042 with flag 849000/2938745
387.21/384.13	c cleaning 41003 clauses out of 82046 with flag 891001/2980746
392.24/389.18	c cleaning 42015 clauses out of 84042 with flag 934000/3023745
400.34/397.20	c cleaning 43002 clauses out of 86032 with flag 978005/3067750
408.97/405.86	c cleaning 43996 clauses out of 88027 with flag 1023002/3112747
417.07/413.94	c cleaning 45002 clauses out of 90030 with flag 1069001/3158746
423.59/420.49	c cleaning 46003 clauses out of 92027 with flag 1116000/3205745
430.71/427.51	c cleaning 46998 clauses out of 94024 with flag 1164000/3253745
437.55/434.39	c cleaning 47996 clauses out of 96026 with flag 1213000/3302745
447.07/443.85	c cleaning 49004 clauses out of 98030 with flag 1263000/3352745
453.50/450.27	c cleaning 50000 clauses out of 100028 with flag 1314002/3403747
461.14/457.88	c cleaning 50999 clauses out of 102026 with flag 1366000/3455745
471.06/467.72	c Got one! Elapsed wall clock time (in seconds):467.599
471.06/467.72	o 30
472.26/468.96	c cleaning 53182 clauses out of 106372 with flag 5000/3511090
473.08/469.78	c cleaning 29579 clauses out of 59190 with flag 11000/3517090
473.88/470.53	c cleaning 18292 clauses out of 36611 with flag 18000/3524090
474.81/471.49	c cleaning 13147 clauses out of 26322 with flag 26003/3532093
475.41/472.04	c cleaning 11073 clauses out of 22172 with flag 35000/3541090
475.71/472.32	c cleaning 10536 clauses out of 21100 with flag 45001/3551091
476.02/472.63	c cleaning 10770 clauses out of 21563 with flag 56000/3562090
476.33/472.97	c cleaning 11388 clauses out of 22793 with flag 68000/3574090
476.74/473.37	c cleaning 12197 clauses out of 24407 with flag 81002/3587092
477.15/473.77	c cleaning 13095 clauses out of 26209 with flag 95001/3601091
477.65/474.23	c cleaning 14043 clauses out of 28115 with flag 110002/3616092
478.16/474.73	c cleaning 15023 clauses out of 30072 with flag 126002/3632092
478.67/475.29	c cleaning 16017 clauses out of 32049 with flag 143002/3649092
481.26/477.83	c cleaning 16999 clauses out of 34033 with flag 161003/3667093
484.38/480.91	c cleaning 17992 clauses out of 36031 with flag 180000/3686090
487.59/484.12	c cleaning 19009 clauses out of 38039 with flag 200000/3706090
491.20/487.74	c cleaning 20003 clauses out of 40033 with flag 221003/3727093
495.02/491.54	c cleaning 20990 clauses out of 42027 with flag 243000/3749090
499.15/495.64	c cleaning 22000 clauses out of 44039 with flag 266002/3772092
503.45/499.99	c cleaning 22999 clauses out of 46038 with flag 290001/3796091
507.95/504.47	c cleaning 23998 clauses out of 48038 with flag 315000/3821090
512.17/508.61	c cleaning 24997 clauses out of 50042 with flag 341002/3847092
517.48/513.99	c cleaning 26002 clauses out of 52045 with flag 368002/3874092
518.19/514.68	c Got one! Elapsed wall clock time (in seconds):514.552
518.19/514.68	o 29
518.49/514.98	c cleaning 15779 clauses out of 31578 with flag 2000/3879627
519.30/515.72	c cleaning 10890 clauses out of 21800 with flag 8001/3885628
519.90/516.36	c cleaning 8944 clauses out of 17911 with flag 15002/3892629
520.63/517.03	c cleaning 8475 clauses out of 16968 with flag 23003/3900630
521.34/517.71	c cleaning 8739 clauses out of 17491 with flag 32001/3909628
521.67/518.06	c cleaning 9372 clauses out of 18751 with flag 42000/3919627
522.38/518.74	c cleaning 10185 clauses out of 20383 with flag 53004/3930631
522.69/519.07	c cleaning 11092 clauses out of 22200 with flag 65006/3942633
523.09/519.41	c cleaning 12040 clauses out of 24102 with flag 78000/3955627
523.51/519.84	c cleaning 13019 clauses out of 26062 with flag 92000/3969627
524.05/520.33	c cleaning 14015 clauses out of 28045 with flag 107002/3984629
525.35/521.60	c cleaning 15007 clauses out of 30028 with flag 123000/4000627
526.97/523.25	c cleaning 15998 clauses out of 32021 with flag 140000/4017627
528.58/524.88	c cleaning 16999 clauses out of 34023 with flag 158000/4035627
530.29/526.57	c cleaning 18006 clauses out of 36024 with flag 177000/4054627
532.00/528.23	c cleaning 19001 clauses out of 38019 with flag 197001/4074628
533.71/529.97	c cleaning 19998 clauses out of 40017 with flag 218000/4095627
535.22/531.48	c cleaning 21004 clauses out of 42020 with flag 240001/4117628
537.53/533.71	c cleaning 21999 clauses out of 44016 with flag 263001/4140628
539.94/536.18	c cleaning 23002 clauses out of 46018 with flag 287002/4164629
542.05/538.21	c cleaning 24005 clauses out of 48015 with flag 312001/4189628
545.16/541.40	c cleaning 24992 clauses out of 50009 with flag 338000/4215627
549.49/545.64	c cleaning 25994 clauses out of 52018 with flag 365001/4242628
553.31/549.48	c cleaning 27001 clauses out of 54024 with flag 393001/4270628
558.41/554.50	c cleaning 27993 clauses out of 56022 with flag 422000/4299627
563.24/559.38	c cleaning 28997 clauses out of 58029 with flag 452000/4329627
569.16/565.22	c cleaning 30003 clauses out of 60032 with flag 483000/4360627
573.98/570.08	c cleaning 31003 clauses out of 62031 with flag 515002/4392629
579.21/575.28	c cleaning 31998 clauses out of 64027 with flag 548001/4425628
585.02/581.02	c cleaning 33003 clauses out of 66031 with flag 582003/4459630
591.23/587.22	c cleaning 34005 clauses out of 68026 with flag 617001/4494628
597.16/593.15	c cleaning 34998 clauses out of 70022 with flag 653002/4530629
599.46/595.47	c cleaning 35998 clauses out of 72023 with flag 690001/4567628
605.68/601.63	c cleaning 36979 clauses out of 74025 with flag 728001/4605628
612.89/608.81	c cleaning 38010 clauses out of 76045 with flag 767000/4644627
620.41/616.36	c cleaning 39014 clauses out of 78035 with flag 807000/4684627
627.12/623.01	c cleaning 39986 clauses out of 80021 with flag 848000/4725627
633.74/629.61	c cleaning 41001 clauses out of 82035 with flag 890000/4767627
642.56/638.44	c cleaning 42013 clauses out of 84034 with flag 933000/4810627
647.88/643.75	c cleaning 42995 clauses out of 86021 with flag 977000/4854627
656.69/652.60	c cleaning 44004 clauses out of 88026 with flag 1022000/4899627
663.20/659.09	c cleaning 45007 clauses out of 90023 with flag 1068001/4945628
667.70/663.52	c cleaning 45997 clauses out of 92015 with flag 1115000/4992627
673.92/669.72	c cleaning 47003 clauses out of 94022 with flag 1163004/5040631
684.35/680.14	c cleaning 48002 clauses out of 96015 with flag 1212000/5089627
693.58/689.37	c cleaning 49000 clauses out of 98014 with flag 1262001/5139628
705.23/700.90	c cleaning 49993 clauses out of 100013 with flag 1313000/5190627
719.55/715.27	c cleaning 50995 clauses out of 102022 with flag 1365002/5242629
733.49/729.15	c cleaning 51989 clauses out of 104025 with flag 1418000/5295627
745.54/741.13	c cleaning 53000 clauses out of 106036 with flag 1472000/5349627
761.27/756.89	c cleaning 54001 clauses out of 108038 with flag 1527002/5404629
774.62/770.15	c cleaning 54994 clauses out of 110036 with flag 1583001/5460628
779.96/775.40	c cleaning 56015 clauses out of 112042 with flag 1640001/5517628
787.48/782.97	c cleaning 57000 clauses out of 114026 with flag 1698000/5575627
791.40/786.85	c cleaning 58005 clauses out of 116026 with flag 1757000/5634627
800.23/795.69	c cleaning 59001 clauses out of 118022 with flag 1817001/5694628
809.76/805.12	c cleaning 59998 clauses out of 120021 with flag 1878001/5755628
819.97/815.38	c cleaning 60992 clauses out of 122023 with flag 1940001/5817628
829.79/825.16	c cleaning 61991 clauses out of 124031 with flag 2003001/5880628
843.14/838.40	c cleaning 63010 clauses out of 126039 with flag 2067000/5944627
853.67/848.90	c cleaning 64006 clauses out of 128029 with flag 2132000/6009627
867.10/862.34	c cleaning 65002 clauses out of 130023 with flag 2198000/6075627
882.06/877.29	c cleaning 66002 clauses out of 132023 with flag 2265002/6142629
895.40/890.59	c cleaning 66993 clauses out of 134019 with flag 2333000/6210627
912.75/907.82	c cleaning 67993 clauses out of 136027 with flag 2402001/6279628
932.80/927.85	c cleaning 69005 clauses out of 138033 with flag 2472000/6349627
949.53/944.53	c cleaning 70002 clauses out of 140030 with flag 2543002/6420629
966.96/961.93	c cleaning 71010 clauses out of 142029 with flag 2615003/6492630
981.89/976.88	c cleaning 71997 clauses out of 144016 with flag 2688000/6565627
998.02/992.94	c cleaning 72995 clauses out of 146019 with flag 2762000/6639627
1014.66/1009.53	c cleaning 74001 clauses out of 148024 with flag 2837000/6714627
1026.79/1021.61	c cleaning 75000 clauses out of 150023 with flag 2913000/6790627
1040.71/1035.60	c cleaning 76008 clauses out of 152024 with flag 2990001/6867628
1051.26/1046.02	c cleaning 76996 clauses out of 154015 with flag 3068000/6945627
1068.69/1063.42	c cleaning 77998 clauses out of 156020 with flag 3147001/7024628
1089.23/1083.93	c cleaning 79004 clauses out of 158022 with flag 3227001/7104628
1109.40/1104.02	c cleaning 80003 clauses out of 160017 with flag 3308000/7185627
1126.04/1120.63	c cleaning 80994 clauses out of 162015 with flag 3390001/7267628
1141.98/1136.52	c cleaning 81992 clauses out of 164020 with flag 3473000/7350627
1161.52/1156.02	c cleaning 83009 clauses out of 166029 with flag 3557001/7434628
1184.87/1179.37	c cleaning 84001 clauses out of 168019 with flag 3642000/7519627
1206.30/1200.74	c cleaning 84995 clauses out of 170020 with flag 3728002/7605629
1229.42/1223.90	c cleaning 86002 clauses out of 172024 with flag 3815001/7692628
1243.95/1238.39	c cleaning 86976 clauses out of 174023 with flag 3903002/7780629
1254.89/1249.21	c cleaning 88001 clauses out of 176045 with flag 3992000/7869627
1266.05/1260.37	c cleaning 89005 clauses out of 178045 with flag 4082001/7959628
1276.88/1271.17	c cleaning 89996 clauses out of 180039 with flag 4173000/8050627
1289.13/1283.36	c cleaning 90994 clauses out of 182045 with flag 4265002/8142629
1302.88/1297.07	c cleaning 92011 clauses out of 184050 with flag 4358001/8235628
1327.82/1321.94	c cleaning 93012 clauses out of 186043 with flag 4452005/8329632
1354.08/1348.13	c cleaning 94001 clauses out of 188027 with flag 4547001/8424628
1375.91/1369.98	c cleaning 94990 clauses out of 190026 with flag 4643001/8520628
1407.13/1401.15	c cleaning 96011 clauses out of 192040 with flag 4740005/8617632
1445.86/1439.90	c cleaning 96998 clauses out of 194025 with flag 4838001/8715628
1479.08/1473.07	c cleaning 98003 clauses out of 196027 with flag 4937001/8814628
1511.57/1505.48	c cleaning 99003 clauses out of 198023 with flag 5037000/8914627
1534.07/1527.89	c cleaning 99996 clauses out of 200020 with flag 5138000/9015627
1555.01/1548.77	c cleaning 100982 clauses out of 202024 with flag 5240000/9117627
1579.39/1573.07	c cleaning 101989 clauses out of 204045 with flag 5343003/9220630
1599.33/1592.99	c cleaning 102995 clauses out of 206055 with flag 5447002/9324629
1621.05/1614.67	c cleaning 104017 clauses out of 208059 with flag 5552001/9429628
1646.66/1640.21	c cleaning 105002 clauses out of 210042 with flag 5658001/9535628
1673.89/1667.47	c cleaning 105991 clauses out of 212042 with flag 5765003/9642630
1704.86/1698.39	c cleaning 106995 clauses out of 214048 with flag 5873000/9750627
1734.99/1728.40	c cleaning 108014 clauses out of 216055 with flag 5982002/9859629
1765.04/1758.48	c cleaning 108990 clauses out of 218040 with flag 6092001/9969628
1795.22/1788.52	c cleaning 110002 clauses out of 220051 with flag 6203002/10080629
1800.06/1793.31	c starts		: 338
1800.06/1793.31	c conflicts		: 10101860
1800.06/1793.31	c decisions		: 12290432
1800.06/1793.31	c propagations		: 1347272017
1800.06/1793.31	c inspects		: 22920571646
1800.06/1793.31	c shortcuts		: 0
1800.06/1793.31	c learnt literals	: 0
1800.06/1793.31	c learnt binary clauses	: 59
1800.06/1793.31	c learnt ternary clauses	: 138
1800.06/1793.31	c learnt constraints	: 10101860
1800.06/1793.31	c ignored constraints	: 0
1800.06/1793.31	c root simplifications	: 0
1800.06/1793.31	c removed literals (reason simplification)	: 0
1800.06/1793.31	c reason swapping (by a shorter reason)	: 0
1800.06/1793.31	c Calls to reduceDB	: 288
1800.06/1793.31	c number of reductions to clauses (during analyze)	: 0
1800.06/1793.31	c number of learned constraints concerned by reduction	: 0
1800.06/1793.31	c number of learning phase by resolution	: 0
1800.06/1793.31	c number of learning phase by cutting planes	: 0
1800.06/1793.31	c speed (assignments/second)	: 751468.64771883
1800.06/1793.31	c non guided choices	1493
1800.06/1793.34	c learnt constraints type 
1800.06/1793.34	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 59
1800.06/1793.34	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 131294
1800.06/1793.34	c constraints type 
1800.06/1793.34	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104
1800.06/1793.34	c org.sat4j.minisat.constraints.cnf.UnitClauses => 32
1800.06/1793.34	c org.sat4j.minisat.constraints.card.MinWatchCard => 437
1800.06/1793.34	c ignored satisfied constraints => 602
1800.06/1793.34	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20
1800.06/1793.34	c org.sat4j.minisat.constraints.cnf.UnitClause => 66
1800.06/1793.34	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406
1800.06/1793.34	c 5667 constraints processed.
1800.06/1793.34	s SATISFIABLE
1800.06/1793.34	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 
1800.06/1793.34	c objective function=29
1800.06/1793.34	c Total wall clock time (in seconds): 1793.22

Verifier Data

OK	29

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-3689145-1337889848/watcher-3689145-1337889848 -o /tmp/evaluation-result-3689145-1337889848/solver-3689145-1337889848 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689145-1337889848.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.97 2.56 3.28 2/173 27615
/proc/meminfo: memFree=29063920/32873844 swapFree=7356/7356
[pid=27615] ppid=27613 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27615/stat : 27615 (java) D 27613 27615 23457 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 255113395 9515008 182 33554432000 1073741824 1073778376 140736812521600 140736812512632 245294251701 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/27615/statm: 2323 182 140 9 0 71 0

[startup+0.0212779 s]
/proc/loadavg: 1.97 2.56 3.28 2/173 27615
/proc/meminfo: memFree=29063920/32873844 swapFree=7356/7356
[pid=27615] ppid=27613 vsize=102664 CPUtime=0 cores=1,3,5,7
/proc/27615/stat : 27615 (java) S 27613 27615 23457 0 -1 4202496 1427 0 1 0 0 0 0 0 20 0 2 0 255113395 105127936 1109 33554432000 1073741824 1073778376 140733662358624 140733662349760 245297610813 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27615/statm: 25666 1109 856 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664

[startup+0.10021 s]
/proc/loadavg: 1.97 2.56 3.28 2/173 27615
/proc/meminfo: memFree=29063920/32873844 swapFree=7356/7356
[pid=27615] ppid=27613 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/27615/stat : 27615 (java) S 27613 27615 23457 0 -1 4202496 3968 0 1 0 7 1 0 0 20 0 18 0 255113395 9787813888 5161 33554432000 1073741824 1073778376 140733662358624 140733662349760 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27615/statm: 2389603 5179 2035 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300143 s]
/proc/loadavg: 1.97 2.56 3.28 2/173 27615
/proc/meminfo: memFree=29063920/32873844 swapFree=7356/7356
[pid=27615] ppid=27613 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/27615/stat : 27615 (java) S 27613 27615 23457 0 -1 4202496 5339 0 1 0 46 2 0 0 20 0 18 0 255113395 9787813888 7613 33554432000 1073741824 1073778376 140733662358624 140733662349760 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27615/statm: 2389603 7613 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412

[startup+0.700197 s]
/proc/loadavg: 1.97 2.56 3.28 2/173 27615
/proc/meminfo: memFree=29063920/32873844 swapFree=7356/7356
[pid=27615] ppid=27613 vsize=9624976 CPUtime=1.36 cores=1,3,5,7
/proc/27615/stat : 27615 (java) S 27613 27615 23457 0 -1 4202496 8925 0 1 0 134 2 0 0 20 0 19 0 255113395 9855975424 12957 33554432000 1073741824 1073778376 140733662358624 140733662349760 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27615/statm: 2406244 12957 2245 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9624976

[startup+1.50068 s]
/proc/loadavg: 1.97 2.56 3.28 3/212 27661
/proc/meminfo: memFree=28748244/32873844 swapFree=7356/7356
[pid=27615] ppid=27613 vsize=9624976 CPUtime=2.3 cores=1,3,5,7
/proc/27615/stat : 27615 (java) S 27613 27615 23457 0 -1 4202496 9456 0 1 0 227 3 0 0 20 0 19 0 255113395 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140733662349760 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27615/statm: 2406244 16081 2278 9 0 2396937 0
[pid=27615/tid=27617] ppid=27613 vsize=9624976 CPUtime=1.43 cores=1,3,5,7
/proc/27615/task/27617/stat : 27617 (java) R 27613 27615 23457 0 -1 4202560 2469 0 1 0 142 1 0 0 20 0 19 0 255113396 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686950666488 140686891031524 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27618] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27618/stat : 27618 (java) S 27613 27615 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686889396392 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27619] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27619/stat : 27619 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686793586984 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27620] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27620/stat : 27620 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686792534440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27621] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27621/stat : 27621 (java) S 27613 27615 23457 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686791481896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27615/tid=27622] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27622/stat : 27622 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686790429352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27623] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27623/stat : 27623 (java) S 27613 27615 23457 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686789376808 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27624] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27624/stat : 27624 (java) S 27613 27615 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686788324264 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27625] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27625/stat : 27625 (java) S 27613 27615 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686787271720 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27626] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27626/stat : 27626 (java) S 27613 27615 23457 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 255113399 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686774859880 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27627] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27627/stat : 27627 (java) S 27613 27615 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255113399 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686773806200 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27628] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27628/stat : 27628 (java) S 27613 27615 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255113399 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686772753544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27634] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27634/stat : 27634 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686771702288 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27635] ppid=27613 vsize=9624976 CPUtime=0.42 cores=1,3,5,7
/proc/27615/task/27635/stat : 27635 (java) S 27613 27615 23457 0 -1 4202560 2062 0 0 0 42 0 0 0 20 0 19 0 255113402 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686770649656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27615/tid=27636] ppid=27613 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/27615/task/27636/stat : 27636 (java) S 27613 27615 23457 0 -1 4202560 3676 0 0 0 37 0 0 0 20 0 19 0 255113402 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686769597112 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27637] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27637/stat : 27637 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686768544760 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27638] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27638/stat : 27638 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686767492424 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27661] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27661/stat : 27661 (java) S 27613 27615 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255113442 9855975424 16081 33554432000 1073741824 1073778376 140733662358624 140686766437160 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 9624976

[startup+3.10068 s]
/proc/loadavg: 1.97 2.55 3.27 3/213 27662
/proc/meminfo: memFree=28735204/32873844 swapFree=7356/7356
[pid=27615] ppid=27613 vsize=9624976 CPUtime=3.95 cores=1,3,5,7
/proc/27615/stat : 27615 (java) S 27613 27615 23457 0 -1 4202496 9464 0 1 0 392 3 0 0 20 0 19 0 255113395 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140733662349760 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27615/statm: 2406244 17109 2278 9 0 2396937 0
[pid=27615/tid=27617] ppid=27613 vsize=9624976 CPUtime=3 cores=1,3,5,7
/proc/27615/task/27617/stat : 27617 (java) R 27613 27615 23457 0 -1 4202560 2470 0 1 0 299 1 0 0 20 0 19 0 255113396 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686950666528 140686891031162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27618] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27618/stat : 27618 (java) S 27613 27615 23457 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686889396392 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27619] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27619/stat : 27619 (java) S 27613 27615 23457 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686793586984 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27620] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27620/stat : 27620 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686792534440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27621] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27621/stat : 27621 (java) S 27613 27615 23457 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686791481896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27615/tid=27622] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27622/stat : 27622 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686790429352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27623] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27623/stat : 27623 (java) S 27613 27615 23457 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686789376808 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27615/tid=27624] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27624/stat : 27624 (java) S 27613 27615 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686788324264 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27625] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27625/stat : 27625 (java) S 27613 27615 23457 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686787271720 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27626] ppid=27613 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/27615/task/27626/stat : 27626 (java) S 27613 27615 23457 0 -1 4202560 33 0 0 0 2 0 0 0 20 0 19 0 255113399 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686774859880 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27627] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27627/stat : 27627 (java) S 27613 27615 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255113399 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686773806200 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27628] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27628/stat : 27628 (java) S 27613 27615 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255113399 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686772753544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27634] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27634/stat : 27634 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686771702288 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27635] ppid=27613 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/27615/task/27635/stat : 27635 (java) S 27613 27615 23457 0 -1 4202560 2062 0 0 0 44 0 0 0 20 0 19 0 255113402 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686770649656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27615/tid=27636] ppid=27613 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/27615/task/27636/stat : 27636 (java) S 27613 27615 23457 0 -1 4202560 3676 0 0 0 39 0 0 0 20 0 19 0 255113402 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686769597112 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27637] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27637/stat : 27637 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686768544760 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27638] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27638/stat : 27638 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686767492424 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27661] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27661/stat : 27661 (java) S 27613 27615 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255113442 9855975424 17109 33554432000 1073741824 1073778376 140733662358624 140686766437160 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9624976

[startup+6.30076 s]
/proc/loadavg: 1.97 2.55 3.27 3/213 27662
/proc/meminfo: memFree=28694060/32873844 swapFree=7356/7356
[pid=27615] ppid=27613 vsize=9624976 CPUtime=7.3 cores=1,3,5,7
/proc/27615/stat : 27615 (java) S 27613 27615 23457 0 -1 4202496 10645 0 1 0 726 4 0 0 20 0 19 0 255113395 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140733662349760 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27615/statm: 2406244 17591 2278 9 0 2396937 0
[pid=27615/tid=27617] ppid=27613 vsize=9624976 CPUtime=6.08 cores=1,3,5,7
/proc/27615/task/27617/stat : 27617 (java) R 27613 27615 23457 0 -1 4202560 2475 0 1 0 607 1 0 0 20 0 19 0 255113396 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686950666648 140686890998587 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27618] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27618/stat : 27618 (java) S 27613 27615 23457 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686889396392 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27619] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27619/stat : 27619 (java) S 27613 27615 23457 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686793586984 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27620] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27620/stat : 27620 (java) S 27613 27615 23457 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686792534440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27621] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27621/stat : 27621 (java) S 27613 27615 23457 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686791481896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27622] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27622/stat : 27622 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686790429352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27623] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27623/stat : 27623 (java) S 27613 27615 23457 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686789376808 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27615/tid=27624] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27624/stat : 27624 (java) S 27613 27615 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686788324264 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27625] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27625/stat : 27625 (java) S 27613 27615 23457 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255113398 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686787271720 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27626] ppid=27613 vsize=9624976 CPUtime=0.11 cores=1,3,5,7
/proc/27615/task/27626/stat : 27626 (java) S 27613 27615 23457 0 -1 4202560 33 0 0 0 11 0 0 0 20 0 19 0 255113399 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686774859880 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27627] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27627/stat : 27627 (java) S 27613 27615 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255113399 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686773806200 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27628] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27628/stat : 27628 (java) S 27613 27615 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255113399 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686772753544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27634] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27634/stat : 27634 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686771702288 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27635] ppid=27613 vsize=9624976 CPUtime=0.51 cores=1,3,5,7
/proc/27615/task/27635/stat : 27635 (java) S 27613 27615 23457 0 -1 4202560 2637 0 0 0 51 0 0 0 20 0 19 0 255113402 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686770649656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27615/tid=27636] ppid=27613 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/27615/task/27636/stat : 27636 (java) S 27613 27615 23457 0 -1 4202560 4261 0 0 0 43 0 0 0 20 0 19 0 255113402 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686769597112 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27637] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27637/stat : 27637 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686768544760 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27638] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27638/stat : 27638 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686767492424 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27661] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27661/stat : 27661 (java) S 27613 27615 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255113442 9855975424 17591 33554432000 1073741824 1073778376 140733662358624 140686766437160 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 9624976

[startup+12.7007 s]

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

[pid=27615/tid=27635] ppid=27613 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/27615/task/27635/stat : 27635 (java) S 27613 27615 23457 0 -1 4202560 2928 0 0 0 58 0 0 0 20 0 19 0 255113402 9855975424 49509 33554432000 1073741824 1073778376 140733662358624 140686770649656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27636] ppid=27613 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/27615/task/27636/stat : 27636 (java) S 27613 27615 23457 0 -1 4202560 4262 0 0 0 48 0 0 0 20 0 19 0 255113402 9855975424 49509 33554432000 1073741824 1073778376 140733662358624 140686769597112 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27637] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27637/stat : 27637 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 49509 33554432000 1073741824 1073778376 140733662358624 140686768544760 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27638] ppid=27613 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/27615/task/27638/stat : 27638 (java) S 27613 27615 23457 0 -1 4202560 98 0 0 0 44 27 0 0 20 0 19 0 255113402 9855975424 49509 33554432000 1073741824 1073778376 140733662358624 140686767492424 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27661] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27661/stat : 27661 (java) S 27613 27615 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255113442 9855975424 49509 33554432000 1073741824 1073778376 140733662358624 140686766437160 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1728.88
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/213 27677
/proc/meminfo: memFree=28409880/32873844 swapFree=7356/7356
[pid=27615] ppid=27613 vsize=9624976 CPUtime=1789.01 cores=1,3,5,7
/proc/27615/stat : 27615 (java) S 27613 27615 23457 0 -1 4202496 12855 0 1 0 178835 66 0 0 20 0 19 0 255113395 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140733662349760 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27615/statm: 2406244 49550 2279 9 0 2396937 0
[pid=27615/tid=27617] ppid=27613 vsize=9624976 CPUtime=1765.33 cores=1,3,5,7
/proc/27615/task/27617/stat : 27617 (java) R 27613 27615 23457 0 -1 4202560 2770 0 1 0 176505 28 0 0 20 0 19 0 255113396 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686950666592 140686890951250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27618] ppid=27613 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/27615/task/27618/stat : 27618 (java) S 27613 27615 23457 0 -1 4202560 277 0 0 0 86 2 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686889396392 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27619] ppid=27613 vsize=9624976 CPUtime=0.9 cores=1,3,5,7
/proc/27615/task/27619/stat : 27619 (java) S 27613 27615 23457 0 -1 4202560 209 0 0 0 88 2 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686793586984 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27620] ppid=27613 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/27615/task/27620/stat : 27620 (java) S 27613 27615 23457 0 -1 4202560 375 0 0 0 81 2 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686792534440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27615/tid=27621] ppid=27613 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/27615/task/27621/stat : 27621 (java) S 27613 27615 23457 0 -1 4202560 96 0 0 0 84 3 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686791481896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27622] ppid=27613 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/27615/task/27622/stat : 27622 (java) S 27613 27615 23457 0 -1 4202560 59 0 0 0 89 2 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686790429352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27623] ppid=27613 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/27615/task/27623/stat : 27623 (java) S 27613 27615 23457 0 -1 4202560 145 0 0 0 83 2 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686789376808 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27624] ppid=27613 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/27615/task/27624/stat : 27624 (java) S 27613 27615 23457 0 -1 4202560 137 0 0 0 86 1 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686788324264 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27615/tid=27625] ppid=27613 vsize=9624976 CPUtime=0.94 cores=1,3,5,7
/proc/27615/task/27625/stat : 27625 (java) S 27613 27615 23457 0 -1 4202560 142 0 0 0 91 3 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686787271720 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27626] ppid=27613 vsize=9624976 CPUtime=10.09 cores=1,3,5,7
/proc/27615/task/27626/stat : 27626 (java) S 27613 27615 23457 0 -1 4202560 168 0 0 0 1005 4 0 0 20 0 19 0 255113399 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686774859880 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27627] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27627/stat : 27627 (java) S 27613 27615 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255113399 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686773806200 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27628] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27628/stat : 27628 (java) S 27613 27615 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255113399 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686772753544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27634] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27634/stat : 27634 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686771702288 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27635] ppid=27613 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/27615/task/27635/stat : 27635 (java) S 27613 27615 23457 0 -1 4202560 2928 0 0 0 58 0 0 0 20 0 19 0 255113402 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686770649656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27636] ppid=27613 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/27615/task/27636/stat : 27636 (java) S 27613 27615 23457 0 -1 4202560 4262 0 0 0 48 0 0 0 20 0 19 0 255113402 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686769597112 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27637] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27637/stat : 27637 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686768544760 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27638] ppid=27613 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/27615/task/27638/stat : 27638 (java) S 27613 27615 23457 0 -1 4202560 102 0 0 0 46 28 0 0 20 0 19 0 255113402 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686767492424 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27661] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27661/stat : 27661 (java) S 27613 27615 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255113442 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686766437160 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1789.01
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/213 27677
/proc/meminfo: memFree=28409880/32873844 swapFree=7356/7356
[pid=27615] ppid=27613 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/27615/stat : 27615 (java) S 27613 27615 23457 0 -1 4202496 12858 0 1 0 179940 66 0 0 20 0 19 0 255113395 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140733662349760 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27615/statm: 2406244 49550 2279 9 0 2396937 0
[pid=27615/tid=27617] ppid=27613 vsize=9624976 CPUtime=1776.2 cores=1,3,5,7
/proc/27615/task/27617/stat : 27617 (java) R 27613 27615 23457 0 -1 4202560 2771 0 1 0 177592 28 0 0 20 0 19 0 255113396 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686950666592 140686891032227 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27618] ppid=27613 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/27615/task/27618/stat : 27618 (java) S 27613 27615 23457 0 -1 4202560 277 0 0 0 86 2 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686889396392 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27619] ppid=27613 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/27615/task/27619/stat : 27619 (java) S 27613 27615 23457 0 -1 4202560 209 0 0 0 89 2 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686793586984 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27620] ppid=27613 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/27615/task/27620/stat : 27620 (java) S 27613 27615 23457 0 -1 4202560 375 0 0 0 82 2 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686792534440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27615/tid=27621] ppid=27613 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/27615/task/27621/stat : 27621 (java) S 27613 27615 23457 0 -1 4202560 96 0 0 0 85 3 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686791481896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27622] ppid=27613 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/27615/task/27622/stat : 27622 (java) S 27613 27615 23457 0 -1 4202560 59 0 0 0 89 2 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686790429352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27623] ppid=27613 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/27615/task/27623/stat : 27623 (java) S 27613 27615 23457 0 -1 4202560 145 0 0 0 83 2 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686789376808 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27624] ppid=27613 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/27615/task/27624/stat : 27624 (java) S 27613 27615 23457 0 -1 4202560 137 0 0 0 86 1 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686788324264 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27615/tid=27625] ppid=27613 vsize=9624976 CPUtime=0.96 cores=1,3,5,7
/proc/27615/task/27625/stat : 27625 (java) S 27613 27615 23457 0 -1 4202560 142 0 0 0 93 3 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686787271720 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27626] ppid=27613 vsize=9624976 CPUtime=10.18 cores=1,3,5,7
/proc/27615/task/27626/stat : 27626 (java) S 27613 27615 23457 0 -1 4202560 170 0 0 0 1014 4 0 0 20 0 19 0 255113399 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686774859880 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27627] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27627/stat : 27627 (java) S 27613 27615 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255113399 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686773806200 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27628] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27628/stat : 27628 (java) S 27613 27615 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255113399 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686772753544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27634] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27634/stat : 27634 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686771702288 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27635] ppid=27613 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/27615/task/27635/stat : 27635 (java) S 27613 27615 23457 0 -1 4202560 2928 0 0 0 58 0 0 0 20 0 19 0 255113402 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686770649656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27636] ppid=27613 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/27615/task/27636/stat : 27636 (java) S 27613 27615 23457 0 -1 4202560 4262 0 0 0 48 0 0 0 20 0 19 0 255113402 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686769597112 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27637] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27637/stat : 27637 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686768544760 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27638] ppid=27613 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/27615/task/27638/stat : 27638 (java) S 27613 27615 23457 0 -1 4202560 102 0 0 0 47 28 0 0 20 0 19 0 255113402 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686767492424 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27661] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27661/stat : 27661 (java) S 27613 27615 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255113442 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686766437160 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 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+1793.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/213 27677
/proc/meminfo: memFree=28409880/32873844 swapFree=7356/7356
[pid=27615] ppid=27613 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/27615/stat : 27615 (java) S 27613 27615 23457 0 -1 4202496 12858 0 1 0 179940 66 0 0 20 0 19 0 255113395 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140733662349760 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27615/statm: 2406244 49550 2279 9 0 2396937 0
[pid=27615/tid=27617] ppid=27613 vsize=9624976 CPUtime=1776.2 cores=1,3,5,7
/proc/27615/task/27617/stat : 27617 (java) R 27613 27615 23457 0 -1 4202560 2771 0 1 0 177592 28 0 0 20 0 19 0 255113396 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686950666592 140686891032227 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27618] ppid=27613 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/27615/task/27618/stat : 27618 (java) S 27613 27615 23457 0 -1 4202560 277 0 0 0 86 2 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686889396392 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27619] ppid=27613 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/27615/task/27619/stat : 27619 (java) S 27613 27615 23457 0 -1 4202560 209 0 0 0 89 2 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686793586984 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27620] ppid=27613 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/27615/task/27620/stat : 27620 (java) S 27613 27615 23457 0 -1 4202560 375 0 0 0 82 2 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686792534440 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27615/tid=27621] ppid=27613 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/27615/task/27621/stat : 27621 (java) S 27613 27615 23457 0 -1 4202560 96 0 0 0 85 3 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686791481896 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27622] ppid=27613 vsize=9624976 CPUtime=0.91 cores=1,3,5,7
/proc/27615/task/27622/stat : 27622 (java) S 27613 27615 23457 0 -1 4202560 59 0 0 0 89 2 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686790429352 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27623] ppid=27613 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/27615/task/27623/stat : 27623 (java) S 27613 27615 23457 0 -1 4202560 145 0 0 0 83 2 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686789376808 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27624] ppid=27613 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/27615/task/27624/stat : 27624 (java) S 27613 27615 23457 0 -1 4202560 137 0 0 0 86 1 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686788324264 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27615/tid=27625] ppid=27613 vsize=9624976 CPUtime=0.96 cores=1,3,5,7
/proc/27615/task/27625/stat : 27625 (java) S 27613 27615 23457 0 -1 4202560 142 0 0 0 93 3 0 0 20 0 19 0 255113398 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686787271720 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27626] ppid=27613 vsize=9624976 CPUtime=10.18 cores=1,3,5,7
/proc/27615/task/27626/stat : 27626 (java) S 27613 27615 23457 0 -1 4202560 170 0 0 0 1014 4 0 0 20 0 19 0 255113399 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686774859880 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27627] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27627/stat : 27627 (java) S 27613 27615 23457 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255113399 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686773806200 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27628] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27628/stat : 27628 (java) S 27613 27615 23457 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255113399 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686772753544 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27634] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27634/stat : 27634 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686771702288 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27635] ppid=27613 vsize=9624976 CPUtime=0.58 cores=1,3,5,7
/proc/27615/task/27635/stat : 27635 (java) S 27613 27615 23457 0 -1 4202560 2928 0 0 0 58 0 0 0 20 0 19 0 255113402 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686770649656 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27636] ppid=27613 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/27615/task/27636/stat : 27636 (java) S 27613 27615 23457 0 -1 4202560 4262 0 0 0 48 0 0 0 20 0 19 0 255113402 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686769597112 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27615/tid=27637] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27637/stat : 27637 (java) S 27613 27615 23457 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255113402 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686768544760 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27615/tid=27638] ppid=27613 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/27615/task/27638/stat : 27638 (java) S 27613 27615 23457 0 -1 4202560 102 0 0 0 47 28 0 0 20 0 19 0 255113402 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686767492424 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27615/tid=27661] ppid=27613 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/27615/task/27661/stat : 27661 (java) S 27613 27615 23457 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255113442 9855975424 49550 33554432000 1073741824 1073778376 140733662358624 140686766437160 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 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 27615 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=728159
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=912861
# CPU time returned by wait4() is 1795.64
# 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): 1793.35
CPU time (s): 1800.06
CPU user time (s): 1799.4
CPU system time (s): 0.66
CPU usage (%): 100.374
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.73
system time used= 0.912861
maximum resident set size= 198332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12893
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45554
involuntary context switches= 24035

runsolver used 6.16106 second user time and 16.2825 second system time

The end

Launcher Data

Begin job on node109 at 2012-05-24 22:04:08
IDJOB=3689145
IDBENCH=72483
IDSOLVER=2269
FILE ID=node109/3689145-1337889848
RUNJOBID= node109-1337889848-27598
PBS_JOBID= 14620095
Free space on /tmp= 71680 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_10_errors.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689145-1337889848/watcher-3689145-1337889848 -o /tmp/evaluation-result-3689145-1337889848/solver-3689145-1337889848 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3689145-1337889848.opb

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

MD5SUM BENCH= b561a61efc46169e6f19abce33721598
RANDOM SEED=661809549

node109.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.264
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.52
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.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29064928 kB
Buffers:          214480 kB
Cached:          2815996 kB
SwapCached:            0 kB
Active:           388268 kB
Inactive:        2655588 kB
Active(anon):      16324 kB
Inactive(anon):        0 kB
Active(file):     371944 kB
Inactive(file):  2655588 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1168 kB
Writeback:             0 kB
AnonPages:         19060 kB
Mapped:            13556 kB
Shmem:               200 kB
Slab:             626956 kB
SReclaimable:      69628 kB
SUnreclaim:       557328 kB
KernelStack:        1400 kB
PageTables:         3820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     107332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71676 MiB
End job on node109 at 2012-05-24 22:34:04