Trace number 3688176

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 RES // CP 2.3.2 SnapshotSAT (TO)165 1800.06 991.138

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-lin.rom.r.opb
MD5SUM3183c84355c854880486b3d148840656
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark120
Best CPU time to get the best result obtained on this benchmark0.184971
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 120
Optimality of the best value was proved YES
Number of variables1076
Total number of constraints1030
Number of constraints which are clauses1030
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint40
Number of terms in the objective function 1076
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 1076
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1076
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120418
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c ManyCore solver with 2 solvers running in parallel
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3688176-1337875772.opb
0.08/0.13	c reading problem ... 
0.48/0.31	c ... done. Wall clock time 0.176s.
0.48/0.31	c declared #vars     1076
0.48/0.31	c #constraints  1030
0.48/0.31	c constraints type 
0.48/0.31	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 991
0.48/0.31	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 39
0.48/0.31	c 1030 constraints processed.
0.48/0.31	c constraints type 
0.48/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 39
0.48/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 991
0.48/0.31	c 1030 constraints processed.
0.48/0.31	c objective function length is 1076 literals
0.48/0.33	c  And the winner is solver0
0.68/0.81	c SATISFIABLE
0.68/0.81	c OPTIMIZING...
0.68/0.81	c Got one! Elapsed wall clock time (in seconds):0.68
0.68/0.81	o 177
2.20/1.33	c  And the winner is solver1
2.55/1.82	c Got one! Elapsed wall clock time (in seconds):1.688
2.55/1.82	o 176
2.76/1.99	c  And the winner is solver1
2.97/2.32	c Got one! Elapsed wall clock time (in seconds):2.192
2.97/2.32	o 175
3.15/2.45	c cleaning 3121 clauses out of 6241 with flag 1001/6241
3.63/2.69	c  And the winner is solver1
3.96/2.83	c Got one! Elapsed wall clock time (in seconds):2.697
3.96/2.83	o 174
4.83/3.26	c cleaning 4521 clauses out of 9041 with flag 4001/12162
6.41/4.04	c cleaning 5260 clauses out of 10519 with flag 10000/18161
8.02/4.86	c cleaning 6130 clauses out of 12260 with flag 17001/25162
9.85/5.80	c  And the winner is solver1
10.05/5.83	c Got one! Elapsed wall clock time (in seconds):5.7
10.05/5.83	o 173
10.99/6.38	c cleaning 9453 clauses out of 18916 with flag 5000/37948
12.61/7.10	c cleaning 7726 clauses out of 15463 with flag 11000/43948
14.23/7.93	c cleaning 7369 clauses out of 14740 with flag 18003/50951
16.20/8.91	c cleaning 7681 clauses out of 15368 with flag 26000/58948
17.53/9.68	c  And the winner is solver1
17.68/9.84	c Got one! Elapsed wall clock time (in seconds):9.704
17.68/9.84	o 172
18.61/10.38	c cleaning 9603 clauses out of 19205 with flag 5000/70466
20.16/11.12	c cleaning 7800 clauses out of 15604 with flag 11002/76468
21.72/12.00	c cleaning 7399 clauses out of 14802 with flag 18000/83466
23.66/12.98	c cleaning 7702 clauses out of 15403 with flag 26000/91466
25.96/14.12	c cleaning 8351 clauses out of 16702 with flag 35001/100467
26.69/14.50	c  And the winner is solver1
26.69/14.84	c Got one! Elapsed wall clock time (in seconds):14.71
26.69/14.84	o 171
27.20/15.17	c cleaning 6999 clauses out of 14003 with flag 3001/106119
28.72/15.95	c cleaning 6498 clauses out of 13006 with flag 9003/112121
30.44/16.82	c cleaning 6747 clauses out of 13505 with flag 16000/119118
32.32/17.87	c cleaning 7373 clauses out of 14758 with flag 24000/127118
34.43/18.97	c cleaning 8193 clauses out of 16385 with flag 33000/136118
36.98/20.24	c cleaning 9096 clauses out of 18193 with flag 43001/146119
39.87/21.72	c cleaning 10049 clauses out of 20097 with flag 54001/157119
41.31/22.58	c  And the winner is solver1
41.31/22.59	c Got one! Elapsed wall clock time (in seconds):22.462
41.31/22.59	o 170
42.49/23.16	c cleaning 10396 clauses out of 20792 with flag 5001/167863
44.15/24.02	c cleaning 8197 clauses out of 16395 with flag 11000/173862
45.82/24.95	c cleaning 7600 clauses out of 15199 with flag 18001/180863
47.91/26.01	c cleaning 7794 clauses out of 15598 with flag 26000/188862
50.28/27.31	c cleaning 8398 clauses out of 16804 with flag 35000/197862
52.75/28.62	c cleaning 9204 clauses out of 18408 with flag 45002/207864
55.58/30.14	c cleaning 10102 clauses out of 20203 with flag 56001/218863
58.84/31.86	c cleaning 11049 clauses out of 22101 with flag 68001/230863
62.57/33.81	c cleaning 12023 clauses out of 24053 with flag 81002/243864
66.39/35.88	c cleaning 13010 clauses out of 26028 with flag 95000/257862
70.84/38.16	c cleaning 14000 clauses out of 28018 with flag 110000/272862
72.61/39.16	c  And the winner is solver1
72.69/39.63	c Got one! Elapsed wall clock time (in seconds):39.502
72.69/39.63	o 169
73.81/40.21	c cleaning 12360 clauses out of 24719 with flag 5000/283563
75.45/41.28	c cleaning 9175 clauses out of 18359 with flag 11000/289563
77.41/42.30	c cleaning 8088 clauses out of 16185 with flag 18001/296564
79.37/43.48	c cleaning 8045 clauses out of 16096 with flag 26000/304563
81.73/44.79	c cleaning 8520 clauses out of 17052 with flag 35001/313564
84.76/46.44	c cleaning 9264 clauses out of 18531 with flag 45000/323563
87.89/48.12	c cleaning 10132 clauses out of 20267 with flag 56000/334563
91.05/49.85	c cleaning 11067 clauses out of 22135 with flag 68000/346563
94.96/51.98	c cleaning 12030 clauses out of 24068 with flag 81000/359563
99.31/54.36	c cleaning 13016 clauses out of 26038 with flag 95000/373563
104.03/56.84	c cleaning 14009 clauses out of 28025 with flag 110003/388566
108.16/59.06	c cleaning 15003 clauses out of 30013 with flag 126000/404563
109.45/59.88	c  And the winner is solver1
109.56/59.91	c Got one! Elapsed wall clock time (in seconds):59.774
109.56/59.91	o 168
109.75/60.03	c cleaning 10019 clauses out of 20044 with flag 1000/409597
111.63/61.27	c cleaning 8013 clauses out of 16025 with flag 7000/415597
113.52/62.36	c cleaning 7505 clauses out of 15013 with flag 14001/422598
115.61/63.58	c cleaning 7753 clauses out of 15507 with flag 22000/430597
118.07/64.96	c cleaning 8372 clauses out of 16755 with flag 31001/439598
120.92/66.64	c cleaning 9187 clauses out of 18382 with flag 41000/449597
124.01/68.31	c cleaning 10097 clauses out of 20197 with flag 52002/460599
127.28/70.10	c cleaning 11045 clauses out of 22098 with flag 64000/472597
130.53/71.96	c cleaning 12027 clauses out of 24054 with flag 77001/485598
134.58/74.20	c cleaning 13014 clauses out of 26028 with flag 91002/499599
138.46/76.34	c cleaning 14006 clauses out of 28014 with flag 106002/514599
142.74/78.61	c cleaning 14992 clauses out of 30006 with flag 122000/530597
147.19/81.08	c cleaning 16003 clauses out of 32014 with flag 139000/547597
152.75/84.13	c cleaning 17003 clauses out of 34011 with flag 157000/565597
158.22/87.01	c cleaning 18001 clauses out of 36009 with flag 176001/584598
163.72/89.96	c cleaning 19000 clauses out of 38008 with flag 196001/604598
169.35/92.99	c cleaning 20003 clauses out of 40008 with flag 217001/625598
170.89/94.07	c  And the winner is solver1
170.95/94.25	c Got one! Elapsed wall clock time (in seconds):94.114
170.95/94.25	o 167
171.47/94.59	c cleaning 12904 clauses out of 25810 with flag 3000/631403
173.46/95.71	c cleaning 9451 clauses out of 18906 with flag 9000/637403
175.41/96.94	c cleaning 8228 clauses out of 16455 with flag 16000/644403
177.77/98.31	c cleaning 8113 clauses out of 16227 with flag 24000/652403
180.66/100.12	c cleaning 8557 clauses out of 17115 with flag 33001/661404
183.43/101.72	c cleaning 9279 clauses out of 18558 with flag 43001/671404
186.56/103.50	c cleaning 10140 clauses out of 20281 with flag 54003/682406
189.70/105.38	c cleaning 11059 clauses out of 22138 with flag 66000/694403
193.97/107.81	c cleaning 12035 clauses out of 24080 with flag 79001/707404
197.71/109.96	c cleaning 13021 clauses out of 26044 with flag 93000/721403
202.08/112.35	c cleaning 14013 clauses out of 28025 with flag 108002/736405
206.59/114.86	c cleaning 15000 clauses out of 30010 with flag 124000/752403
211.94/117.90	c cleaning 16001 clauses out of 32011 with flag 141001/769404
217.05/120.75	c cleaning 16997 clauses out of 34009 with flag 159000/787403
222.51/123.75	c cleaning 18001 clauses out of 36012 with flag 178000/806403
228.01/126.77	c cleaning 19004 clauses out of 38012 with flag 198001/826404
234.26/130.36	c cleaning 19996 clauses out of 40008 with flag 219001/847404
240.31/133.68	c cleaning 21002 clauses out of 42011 with flag 241000/869403
246.73/137.18	c cleaning 22000 clauses out of 44010 with flag 264001/892404
253.87/141.03	c cleaning 23000 clauses out of 46011 with flag 288002/916405
261.67/145.80	c cleaning 23998 clauses out of 48009 with flag 313000/941403
269.26/149.84	c cleaning 24996 clauses out of 50011 with flag 339000/967403
277.29/154.11	c cleaning 26002 clauses out of 52015 with flag 366000/994403
285.70/158.83	c cleaning 27005 clauses out of 54013 with flag 394000/1022403
294.32/163.49	c cleaning 28001 clauses out of 56010 with flag 423002/1051405
303.08/168.15	c cleaning 29001 clauses out of 58007 with flag 453000/1081403
312.02/172.98	c cleaning 30001 clauses out of 60008 with flag 484002/1112405
322.04/178.54	c cleaning 30994 clauses out of 62006 with flag 516001/1144404
332.01/183.82	c cleaning 32005 clauses out of 64012 with flag 549001/1177404
339.10/187.77	c  And the winner is solver1
338.93/188.17	c Got one! Elapsed wall clock time (in seconds):188.038
338.93/188.17	o 166
340.18/188.82	c cleaning 30625 clauses out of 61254 with flag 5003/1206651
342.57/190.43	c cleaning 18309 clauses out of 36626 with flag 11000/1212648
345.59/192.64	c cleaning 12652 clauses out of 25318 with flag 18001/1219649
348.22/194.35	c cleaning 10327 clauses out of 20665 with flag 26000/1227648
351.05/196.15	c cleaning 9664 clauses out of 19338 with flag 35000/1236648
354.27/198.13	c cleaning 9828 clauses out of 19674 with flag 45000/1246648
358.15/200.72	c cleaning 10417 clauses out of 20846 with flag 56000/1257648
361.77/202.91	c cleaning 11210 clauses out of 22430 with flag 68001/1269649
365.79/205.31	c cleaning 12104 clauses out of 24219 with flag 81000/1282648
370.00/207.88	c cleaning 13052 clauses out of 26115 with flag 95000/1296648
375.06/211.06	c cleaning 14031 clauses out of 28066 with flag 110003/1311651
380.47/214.11	c cleaning 15014 clauses out of 30033 with flag 126001/1327649
385.82/217.29	c cleaning 16002 clauses out of 32018 with flag 143000/1344648
391.63/220.58	c cleaning 17003 clauses out of 34016 with flag 161000/1362648
398.24/224.50	c cleaning 18002 clauses out of 36013 with flag 180000/1381648
404.01/227.81	c cleaning 19006 clauses out of 38011 with flag 200000/1401648
410.33/231.47	c cleaning 20000 clauses out of 40005 with flag 221000/1422648
417.48/235.48	c cleaning 20993 clauses out of 42005 with flag 243000/1444648
425.16/240.07	c cleaning 21997 clauses out of 44012 with flag 266000/1467648
432.07/243.96	c cleaning 23002 clauses out of 46015 with flag 290000/1491648
434.45/245.63	c  And the winner is solver1
434.36/246.02	c Got one! Elapsed wall clock time (in seconds):245.888
434.36/246.02	o 165
435.50/246.61	c cleaning 16815 clauses out of 33629 with flag 5000/1502264
437.93/248.36	c cleaning 11401 clauses out of 22814 with flag 11000/1508264
441.15/250.77	c cleaning 9200 clauses out of 18414 with flag 18001/1515265
444.14/252.74	c cleaning 8603 clauses out of 17216 with flag 26003/1523267
447.32/254.81	c cleaning 8803 clauses out of 17610 with flag 35000/1532264
450.74/257.04	c cleaning 9404 clauses out of 18809 with flag 45002/1542266
455.06/260.08	c cleaning 10198 clauses out of 20405 with flag 56002/1553266
458.90/262.46	c cleaning 11099 clauses out of 22205 with flag 68000/1565264
463.12/265.01	c cleaning 12050 clauses out of 24107 with flag 81001/1578265
467.50/267.76	c cleaning 13029 clauses out of 26061 with flag 95005/1592269
472.88/271.27	c cleaning 14009 clauses out of 28028 with flag 110001/1607265
477.72/274.17	c cleaning 15005 clauses out of 30019 with flag 126001/1623265
482.95/277.21	c cleaning 16006 clauses out of 32013 with flag 143000/1640264
488.36/280.46	c cleaning 17001 clauses out of 34007 with flag 161000/1658264
494.88/284.50	c cleaning 18002 clauses out of 36007 with flag 180001/1677265
501.13/288.11	c cleaning 19004 clauses out of 38007 with flag 200003/1697267
507.32/291.72	c cleaning 19999 clauses out of 40000 with flag 221000/1718264
515.68/297.45	c cleaning 20998 clauses out of 42001 with flag 243000/1740264
523.00/301.55	c cleaning 22002 clauses out of 44003 with flag 266000/1763264
530.59/305.88	c cleaning 22999 clauses out of 46002 with flag 290001/1787265
539.34/310.73	c cleaning 23998 clauses out of 48002 with flag 315000/1812264
549.65/316.74	c cleaning 24997 clauses out of 50004 with flag 341000/1838264
557.99/321.41	c cleaning 26001 clauses out of 52010 with flag 368003/1865267
566.95/326.41	c cleaning 27001 clauses out of 54006 with flag 396000/1893264
576.50/331.74	c cleaning 28001 clauses out of 56005 with flag 425000/1922264
587.72/338.33	c cleaning 28996 clauses out of 58006 with flag 455002/1952266
598.47/344.29	c cleaning 29999 clauses out of 60008 with flag 486000/1983264
608.96/350.07	c cleaning 31000 clauses out of 62009 with flag 518000/2015264
619.74/355.96	c cleaning 32004 clauses out of 64009 with flag 551000/2048264
632.15/363.14	c cleaning 32998 clauses out of 66005 with flag 585000/2082264
643.83/369.54	c cleaning 33999 clauses out of 68007 with flag 620000/2117264
655.90/376.23	c cleaning 35003 clauses out of 70008 with flag 656000/2153264
668.41/383.13	c cleaning 36001 clauses out of 72005 with flag 693000/2190264
680.93/390.41	c cleaning 36999 clauses out of 74004 with flag 731000/2228264
693.26/397.24	c cleaning 38003 clauses out of 76006 with flag 770001/2267265
706.22/404.35	c cleaning 38997 clauses out of 78002 with flag 810000/2307264
719.28/411.51	c cleaning 39995 clauses out of 80006 with flag 851001/2348265
733.31/419.61	c cleaning 40997 clauses out of 82010 with flag 893000/2390264
746.46/426.89	c cleaning 41997 clauses out of 84013 with flag 936000/2433264
759.99/434.29	c cleaning 43007 clauses out of 86017 with flag 980001/2477265
773.44/441.69	c cleaning 43993 clauses out of 88009 with flag 1025000/2522264
788.14/450.13	c cleaning 45005 clauses out of 90017 with flag 1071001/2568265
802.87/458.14	c cleaning 45998 clauses out of 92011 with flag 1118000/2615264
817.54/466.16	c cleaning 47001 clauses out of 94013 with flag 1166000/2663264
832.45/474.26	c cleaning 47996 clauses out of 96012 with flag 1215000/2712264
848.30/483.24	c cleaning 49004 clauses out of 98017 with flag 1265001/2762265
863.83/491.68	c cleaning 50000 clauses out of 100012 with flag 1316000/2813264
879.37/500.05	c cleaning 51004 clauses out of 102012 with flag 1368000/2865264
897.39/509.72	c cleaning 51997 clauses out of 104008 with flag 1421000/2918264
916.57/520.41	c cleaning 53002 clauses out of 106012 with flag 1475001/2972265
934.02/529.80	c cleaning 54003 clauses out of 108009 with flag 1530000/3027264
951.46/539.21	c cleaning 54999 clauses out of 110006 with flag 1586000/3083264
969.68/549.01	c cleaning 55996 clauses out of 112010 with flag 1643003/3140267
988.14/559.37	c cleaning 56997 clauses out of 114014 with flag 1701003/3198267
1006.46/569.18	c cleaning 57997 clauses out of 116014 with flag 1760000/3257264
1024.61/578.82	c cleaning 59001 clauses out of 118018 with flag 1820001/3317265
1042.66/588.52	c cleaning 60002 clauses out of 120016 with flag 1881000/3378264
1062.54/599.52	c cleaning 61004 clauses out of 122014 with flag 1943000/3440264
1083.25/610.55	c cleaning 61997 clauses out of 124011 with flag 2006001/3503265
1105.48/622.39	c cleaning 63001 clauses out of 126013 with flag 2070000/3567264
1126.62/633.58	c cleaning 64002 clauses out of 128012 with flag 2135000/3632264
1147.36/645.07	c cleaning 64997 clauses out of 130013 with flag 2201003/3698267
1168.89/656.49	c cleaning 66004 clauses out of 132013 with flag 2268000/3765264
1190.83/668.05	c cleaning 67000 clauses out of 134009 with flag 2336000/3833264
1211.75/679.18	c cleaning 68001 clauses out of 136009 with flag 2405000/3902264
1234.15/691.20	c cleaning 69000 clauses out of 138009 with flag 2475001/3972265
1256.39/703.09	c cleaning 69995 clauses out of 140008 with flag 2546000/4043264
1279.53/715.26	c cleaning 71003 clauses out of 142013 with flag 2618000/4115264
1303.79/728.07	c cleaning 72002 clauses out of 144010 with flag 2691000/4188264
1329.74/742.14	c cleaning 72995 clauses out of 146009 with flag 2765001/4262265
1355.40/755.67	c cleaning 74008 clauses out of 148015 with flag 2840002/4337266
1379.61/768.40	c cleaning 74998 clauses out of 150005 with flag 2916000/4413264
1403.89/781.21	c cleaning 75993 clauses out of 152007 with flag 2993000/4490264
1427.77/794.37	c cleaning 76997 clauses out of 154014 with flag 3071000/4568264
1451.38/806.88	c cleaning 77999 clauses out of 156017 with flag 3150000/4647264
1476.48/820.00	c cleaning 79008 clauses out of 158020 with flag 3230002/4727266
1502.27/833.68	c cleaning 79990 clauses out of 160011 with flag 3311001/4808265
1529.15/848.29	c cleaning 81009 clauses out of 162023 with flag 3393003/4890267
1555.79/862.26	c cleaning 82002 clauses out of 164012 with flag 3476001/4973265
1582.50/876.27	c cleaning 82999 clauses out of 166010 with flag 3560001/5057265
1611.33/891.38	c cleaning 83995 clauses out of 168010 with flag 3645000/5142264
1641.30/907.42	c cleaning 85003 clauses out of 170015 with flag 3731000/5228264
1669.12/922.05	c cleaning 85999 clauses out of 172012 with flag 3818000/5315264
1697.25/936.79	c cleaning 86999 clauses out of 174013 with flag 3906000/5403264
1725.19/951.38	c cleaning 88004 clauses out of 176014 with flag 3995000/5492264
1754.84/967.39	c cleaning 88999 clauses out of 178010 with flag 4085000/5582264
1784.56/982.89	c cleaning 89998 clauses out of 180011 with flag 4176000/5673264
1799.80/991.12	c starts		: 41
1799.80/991.12	c conflicts		: 7957
1799.80/991.12	c decisions		: 71481
1799.80/991.12	c propagations		: 316914
1799.80/991.12	c inspects		: 95767911
1799.80/991.12	c shortcuts		: 0
1799.80/991.12	c learnt literals	: 0
1799.80/991.12	c learnt binary clauses	: 0
1799.80/991.12	c learnt ternary clauses	: 0
1799.80/991.12	c learnt constraints	: 7956
1799.80/991.12	c ignored constraints	: 0
1799.80/991.12	c root simplifications	: 0
1799.80/991.12	c removed literals (reason simplification)	: 0
1799.80/991.12	c reason swapping (by a shorter reason)	: 0
1799.80/991.12	c Calls to reduceDB	: 0
1799.80/991.12	c number of reductions to clauses (during analyze)	: 0
1799.80/991.12	c number of learned constraints concerned by reduction	: 0
1799.80/991.12	c number of learning phase by resolution	: 0
1799.80/991.12	c number of learning phase by cutting planes	: 0
1799.80/991.12	c speed (assignments/second)	: 320.02043839550515
1799.80/991.12	c non guided choices	0
1799.80/991.12	c learnt constraints type 
1799.80/991.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1961
1799.80/991.12	c org.sat4j.pb.constraints.pb.MaxWatchPb => 5995
1799.80/991.12	c constraints type 
1799.80/991.12	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 991
1799.80/991.12	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1799.80/991.12	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 39
1799.80/991.12	c 1031 constraints processed.
1799.80/991.12	c constraints type 
1799.80/991.12	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 39
1799.80/991.12	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 991
1799.80/991.12	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1799.80/991.12	c 1031 constraints processed.
1799.80/991.12	s SATISFIABLE
1799.80/991.12	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 x156 -x157 x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 x238 -x239 x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 x321 x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 x339 x340 x341 -x342 x343 -x344 x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 x355 -x356 x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 x400 x401 -x402 x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 x614 x615 -x616 -x617 -x618 x619 -x620 x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 x725 -x726 x727 -x728 -x729 x730 -x731 -x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 x893 -x894 -x895 -x896 -x897 x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 x1054 -x1055 x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 x1067 x1068 -x1069 -x1070 x1071 -x1072 -x1073 x1074 -x1075 x1076 
1799.80/991.12	c objective function=165
1799.80/991.12	c Total wall clock time (in seconds): 990.993

Verifier Data

OK	165

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

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

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


[startup+0 s]
/proc/loadavg: 3.94 3.92 3.77 5/197 26875
/proc/meminfo: memFree=28553508/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/26875/stat : 26875 (java) D 26873 26875 25404 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253701541 9515008 182 33554432000 1073741824 1073778376 140733568305440 140733568296472 251044642485 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2323 182 140 9 0 71 0

[startup+0.093085 s]
/proc/loadavg: 3.94 3.92 3.77 5/197 26875
/proc/meminfo: memFree=28553508/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 3368 0 1 0 6 1 0 0 20 0 18 0 253701541 9787813888 4577 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2389603 4577 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412

[startup+0.100303 s]
/proc/loadavg: 3.94 3.92 3.77 5/197 26875
/proc/meminfo: memFree=28553508/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 3998 0 1 0 7 1 0 0 20 0 18 0 253701541 9787813888 5194 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2389603 5194 2036 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300252 s]
/proc/loadavg: 3.94 3.92 3.77 5/197 26875
/proc/meminfo: memFree=28553508/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9558412 CPUtime=0.48 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 5845 0 1 0 47 1 0 0 20 0 18 0 253701541 9787813888 8483 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2389603 8483 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412

[startup+0.700279 s]
/proc/loadavg: 3.94 3.92 3.77 5/197 26875
/proc/meminfo: memFree=28553508/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9759132 CPUtime=0.68 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 8075 0 1 0 65 3 0 0 20 0 19 0 253701541 9993351168 10718 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2439783 10718 2233 9 0 2430476 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 9759132

[startup+1.50073 s]
/proc/loadavg: 3.94 3.92 3.77 6/219 26900
/proc/meminfo: memFree=28510084/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9824668 CPUtime=2.49 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 15169 0 1 0 242 7 0 0 20 0 19 0 253701541 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2456167 19127 2246 9 0 2446860 0
[pid=26875/tid=26877] ppid=26873 vsize=9824668 CPUtime=0.28 cores=0,2,4,6
/proc/26875/task/26877/stat : 26877 (java) S 26873 26875 25404 0 -1 4202560 2495 0 1 0 27 1 0 0 20 0 19 0 253701542 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418701272056 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26878] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26878/stat : 26878 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418662763176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26879] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26879/stat : 26879 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418661710632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26880] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26880/stat : 26880 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418660658088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26881] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26881/stat : 26881 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418659605544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26882] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26882/stat : 26882 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418658551976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26883] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26883/stat : 26883 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418657499432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26884] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26884/stat : 26884 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418656446888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26885] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26885/stat : 26885 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253701543 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418655394344 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26886] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26886/stat : 26886 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253701545 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418525338216 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26887] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26887/stat : 26887 (java) S 26873 26875 25404 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253701545 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418524284536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26888] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26888/stat : 26888 (java) S 26873 26875 25404 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253701545 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418523231880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26889] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26889/stat : 26889 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701548 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418522180624 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26890] ppid=26873 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/26875/task/26890/stat : 26890 (java) S 26873 26875 25404 0 -1 4202560 2524 0 0 0 36 0 0 0 20 0 19 0 253701548 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140418521126968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26891] ppid=26873 vsize=9824668 CPUtime=0.72 cores=0,2,4,6
/proc/26875/task/26891/stat : 26891 (java) R 26873 26875 25404 0 -1 4202560 8821 0 0 0 71 1 0 0 20 0 19 0 253701548 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140417647480888 140418705385840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26892] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26892/stat : 26892 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701548 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140417646451192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26893] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26893/stat : 26893 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253701548 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140417645398856 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26900] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26900/stat : 26900 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253701624 10060460032 19127 33554432000 1073741824 1073778376 140736500508672 140417644344360 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 9824668

[startup+3.10065 s]
/proc/loadavg: 3.94 3.92 3.77 3/216 26903
/proc/meminfo: memFree=28475804/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9824668 CPUtime=4.59 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 16320 0 1 0 448 11 0 0 20 0 22 0 253701541 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2456167 26495 2277 9 0 2446860 0
[pid=26875/tid=26877] ppid=26873 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/26875/task/26877/stat : 26877 (java) S 26873 26875 25404 0 -1 4202560 2496 0 1 0 28 2 0 0 20 0 22 0 253701542 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418701272056 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26878] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26878/stat : 26878 (java) S 26873 26875 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418662763176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26879] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26879/stat : 26879 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418661710632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26880] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26880/stat : 26880 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418660658088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26881] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26881/stat : 26881 (java) S 26873 26875 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418659605544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26882] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26882/stat : 26882 (java) S 26873 26875 25404 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418658551976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26883] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26883/stat : 26883 (java) S 26873 26875 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418657499432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26884] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26884/stat : 26884 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418656446888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26885] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26885/stat : 26885 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418655394344 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26886] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26886/stat : 26886 (java) S 26873 26875 25404 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418525338216 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26887] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26887/stat : 26887 (java) S 26873 26875 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418524284536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26888] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26888/stat : 26888 (java) S 26873 26875 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418523231880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26889] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26889/stat : 26889 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418522180624 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26890] ppid=26873 vsize=9824668 CPUtime=0.55 cores=0,2,4,6
/proc/26875/task/26890/stat : 26890 (java) S 26873 26875 25404 0 -1 4202560 3176 0 0 0 55 0 0 0 20 0 22 0 253701548 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140418521126968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26891] ppid=26873 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/26875/task/26891/stat : 26891 (java) S 26873 26875 25404 0 -1 4202560 9235 0 0 0 101 2 0 0 20 0 22 0 253701548 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140417647503544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26892] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26892/stat : 26892 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140417646451192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26893] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26893/stat : 26893 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140417645398856 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26900] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26900/stat : 26900 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253701624 10060460032 26495 33554432000 1073741824 1073778376 140736500508672 140417644344360 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 9824668

[startup+6.30062 s]
/proc/loadavg: 3.94 3.92 3.77 5/219 26909
/proc/meminfo: memFree=28459888/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9824668 CPUtime=10.99 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 16510 0 1 0 1084 15 0 0 20 0 22 0 253701541 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2456167 35167 2277 9 0 2446860 0
[pid=26875/tid=26877] ppid=26873 vsize=9824668 CPUtime=0.3 cores=0,2,4,6
/proc/26875/task/26877/stat : 26877 (java) S 26873 26875 25404 0 -1 4202560 2496 0 1 0 28 2 0 0 20 0 22 0 253701542 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418701272056 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26878] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26878/stat : 26878 (java) S 26873 26875 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418662763176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26879] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26879/stat : 26879 (java) S 26873 26875 25404 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418661710632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26880] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26880/stat : 26880 (java) S 26873 26875 25404 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418660658088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26881] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26881/stat : 26881 (java) S 26873 26875 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418659605544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26882] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26882/stat : 26882 (java) S 26873 26875 25404 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418658551976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26883] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26883/stat : 26883 (java) S 26873 26875 25404 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418657499432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26884] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26884/stat : 26884 (java) S 26873 26875 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418656446888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26885] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26885/stat : 26885 (java) S 26873 26875 25404 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253701543 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418655394344 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26886] ppid=26873 vsize=9824668 CPUtime=0.09 cores=0,2,4,6
/proc/26875/task/26886/stat : 26886 (java) S 26873 26875 25404 0 -1 4202560 35 0 0 0 9 0 0 0 20 0 22 0 253701545 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418525338216 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26887] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26887/stat : 26887 (java) S 26873 26875 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418524284536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26888] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26888/stat : 26888 (java) S 26873 26875 25404 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418523231880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26889] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26889/stat : 26889 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418522180624 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26890] ppid=26873 vsize=9824668 CPUtime=0.66 cores=0,2,4,6
/proc/26875/task/26890/stat : 26890 (java) S 26873 26875 25404 0 -1 4202560 3308 0 0 0 66 0 0 0 20 0 22 0 253701548 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140418521126968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26891] ppid=26873 vsize=9824668 CPUtime=1.08 cores=0,2,4,6
/proc/26875/task/26891/stat : 26891 (java) S 26873 26875 25404 0 -1 4202560 9236 0 0 0 106 2 0 0 20 0 22 0 253701548 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140417647503544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26892] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26892/stat : 26892 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140417646451192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26893] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26893/stat : 26893 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140417645398856 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26900] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26900/stat : 26900 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253701624 10060460032 35167 33554432000 1073741824 1073778376 140736500508672 140417644344360 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.99
Current children cumulated vsize (KiB) 9824668

[startup+12.7008 s]

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

[pid=26875/tid=26881] ppid=26873 vsize=9824668 CPUtime=2.55 cores=0,2,4,6
/proc/26875/task/26881/stat : 26881 (java) S 26873 26875 25404 0 -1 4202560 1171 0 0 0 250 5 0 0 20 0 22 0 253701543 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418659605544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26882] ppid=26873 vsize=9824668 CPUtime=2.53 cores=0,2,4,6
/proc/26875/task/26882/stat : 26882 (java) S 26873 26875 25404 0 -1 4202560 1128 0 0 0 247 6 0 0 20 0 22 0 253701543 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418658551976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26883] ppid=26873 vsize=9824668 CPUtime=2.54 cores=0,2,4,6
/proc/26875/task/26883/stat : 26883 (java) S 26873 26875 25404 0 -1 4202560 851 0 0 0 248 6 0 0 20 0 22 0 253701543 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418657499432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26884] ppid=26873 vsize=9824668 CPUtime=2.78 cores=0,2,4,6
/proc/26875/task/26884/stat : 26884 (java) S 26873 26875 25404 0 -1 4202560 846 0 0 0 272 6 0 0 20 0 22 0 253701543 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418656446888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26885] ppid=26873 vsize=9824668 CPUtime=2.48 cores=0,2,4,6
/proc/26875/task/26885/stat : 26885 (java) S 26873 26875 25404 0 -1 4202560 1218 0 0 0 242 6 0 0 20 0 22 0 253701543 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418655394344 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26886] ppid=26873 vsize=9824668 CPUtime=180.09 cores=0,2,4,6
/proc/26875/task/26886/stat : 26886 (java) S 26873 26875 25404 0 -1 4202560 3524 0 0 0 17976 33 0 0 20 0 22 0 253701545 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418525338216 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26887] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26887/stat : 26887 (java) S 26873 26875 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418524284536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26888] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26888/stat : 26888 (java) S 26873 26875 25404 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418523231880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26889] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26889/stat : 26889 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418522180624 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26890] ppid=26873 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/26875/task/26890/stat : 26890 (java) S 26873 26875 25404 0 -1 4202560 4314 0 0 0 76 0 0 0 20 0 22 0 253701548 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140418521126968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26891] ppid=26873 vsize=9824668 CPUtime=1.48 cores=0,2,4,6
/proc/26875/task/26891/stat : 26891 (java) S 26873 26875 25404 0 -1 4202560 9261 0 0 0 146 2 0 0 20 0 22 0 253701548 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140417647503544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26892] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26892/stat : 26892 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140417646451192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26893] ppid=26873 vsize=9824668 CPUtime=0.27 cores=0,2,4,6
/proc/26875/task/26893/stat : 26893 (java) S 26873 26875 25404 0 -1 4202560 55 0 0 0 13 14 0 0 20 0 22 0 253701548 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140417645398856 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26900] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26900/stat : 26900 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253701624 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140417644344360 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26938] ppid=26873 vsize=9824668 CPUtime=566.99 cores=0,2,4,6
/proc/26875/task/26938/stat : 26938 (java) R 26873 26875 25404 0 -1 4202560 35 0 0 0 56691 8 0 0 20 0 22 0 253726144 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140417641185888 140418537358221 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26939] ppid=26873 vsize=9824668 CPUtime=567.07 cores=0,2,4,6
/proc/26875/task/26939/stat : 26939 (java) R 26873 26875 25404 0 -1 4202560 10 0 0 0 56698 9 0 0 20 0 22 0 253726144 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140417642236592 140418537971616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26940] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26940/stat : 26940 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253726144 10060460032 394072 33554432000 1073741824 1073778376 140736500508672 140417643292200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1707.2
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+991.107 s]
/proc/loadavg: 4.08 3.92 3.79 5/219 27116
/proc/meminfo: memFree=26583328/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9824668 CPUtime=1799.8 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 29024 0 1 0 179856 124 0 0 20 0 22 0 253701541 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2456167 394169 2279 9 0 2446860 0
[pid=26875/tid=26877] ppid=26873 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/26875/task/26877/stat : 26877 (java) S 26873 26875 25404 0 -1 4202560 2632 0 1 0 32 3 0 0 20 0 22 0 253701542 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418701272056 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26878] ppid=26873 vsize=9824668 CPUtime=2.47 cores=0,2,4,6
/proc/26875/task/26878/stat : 26878 (java) S 26873 26875 25404 0 -1 4202560 693 0 0 0 243 4 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418662763176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26879] ppid=26873 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/26875/task/26879/stat : 26879 (java) S 26873 26875 25404 0 -1 4202560 497 0 0 0 256 5 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418661710632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26880] ppid=26873 vsize=9824668 CPUtime=2.76 cores=0,2,4,6
/proc/26875/task/26880/stat : 26880 (java) S 26873 26875 25404 0 -1 4202560 374 0 0 0 270 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418660658088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26881] ppid=26873 vsize=9824668 CPUtime=2.57 cores=0,2,4,6
/proc/26875/task/26881/stat : 26881 (java) S 26873 26875 25404 0 -1 4202560 1202 0 0 0 252 5 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418659605544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26882] ppid=26873 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/26875/task/26882/stat : 26882 (java) S 26873 26875 25404 0 -1 4202560 1128 0 0 0 250 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418658551976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26883] ppid=26873 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/26875/task/26883/stat : 26883 (java) S 26873 26875 25404 0 -1 4202560 868 0 0 0 250 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418657499432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26884] ppid=26873 vsize=9824668 CPUtime=2.82 cores=0,2,4,6
/proc/26875/task/26884/stat : 26884 (java) S 26873 26875 25404 0 -1 4202560 846 0 0 0 276 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418656446888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26885] ppid=26873 vsize=9824668 CPUtime=2.5 cores=0,2,4,6
/proc/26875/task/26885/stat : 26885 (java) S 26873 26875 25404 0 -1 4202560 1218 0 0 0 244 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418655394344 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26886] ppid=26873 vsize=9824668 CPUtime=185.23 cores=0,2,4,6
/proc/26875/task/26886/stat : 26886 (java) S 26873 26875 25404 0 -1 4202560 3591 0 0 0 18488 35 0 0 20 0 22 0 253701545 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418525338216 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26887] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26887/stat : 26887 (java) S 26873 26875 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418524284536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26888] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26888/stat : 26888 (java) S 26873 26875 25404 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418523231880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26889] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26889/stat : 26889 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418522180624 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26890] ppid=26873 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/26875/task/26890/stat : 26890 (java) S 26873 26875 25404 0 -1 4202560 4314 0 0 0 76 0 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418521126968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26891] ppid=26873 vsize=9824668 CPUtime=1.48 cores=0,2,4,6
/proc/26875/task/26891/stat : 26891 (java) S 26873 26875 25404 0 -1 4202560 9261 0 0 0 146 2 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417647503544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26892] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26892/stat : 26892 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417646451192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26893] ppid=26873 vsize=9824668 CPUtime=0.28 cores=0,2,4,6
/proc/26875/task/26893/stat : 26893 (java) S 26873 26875 25404 0 -1 4202560 57 0 0 0 13 15 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417645398856 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26900] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26900/stat : 26900 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253701624 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417644344360 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26938] ppid=26873 vsize=9824668 CPUtime=610.48 cores=0,2,4,6
/proc/26875/task/26938/stat : 26938 (java) R 26873 26875 25404 0 -1 4202560 35 0 0 0 61039 9 0 0 20 0 22 0 253726144 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417641185888 140418537328416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26939] ppid=26873 vsize=9824668 CPUtime=610.57 cores=0,2,4,6
/proc/26875/task/26939/stat : 26939 (java) R 26873 26875 25404 0 -1 4202560 10 0 0 0 61047 10 0 0 20 0 22 0 253726144 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417642236384 140418537972065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26940] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26940/stat : 26940 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253726144 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417643292200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.8
Current children cumulated vsize (KiB) 9824668

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

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

[startup+991.107 s]
/proc/loadavg: 4.08 3.92 3.79 5/219 27116
/proc/meminfo: memFree=26583328/32873844 swapFree=7612/7612
[pid=26875] ppid=26873 vsize=9824668 CPUtime=1799.8 cores=0,2,4,6
/proc/26875/stat : 26875 (java) S 26873 26875 25404 0 -1 4202496 29024 0 1 0 179856 124 0 0 20 0 22 0 253701541 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140736500499808 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26875/statm: 2456167 394169 2279 9 0 2446860 0
[pid=26875/tid=26877] ppid=26873 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/26875/task/26877/stat : 26877 (java) S 26873 26875 25404 0 -1 4202560 2632 0 1 0 32 3 0 0 20 0 22 0 253701542 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418701272056 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26878] ppid=26873 vsize=9824668 CPUtime=2.47 cores=0,2,4,6
/proc/26875/task/26878/stat : 26878 (java) S 26873 26875 25404 0 -1 4202560 693 0 0 0 243 4 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418662763176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26879] ppid=26873 vsize=9824668 CPUtime=2.61 cores=0,2,4,6
/proc/26875/task/26879/stat : 26879 (java) S 26873 26875 25404 0 -1 4202560 497 0 0 0 256 5 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418661710632 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26880] ppid=26873 vsize=9824668 CPUtime=2.76 cores=0,2,4,6
/proc/26875/task/26880/stat : 26880 (java) S 26873 26875 25404 0 -1 4202560 374 0 0 0 270 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418660658088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26881] ppid=26873 vsize=9824668 CPUtime=2.57 cores=0,2,4,6
/proc/26875/task/26881/stat : 26881 (java) S 26873 26875 25404 0 -1 4202560 1202 0 0 0 252 5 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418659605544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26882] ppid=26873 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/26875/task/26882/stat : 26882 (java) S 26873 26875 25404 0 -1 4202560 1128 0 0 0 250 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418658551976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26883] ppid=26873 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/26875/task/26883/stat : 26883 (java) S 26873 26875 25404 0 -1 4202560 868 0 0 0 250 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418657499432 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26884] ppid=26873 vsize=9824668 CPUtime=2.82 cores=0,2,4,6
/proc/26875/task/26884/stat : 26884 (java) S 26873 26875 25404 0 -1 4202560 846 0 0 0 276 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418656446888 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26885] ppid=26873 vsize=9824668 CPUtime=2.5 cores=0,2,4,6
/proc/26875/task/26885/stat : 26885 (java) S 26873 26875 25404 0 -1 4202560 1218 0 0 0 244 6 0 0 20 0 22 0 253701543 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418655394344 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26886] ppid=26873 vsize=9824668 CPUtime=185.23 cores=0,2,4,6
/proc/26875/task/26886/stat : 26886 (java) S 26873 26875 25404 0 -1 4202560 3591 0 0 0 18488 35 0 0 20 0 22 0 253701545 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418525338216 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26887] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26887/stat : 26887 (java) S 26873 26875 25404 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418524284536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26888] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26888/stat : 26888 (java) S 26873 26875 25404 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253701545 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418523231880 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26875/tid=26889] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26889/stat : 26889 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418522180624 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26890] ppid=26873 vsize=9824668 CPUtime=0.76 cores=0,2,4,6
/proc/26875/task/26890/stat : 26890 (java) S 26873 26875 25404 0 -1 4202560 4314 0 0 0 76 0 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140418521126968 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26891] ppid=26873 vsize=9824668 CPUtime=1.48 cores=0,2,4,6
/proc/26875/task/26891/stat : 26891 (java) S 26873 26875 25404 0 -1 4202560 9261 0 0 0 146 2 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417647503544 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26892] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26892/stat : 26892 (java) S 26873 26875 25404 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417646451192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26893] ppid=26873 vsize=9824668 CPUtime=0.28 cores=0,2,4,6
/proc/26875/task/26893/stat : 26893 (java) S 26873 26875 25404 0 -1 4202560 57 0 0 0 13 15 0 0 20 0 22 0 253701548 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417645398856 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26900] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26900/stat : 26900 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253701624 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417644344360 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26875/tid=26938] ppid=26873 vsize=9824668 CPUtime=610.48 cores=0,2,4,6
/proc/26875/task/26938/stat : 26938 (java) R 26873 26875 25404 0 -1 4202560 35 0 0 0 61039 9 0 0 20 0 22 0 253726144 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417641185888 140418537328416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26875/tid=26939] ppid=26873 vsize=9824668 CPUtime=610.57 cores=0,2,4,6
/proc/26875/task/26939/stat : 26939 (java) R 26873 26875 25404 0 -1 4202560 10 0 0 0 61047 10 0 0 20 0 22 0 253726144 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417642236384 140418537972065 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=26875/tid=26940] ppid=26873 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/26875/task/26940/stat : 26940 (java) S 26873 26875 25404 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253726144 10060460032 394169 33554432000 1073741824 1073778376 140736500508672 140417643292200 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1799.8
Current children cumulated vsize (KiB) 9824668

Child status: 143

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


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.26004
#  lost CPU user time (s): 0.320038
#  lost CPU system time (s): -0.06

Real time (s): 991.138
CPU time (s): 1800.06
CPU user time (s): 1798.88
CPU system time (s): 1.18
CPU usage (%): 181.615
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.93
system time used= 1.63275
maximum resident set size= 1576796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29056
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30595
involuntary context switches= 45284

runsolver used 3.51247 second user time and 8.50371 second system time

The end

Launcher Data

Begin job on node143 at 2012-05-24 18:09:32
IDJOB=3688176
IDBENCH=2871
IDSOLVER=2268
FILE ID=node143/3688176-1337875772
RUNJOBID= node143-1337871881-25421
PBS_JOBID= 14620061
Free space on /tmp= 71516 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-lin.rom.r.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688176-1337875772/watcher-3688176-1337875772 -o /tmp/evaluation-result-3688176-1337875772/solver-3688176-1337875772 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688176-1337875772.opb

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

MD5SUM BENCH= 3183c84355c854880486b3d148840656
RANDOM SEED=1473233965

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28554144 kB
Buffers:          220424 kB
Cached:          2553856 kB
SwapCached:            0 kB
Active:          1354496 kB
Inactive:        2184228 kB
Active(anon):     766504 kB
Inactive(anon):        0 kB
Active(file):     587992 kB
Inactive(file):  2184228 kB
Unevictable:        7612 kB
Mlocked:            7612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               476 kB
Writeback:             0 kB
AnonPages:        771256 kB
Mapped:            22504 kB
Shmem:               200 kB
Slab:             639364 kB
SReclaimable:      81868 kB
SUnreclaim:       557496 kB
KernelStack:        1632 kB
PageTables:         5904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1089200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    700416 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= 71516 MiB
End job on node143 at 2012-05-24 18:26:05