Trace number 3711287

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)33 1800.59 1793.75

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3711287-1338182955.opb
0.09/0.12	c reading problem ... 
0.70/0.45	c ... done. Wall clock time 0.322s.
0.70/0.45	c declared #vars     584
0.70/0.45	c internal #vars     2990
0.70/0.45	c #constraints  5064
0.70/0.45	c constraints type 
0.70/0.45	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104
0.70/0.45	c org.sat4j.minisat.constraints.cnf.UnitClauses => 32
0.70/0.45	c org.sat4j.minisat.constraints.card.MinWatchCard => 436
0.70/0.45	c ignored satisfied constraints => 602
0.70/0.45	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20
0.70/0.45	c org.sat4j.minisat.constraints.cnf.UnitClause => 66
0.70/0.45	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406
0.70/0.45	c 5666 constraints processed.
1.46/0.82	c cleaning 2502 clauses out of 5004 with flag 5004/5004
1.64/0.94	c SATISFIABLE
1.64/0.94	c OPTIMIZING...
1.64/0.94	c Got one! Elapsed wall clock time (in seconds):0.818
1.64/0.94	o 38
2.02/1.23	c cleaning 4148 clauses out of 8303 with flag 4001/10805
2.57/1.76	c cleaning 5073 clauses out of 10154 with flag 10000/16804
3.30/2.45	c cleaning 6038 clauses out of 12085 with flag 17004/23808
3.83/2.91	c cleaning 7015 clauses out of 14046 with flag 25003/31807
4.65/3.76	c cleaning 8013 clauses out of 16028 with flag 34000/40804
5.05/4.15	c cleaning 9005 clauses out of 18015 with flag 44000/50804
5.76/4.80	c cleaning 9999 clauses out of 20010 with flag 55000/61804
6.47/5.51	c cleaning 11000 clauses out of 22013 with flag 67002/73806
7.87/7.00	c cleaning 12001 clauses out of 24012 with flag 80001/86805
8.97/8.05	c cleaning 13003 clauses out of 26012 with flag 94002/100806
10.28/9.38	c cleaning 14003 clauses out of 28013 with flag 109006/115810
11.39/10.41	c cleaning 14995 clauses out of 30006 with flag 125002/131806
13.21/12.23	c cleaning 15994 clauses out of 32010 with flag 142001/148805
16.02/15.05	c cleaning 16996 clauses out of 34015 with flag 160000/166804
18.33/17.32	c cleaning 18002 clauses out of 36020 with flag 179001/185805
21.06/20.06	c cleaning 19006 clauses out of 38017 with flag 199000/205804
23.47/22.42	c cleaning 19999 clauses out of 40012 with flag 220001/226805
27.27/26.25	c cleaning 20999 clauses out of 42015 with flag 242003/248807
30.29/29.21	c cleaning 22002 clauses out of 44014 with flag 265001/271805
32.93/31.81	c cleaning 22997 clauses out of 46012 with flag 289001/295805
34.33/33.26	c cleaning 24001 clauses out of 48018 with flag 314004/320808
36.24/35.13	c cleaning 24999 clauses out of 50013 with flag 340000/346804
40.36/39.28	c cleaning 25994 clauses out of 52014 with flag 367000/373804
44.39/43.23	c cleaning 27010 clauses out of 54021 with flag 395001/401805
46.61/45.41	c cleaning 28002 clauses out of 56014 with flag 424004/430808
49.62/48.46	c cleaning 28996 clauses out of 58008 with flag 454000/460804
52.14/50.96	c cleaning 30000 clauses out of 60015 with flag 485003/491807
55.54/54.36	c cleaning 31000 clauses out of 62014 with flag 517002/523806
61.07/59.83	c cleaning 31997 clauses out of 64014 with flag 550002/556806
67.20/66.00	c cleaning 33003 clauses out of 66016 with flag 584001/590805
71.77/70.43	c cleaning 33999 clauses out of 68013 with flag 619001/625805
76.07/74.74	c cleaning 34997 clauses out of 70014 with flag 655001/661805
83.08/81.78	c cleaning 35999 clauses out of 72017 with flag 692001/698805
87.99/86.66	c cleaning 36999 clauses out of 74017 with flag 730000/736804
91.22/89.80	c Got one! Elapsed wall clock time (in seconds):89.677
91.22/89.80	o 37
91.42/90.01	c cleaning 30136 clauses out of 60287 with flag 5002/760073
91.63/90.23	c cleaning 18068 clauses out of 36150 with flag 11001/766072
91.82/90.44	c cleaning 12537 clauses out of 25082 with flag 18001/773072
92.02/90.67	c cleaning 10264 clauses out of 20544 with flag 26000/781071
92.53/91.14	c cleaning 9629 clauses out of 19280 with flag 35000/790071
93.14/91.71	c cleaning 9821 clauses out of 19652 with flag 45001/800072
93.64/92.28	c cleaning 10410 clauses out of 20830 with flag 56000/811071
94.34/92.94	c cleaning 11202 clauses out of 22420 with flag 68000/823071
95.14/93.76	c cleaning 12105 clauses out of 24218 with flag 81000/836071
96.05/94.66	c cleaning 13045 clauses out of 26113 with flag 95000/850071
96.95/95.58	c cleaning 14024 clauses out of 28068 with flag 110000/865071
98.05/96.66	c cleaning 15015 clauses out of 30045 with flag 126001/881072
99.75/98.39	c cleaning 16002 clauses out of 32030 with flag 143001/898072
101.16/99.79	c cleaning 16996 clauses out of 34028 with flag 161001/916072
102.76/101.31	c cleaning 18008 clauses out of 36031 with flag 180000/935071
104.87/103.48	c cleaning 19003 clauses out of 38023 with flag 200000/955071
107.18/105.73	c cleaning 20001 clauses out of 40021 with flag 221001/976072
110.29/108.83	c cleaning 20998 clauses out of 42019 with flag 243000/998071
113.62/112.14	c cleaning 22006 clauses out of 44025 with flag 266004/1021075
118.04/116.55	c cleaning 22995 clauses out of 46017 with flag 290002/1045073
124.46/122.97	c cleaning 23985 clauses out of 48020 with flag 315000/1070071
128.18/126.68	c cleaning 25004 clauses out of 50036 with flag 341001/1096072
131.08/129.57	c cleaning 26009 clauses out of 52034 with flag 368003/1123074
133.53/131.94	c cleaning 26999 clauses out of 54022 with flag 396000/1151071
135.93/134.37	c cleaning 28006 clauses out of 56024 with flag 425001/1180072
137.84/136.20	c cleaning 29002 clauses out of 58019 with flag 455002/1210073
141.96/140.31	c cleaning 29987 clauses out of 60015 with flag 486000/1241071
148.38/146.73	c cleaning 30998 clauses out of 62029 with flag 518001/1273072
154.09/152.43	c cleaning 32002 clauses out of 64031 with flag 551001/1306072
158.92/157.23	c cleaning 33006 clauses out of 66028 with flag 585000/1340071
164.04/162.38	c cleaning 34002 clauses out of 68023 with flag 620001/1375072
169.64/167.95	c cleaning 35000 clauses out of 70021 with flag 656001/1411072
174.38/172.63	c cleaning 36004 clauses out of 72020 with flag 693000/1448071
178.39/176.68	c cleaning 36977 clauses out of 74016 with flag 731000/1486071
183.41/181.67	c cleaning 38014 clauses out of 76039 with flag 770000/1525071
186.56/184.72	c cleaning 39004 clauses out of 78026 with flag 810001/1565072
192.68/190.84	c cleaning 40011 clauses out of 80022 with flag 851001/1606072
199.31/197.46	c cleaning 40988 clauses out of 82010 with flag 893000/1648071
207.91/206.01	c cleaning 41999 clauses out of 84022 with flag 936000/1691071
217.05/215.11	c cleaning 43001 clauses out of 86023 with flag 980000/1735071
225.78/223.88	c cleaning 43999 clauses out of 88022 with flag 1025000/1780071
234.41/232.40	c cleaning 44995 clauses out of 90023 with flag 1071000/1826071
244.75/242.74	c cleaning 46004 clauses out of 92028 with flag 1118000/1873071
254.67/252.62	c cleaning 47001 clauses out of 94026 with flag 1166002/1921073
265.40/263.32	c cleaning 48000 clauses out of 96023 with flag 1215000/1970071
272.13/270.02	c cleaning 49003 clauses out of 98023 with flag 1265000/2020071
277.94/275.87	c cleaning 50009 clauses out of 100021 with flag 1316001/2071072
287.57/285.47	c cleaning 51004 clauses out of 102013 with flag 1368002/2123073
295.31/293.16	c cleaning 51993 clauses out of 104007 with flag 1421000/2176071
301.04/298.83	c Got one! Elapsed wall clock time (in seconds):298.711
301.04/298.83	o 36
302.25/300.08	c cleaning 48990 clauses out of 97989 with flag 5000/2222046
303.47/301.22	c cleaning 27485 clauses out of 55000 with flag 11001/2228047
304.27/302.00	c cleaning 17251 clauses out of 34516 with flag 18002/2235048
305.28/303.05	c cleaning 12625 clauses out of 25263 with flag 26000/2243046
306.50/304.23	c cleaning 10810 clauses out of 21639 with flag 35001/2252047
307.71/305.42	c cleaning 10408 clauses out of 20829 with flag 45001/2262047
308.93/306.63	c cleaning 10692 clauses out of 21420 with flag 56000/2273046
310.37/308.06	c cleaning 11347 clauses out of 22728 with flag 68000/2285046
311.57/309.21	c cleaning 12176 clauses out of 24381 with flag 81000/2298046
312.60/310.27	c cleaning 13092 clauses out of 26209 with flag 95004/2312050
313.71/311.39	c cleaning 14048 clauses out of 28114 with flag 110001/2327047
315.40/313.07	c cleaning 15019 clauses out of 30067 with flag 126002/2343048
316.93/314.57	c cleaning 16014 clauses out of 32046 with flag 143000/2360046
318.62/316.23	c cleaning 17010 clauses out of 34033 with flag 161001/2378047
320.34/317.97	c cleaning 17999 clauses out of 36024 with flag 180002/2397048
322.36/319.99	c cleaning 19003 clauses out of 38026 with flag 200003/2417049
324.36/321.96	c cleaning 20010 clauses out of 40021 with flag 221001/2438047
326.27/323.86	c cleaning 20999 clauses out of 42010 with flag 243000/2460046
328.47/326.07	c cleaning 22000 clauses out of 44011 with flag 266000/2483046
331.19/328.72	c cleaning 23005 clauses out of 46014 with flag 290003/2507049
333.91/331.44	c cleaning 23998 clauses out of 48006 with flag 315000/2532046
337.13/334.63	c cleaning 25001 clauses out of 50011 with flag 341003/2558049
340.65/338.18	c cleaning 26000 clauses out of 52008 with flag 368001/2585047
345.55/343.10	c cleaning 26990 clauses out of 54007 with flag 396000/2613046
350.86/348.33	c cleaning 28000 clauses out of 56017 with flag 425000/2642046
354.58/352.07	c cleaning 28997 clauses out of 58018 with flag 455001/2672047
357.98/355.45	c cleaning 29998 clauses out of 60020 with flag 486000/2703046
362.00/359.46	c cleaning 31003 clauses out of 62024 with flag 518002/2735048
365.90/363.40	c cleaning 32006 clauses out of 64019 with flag 551000/2768046
370.31/367.75	c cleaning 33006 clauses out of 66015 with flag 585002/2802048
374.82/372.25	c cleaning 34001 clauses out of 68007 with flag 620000/2837046
380.94/378.34	c cleaning 34998 clauses out of 70008 with flag 656002/2873048
387.44/384.87	c cleaning 35995 clauses out of 72009 with flag 693001/2910047
394.46/391.84	c cleaning 36996 clauses out of 74013 with flag 731000/2948046
401.09/398.44	c cleaning 38000 clauses out of 76021 with flag 770004/2987050
404.71/402.03	c cleaning 39002 clauses out of 78017 with flag 810000/3027046
410.33/407.63	c cleaning 39995 clauses out of 80014 with flag 851000/3068046
416.14/413.49	c cleaning 41001 clauses out of 82021 with flag 893002/3110048
419.48/416.77	c cleaning 41999 clauses out of 84018 with flag 936000/3153046
422.91/420.12	c cleaning 43003 clauses out of 86020 with flag 980001/3197047
430.23/427.42	c cleaning 43996 clauses out of 88016 with flag 1025000/3242046
438.47/435.62	c cleaning 45003 clauses out of 90020 with flag 1071000/3288046
446.60/443.79	c cleaning 45997 clauses out of 92017 with flag 1118000/3335046
455.30/452.40	c cleaning 46996 clauses out of 94020 with flag 1166000/3383046
464.23/461.30	c cleaning 48003 clauses out of 96024 with flag 1215000/3432046
470.54/467.61	c cleaning 49009 clauses out of 98023 with flag 1265002/3482048
476.15/473.28	c cleaning 49997 clauses out of 100013 with flag 1316001/3533047
482.69/479.72	c cleaning 51002 clauses out of 102015 with flag 1368000/3585046
490.81/487.85	c cleaning 51990 clauses out of 104013 with flag 1421000/3638046
503.42/500.46	c cleaning 53001 clauses out of 106025 with flag 1475002/3692048
512.74/509.75	c cleaning 54002 clauses out of 108025 with flag 1530003/3747049
522.16/519.18	c cleaning 55002 clauses out of 110024 with flag 1586004/3803050
532.57/529.57	c cleaning 56000 clauses out of 112019 with flag 1643001/3860047
543.38/540.31	c cleaning 57004 clauses out of 114019 with flag 1701001/3918047
555.33/552.24	c cleaning 58001 clauses out of 116015 with flag 1760001/3977047
565.94/562.85	c cleaning 59002 clauses out of 118018 with flag 1820005/4037051
578.39/575.27	c cleaning 59991 clauses out of 120011 with flag 1881000/4098046
589.74/586.59	c cleaning 60998 clauses out of 122021 with flag 1943001/4160047
602.47/599.29	c cleaning 61996 clauses out of 124023 with flag 2006001/4223047
616.29/613.09	c cleaning 63004 clauses out of 126028 with flag 2070002/4287048
630.93/627.61	c cleaning 64003 clauses out of 128023 with flag 2135001/4352047
646.56/643.24	c cleaning 64996 clauses out of 130020 with flag 2201001/4418047
661.21/657.85	c cleaning 66002 clauses out of 132023 with flag 2268000/4485046
671.74/668.33	c cleaning 67003 clauses out of 134021 with flag 2336000/4553046
682.56/679.17	c cleaning 67977 clauses out of 136020 with flag 2405002/4622048
696.89/693.48	c cleaning 68985 clauses out of 138041 with flag 2475000/4692046
707.32/703.82	c cleaning 70018 clauses out of 140057 with flag 2546001/4763047
718.95/715.44	c Got one! Elapsed wall clock time (in seconds):715.319
718.95/715.44	o 35
720.75/717.24	c cleaning 72058 clauses out of 144142 with flag 5000/4837150
722.46/718.94	c cleaning 39028 clauses out of 78085 with flag 11001/4843151
723.58/720.07	c cleaning 23023 clauses out of 46057 with flag 18001/4850151
724.69/721.17	c cleaning 15504 clauses out of 31036 with flag 26003/4858153
725.91/722.39	c cleaning 12255 clauses out of 24529 with flag 35000/4867150
727.32/723.71	c cleaning 11127 clauses out of 22274 with flag 45000/4877150
728.63/725.04	c cleaning 11062 clauses out of 22150 with flag 56003/4888153
730.24/726.67	c cleaning 11536 clauses out of 23086 with flag 68001/4900151
732.45/728.85	c cleaning 12267 clauses out of 24553 with flag 81004/4913154
734.35/730.79	c cleaning 13122 clauses out of 26282 with flag 95000/4927150
736.36/732.73	c cleaning 14072 clauses out of 28160 with flag 110000/4942150
738.18/734.59	c cleaning 15033 clauses out of 30088 with flag 126000/4958150
740.59/736.98	c cleaning 16006 clauses out of 32057 with flag 143002/4975152
743.21/739.53	c cleaning 17019 clauses out of 34049 with flag 161000/4993150
746.03/742.36	c cleaning 18003 clauses out of 36030 with flag 180000/5012150
749.06/745.36	c cleaning 18993 clauses out of 38027 with flag 200000/5032150
751.98/748.24	c cleaning 19993 clauses out of 40035 with flag 221001/5053151
754.69/750.92	c cleaning 21009 clauses out of 42042 with flag 243001/5075151
757.40/753.62	c cleaning 22011 clauses out of 44035 with flag 266003/5098153
760.44/756.62	c cleaning 22999 clauses out of 46021 with flag 290000/5122150
763.64/759.87	c cleaning 23999 clauses out of 48022 with flag 315000/5147150
766.86/763.05	c cleaning 25004 clauses out of 50023 with flag 341000/5173150
771.80/767.90	c cleaning 25998 clauses out of 52019 with flag 368000/5200150
776.31/772.49	c cleaning 27005 clauses out of 54025 with flag 396004/5228154
781.92/778.01	c cleaning 27992 clauses out of 56017 with flag 425001/5257151
788.25/784.35	c cleaning 28998 clauses out of 58025 with flag 455001/5287151
794.17/790.26	c cleaning 30002 clauses out of 60029 with flag 486003/5318153
799.69/795.79	c cleaning 31004 clauses out of 62024 with flag 518000/5350150
806.91/802.99	c cleaning 32000 clauses out of 64021 with flag 551001/5383151
813.42/809.45	c cleaning 33006 clauses out of 66021 with flag 585001/5417151
819.63/815.66	c cleaning 33995 clauses out of 68014 with flag 620000/5452150
827.33/823.30	c cleaning 35001 clauses out of 70020 with flag 656001/5488151
832.04/828.00	c cleaning 35996 clauses out of 72018 with flag 693000/5525150
837.35/833.30	c cleaning 37001 clauses out of 74023 with flag 731001/5563151
842.56/838.54	c cleaning 38002 clauses out of 76021 with flag 770000/5602150
850.19/846.12	c cleaning 38989 clauses out of 78019 with flag 810000/5642150
857.10/853.05	c cleaning 40001 clauses out of 80033 with flag 851003/5683153
864.03/859.99	c cleaning 41007 clauses out of 82030 with flag 893001/5725151
872.05/867.98	c cleaning 41991 clauses out of 84022 with flag 936000/5768150
879.58/875.40	c cleaning 43001 clauses out of 86031 with flag 980000/5812150
886.39/882.24	c cleaning 43998 clauses out of 88030 with flag 1025000/5857150
894.90/890.77	c cleaning 45006 clauses out of 90033 with flag 1071001/5903151
903.51/899.37	c cleaning 46003 clauses out of 92027 with flag 1118001/5950151
911.22/907.05	c cleaning 47004 clauses out of 94024 with flag 1166001/5998151
919.44/915.25	c cleaning 47998 clauses out of 96019 with flag 1215000/6047150
928.93/924.78	c cleaning 48996 clauses out of 98021 with flag 1265000/6097150
938.26/934.06	c cleaning 49997 clauses out of 100025 with flag 1316000/6148150
948.30/944.04	c cleaning 51008 clauses out of 102030 with flag 1368002/6200152
957.71/953.47	c cleaning 51988 clauses out of 104021 with flag 1421001/6253151
967.32/963.09	c cleaning 52995 clauses out of 106033 with flag 1475001/6307151
977.85/973.55	c cleaning 53999 clauses out of 108038 with flag 1530001/6362151
989.54/985.23	c cleaning 54992 clauses out of 110040 with flag 1586002/6418152
1000.16/995.85	c cleaning 55980 clauses out of 112046 with flag 1643000/6475150
1012.39/1008.09	c cleaning 57004 clauses out of 114069 with flag 1701003/6533153
1027.09/1022.78	c cleaning 57995 clauses out of 116063 with flag 1760001/6592151
1040.12/1035.71	c cleaning 59003 clauses out of 118067 with flag 1820000/6652150
1055.64/1051.25	c cleaning 60020 clauses out of 120064 with flag 1881000/6713150
1066.87/1062.42	c cleaning 61018 clauses out of 122046 with flag 1943002/6775152
1075.70/1071.28	c cleaning 62003 clauses out of 124027 with flag 2006001/6838151
1085.71/1081.24	c cleaning 62999 clauses out of 126023 with flag 2070000/6902150
1096.42/1091.96	c cleaning 64001 clauses out of 128025 with flag 2135001/6967151
1114.13/1109.60	c cleaning 64999 clauses out of 130024 with flag 2201001/7033151
1132.66/1128.18	c cleaning 65999 clauses out of 132024 with flag 2268000/7100150
1152.08/1147.58	c cleaning 66994 clauses out of 134025 with flag 2336000/7168150
1162.40/1157.89	c cleaning 68011 clauses out of 136032 with flag 2405001/7237151
1179.34/1174.73	c cleaning 68999 clauses out of 138023 with flag 2475003/7307153
1199.76/1195.13	c cleaning 69999 clauses out of 140021 with flag 2546000/7378150
1212.68/1208.05	c cleaning 70997 clauses out of 142022 with flag 2618000/7450150
1227.59/1222.97	c cleaning 72004 clauses out of 144026 with flag 2691001/7523151
1241.32/1236.67	c cleaning 73000 clauses out of 146022 with flag 2765001/7597151
1253.73/1249.01	c cleaning 73999 clauses out of 148022 with flag 2840001/7672151
1265.67/1260.92	c cleaning 75000 clauses out of 150027 with flag 2916005/7748155
1285.88/1281.17	c cleaning 76000 clauses out of 152024 with flag 2993002/7825152
1306.30/1301.59	c cleaning 76998 clauses out of 154024 with flag 3071002/7903152
1326.83/1322.05	c cleaning 78002 clauses out of 156024 with flag 3150000/7982150
1347.64/1342.90	c cleaning 78996 clauses out of 158022 with flag 3230000/8062150
1370.38/1365.52	c cleaning 80006 clauses out of 160027 with flag 3311001/8143151
1392.72/1387.80	c cleaning 80997 clauses out of 162020 with flag 3393000/8225150
1400.77/1395.90	c cleaning 82001 clauses out of 164023 with flag 3476000/8308150
1410.30/1405.38	c cleaning 83008 clauses out of 166023 with flag 3560001/8392151
1421.72/1416.73	c cleaning 84002 clauses out of 168014 with flag 3645000/8477150
1431.96/1426.98	c cleaning 85008 clauses out of 170017 with flag 3731005/8563155
1442.89/1437.86	c cleaning 86003 clauses out of 172009 with flag 3818005/8650155
1454.41/1449.33	c cleaning 86995 clauses out of 174003 with flag 3906002/8738152
1466.47/1461.40	c cleaning 87995 clauses out of 176007 with flag 3995001/8827151
1480.30/1475.13	c cleaning 89008 clauses out of 178016 with flag 4085005/8917155
1491.22/1486.04	c cleaning 90001 clauses out of 180003 with flag 4176000/9008150
1515.46/1510.24	c cleaning 90992 clauses out of 182002 with flag 4268000/9100150
1545.58/1540.35	c cleaning 91992 clauses out of 184010 with flag 4361000/9193150
1570.32/1565.04	c cleaning 92996 clauses out of 186018 with flag 4455000/9287150
1596.35/1591.04	c cleaning 93996 clauses out of 188022 with flag 4550000/9382150
1623.29/1617.93	c cleaning 94990 clauses out of 190026 with flag 4646000/9478150
1659.13/1653.73	c cleaning 95997 clauses out of 192036 with flag 4743000/9575150
1695.34/1689.90	c cleaning 96995 clauses out of 194039 with flag 4841000/9673150
1735.07/1729.61	c cleaning 97998 clauses out of 196044 with flag 4940000/9772150
1736.70/1731.23	c Got one! Elapsed wall clock time (in seconds):1731.107
1736.70/1731.23	o 34
1737.13/1731.68	c cleaning 54919 clauses out of 109851 with flag 5003/9783955
1737.56/1732.00	c cleaning 30458 clauses out of 60932 with flag 11003/9789955
1737.76/1732.29	c cleaning 18730 clauses out of 37474 with flag 18003/9796955
1738.09/1732.56	c cleaning 13369 clauses out of 26745 with flag 26004/9804956
1738.39/1732.84	c cleaning 11178 clauses out of 22375 with flag 35003/9813955
1738.72/1733.14	c cleaning 10592 clauses out of 21199 with flag 45005/9823957
1739.04/1733.48	c cleaning 10796 clauses out of 21606 with flag 56004/9834956
1739.44/1733.87	c cleaning 11403 clauses out of 22813 with flag 68007/9846959
1739.96/1734.32	c cleaning 12193 clauses out of 24404 with flag 81001/9859953
1740.38/1734.79	c cleaning 13097 clauses out of 26211 with flag 95001/9873953
1740.88/1735.28	c cleaning 14050 clauses out of 28115 with flag 110002/9888954
1741.49/1735.89	c cleaning 15023 clauses out of 30066 with flag 126003/9904955
1742.19/1736.51	c cleaning 16014 clauses out of 32043 with flag 143003/9921955
1742.90/1737.21	c cleaning 17009 clauses out of 34027 with flag 161001/9939953
1743.61/1737.99	c cleaning 18004 clauses out of 36019 with flag 180002/9958954
1744.32/1738.68	c cleaning 18995 clauses out of 38013 with flag 200000/9978952
1745.13/1739.48	c cleaning 20002 clauses out of 40018 with flag 221000/9999952
1746.03/1740.35	c cleaning 20996 clauses out of 42017 with flag 243001/10021953
1746.96/1741.30	c cleaning 22000 clauses out of 44020 with flag 266000/10044952
1748.27/1742.52	c cleaning 23004 clauses out of 46025 with flag 290005/10068957
1749.48/1743.74	c cleaning 23997 clauses out of 48018 with flag 315002/10093954
1751.90/1746.16	c cleaning 25006 clauses out of 50021 with flag 341002/10119954
1754.61/1748.81	c cleaning 26004 clauses out of 52014 with flag 368001/10146953
1755.73/1749.96	c Got one! Elapsed wall clock time (in seconds):1749.834
1755.73/1749.96	o 33
1755.95/1750.13	c cleaning 18628 clauses out of 37262 with flag 5001/10158205
1756.59/1750.70	c cleaning 12310 clauses out of 24633 with flag 11000/10164204
1757.50/1751.60	c cleaning 9650 clauses out of 19323 with flag 18000/10171204
1758.56/1752.63	c cleaning 8827 clauses out of 17673 with flag 26000/10179204
1759.77/1753.86	c cleaning 8913 clauses out of 17847 with flag 35001/10188205
1760.88/1754.98	c cleaning 9455 clauses out of 18933 with flag 45000/10198204
1762.08/1756.14	c cleaning 10231 clauses out of 20482 with flag 56004/10209208
1763.49/1757.57	c cleaning 11111 clauses out of 22248 with flag 68001/10221205
1765.12/1759.18	c cleaning 12057 clauses out of 24136 with flag 81000/10234204
1766.33/1760.39	c cleaning 13027 clauses out of 26079 with flag 95000/10248204
1767.65/1761.61	c cleaning 14010 clauses out of 28052 with flag 110000/10263204
1768.96/1762.95	c cleaning 15017 clauses out of 30042 with flag 126001/10279205
1770.88/1764.81	c cleaning 16003 clauses out of 32024 with flag 143000/10296204
1773.02/1766.94	c cleaning 17002 clauses out of 34021 with flag 161000/10314204
1775.63/1769.57	c cleaning 18000 clauses out of 36019 with flag 180000/10333204
1777.34/1771.22	c cleaning 19002 clauses out of 38019 with flag 200000/10353204
1779.27/1773.13	c cleaning 19999 clauses out of 40017 with flag 221000/10374204
1781.08/1774.97	c cleaning 21009 clauses out of 42020 with flag 243002/10396206
1782.90/1776.73	c cleaning 22003 clauses out of 44009 with flag 266000/10419204
1784.51/1778.32	c cleaning 22989 clauses out of 46006 with flag 290000/10443204
1786.73/1780.54	c cleaning 23998 clauses out of 48017 with flag 315000/10468204
1789.16/1782.99	c cleaning 24998 clauses out of 50019 with flag 341000/10494204
1791.97/1785.74	c cleaning 25998 clauses out of 52023 with flag 368002/10521206
1794.59/1788.39	c cleaning 26993 clauses out of 54023 with flag 396000/10549204
1797.61/1791.31	c cleaning 28000 clauses out of 56031 with flag 425001/10578205
1799.74/1793.44	c cleaning 29007 clauses out of 58030 with flag 455000/10608204
1800.05/1793.71	c starts		: 326
1800.05/1793.71	c conflicts		: 10612011
1800.05/1793.71	c decisions		: 11636689
1800.05/1793.71	c propagations		: 1112622858
1800.05/1793.71	c inspects		: 20763636620
1800.05/1793.71	c shortcuts		: 0
1800.05/1793.71	c learnt literals	: 2
1800.05/1793.71	c learnt binary clauses	: 68
1800.05/1793.71	c learnt ternary clauses	: 228
1800.05/1793.71	c learnt constraints	: 10612009
1800.05/1793.71	c ignored constraints	: 0
1800.05/1793.71	c root simplifications	: 328
1800.05/1793.71	c removed literals (reason simplification)	: 27742615
1800.05/1793.71	c reason swapping (by a shorter reason)	: 0
1800.05/1793.71	c Calls to reduceDB	: 295
1800.05/1793.71	c number of reductions to clauses (during analyze)	: 0
1800.05/1793.71	c number of learned constraints concerned by reduction	: 0
1800.05/1793.71	c number of learning phase by resolution	: 0
1800.05/1793.71	c number of learning phase by cutting planes	: 0
1800.05/1793.71	c speed (assignments/second)	: 620448.3735460115
1800.05/1793.71	c non guided choices	1345
1800.05/1793.73	c learnt constraints type 
1800.05/1793.73	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 68
1800.05/1793.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 32989
1800.05/1793.73	c constraints type 
1800.05/1793.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2104
1800.05/1793.73	c org.sat4j.minisat.constraints.cnf.UnitClauses => 32
1800.05/1793.73	c org.sat4j.minisat.constraints.card.MinWatchCard => 437
1800.05/1793.73	c ignored satisfied constraints => 602
1800.05/1793.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 20
1800.05/1793.73	c org.sat4j.minisat.constraints.cnf.UnitClause => 66
1800.05/1793.73	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2406
1800.05/1793.73	c 5667 constraints processed.
1800.05/1793.73	s SATISFIABLE
1800.05/1793.73	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.05/1793.73	c objective function=33
1800.05/1793.73	c Total wall clock time (in seconds): 1793.604

Verifier Data 

OK	33

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-3711287-1338182955/watcher-3711287-1338182955 -o /tmp/evaluation-result-3711287-1338182955/solver-3711287-1338182955 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711287-1338182955.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: 2.02 2.02 2.00 3/194 1032
/proc/meminfo: memFree=28127052/32873844 swapFree=6856/6856
[pid=1032] ppid=1030 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/1032/stat : 1032 (java) R 1030 1032 29719 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 284420452 2560000 46 33554432000 1073741824 1073778376 140735760656016 140735760653144 223642479911 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1032/statm: 625 46 37 9 0 29 0

[startup+0.0284511 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 1032
/proc/meminfo: memFree=28127052/32873844 swapFree=6856/6856
[pid=1032] ppid=1030 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/1032/stat : 1032 (java) S 1030 1032 29719 0 -1 4202496 2418 0 1 0 0 0 0 0 20 0 10 0 284420452 9233014784 3117 33554432000 1073741824 1073778376 140733254022624 140733254013760 223655002173 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1032/statm: 2254154 3127 1221 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616

[startup+0.100221 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 1032
/proc/meminfo: memFree=28127052/32873844 swapFree=6856/6856
[pid=1032] ppid=1030 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/1032/stat : 1032 (java) S 1030 1032 29719 0 -1 4202496 4256 0 1 0 8 1 0 0 20 0 18 0 284420452 9787842560 5463 33554432000 1073741824 1073778376 140733254022624 140733254013760 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1032/statm: 2389610 5464 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300285 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 1032
/proc/meminfo: memFree=28127052/32873844 swapFree=6856/6856
[pid=1032] ppid=1030 vsize=9558440 CPUtime=0.47 cores=1,3,5,7
/proc/1032/stat : 1032 (java) S 1030 1032 29719 0 -1 4202496 5421 0 1 0 46 1 0 0 20 0 18 0 284420452 9787842560 8337 33554432000 1073741824 1073778376 140733254022624 140733254013760 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1032/statm: 2389610 8337 2227 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558440

[startup+0.7003 s]
/proc/loadavg: 2.02 2.02 2.00 3/194 1032
/proc/meminfo: memFree=28127052/32873844 swapFree=6856/6856
[pid=1032] ppid=1030 vsize=9625004 CPUtime=1.35 cores=1,3,5,7
/proc/1032/stat : 1032 (java) S 1030 1032 29719 0 -1 4202496 8368 0 1 0 133 2 0 0 20 0 19 0 284420452 9856004096 13641 33554432000 1073741824 1073778376 140733254022624 140733254013760 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1032/statm: 2406251 13641 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625004

[startup+1.50066 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 1051
/proc/meminfo: memFree=28070812/32873844 swapFree=6856/6856
[pid=1032] ppid=1030 vsize=9625004 CPUtime=2.37 cores=1,3,5,7
/proc/1032/stat : 1032 (java) S 1030 1032 29719 0 -1 4202496 8637 0 1 0 234 3 0 0 20 0 19 0 284420452 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 140733254013760 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1032/statm: 2406251 17281 2287 9 0 2396937 0
[pid=1032/tid=1034] ppid=1030 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/1032/task/1034/stat : 1034 (java) R 1030 1032 29719 0 -1 4202560 2554 0 1 0 140 1 0 0 20 0 19 0 284420453 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763407638952 139763279980170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1035] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1035/stat : 1035 (java) S 1030 1032 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763251661864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1036] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1036/stat : 1036 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763250609064 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1037] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1037/stat : 1037 (java) S 1030 1032 29719 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763249556264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1038] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1038/stat : 1038 (java) S 1030 1032 29719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763248503464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1039] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1039/stat : 1039 (java) S 1030 1032 29719 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763247450664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1040] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1040/stat : 1040 (java) S 1030 1032 29719 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763246397864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1041] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1041/stat : 1041 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763245345064 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1042] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1042/stat : 1042 (java) S 1030 1032 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763244292264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1043] ppid=1030 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/1032/task/1043/stat : 1043 (java) S 1030 1032 29719 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 19 0 284420456 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763231882216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1044] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1044/stat : 1044 (java) S 1030 1032 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284420456 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763230828280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1045] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1045/stat : 1045 (java) S 1030 1032 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284420456 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763229775368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1046] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1046/stat : 1046 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763228723856 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1047] ppid=1030 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/1032/task/1047/stat : 1047 (java) S 1030 1032 29719 0 -1 4202560 2726 0 0 0 48 0 0 0 20 0 19 0 284420459 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763227670968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1048] ppid=1030 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/1032/task/1048/stat : 1048 (java) S 1030 1032 29719 0 -1 4202560 2102 0 0 0 34 0 0 0 20 0 19 0 284420459 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763226618168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1049] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1049/stat : 1049 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763225565560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1050] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1050/stat : 1050 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763224512968 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1051] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1051/stat : 1051 (java) S 1030 1032 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284420498 9856004096 17281 33554432000 1073741824 1073778376 140733254022624 139763223459496 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 9625004

[startup+3.10079 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 1051
/proc/meminfo: memFree=28066592/32873844 swapFree=6856/6856
[pid=1032] ppid=1030 vsize=9625004 CPUtime=4.05 cores=1,3,5,7
/proc/1032/stat : 1032 (java) S 1030 1032 29719 0 -1 4202496 8655 0 1 0 402 3 0 0 20 0 19 0 284420452 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 140733254013760 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1032/statm: 2406251 17296 2287 9 0 2396937 0
[pid=1032/tid=1034] ppid=1030 vsize=9625004 CPUtime=2.94 cores=1,3,5,7
/proc/1032/task/1034/stat : 1034 (java) R 1030 1032 29719 0 -1 4202560 2555 0 1 0 292 2 0 0 20 0 19 0 284420453 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763407638952 139763279910616 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1035] ppid=1030 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/1032/task/1035/stat : 1035 (java) S 1030 1032 29719 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 284420455 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763251661864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1036] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1036/stat : 1036 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763250609064 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1037] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1037/stat : 1037 (java) S 1030 1032 29719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763249556264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1038] ppid=1030 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/1032/task/1038/stat : 1038 (java) S 1030 1032 29719 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 284420455 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763248503464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1039] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1039/stat : 1039 (java) S 1030 1032 29719 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763247450664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1040] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1040/stat : 1040 (java) S 1030 1032 29719 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763246397864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1041] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1041/stat : 1041 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763245345064 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1042] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1042/stat : 1042 (java) S 1030 1032 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763244292264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1043] ppid=1030 vsize=9625004 CPUtime=0.07 cores=1,3,5,7
/proc/1032/task/1043/stat : 1043 (java) S 1030 1032 29719 0 -1 4202560 34 0 0 0 7 0 0 0 20 0 19 0 284420456 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763231882216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1044] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1044/stat : 1044 (java) S 1030 1032 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284420456 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763230828280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1045] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1045/stat : 1045 (java) S 1030 1032 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284420456 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763229775368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1046] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1046/stat : 1046 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763228723856 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1047] ppid=1030 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/1032/task/1047/stat : 1047 (java) S 1030 1032 29719 0 -1 4202560 2726 0 0 0 48 0 0 0 20 0 19 0 284420459 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763227670968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1048] ppid=1030 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/1032/task/1048/stat : 1048 (java) S 1030 1032 29719 0 -1 4202560 2104 0 0 0 37 0 0 0 20 0 19 0 284420459 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763226618168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1049] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1049/stat : 1049 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763225565560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1050] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1050/stat : 1050 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763224512968 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1051] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1051/stat : 1051 (java) S 1030 1032 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284420498 9856004096 17296 33554432000 1073741824 1073778376 140733254022624 139763223459496 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 9625004

[startup+6.30068 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 1051
/proc/meminfo: memFree=28066840/32873844 swapFree=6856/6856
[pid=1032] ppid=1030 vsize=9625004 CPUtime=7.27 cores=1,3,5,7
/proc/1032/stat : 1032 (java) S 1030 1032 29719 0 -1 4202496 8668 0 1 0 724 3 0 0 20 0 19 0 284420452 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 140733254013760 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1032/statm: 2406251 17049 2287 9 0 2396937 0
[pid=1032/tid=1034] ppid=1030 vsize=9625004 CPUtime=6.05 cores=1,3,5,7
/proc/1032/task/1034/stat : 1034 (java) R 1030 1032 29719 0 -1 4202560 2560 0 1 0 603 2 0 0 20 0 19 0 284420453 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763407639016 139763279889804 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1035] ppid=1030 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/1032/task/1035/stat : 1035 (java) S 1030 1032 29719 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 284420455 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763251661864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1036] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1036/stat : 1036 (java) S 1030 1032 29719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763250609064 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1037] ppid=1030 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/1032/task/1037/stat : 1037 (java) S 1030 1032 29719 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 284420455 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763249556264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1038] ppid=1030 vsize=9625004 CPUtime=0.02 cores=1,3,5,7
/proc/1032/task/1038/stat : 1038 (java) S 1030 1032 29719 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 284420455 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763248503464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1039] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1039/stat : 1039 (java) S 1030 1032 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763247450664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1040] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1040/stat : 1040 (java) S 1030 1032 29719 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763246397864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1041] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1041/stat : 1041 (java) S 1030 1032 29719 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 284420455 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763245345064 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1042] ppid=1030 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/1032/task/1042/stat : 1042 (java) S 1030 1032 29719 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 284420455 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763244292264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1043] ppid=1030 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/1032/task/1043/stat : 1043 (java) S 1030 1032 29719 0 -1 4202560 34 0 0 0 15 0 0 0 20 0 19 0 284420456 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763231882216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1044] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1044/stat : 1044 (java) S 1030 1032 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284420456 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763230828280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1045] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1045/stat : 1045 (java) S 1030 1032 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284420456 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763229775368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1046] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1046/stat : 1046 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763228723856 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1047] ppid=1030 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/1032/task/1047/stat : 1047 (java) S 1030 1032 29719 0 -1 4202560 2728 0 0 0 49 0 0 0 20 0 19 0 284420459 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763227670968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1048] ppid=1030 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/1032/task/1048/stat : 1048 (java) S 1030 1032 29719 0 -1 4202560 2104 0 0 0 37 0 0 0 20 0 19 0 284420459 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763226618168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1049] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1049/stat : 1049 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763225565560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1050] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1050/stat : 1050 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763224512968 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1051] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1051/stat : 1051 (java) S 1030 1032 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284420498 9856004096 17049 33554432000 1073741824 1073778376 140733254022624 139763223459496 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.27
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=1032/tid=1040] ppid=1030 vsize=9625004 CPUtime=0.81 cores=1,3,5,7
/proc/1032/task/1040/stat : 1040 (java) S 1030 1032 29719 0 -1 4202560 253 0 0 0 78 3 0 0 20 0 19 0 284420455 9856004096 39380 33554432000 1073741824 1073778376 140733254022624 139763246397864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1041] ppid=1030 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/1032/task/1041/stat : 1041 (java) S 1030 1032 29719 0 -1 4202560 182 0 0 0 80 0 0 0 20 0 19 0 284420455 9856004096 39380 33554432000 1073741824 1073778376 140733254022624 139763245345064 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1042] ppid=1030 vsize=9625004 CPUtime=0.81 cores=1,3,5,7
/proc/1032/task/1042/stat : 1042 (java) S 1030 1032 29719 0 -1 4202560 192 0 0 0 79 2 0 0 20 0 19 0 284420455 9856004096 39380 33554432000 1073741824 1073778376 140733254022624 139763244292264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1043] ppid=1030 vsize=9625004 CPUtime=9.06 cores=1,3,5,7
/proc/1032/task/1043/stat : 1043 (java) S 1030 1032 29719 0 -1 4202560 146 0 0 0 903 3 0 0 20 0 19 0 284420456 9856004096 39380 33554432000 1073741824 1073778376 140733254022624 139763231882216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1044] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1044/stat : 1044 (java) S 1030 1032 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284420456 9856004096 39380 33554432000 1073741824 1073778376 140733254022624 139763230828280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1045] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1045/stat : 1045 (java) S 1030 1032 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284420456 9856004096 39380 33554432000 1073741824 1073778376 140733254022624 139763229775368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1046] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1046/stat : 1046 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 39380 33554432000 1073741824 1073778376 140733254022624 139763228723856 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1047] ppid=1030 vsize=9625004 CPUtime=0.51 cores=1,3,5,7
/proc/1032/task/1047/stat : 1047 (java) S 1030 1032 29719 0 -1 4202560 3029 0 0 0 51 0 0 0 20 0 19 0 284420459 9856004096 39380 33554432000 1073741824 1073778376 140733254022624 139763227670968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1048] ppid=1030 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/1032/task/1048/stat : 1048 (java) S 1030 1032 29719 0 -1 4202560 2104 0 0 0 37 0 0 0 20 0 19 0 284420459 9856004096 39380 33554432000 1073741824 1073778376 140733254022624 139763226618168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1049] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1049/stat : 1049 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 39380 33554432000 1073741824 1073778376 140733254022624 139763225565560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1050] ppid=1030 vsize=9625004 CPUtime=0.47 cores=1,3,5,7
/proc/1032/task/1050/stat : 1050 (java) S 1030 1032 29719 0 -1 4202560 99 0 0 0 24 23 0 0 20 0 19 0 284420459 9856004096 39380 33554432000 1073741824 1073778376 140733254022624 139763224512968 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1051] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1051/stat : 1051 (java) S 1030 1032 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284420498 9856004096 39380 33554432000 1073741824 1073778376 140733254022624 139763223459496 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1727.77
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 1127
/proc/meminfo: memFree=28702016/32873844 swapFree=6856/6856
[pid=1032] ppid=1030 vsize=9625004 CPUtime=1788.56 cores=1,3,5,7
/proc/1032/stat : 1032 (java) S 1030 1032 29719 0 -1 4202496 11229 0 1 0 178812 44 0 0 20 0 19 0 284420452 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 140733254013760 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1032/statm: 2406251 40207 2288 9 0 2396937 0
[pid=1032/tid=1034] ppid=1030 vsize=9625004 CPUtime=1769.06 cores=1,3,5,7
/proc/1032/task/1034/stat : 1034 (java) R 1030 1032 29719 0 -1 4202560 2849 0 1 0 176876 30 0 0 20 0 19 0 284420453 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763407638832 139763279889902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1035] ppid=1030 vsize=9625004 CPUtime=1.01 cores=1,3,5,7
/proc/1032/task/1035/stat : 1035 (java) S 1030 1032 29719 0 -1 4202560 275 0 0 0 99 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763251661864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1036] ppid=1030 vsize=9625004 CPUtime=0.97 cores=1,3,5,7
/proc/1032/task/1036/stat : 1036 (java) S 1030 1032 29719 0 -1 4202560 259 0 0 0 95 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763250609064 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1037] ppid=1030 vsize=9625004 CPUtime=0.92 cores=1,3,5,7
/proc/1032/task/1037/stat : 1037 (java) S 1030 1032 29719 0 -1 4202560 74 0 0 0 90 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763249556264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1038] ppid=1030 vsize=9625004 CPUtime=1.01 cores=1,3,5,7
/proc/1032/task/1038/stat : 1038 (java) S 1030 1032 29719 0 -1 4202560 129 0 0 0 99 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763248503464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1039] ppid=1030 vsize=9625004 CPUtime=0.9 cores=1,3,5,7
/proc/1032/task/1039/stat : 1039 (java) S 1030 1032 29719 0 -1 4202560 129 0 0 0 88 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763247450664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1040] ppid=1030 vsize=9625004 CPUtime=0.95 cores=1,3,5,7
/proc/1032/task/1040/stat : 1040 (java) S 1030 1032 29719 0 -1 4202560 253 0 0 0 92 3 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763246397864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1041] ppid=1030 vsize=9625004 CPUtime=0.92 cores=1,3,5,7
/proc/1032/task/1041/stat : 1041 (java) S 1030 1032 29719 0 -1 4202560 182 0 0 0 92 0 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763245345064 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1042] ppid=1030 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/1032/task/1042/stat : 1042 (java) S 1030 1032 29719 0 -1 4202560 192 0 0 0 94 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763244292264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1043] ppid=1030 vsize=9625004 CPUtime=10.66 cores=1,3,5,7
/proc/1032/task/1043/stat : 1043 (java) S 1030 1032 29719 0 -1 4202560 153 0 0 0 1063 3 0 0 20 0 19 0 284420456 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763231882216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1044] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1044/stat : 1044 (java) S 1030 1032 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284420456 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763230828280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1045] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1045/stat : 1045 (java) S 1030 1032 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284420456 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763229775368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1046] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1046/stat : 1046 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763228723856 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1047] ppid=1030 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/1032/task/1047/stat : 1047 (java) S 1030 1032 29719 0 -1 4202560 3346 0 0 0 56 0 0 0 20 0 19 0 284420459 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763227670968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1048] ppid=1030 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/1032/task/1048/stat : 1048 (java) S 1030 1032 29719 0 -1 4202560 2104 0 0 0 37 0 0 0 20 0 19 0 284420459 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763226618168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1049] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1049/stat : 1049 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763225565560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1050] ppid=1030 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/1032/task/1050/stat : 1050 (java) S 1030 1032 29719 0 -1 4202560 103 0 0 0 24 24 0 0 20 0 19 0 284420459 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763224512968 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1051] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1051/stat : 1051 (java) S 1030 1032 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284420498 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763223459496 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 1127
/proc/meminfo: memFree=28701892/32873844 swapFree=6856/6856
[pid=1032] ppid=1030 vsize=9625004 CPUtime=1800.05 cores=1,3,5,7
/proc/1032/stat : 1032 (java) S 1030 1032 29719 0 -1 4202496 11234 0 1 0 179961 44 0 0 20 0 19 0 284420452 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 140733254013760 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1032/statm: 2406251 40207 2288 9 0 2396937 0
[pid=1032/tid=1034] ppid=1030 vsize=9625004 CPUtime=1780.24 cores=1,3,5,7
/proc/1032/task/1034/stat : 1034 (java) R 1030 1032 29719 0 -1 4202560 2854 0 1 0 177993 31 0 0 20 0 19 0 284420453 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763407638832 139763279910467 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1035] ppid=1030 vsize=9625004 CPUtime=1.04 cores=1,3,5,7
/proc/1032/task/1035/stat : 1035 (java) S 1030 1032 29719 0 -1 4202560 275 0 0 0 102 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763251661864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1036] ppid=1030 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/1032/task/1036/stat : 1036 (java) S 1030 1032 29719 0 -1 4202560 259 0 0 0 97 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763250609064 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1037] ppid=1030 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/1032/task/1037/stat : 1037 (java) S 1030 1032 29719 0 -1 4202560 74 0 0 0 92 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763249556264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1038] ppid=1030 vsize=9625004 CPUtime=1.02 cores=1,3,5,7
/proc/1032/task/1038/stat : 1038 (java) S 1030 1032 29719 0 -1 4202560 129 0 0 0 100 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763248503464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1039] ppid=1030 vsize=9625004 CPUtime=0.92 cores=1,3,5,7
/proc/1032/task/1039/stat : 1039 (java) S 1030 1032 29719 0 -1 4202560 129 0 0 0 90 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763247450664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1040] ppid=1030 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/1032/task/1040/stat : 1040 (java) S 1030 1032 29719 0 -1 4202560 253 0 0 0 93 3 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763246397864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1041] ppid=1030 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/1032/task/1041/stat : 1041 (java) S 1030 1032 29719 0 -1 4202560 182 0 0 0 93 0 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763245345064 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1042] ppid=1030 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/1032/task/1042/stat : 1042 (java) S 1030 1032 29719 0 -1 4202560 192 0 0 0 96 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763244292264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1043] ppid=1030 vsize=9625004 CPUtime=10.85 cores=1,3,5,7
/proc/1032/task/1043/stat : 1043 (java) S 1030 1032 29719 0 -1 4202560 153 0 0 0 1082 3 0 0 20 0 19 0 284420456 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763231882216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1044] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1044/stat : 1044 (java) S 1030 1032 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284420456 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763230828280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1045] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1045/stat : 1045 (java) S 1030 1032 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284420456 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763229775368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1046] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1046/stat : 1046 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763228723856 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1047] ppid=1030 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/1032/task/1047/stat : 1047 (java) S 1030 1032 29719 0 -1 4202560 3346 0 0 0 56 0 0 0 20 0 19 0 284420459 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763227670968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1048] ppid=1030 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/1032/task/1048/stat : 1048 (java) S 1030 1032 29719 0 -1 4202560 2104 0 0 0 37 0 0 0 20 0 19 0 284420459 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763226618168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1049] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1049/stat : 1049 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763225565560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1050] ppid=1030 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/1032/task/1050/stat : 1050 (java) S 1030 1032 29719 0 -1 4202560 103 0 0 0 24 24 0 0 20 0 19 0 284420459 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763224512968 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1051] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1051/stat : 1051 (java) S 1030 1032 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284420498 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763223459496 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1793.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 1127
/proc/meminfo: memFree=28701892/32873844 swapFree=6856/6856
[pid=1032] ppid=1030 vsize=9625004 CPUtime=1800.05 cores=1,3,5,7
/proc/1032/stat : 1032 (java) S 1030 1032 29719 0 -1 4202496 11234 0 1 0 179961 44 0 0 20 0 19 0 284420452 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 140733254013760 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1032/statm: 2406251 40207 2288 9 0 2396937 0
[pid=1032/tid=1034] ppid=1030 vsize=9625004 CPUtime=1780.24 cores=1,3,5,7
/proc/1032/task/1034/stat : 1034 (java) R 1030 1032 29719 0 -1 4202560 2854 0 1 0 177993 31 0 0 20 0 19 0 284420453 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763407638832 139763279910467 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1035] ppid=1030 vsize=9625004 CPUtime=1.04 cores=1,3,5,7
/proc/1032/task/1035/stat : 1035 (java) S 1030 1032 29719 0 -1 4202560 275 0 0 0 102 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763251661864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1036] ppid=1030 vsize=9625004 CPUtime=0.99 cores=1,3,5,7
/proc/1032/task/1036/stat : 1036 (java) S 1030 1032 29719 0 -1 4202560 259 0 0 0 97 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763250609064 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1037] ppid=1030 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/1032/task/1037/stat : 1037 (java) S 1030 1032 29719 0 -1 4202560 74 0 0 0 92 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763249556264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1038] ppid=1030 vsize=9625004 CPUtime=1.02 cores=1,3,5,7
/proc/1032/task/1038/stat : 1038 (java) S 1030 1032 29719 0 -1 4202560 129 0 0 0 100 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763248503464 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1039] ppid=1030 vsize=9625004 CPUtime=0.92 cores=1,3,5,7
/proc/1032/task/1039/stat : 1039 (java) S 1030 1032 29719 0 -1 4202560 129 0 0 0 90 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763247450664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1040] ppid=1030 vsize=9625004 CPUtime=0.96 cores=1,3,5,7
/proc/1032/task/1040/stat : 1040 (java) S 1030 1032 29719 0 -1 4202560 253 0 0 0 93 3 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763246397864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1041] ppid=1030 vsize=9625004 CPUtime=0.93 cores=1,3,5,7
/proc/1032/task/1041/stat : 1041 (java) S 1030 1032 29719 0 -1 4202560 182 0 0 0 93 0 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763245345064 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1042] ppid=1030 vsize=9625004 CPUtime=0.98 cores=1,3,5,7
/proc/1032/task/1042/stat : 1042 (java) S 1030 1032 29719 0 -1 4202560 192 0 0 0 96 2 0 0 20 0 19 0 284420455 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763244292264 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1043] ppid=1030 vsize=9625004 CPUtime=10.85 cores=1,3,5,7
/proc/1032/task/1043/stat : 1043 (java) S 1030 1032 29719 0 -1 4202560 153 0 0 0 1082 3 0 0 20 0 19 0 284420456 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763231882216 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1032/tid=1044] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1044/stat : 1044 (java) S 1030 1032 29719 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 284420456 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763230828280 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1045] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1045/stat : 1045 (java) S 1030 1032 29719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 284420456 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763229775368 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1046] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1046/stat : 1046 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763228723856 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1047] ppid=1030 vsize=9625004 CPUtime=0.56 cores=1,3,5,7
/proc/1032/task/1047/stat : 1047 (java) S 1030 1032 29719 0 -1 4202560 3346 0 0 0 56 0 0 0 20 0 19 0 284420459 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763227670968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1048] ppid=1030 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/1032/task/1048/stat : 1048 (java) S 1030 1032 29719 0 -1 4202560 2104 0 0 0 37 0 0 0 20 0 19 0 284420459 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763226618168 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=1032/tid=1049] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1049/stat : 1049 (java) S 1030 1032 29719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 284420459 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763225565560 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1032/tid=1050] ppid=1030 vsize=9625004 CPUtime=0.48 cores=1,3,5,7
/proc/1032/task/1050/stat : 1050 (java) S 1030 1032 29719 0 -1 4202560 103 0 0 0 24 24 0 0 20 0 19 0 284420459 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763224512968 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1032/tid=1051] ppid=1030 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/1032/task/1051/stat : 1051 (java) S 1030 1032 29719 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 284420498 9856004096 40207 33554432000 1073741824 1073778376 140733254022624 139763223459496 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1793.75
CPU time (s): 1800.59
CPU user time (s): 1799.72
CPU system time (s): 0.869867
CPU usage (%): 100.382
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.869867
maximum resident set size= 162632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11268
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45806
involuntary context switches= 38302

runsolver used 6.602 second user time and 14.5228 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-28 07:29:15
IDJOB=3711287
IDBENCH=72483
IDSOLVER=2289
FILE ID=node144/3711287-1338182955
RUNJOBID= node144-1338157682-29736
PBS_JOBID= 14624532
Free space on /tmp= 71468 MiB

SOLVER NAME= SAT4J PB specific settings 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-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711287-1338182955/watcher-3711287-1338182955 -o /tmp/evaluation-result-3711287-1338182955/solver-3711287-1338182955 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711287-1338182955.opb

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

MD5SUM BENCH= b561a61efc46169e6f19abce33721598
RANDOM SEED=18710316

node144.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.196
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	: 5332.39
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.196
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.196
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	: 5438.54
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.196
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.196
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.196
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.92
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.196
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.196
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:        28127216 kB
Buffers:          387376 kB
Cached:          2654212 kB
SwapCached:            0 kB
Active:          1708996 kB
Inactive:        2197968 kB
Active(anon):     866828 kB
Inactive(anon):        0 kB
Active(file):     842168 kB
Inactive(file):  2197968 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               624 kB
Writeback:             0 kB
AnonPages:        870500 kB
Mapped:            22572 kB
Shmem:               200 kB
Slab:             697636 kB
SReclaimable:     139916 kB
SUnreclaim:       557720 kB
KernelStack:        1608 kB
PageTables:         5764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1603136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    823296 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= 71472 MiB
End job on node144 at 2012-05-28 07:59:11