Trace number 3453950

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 Res//CP 2.3.0SAT (TO)5 1800.29 938.084

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_3.opb
MD5SUMcdb29f44159b0b72729019e0c0db0b8a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.59176
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint46
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3090
Sum of products size (including duplicates)6180
Number of different products3090
Sum of products size6180

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-2010 Daniel Le Berre
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.09	c version 2.3.1.v20110525
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.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c ManyCore solver with 2 solvers running in parallel
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3453950-1307194637.opb
0.10/0.11	c reading problem ... 
0.47/0.39	c ... done. Wall clock time 0.275s.
0.47/0.39	c #vars     3190
0.47/0.39	c #constraints  6280
0.47/0.39	c constraints type 
0.47/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3190
0.47/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3090
0.47/0.39	c constraints type 
0.47/0.39	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3190
0.47/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3090
0.47/0.42	c  And the winner is Resolution
0.92/0.90	c SATISFIABLE
0.92/0.90	c OPTIMIZING...
0.92/0.90	c Got one! Elapsed wall clock time (in seconds):0.789
0.92/0.90	o 9
0.92/0.96	c  And the winner is Resolution
1.23/1.41	c Got one! Elapsed wall clock time (in seconds):1.297
1.23/1.41	o 8
1.23/1.42	c  And the winner is Resolution
1.32/1.91	c Got one! Elapsed wall clock time (in seconds):1.803
1.32/1.91	o 7
2.83/2.57	c  And the winner is Resolution
3.05/2.92	c Got one! Elapsed wall clock time (in seconds):2.811
3.05/2.92	o 6
3.94/3.33	c cleaning 2780 clauses out of 5561 with flag 2001/5561
6.13/4.43	c cleaning 4389 clauses out of 8782 with flag 8002/11562
8.70/5.73	c cleaning 5692 clauses out of 11392 with flag 15001/18561
11.47/7.14	c cleaning 6845 clauses out of 13699 with flag 23000/26560
14.94/8.84	c cleaning 7926 clauses out of 15856 with flag 32002/35562
18.27/10.56	c cleaning 8962 clauses out of 17931 with flag 42003/45563
21.81/12.35	c cleaning 9479 clauses out of 18966 with flag 52000/55560
25.60/14.28	c cleaning 9742 clauses out of 19491 with flag 62004/65564
29.50/16.24	c cleaning 9873 clauses out of 19747 with flag 72002/75562
33.24/18.15	c cleaning 9933 clauses out of 19872 with flag 82000/85560
36.97/20.08	c cleaning 9968 clauses out of 19941 with flag 92002/95562
40.94/22.07	c cleaning 9982 clauses out of 19971 with flag 102000/105560
45.24/24.26	c cleaning 9993 clauses out of 19990 with flag 112001/115561
49.34/26.39	c cleaning 9994 clauses out of 19997 with flag 122001/125561
53.05/28.30	c cleaning 9997 clauses out of 20002 with flag 132000/135560
56.78/30.19	c cleaning 10001 clauses out of 20007 with flag 142002/145562
60.67/32.12	c cleaning 9998 clauses out of 20008 with flag 152004/155564
64.42/34.04	c cleaning 9999 clauses out of 20006 with flag 162000/165560
68.13/35.94	c cleaning 9999 clauses out of 20007 with flag 172000/175560
71.65/37.76	c cleaning 10001 clauses out of 20008 with flag 182000/185560
75.39/39.62	c cleaning 10000 clauses out of 20010 with flag 192003/195563
78.88/41.49	c cleaning 10001 clauses out of 20008 with flag 202001/205561
83.39/43.70	c cleaning 10002 clauses out of 20012 with flag 212006/215566
88.13/46.12	c cleaning 10000 clauses out of 20008 with flag 222004/225564
92.65/48.46	c cleaning 9996 clauses out of 20004 with flag 232000/235560
96.97/50.64	c cleaning 9997 clauses out of 20008 with flag 242000/245560
101.29/52.87	c cleaning 10002 clauses out of 20014 with flag 252003/255563
104.98/54.73	c cleaning 10000 clauses out of 20010 with flag 262001/265561
108.45/56.57	c cleaning 10001 clauses out of 20011 with flag 272002/275562
112.17/58.48	c cleaning 10001 clauses out of 20008 with flag 282000/285560
116.33/60.57	c cleaning 10000 clauses out of 20007 with flag 292000/295560
120.00/62.43	c cleaning 10000 clauses out of 20007 with flag 302000/305560
123.88/64.43	c cleaning 9998 clauses out of 20007 with flag 312000/315560
128.59/66.83	c cleaning 10002 clauses out of 20010 with flag 322001/325561
134.30/69.70	c cleaning 10000 clauses out of 20007 with flag 332000/335560
139.82/72.57	c cleaning 9999 clauses out of 20008 with flag 342001/345561
144.08/74.77	c cleaning 10000 clauses out of 20008 with flag 352000/355560
147.96/76.75	c cleaning 9997 clauses out of 20010 with flag 362002/365562
152.06/78.82	c cleaning 9999 clauses out of 20011 with flag 372000/375560
156.17/80.95	c cleaning 10000 clauses out of 20012 with flag 382000/385560
160.22/83.02	c cleaning 10006 clauses out of 20012 with flag 392000/395560
163.92/84.97	c cleaning 10000 clauses out of 20008 with flag 402002/405562
168.02/87.01	c cleaning 10001 clauses out of 20008 with flag 412002/415562
171.72/88.98	c cleaning 9999 clauses out of 20006 with flag 422001/425561
175.77/91.02	c cleaning 10001 clauses out of 20008 with flag 432002/435562
180.06/93.26	c cleaning 10000 clauses out of 20009 with flag 442004/445564
184.36/95.47	c cleaning 9999 clauses out of 20005 with flag 452000/455560
188.85/97.81	c cleaning 10001 clauses out of 20011 with flag 462005/465565
193.69/100.29	c cleaning 9999 clauses out of 20005 with flag 472000/475560
197.99/102.43	c cleaning 9999 clauses out of 20006 with flag 482000/485560
202.13/104.56	c cleaning 10001 clauses out of 20010 with flag 492003/495563
206.59/106.85	c cleaning 10000 clauses out of 20007 with flag 502001/505561
211.02/109.11	c cleaning 9999 clauses out of 20010 with flag 512004/515564
214.95/111.15	c cleaning 10002 clauses out of 20007 with flag 522000/525560
219.01/113.27	c cleaning 10001 clauses out of 20010 with flag 532005/535565
223.52/115.53	c cleaning 10001 clauses out of 20007 with flag 542003/545563
228.11/117.93	c cleaning 9997 clauses out of 20004 with flag 552001/555561
233.00/120.41	c cleaning 10000 clauses out of 20007 with flag 562001/565561
237.07/122.59	c cleaning 10000 clauses out of 20008 with flag 572002/575562
241.96/125.00	c cleaning 9999 clauses out of 20010 with flag 582004/585564
245.78/127.03	c cleaning 10000 clauses out of 20007 with flag 592000/595560
249.87/129.12	c cleaning 10003 clauses out of 20009 with flag 602002/605562
254.35/131.40	c cleaning 10000 clauses out of 20005 with flag 612001/615561
258.23/133.47	c cleaning 10000 clauses out of 20007 with flag 622003/625563
262.46/135.65	c cleaning 9997 clauses out of 20004 with flag 632000/635560
266.94/137.94	c cleaning 10000 clauses out of 20009 with flag 642002/645562
271.01/140.03	c cleaning 10000 clauses out of 20010 with flag 652003/655563
275.09/142.19	c cleaning 10002 clauses out of 20010 with flag 662003/665563
279.50/144.48	c cleaning 10001 clauses out of 20009 with flag 672004/675564
283.79/146.65	c cleaning 10000 clauses out of 20007 with flag 682003/685563
287.86/148.78	c cleaning 9996 clauses out of 20005 with flag 692001/695561
292.33/151.03	c cleaning 9999 clauses out of 20010 with flag 702002/705562
296.53/153.20	c cleaning 10000 clauses out of 20011 with flag 712002/715562
300.39/155.26	c cleaning 10000 clauses out of 20009 with flag 722000/725560
304.49/157.37	c cleaning 10001 clauses out of 20012 with flag 732003/735563
308.75/159.57	c cleaning 10001 clauses out of 20010 with flag 742002/745562
313.10/161.88	c cleaning 9999 clauses out of 20009 with flag 752002/755562
317.35/164.09	c cleaning 10000 clauses out of 20009 with flag 762001/765561
321.80/166.34	c cleaning 10000 clauses out of 20008 with flag 772000/775560
326.05/168.59	c cleaning 10002 clauses out of 20008 with flag 782000/785560
330.43/170.87	c cleaning 9999 clauses out of 20007 with flag 792001/795561
335.08/173.25	c cleaning 10002 clauses out of 20010 with flag 802003/805563
339.93/175.77	c cleaning 9999 clauses out of 20005 with flag 812000/815560
344.99/178.32	c cleaning 10000 clauses out of 20008 with flag 822002/825562
350.17/181.03	c cleaning 9999 clauses out of 20007 with flag 832001/835561
355.63/183.85	c cleaning 10002 clauses out of 20007 with flag 842000/845560
360.08/186.12	c cleaning 9999 clauses out of 20005 with flag 852000/855560
364.53/188.45	c cleaning 9998 clauses out of 20007 with flag 862001/865561
369.51/191.02	c cleaning 10006 clauses out of 20021 with flag 872013/875573
374.17/193.51	c cleaning 9999 clauses out of 20004 with flag 882002/885562
378.21/195.54	c cleaning 9999 clauses out of 20003 with flag 892000/895560
382.06/197.56	c cleaning 9999 clauses out of 20005 with flag 902001/905561
386.24/199.76	c cleaning 10000 clauses out of 20007 with flag 912002/915562
390.30/201.85	c cleaning 10001 clauses out of 20007 with flag 922002/925562
394.15/203.89	c cleaning 9997 clauses out of 20004 with flag 932000/935560
398.20/205.90	c cleaning 9998 clauses out of 20008 with flag 942001/945561
402.39/208.14	c cleaning 10001 clauses out of 20009 with flag 952000/955560
406.44/210.26	c cleaning 10000 clauses out of 20009 with flag 962001/965561
410.69/212.41	c cleaning 9999 clauses out of 20010 with flag 972002/975562
415.15/214.72	c cleaning 10001 clauses out of 20013 with flag 982004/985564
419.92/217.29	c cleaning 9998 clauses out of 20008 with flag 992000/995560
420.79/217.82	c  And the winner is Resolution
421.21/218.09	c Got one! Elapsed wall clock time (in seconds):217.977
421.21/218.09	o 5
422.46/218.78	c cleaning 7795 clauses out of 15595 with flag 4000/1001145
425.11/220.12	c cleaning 6898 clauses out of 13805 with flag 10005/1007150
428.15/221.71	c cleaning 6948 clauses out of 13903 with flag 17001/1014146
431.52/223.59	c cleaning 7475 clauses out of 14955 with flag 25001/1022146
435.77/225.74	c cleaning 8234 clauses out of 16480 with flag 34001/1031146
440.42/228.16	c cleaning 9121 clauses out of 18245 with flag 44000/1041145
445.67/230.82	c cleaning 9563 clauses out of 19129 with flag 54005/1051150
451.04/233.60	c cleaning 9777 clauses out of 19561 with flag 64000/1061145
456.51/236.51	c cleaning 9890 clauses out of 19789 with flag 74005/1071150
462.33/239.43	c cleaning 9947 clauses out of 19898 with flag 84004/1081149
468.38/242.52	c cleaning 9974 clauses out of 19951 with flag 94004/1091149
473.94/245.44	c cleaning 9983 clauses out of 19973 with flag 104000/1101145
479.78/248.42	c cleaning 9994 clauses out of 19993 with flag 114003/1111148
485.03/251.17	c cleaning 9991 clauses out of 19996 with flag 124000/1121145
490.47/253.98	c cleaning 10003 clauses out of 20013 with flag 134008/1131153
496.23/256.93	c cleaning 9995 clauses out of 20004 with flag 144002/1141147
501.67/259.75	c cleaning 10001 clauses out of 20007 with flag 154000/1151145
507.52/262.73	c cleaning 9999 clauses out of 20010 with flag 164004/1161149
513.16/265.68	c cleaning 10000 clauses out of 20009 with flag 174002/1171147
519.13/268.74	c cleaning 10000 clauses out of 20007 with flag 184000/1181145
525.17/271.84	c cleaning 10004 clauses out of 20013 with flag 194006/1191151
531.23/274.92	c cleaning 9996 clauses out of 20003 with flag 204000/1201145
536.25/277.51	c cleaning 10002 clauses out of 20009 with flag 214002/1211147
541.01/280.10	c cleaning 10002 clauses out of 20010 with flag 224005/1221150
546.07/282.63	c cleaning 9999 clauses out of 20003 with flag 234000/1231145
551.29/285.36	c cleaning 10000 clauses out of 20005 with flag 244001/1241146
556.53/288.07	c cleaning 9997 clauses out of 20004 with flag 254000/1251145
561.68/290.77	c cleaning 9997 clauses out of 20008 with flag 264001/1261146
567.12/293.58	c cleaning 10001 clauses out of 20010 with flag 274000/1271145
572.76/296.43	c cleaning 10001 clauses out of 20010 with flag 284001/1281146
578.24/299.28	c cleaning 10000 clauses out of 20009 with flag 294001/1291146
583.94/302.23	c cleaning 10002 clauses out of 20010 with flag 304002/1301147
589.57/305.11	c cleaning 9998 clauses out of 20010 with flag 314004/1311149
595.25/308.02	c cleaning 9999 clauses out of 20009 with flag 324001/1321146
600.83/310.97	c cleaning 10001 clauses out of 20010 with flag 334001/1331146
606.77/314.05	c cleaning 10001 clauses out of 20011 with flag 344003/1341148
612.24/316.89	c cleaning 9999 clauses out of 20007 with flag 354000/1351145
617.03/319.38	c cleaning 10000 clauses out of 20008 with flag 364000/1361145
621.45/321.67	c cleaning 10000 clauses out of 20009 with flag 374001/1371146
626.20/324.13	c cleaning 10002 clauses out of 20010 with flag 384002/1381147
631.27/326.76	c cleaning 10000 clauses out of 20008 with flag 394002/1391147
634.10/328.21	c cleaning 0 clauses out of 5665 with flag 0/5667
636.53/329.45	c cleaning 10000 clauses out of 20007 with flag 404001/1401146
642.05/332.25	c cleaning 10003 clauses out of 20012 with flag 414006/1411151
647.03/334.82	c cleaning 10002 clauses out of 20012 with flag 424009/1421154
651.85/337.38	c cleaning 9998 clauses out of 20002 with flag 434001/1431146
656.92/339.96	c cleaning 10000 clauses out of 20007 with flag 444004/1441149
661.80/342.58	c cleaning 9996 clauses out of 20003 with flag 454000/1451145
666.61/345.01	c cleaning 10000 clauses out of 20009 with flag 464002/1461147
671.45/347.61	c cleaning 10002 clauses out of 20013 with flag 474006/1471151
676.65/350.26	c cleaning 9997 clauses out of 20008 with flag 484003/1481148
681.56/352.80	c cleaning 9999 clauses out of 20009 with flag 494001/1491146
686.57/355.44	c cleaning 10000 clauses out of 20009 with flag 504000/1501145
691.99/358.26	c cleaning 9998 clauses out of 20012 with flag 514003/1511148
697.60/361.14	c cleaning 9998 clauses out of 20011 with flag 524000/1521145
703.14/364.11	c cleaning 10005 clauses out of 20015 with flag 534002/1531147
708.73/366.93	c cleaning 10000 clauses out of 20008 with flag 544000/1541145
713.98/369.68	c cleaning 9999 clauses out of 20008 with flag 554000/1551145
718.75/372.17	c cleaning 10001 clauses out of 20010 with flag 564001/1561146
724.05/374.95	c cleaning 9997 clauses out of 20009 with flag 574001/1571146
729.25/377.68	c cleaning 10001 clauses out of 20015 with flag 584004/1581149
734.66/380.48	c cleaning 10005 clauses out of 20019 with flag 594009/1591154
740.27/383.33	c cleaning 10000 clauses out of 20007 with flag 604002/1601147
745.98/386.37	c cleaning 9994 clauses out of 20009 with flag 614004/1611149
751.80/389.33	c cleaning 9998 clauses out of 20012 with flag 624001/1621146
757.78/392.42	c cleaning 10004 clauses out of 20013 with flag 634000/1631145
763.58/395.40	c cleaning 10002 clauses out of 20011 with flag 644002/1641147
768.92/398.24	c cleaning 10000 clauses out of 20007 with flag 654000/1651145
773.68/400.74	c cleaning 9999 clauses out of 20011 with flag 664004/1661149
778.69/403.39	c cleaning 10000 clauses out of 20010 with flag 674002/1671147
784.09/406.11	c cleaning 10000 clauses out of 20010 with flag 684002/1681147
789.18/408.88	c cleaning 10000 clauses out of 20009 with flag 694001/1691146
794.57/411.62	c cleaning 10000 clauses out of 20008 with flag 704000/1701145
799.76/414.35	c cleaning 9999 clauses out of 20008 with flag 714000/1711145
805.35/417.24	c cleaning 10002 clauses out of 20012 with flag 724003/1721148
811.24/420.32	c cleaning 10001 clauses out of 20012 with flag 734005/1731150
816.83/423.23	c cleaning 9999 clauses out of 20007 with flag 744001/1741146
822.42/426.20	c cleaning 10000 clauses out of 20008 with flag 754001/1751146
828.40/429.21	c cleaning 9996 clauses out of 20007 with flag 764000/1761145
834.32/432.38	c cleaning 10005 clauses out of 20018 with flag 774007/1771152
840.06/435.37	c cleaning 9999 clauses out of 20009 with flag 784003/1781148
846.05/438.43	c cleaning 10001 clauses out of 20009 with flag 794002/1791147
851.63/441.37	c cleaning 9999 clauses out of 20007 with flag 804001/1801146
857.32/444.40	c cleaning 10004 clauses out of 20014 with flag 814007/1811152
863.08/447.32	c cleaning 9997 clauses out of 20006 with flag 824003/1821148
868.86/450.31	c cleaning 10001 clauses out of 20010 with flag 834004/1831149
874.48/453.27	c cleaning 9999 clauses out of 20006 with flag 844001/1841146
880.10/456.25	c cleaning 9998 clauses out of 20006 with flag 854000/1851145
885.88/459.22	c cleaning 9996 clauses out of 20008 with flag 864000/1861145
891.66/462.23	c cleaning 10002 clauses out of 20017 with flag 874005/1871150
897.45/465.27	c cleaning 10002 clauses out of 20015 with flag 884005/1881150
903.71/468.53	c cleaning 10000 clauses out of 20008 with flag 894000/1891145
909.27/471.40	c cleaning 9998 clauses out of 20008 with flag 904000/1901145
915.25/474.53	c cleaning 10005 clauses out of 20019 with flag 914009/1911154
921.23/477.60	c cleaning 9999 clauses out of 20007 with flag 924002/1921147
927.13/480.74	c cleaning 9997 clauses out of 20006 with flag 934000/1931145
933.50/484.06	c cleaning 10001 clauses out of 20011 with flag 944002/1941147
939.44/487.20	c cleaning 10001 clauses out of 20010 with flag 954002/1951147
945.62/490.31	c cleaning 10001 clauses out of 20007 with flag 964000/1961145
951.68/493.56	c cleaning 9996 clauses out of 20006 with flag 974000/1971145
957.86/496.76	c cleaning 9997 clauses out of 20010 with flag 984000/1981145
963.83/499.86	c cleaning 9999 clauses out of 20014 with flag 994001/1991146
970.21/503.10	c cleaning 10001 clauses out of 20016 with flag 1004002/2001147
976.27/506.36	c cleaning 10001 clauses out of 20014 with flag 1014001/2011146
982.24/509.43	c cleaning 10003 clauses out of 20012 with flag 1024000/2021145
986.62/511.72	c cleaning 10003 clauses out of 20011 with flag 1034002/2031147
991.60/514.34	c cleaning 9999 clauses out of 20006 with flag 1044000/2041145
997.06/517.20	c cleaning 9997 clauses out of 20008 with flag 1054001/2051146
1002.03/519.86	c cleaning 10004 clauses out of 20016 with flag 1064006/2061151
1006.82/522.32	c cleaning 9999 clauses out of 20008 with flag 1074002/2071147
1011.60/524.83	c cleaning 10003 clauses out of 20011 with flag 1084004/2081149
1016.87/527.61	c cleaning 9999 clauses out of 20005 with flag 1094001/2091146
1022.44/530.55	c cleaning 10001 clauses out of 20005 with flag 1104000/2101145
1027.23/533.08	c cleaning 10000 clauses out of 20005 with flag 1114001/2111146
1032.61/535.81	c cleaning 9998 clauses out of 20006 with flag 1124002/2121147
1038.07/538.73	c cleaning 9996 clauses out of 20006 with flag 1134000/2131145
1043.45/541.58	c cleaning 10003 clauses out of 20013 with flag 1144003/2141148
1048.63/544.25	c cleaning 10000 clauses out of 20010 with flag 1154003/2151148
1053.23/546.69	c cleaning 10002 clauses out of 20009 with flag 1164002/2161147
1058.69/549.53	c cleaning 10001 clauses out of 20007 with flag 1174002/2171147
1063.91/552.27	c cleaning 9997 clauses out of 20006 with flag 1184002/2181147
1069.25/555.02	c cleaning 10000 clauses out of 20009 with flag 1194002/2191147
1074.47/557.74	c cleaning 10000 clauses out of 20010 with flag 1204003/2201148
1080.08/560.72	c cleaning 10001 clauses out of 20007 with flag 1214000/2211145
1085.05/563.31	c cleaning 9999 clauses out of 20007 with flag 1224001/2221146
1090.02/565.94	c cleaning 9997 clauses out of 20007 with flag 1234000/2231145
1094.80/568.48	c cleaning 10002 clauses out of 20010 with flag 1244000/2241145
1100.25/571.34	c cleaning 9999 clauses out of 20009 with flag 1254001/2251146
1105.64/574.14	c cleaning 10001 clauses out of 20010 with flag 1264001/2261146
1110.99/576.96	c cleaning 10001 clauses out of 20008 with flag 1274000/2271145
1116.57/579.85	c cleaning 10000 clauses out of 20007 with flag 1284000/2281145
1122.44/582.93	c cleaning 10000 clauses out of 20014 with flag 1294007/2291152
1128.40/586.00	c cleaning 9999 clauses out of 20007 with flag 1304000/2301145
1133.97/588.97	c cleaning 10001 clauses out of 20009 with flag 1314001/2311146
1139.14/591.70	c cleaning 9996 clauses out of 20007 with flag 1324000/2321145
1144.57/594.59	c cleaning 10000 clauses out of 20013 with flag 1334002/2331147
1149.98/597.39	c cleaning 10003 clauses out of 20016 with flag 1344005/2341150
1155.51/600.23	c cleaning 9999 clauses out of 20008 with flag 1354000/2351145
1160.68/602.91	c cleaning 10000 clauses out of 20012 with flag 1364003/2361148
1166.13/605.82	c cleaning 10003 clauses out of 20014 with flag 1374005/2371150
1171.50/608.66	c cleaning 9996 clauses out of 20007 with flag 1384001/2381146
1177.08/611.53	c cleaning 10001 clauses out of 20010 with flag 1394000/2391145
1182.62/614.47	c cleaning 10002 clauses out of 20013 with flag 1404004/2401149
1188.47/617.59	c cleaning 10002 clauses out of 20011 with flag 1414004/2411149
1194.24/620.50	c cleaning 9997 clauses out of 20005 with flag 1424000/2421145
1200.00/623.50	c cleaning 9997 clauses out of 20008 with flag 1434000/2431145
1205.96/626.64	c cleaning 10006 clauses out of 20016 with flag 1444005/2441150
1211.82/629.72	c cleaning 9999 clauses out of 20007 with flag 1454002/2451147
1217.59/632.74	c cleaning 10001 clauses out of 20007 with flag 1464001/2461146
1222.56/635.38	c cleaning 9998 clauses out of 20005 with flag 1474000/2471145
1227.93/638.13	c cleaning 10003 clauses out of 20011 with flag 1484004/2481149
1233.58/641.10	c cleaning 10002 clauses out of 20012 with flag 1494008/2491153
1239.14/644.09	c cleaning 9998 clauses out of 20005 with flag 1504003/2501148
1244.91/647.07	c cleaning 9998 clauses out of 20006 with flag 1514002/2511147
1250.48/649.98	c cleaning 9996 clauses out of 20006 with flag 1524000/2521145
1256.13/652.99	c cleaning 10001 clauses out of 20011 with flag 1534001/2531146
1261.90/655.96	c cleaning 10004 clauses out of 20014 with flag 1544005/2541150
1267.49/658.90	c cleaning 10002 clauses out of 20013 with flag 1554008/2551153
1273.24/661.88	c cleaning 10000 clauses out of 20007 with flag 1564004/2561149
1279.11/664.92	c cleaning 9998 clauses out of 20005 with flag 1574002/2571147
1284.67/667.86	c cleaning 9999 clauses out of 20007 with flag 1584002/2581147
1290.89/671.04	c cleaning 10000 clauses out of 20009 with flag 1594003/2591148
1297.03/674.24	c cleaning 9998 clauses out of 20006 with flag 1604000/2601145
1302.47/677.19	c cleaning 9999 clauses out of 20009 with flag 1614001/2611146
1308.43/680.26	c cleaning 10003 clauses out of 20011 with flag 1624002/2621147
1314.20/683.21	c cleaning 10000 clauses out of 20007 with flag 1634001/2631146
1320.42/686.49	c cleaning 9999 clauses out of 20008 with flag 1644002/2641147
1326.44/689.66	c cleaning 9998 clauses out of 20007 with flag 1654000/2651145
1332.81/692.98	c cleaning 10000 clauses out of 20011 with flag 1664002/2661147
1338.56/695.97	c cleaning 10001 clauses out of 20012 with flag 1674003/2671148
1344.93/699.21	c cleaning 10001 clauses out of 20009 with flag 1684001/2681146
1349.98/701.99	c cleaning 9999 clauses out of 20008 with flag 1694001/2691146
1355.35/704.78	c cleaning 9998 clauses out of 20008 with flag 1704000/2701145
1360.72/707.59	c cleaning 10001 clauses out of 20010 with flag 1714000/2711145
1366.29/710.46	c cleaning 10001 clauses out of 20012 with flag 1724003/2721148
1372.14/713.54	c cleaning 10002 clauses out of 20010 with flag 1734002/2731147
1377.51/716.38	c cleaning 9997 clauses out of 20008 with flag 1744002/2741147
1383.53/719.48	c cleaning 9999 clauses out of 20010 with flag 1754001/2751146
1389.06/722.31	c cleaning 10001 clauses out of 20010 with flag 1764000/2761145
1394.71/725.38	c cleaning 10001 clauses out of 20013 with flag 1774004/2771149
1400.32/728.27	c cleaning 10000 clauses out of 20009 with flag 1784001/2781146
1405.85/731.18	c cleaning 10001 clauses out of 20012 with flag 1794004/2791149
1411.62/734.15	c cleaning 9993 clauses out of 20007 with flag 1804000/2801145
1417.47/737.20	c cleaning 10002 clauses out of 20014 with flag 1814000/2811145
1423.63/740.47	c cleaning 10000 clauses out of 20012 with flag 1824000/2821145
1430.39/743.93	c cleaning 10002 clauses out of 20012 with flag 1834000/2831145
1436.19/746.92	c cleaning 9997 clauses out of 20012 with flag 1844002/2841147
1442.21/750.19	c cleaning 10002 clauses out of 20015 with flag 1854002/2851147
1447.95/753.15	c cleaning 10000 clauses out of 20014 with flag 1864003/2861148
1454.12/756.30	c cleaning 9999 clauses out of 20011 with flag 1874000/2871145
1460.28/759.52	c cleaning 10004 clauses out of 20017 with flag 1884005/2881150
1465.94/762.58	c cleaning 10001 clauses out of 20009 with flag 1894001/2891146
1472.10/765.74	c cleaning 10002 clauses out of 20012 with flag 1904005/2901150
1478.46/769.10	c cleaning 10000 clauses out of 20006 with flag 1914001/2911146
1484.23/772.01	c cleaning 9996 clauses out of 20007 with flag 1924002/2921147
1490.49/775.32	c cleaning 10000 clauses out of 20009 with flag 1934000/2931145
1496.05/778.23	c cleaning 10000 clauses out of 20013 with flag 1944004/2941149
1502.42/781.50	c cleaning 9999 clauses out of 20010 with flag 1954001/2951146
1507.99/784.42	c cleaning 9997 clauses out of 20010 with flag 1964000/2961145
1514.44/787.87	c cleaning 10001 clauses out of 20014 with flag 1974001/2971146
1520.23/790.86	c cleaning 10003 clauses out of 20013 with flag 1984001/2981146
1526.37/794.07	c cleaning 10003 clauses out of 20009 with flag 1994000/2991145
1532.13/797.02	c cleaning 9997 clauses out of 20007 with flag 2004001/3001146
1538.38/800.30	c cleaning 10000 clauses out of 20010 with flag 2014001/3011146
1543.37/803.02	c cleaning 10001 clauses out of 20010 with flag 2024001/3021146
1548.71/805.75	c cleaning 10001 clauses out of 20011 with flag 2034003/3031148
1553.89/808.48	c cleaning 9999 clauses out of 20008 with flag 2044001/3041146
1559.11/811.26	c cleaning 10000 clauses out of 20009 with flag 2054001/3051146
1563.86/813.80	c cleaning 10000 clauses out of 20009 with flag 2064001/3061146
1569.22/816.50	c cleaning 9996 clauses out of 20008 with flag 2074000/3071145
1574.17/819.20	c cleaning 10000 clauses out of 20012 with flag 2084000/3081145
1580.00/822.21	c cleaning 10003 clauses out of 20013 with flag 2094001/3091146
1585.40/825.06	c cleaning 10001 clauses out of 20010 with flag 2104001/3101146
1590.11/827.59	c cleaning 10002 clauses out of 20012 with flag 2114004/3111149
1595.08/830.16	c cleaning 9997 clauses out of 20006 with flag 2124000/3121145
1600.33/832.95	c cleaning 9999 clauses out of 20010 with flag 2134001/3131146
1605.88/835.80	c cleaning 10003 clauses out of 20012 with flag 2144002/3141147
1611.04/838.53	c cleaning 9999 clauses out of 20008 with flag 2154001/3151146
1616.19/841.30	c cleaning 10001 clauses out of 20011 with flag 2164003/3161148
1621.82/844.25	c cleaning 10001 clauses out of 20008 with flag 2174001/3171146
1627.00/847.00	c cleaning 9998 clauses out of 20006 with flag 2184000/3181145
1632.54/849.80	c cleaning 10001 clauses out of 20009 with flag 2194001/3191146
1638.09/852.73	c cleaning 9999 clauses out of 20008 with flag 2204001/3201146
1643.97/855.82	c cleaning 10002 clauses out of 20009 with flag 2214001/3211146
1648.89/858.47	c cleaning 10002 clauses out of 20010 with flag 2224004/3221149
1654.05/861.20	c cleaning 9997 clauses out of 20004 with flag 2234000/3231145
1659.81/864.17	c cleaning 9997 clauses out of 20008 with flag 2244001/3241146
1665.43/867.19	c cleaning 10000 clauses out of 20011 with flag 2254001/3251146
1671.01/870.08	c cleaning 10002 clauses out of 20013 with flag 2264003/3261148
1676.75/873.09	c cleaning 9998 clauses out of 20008 with flag 2274000/3271145
1682.70/876.13	c cleaning 10002 clauses out of 20011 with flag 2284001/3281146
1688.93/879.42	c cleaning 10001 clauses out of 20009 with flag 2294001/3291146
1694.69/882.46	c cleaning 10000 clauses out of 20008 with flag 2304001/3301146
1700.68/885.58	c cleaning 10004 clauses out of 20010 with flag 2314003/3311148
1705.58/888.18	c cleaning 9998 clauses out of 20006 with flag 2324003/3321148
1710.82/891.00	c cleaning 10002 clauses out of 20011 with flag 2334006/3331151
1715.95/893.68	c cleaning 9996 clauses out of 20005 with flag 2344002/3341147
1721.10/896.37	c cleaning 9999 clauses out of 20010 with flag 2354003/3351148
1726.44/899.12	c cleaning 9998 clauses out of 20008 with flag 2364000/3361145
1731.69/902.00	c cleaning 10000 clauses out of 20010 with flag 2374000/3371145
1737.22/904.85	c cleaning 10002 clauses out of 20012 with flag 2384002/3381147
1742.96/907.81	c cleaning 10000 clauses out of 20011 with flag 2394003/3391148
1748.30/910.63	c cleaning 10001 clauses out of 20011 with flag 2404003/3401148
1754.12/913.78	c cleaning 9998 clauses out of 20007 with flag 2414000/3411145
1760.26/916.94	c cleaning 9999 clauses out of 20010 with flag 2424001/3421146
1766.20/920.08	c cleaning 10004 clauses out of 20016 with flag 2434006/3431151
1772.15/923.15	c cleaning 10001 clauses out of 20009 with flag 2444003/3441148
1778.17/926.38	c cleaning 9998 clauses out of 20010 with flag 2454005/3451150
1783.90/929.36	c cleaning 10000 clauses out of 20010 with flag 2464003/3461148
1788.84/931.99	c cleaning 9999 clauses out of 20008 with flag 2474001/3471146
1793.99/934.64	c cleaning 10001 clauses out of 20011 with flag 2484003/3481148
1799.60/937.67	c cleaning 9998 clauses out of 20007 with flag 2494000/3491145
1800.16/938.03	c starts		: 256
1800.16/938.03	c conflicts		: 3491504
1800.16/938.03	c decisions		: 5470893
1800.16/938.03	c propagations		: 744874717
1800.16/938.03	c inspects		: 6808833738
1800.16/938.03	c shortcuts		: 0
1800.16/938.03	c learnt literals	: 0
1800.16/938.03	c learnt binary clauses	: 0
1800.16/938.03	c learnt ternary clauses	: 5
1800.16/938.03	c learnt constraints	: 3491504
1800.16/938.03	c ignored constraints	: 0
1800.16/938.03	c root simplifications	: 0
1800.16/938.03	c removed literals (reason simplification)	: 16154018
1800.16/938.03	c reason swapping (by a shorter reason)	: 0
1800.16/938.03	c Calls to reduceDB	: 352
1800.16/938.03	c number of reductions to clauses (during analyze)	: 0
1800.16/938.03	c number of learned constraints concerned by reduction	: 0
1800.16/938.03	c number of learning phase by resolution	: 0
1800.16/938.03	c number of learning phase by cutting planes	: 0
1800.16/938.03	c speed (assignments/second)	: 1034640.8986354342
1800.16/938.03	c non guided choices	0
1800.16/938.04	c learnt constraints type 
1800.16/938.04	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 10428
1800.16/938.04	c constraints type 
1800.16/938.04	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3190
1800.16/938.04	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.16/938.04	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3090
1800.16/938.04	c constraints type 
1800.16/938.04	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3190
1800.16/938.04	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.16/938.04	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3090
1800.16/938.04	s SATISFIABLE
1800.16/938.04	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 
1800.16/938.04	c objective function=5
1800.16/938.04	c Total wall clock time (in seconds): 937.93

Verifier Data 

OK	5

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3453950-1307194637/watcher-3453950-1307194637 -o /tmp/evaluation-result-3453950-1307194637/solver-3453950-1307194637 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453950-1307194637.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: 3.81 3.81 3.62 6/579 12464
/proc/meminfo: memFree=28020496/32951124 swapFree=34426104/67111528
[pid=12464] ppid=12462 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/12464/stat : 12464 (java) S 12462 12464 7463 0 -1 4202496 1238 0 0 0 0 0 0 0 25 0 2 0 909694362 31260672 957 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296728549 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/12464/statm: 7632 957 730 9 0 383 0
[pid=12464/tid=12465] ppid=12462 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12465/stat : 12465 (java) R 12462 12464 7463 0 -1 4202560 7252 0 1 0 0 0 0 0 25 0 2 0 909694362 10694979584 8068 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.022152 s]
/proc/loadavg: 3.81 3.81 3.62 6/579 12464
/proc/meminfo: memFree=28020496/32951124 swapFree=34426104/67111528
[pid=12464] ppid=12462 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12464/stat : 12464 (java) S 12462 12464 7463 0 -1 4202496 8900 0 1 0 0 0 0 0 25 0 2 0 909694362 10694979584 8602 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/12464/statm: 2611079 8621 917 9 0 2602235 0
[pid=12464/tid=12465] ppid=12462 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12465/stat : 12465 (java) R 12462 12464 7463 0 -1 4202560 7818 0 1 0 0 0 0 0 25 0 2 0 909694362 10694979584 8634 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224284619835 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316

[startup+0.101137 s]
/proc/loadavg: 3.81 3.81 3.62 6/579 12464
/proc/meminfo: memFree=28020496/32951124 swapFree=34426104/67111528
[pid=12464] ppid=12462 vsize=10539592 CPUtime=0.1 cores=1,3,5,7
/proc/12464/stat : 12464 (java) S 12462 12464 7463 0 -1 4202496 13050 0 1 0 9 1 0 0 25 0 18 0 909694362 10792542208 12745 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12464/statm: 2634898 12746 2092 9 0 2625632 0
[pid=12464/tid=12465] ppid=12462 vsize=10539592 CPUtime=0.08 cores=1,3,5,7
/proc/12464/task/12465/stat : 12465 (java) R 12462 12464 7463 0 -1 4202560 11124 0 1 0 7 1 0 0 25 0 18 0 909694362 10792542208 12746 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539592

[startup+0.301131 s]
/proc/loadavg: 3.81 3.81 3.62 6/579 12464
/proc/meminfo: memFree=28020496/32951124 swapFree=34426104/67111528
[pid=12464] ppid=12462 vsize=10540396 CPUtime=0.47 cores=1,3,5,7
/proc/12464/stat : 12464 (java) S 12462 12464 7463 0 -1 4202496 15623 0 1 0 45 2 0 0 25 0 18 0 909694362 10793365504 14921 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12464/statm: 2635099 14921 2208 9 0 2625833 0
[pid=12464/tid=12465] ppid=12462 vsize=10540396 CPUtime=0.28 cores=1,3,5,7
/proc/12464/task/12465/stat : 12465 (java) R 12462 12464 7463 0 -1 4202560 12720 0 1 0 27 1 0 0 18 0 18 0 909694362 10793365504 14922 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 46912505508055 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10540396

[startup+0.701095 s]
/proc/loadavg: 3.81 3.81 3.62 6/579 12464
/proc/meminfo: memFree=28020496/32951124 swapFree=34426104/67111528
[pid=12464] ppid=12462 vsize=10549492 CPUtime=0.92 cores=1,3,5,7
/proc/12464/stat : 12464 (java) S 12462 12464 7463 0 -1 4202496 20773 0 1 0 90 2 0 0 25 0 19 0 909694362 10802679808 18345 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12464/statm: 2637373 18345 2231 9 0 2628107 0
[pid=12464/tid=12465] ppid=12462 vsize=10549492 CPUtime=0.38 cores=1,3,5,7
/proc/12464/task/12465/stat : 12465 (java) S 12462 12464 7463 0 -1 4202560 14136 0 1 0 36 2 0 0 19 0 19 0 909694362 10802679808 18345 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 10549492

[startup+1.50091 s]
/proc/loadavg: 3.90 3.83 3.63 5/598 12489
/proc/meminfo: memFree=27948744/32951124 swapFree=34426104/67111528
[pid=12464] ppid=12462 vsize=10549492 CPUtime=1.32 cores=1,3,5,7
/proc/12464/stat : 12464 (java) S 12462 12464 7463 0 -1 4202496 23196 0 1 0 129 3 0 0 25 0 19 0 909694362 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12464/statm: 2637373 19309 2237 9 0 2628107 0
[pid=12464/tid=12465] ppid=12462 vsize=10549492 CPUtime=0.38 cores=1,3,5,7
/proc/12464/task/12465/stat : 12465 (java) S 12462 12464 7463 0 -1 4202560 14198 0 1 0 36 2 0 0 16 0 19 0 909694362 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12467] ppid=12462 vsize=10549492 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12467/stat : 12467 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909694364 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12468] ppid=12462 vsize=10549492 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12468/stat : 12468 (java) S 12462 12464 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909694364 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12469] ppid=12462 vsize=10549492 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12469/stat : 12469 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909694364 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12470] ppid=12462 vsize=10549492 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12470/stat : 12470 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909694364 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12471] ppid=12462 vsize=10549492 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12471/stat : 12471 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909694364 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12472] ppid=12462 vsize=10549492 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12472/stat : 12472 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909694364 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12473] ppid=12462 vsize=10549492 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12473/stat : 12473 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909694364 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12474] ppid=12462 vsize=10549492 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12474/stat : 12474 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909694364 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12475] ppid=12462 vsize=10549492 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12475/stat : 12475 (java) S 12462 12464 7463 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 909694365 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 0 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12476] ppid=12462 vsize=10549492 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12476/stat : 12476 (java) S 12462 12464 7463 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909694366 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12477] ppid=12462 vsize=10549492 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12477/stat : 12477 (java) S 12462 12464 7463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909694366 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12478] ppid=12462 vsize=10549492 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12478/stat : 12478 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909694368 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296749489 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12479] ppid=12462 vsize=10549492 CPUtime=0.36 cores=1,3,5,7
/proc/12464/task/12479/stat : 12479 (java) S 12462 12464 7463 0 -1 4202560 2191 0 0 0 36 0 0 0 18 0 19 0 909694368 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12480] ppid=12462 vsize=10549492 CPUtime=0.37 cores=1,3,5,7
/proc/12464/task/12480/stat : 12480 (java) S 12462 12464 7463 0 -1 4202560 4560 0 0 0 37 0 0 0 15 0 19 0 909694368 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12481] ppid=12462 vsize=10549492 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12481/stat : 12481 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909694368 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12482] ppid=12462 vsize=10549492 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12482/stat : 12482 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909694368 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12485] ppid=12462 vsize=10549492 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12485/stat : 12485 (java) S 12462 12464 7463 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909694402 10802679808 19309 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 10549492

[startup+3.10064 s]
/proc/loadavg: 3.90 3.83 3.63 6/601 12495
/proc/meminfo: memFree=27930368/32951124 swapFree=34426104/67111528
[pid=12464] ppid=12462 vsize=10553788 CPUtime=3.46 cores=1,3,5,7
/proc/12464/stat : 12464 (java) S 12462 12464 7463 0 -1 4202496 63314 0 1 0 338 8 0 0 25 0 22 0 909694362 10807078912 55506 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12464/statm: 2638447 55509 2243 9 0 2629181 0
[pid=12464/tid=12465] ppid=12462 vsize=10553788 CPUtime=0.39 cores=1,3,5,7
/proc/12464/task/12465/stat : 12465 (java) S 12462 12464 7463 0 -1 4202560 14237 0 1 0 37 2 0 0 16 0 22 0 909694362 10807078912 55512 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12467] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12467/stat : 12467 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694364 10807078912 55514 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12468] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12468/stat : 12468 (java) S 12462 12464 7463 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909694364 10807078912 55516 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12469] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12469/stat : 12469 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694364 10807078912 55518 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12470] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12470/stat : 12470 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694364 10807078912 55520 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12471] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12471/stat : 12471 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694364 10807078912 55522 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12472] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12472/stat : 12472 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694364 10807078912 55524 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12473] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12473/stat : 12473 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694364 10807078912 55526 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12474] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12474/stat : 12474 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694364 10807078912 55527 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12475] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12475/stat : 12475 (java) S 12462 12464 7463 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 909694365 10807078912 55529 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 0 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12476] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12476/stat : 12476 (java) S 12462 12464 7463 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909694366 10807078912 55531 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12477] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12477/stat : 12477 (java) S 12462 12464 7463 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909694366 10807078912 55532 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12478] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12478/stat : 12478 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694368 10807078912 55534 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296749489 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12479] ppid=12462 vsize=10553788 CPUtime=0.75 cores=1,3,5,7
/proc/12464/task/12479/stat : 12479 (java) S 12462 12464 7463 0 -1 4202560 5438 0 0 0 75 0 0 0 15 0 22 0 909694368 10807078912 55536 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12480] ppid=12462 vsize=10553788 CPUtime=0.71 cores=1,3,5,7
/proc/12464/task/12480/stat : 12480 (java) S 12462 12464 7463 0 -1 4202560 7668 0 0 0 70 1 0 0 15 0 22 0 909694368 10807078912 55537 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12481] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12481/stat : 12481 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694368 10807078912 55539 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12482] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12482/stat : 12482 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909694368 10807078912 55540 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12485] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12485/stat : 12485 (java) S 12462 12464 7463 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909694402 10807078912 55541 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 10553788

[startup+6.3011 s]
/proc/loadavg: 3.91 3.83 3.63 5/601 12498
/proc/meminfo: memFree=27469584/32951124 swapFree=34426104/67111528
[pid=12464] ppid=12462 vsize=10553788 CPUtime=9.86 cores=1,3,5,7
/proc/12464/stat : 12464 (java) S 12462 12464 7463 0 -1 4202496 159493 0 1 0 967 19 0 0 25 0 22 0 909694362 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12464/statm: 2638447 150875 2269 9 0 2629181 0
[pid=12464/tid=12465] ppid=12462 vsize=10553788 CPUtime=0.39 cores=1,3,5,7
/proc/12464/task/12465/stat : 12465 (java) S 12462 12464 7463 0 -1 4202560 14238 0 1 0 37 2 0 0 15 0 22 0 909694362 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12467] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12467/stat : 12467 (java) S 12462 12464 7463 0 -1 4202560 417 0 0 0 0 0 0 0 16 0 22 0 909694364 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12468] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12468/stat : 12468 (java) S 12462 12464 7463 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 909694364 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12469] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12469/stat : 12469 (java) S 12462 12464 7463 0 -1 4202560 476 0 0 0 0 0 0 0 15 0 22 0 909694364 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 5 0 0 0
[pid=12464/tid=12470] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12470/stat : 12470 (java) S 12462 12464 7463 0 -1 4202560 353 0 0 0 0 0 0 0 16 0 22 0 909694364 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 5 0 0 0
[pid=12464/tid=12471] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12471/stat : 12471 (java) S 12462 12464 7463 0 -1 4202560 214 0 0 0 0 0 0 0 15 0 22 0 909694364 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12472] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12472/stat : 12472 (java) S 12462 12464 7463 0 -1 4202560 754 0 0 0 0 0 0 0 15 0 22 0 909694364 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12473] ppid=12462 vsize=10553788 CPUtime=0.01 cores=1,3,5,7
/proc/12464/task/12473/stat : 12473 (java) S 12462 12464 7463 0 -1 4202560 745 0 0 0 1 0 0 0 15 0 22 0 909694364 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12474] ppid=12462 vsize=10553788 CPUtime=0.01 cores=1,3,5,7
/proc/12464/task/12474/stat : 12474 (java) S 12462 12464 7463 0 -1 4202560 1014 0 0 0 1 0 0 0 15 0 22 0 909694364 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12475] ppid=12462 vsize=10553788 CPUtime=0.12 cores=1,3,5,7
/proc/12464/task/12475/stat : 12475 (java) S 12462 12464 7463 0 -1 4202560 4227 0 0 0 12 0 0 0 15 0 22 0 909694365 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 0 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12476] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12476/stat : 12476 (java) S 12462 12464 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909694366 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12477] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12477/stat : 12477 (java) S 12462 12464 7463 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909694366 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12478] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12478/stat : 12478 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694368 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296749489 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12479] ppid=12462 vsize=10553788 CPUtime=0.84 cores=1,3,5,7
/proc/12464/task/12479/stat : 12479 (java) S 12462 12464 7463 0 -1 4202560 6203 0 0 0 84 0 0 0 15 0 22 0 909694368 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12480] ppid=12462 vsize=10553788 CPUtime=0.79 cores=1,3,5,7
/proc/12464/task/12480/stat : 12480 (java) S 12462 12464 7463 0 -1 4202560 7685 0 0 0 78 1 0 0 16 0 22 0 909694368 10807078912 150875 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0

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

[pid=12464/tid=12508] ppid=12462 vsize=10553788 CPUtime=495.87 cores=1,3,5,7
/proc/12464/task/12508/stat : 12508 (java) R 12462 12464 7463 0 -1 4202560 174 0 0 0 49587 0 0 0 19 0 22 0 909716171 10807078912 217945 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 46912505699476 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12464/tid=12509] ppid=12462 vsize=10553788 CPUtime=495.95 cores=1,3,5,7
/proc/12464/task/12509/stat : 12509 (java) R 12462 12464 7463 0 -1 4202560 4 0 0 0 49595 0 0 0 25 0 22 0 909716171 10807078912 217945 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 46912505851764 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12464/tid=12510] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12510/stat : 12510 (java) S 12462 12464 7463 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909716172 10807078912 217945 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1465.58
Current children cumulated vsize (KiB) 10553788

[startup+822.301 s]
/proc/loadavg: 3.79 3.74 3.67 5/601 12526
/proc/meminfo: memFree=27003644/32951124 swapFree=34426104/67111528
[pid=12464] ppid=12462 vsize=10553788 CPUtime=1580.14 cores=1,3,5,7
/proc/12464/stat : 12464 (java) S 12462 12464 7463 0 -1 4202496 230330 0 1 0 157980 34 0 0 25 0 22 0 909694362 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12464/statm: 2638447 218505 2270 9 0 2629181 0
[pid=12464/tid=12465] ppid=12462 vsize=10553788 CPUtime=0.39 cores=1,3,5,7
/proc/12464/task/12465/stat : 12465 (java) S 12462 12464 7463 0 -1 4202560 14266 0 1 0 37 2 0 0 15 0 22 0 909694362 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12467] ppid=12462 vsize=10553788 CPUtime=1.01 cores=1,3,5,7
/proc/12464/task/12467/stat : 12467 (java) S 12462 12464 7463 0 -1 4202560 517 0 0 0 101 0 0 0 15 0 22 0 909694364 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12468] ppid=12462 vsize=10553788 CPUtime=0.89 cores=1,3,5,7
/proc/12464/task/12468/stat : 12468 (java) S 12462 12464 7463 0 -1 4202560 43 0 0 0 89 0 0 0 16 0 22 0 909694364 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12469] ppid=12462 vsize=10553788 CPUtime=1 cores=1,3,5,7
/proc/12464/task/12469/stat : 12469 (java) S 12462 12464 7463 0 -1 4202560 577 0 0 0 100 0 0 0 16 0 22 0 909694364 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12470] ppid=12462 vsize=10553788 CPUtime=1.04 cores=1,3,5,7
/proc/12464/task/12470/stat : 12470 (java) S 12462 12464 7463 0 -1 4202560 418 0 0 0 104 0 0 0 15 0 22 0 909694364 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12471] ppid=12462 vsize=10553788 CPUtime=0.95 cores=1,3,5,7
/proc/12464/task/12471/stat : 12471 (java) S 12462 12464 7463 0 -1 4202560 298 0 0 0 95 0 0 0 16 0 22 0 909694364 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 5 0 0 0
[pid=12464/tid=12472] ppid=12462 vsize=10553788 CPUtime=0.95 cores=1,3,5,7
/proc/12464/task/12472/stat : 12472 (java) S 12462 12464 7463 0 -1 4202560 819 0 0 0 95 0 0 0 16 0 22 0 909694364 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12473] ppid=12462 vsize=10553788 CPUtime=0.95 cores=1,3,5,7
/proc/12464/task/12473/stat : 12473 (java) S 12462 12464 7463 0 -1 4202560 847 0 0 0 95 0 0 0 15 0 22 0 909694364 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12474] ppid=12462 vsize=10553788 CPUtime=0.92 cores=1,3,5,7
/proc/12464/task/12474/stat : 12474 (java) S 12462 12464 7463 0 -1 4202560 1058 0 0 0 92 0 0 0 15 0 22 0 909694364 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 5 0 0 0
[pid=12464/tid=12475] ppid=12462 vsize=10553788 CPUtime=65.1 cores=1,3,5,7
/proc/12464/task/12475/stat : 12475 (java) R 12462 12464 7463 0 -1 4202560 34772 0 0 0 6504 6 0 0 15 0 22 0 909694365 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 47667152768143 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=12464/tid=12476] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12476/stat : 12476 (java) S 12462 12464 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909694366 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12477] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12477/stat : 12477 (java) S 12462 12464 7463 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909694366 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12478] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12478/stat : 12478 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694368 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296749489 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12479] ppid=12462 vsize=10553788 CPUtime=1.38 cores=1,3,5,7
/proc/12464/task/12479/stat : 12479 (java) S 12462 12464 7463 0 -1 4202560 10182 0 0 0 137 1 0 0 15 0 22 0 909694368 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12480] ppid=12462 vsize=10553788 CPUtime=0.89 cores=1,3,5,7
/proc/12464/task/12480/stat : 12480 (java) S 12462 12464 7463 0 -1 4202560 7714 0 0 0 88 1 0 0 16 0 22 0 909694368 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12481] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12481/stat : 12481 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694368 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12482] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12482/stat : 12482 (java) S 12462 12464 7463 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 909694368 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12485] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12485/stat : 12485 (java) S 12462 12464 7463 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909694402 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12508] ppid=12462 vsize=10553788 CPUtime=549.98 cores=1,3,5,7
/proc/12464/task/12508/stat : 12508 (java) S 12462 12464 7463 0 -1 4202560 188 0 0 0 54998 0 0 0 20 0 22 0 909716171 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12509] ppid=12462 vsize=10553788 CPUtime=550.06 cores=1,3,5,7
/proc/12464/task/12509/stat : 12509 (java) S 12462 12464 7463 0 -1 4202560 4 0 0 0 55006 0 0 0 25 0 22 0 909716171 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12510] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12510/stat : 12510 (java) S 12462 12464 7463 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909716172 10807078912 218505 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1580.14
Current children cumulated vsize (KiB) 10553788

[startup+882.301 s]
/proc/loadavg: 3.66 3.70 3.66 5/601 12528
/proc/meminfo: memFree=26993840/32951124 swapFree=34426104/67111528
[pid=12464] ppid=12462 vsize=10553788 CPUtime=1694.49 cores=1,3,5,7
/proc/12464/stat : 12464 (java) S 12462 12464 7463 0 -1 4202496 231115 0 1 0 169414 35 0 0 25 0 22 0 909694362 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12464/statm: 2638447 219261 2270 9 0 2629181 0
[pid=12464/tid=12465] ppid=12462 vsize=10553788 CPUtime=0.39 cores=1,3,5,7
/proc/12464/task/12465/stat : 12465 (java) S 12462 12464 7463 0 -1 4202560 14280 0 1 0 37 2 0 0 15 0 22 0 909694362 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12467] ppid=12462 vsize=10553788 CPUtime=1.09 cores=1,3,5,7
/proc/12464/task/12467/stat : 12467 (java) S 12462 12464 7463 0 -1 4202560 520 0 0 0 109 0 0 0 16 0 22 0 909694364 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12468] ppid=12462 vsize=10553788 CPUtime=0.97 cores=1,3,5,7
/proc/12464/task/12468/stat : 12468 (java) S 12462 12464 7463 0 -1 4202560 46 0 0 0 97 0 0 0 16 0 22 0 909694364 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 5 0 0 0
[pid=12464/tid=12469] ppid=12462 vsize=10553788 CPUtime=1.1 cores=1,3,5,7
/proc/12464/task/12469/stat : 12469 (java) S 12462 12464 7463 0 -1 4202560 586 0 0 0 110 0 0 0 15 0 22 0 909694364 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12470] ppid=12462 vsize=10553788 CPUtime=1.13 cores=1,3,5,7
/proc/12464/task/12470/stat : 12470 (java) S 12462 12464 7463 0 -1 4202560 427 0 0 0 113 0 0 0 15 0 22 0 909694364 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 5 0 0 0
[pid=12464/tid=12471] ppid=12462 vsize=10553788 CPUtime=1.02 cores=1,3,5,7
/proc/12464/task/12471/stat : 12471 (java) S 12462 12464 7463 0 -1 4202560 303 0 0 0 102 0 0 0 15 0 22 0 909694364 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12472] ppid=12462 vsize=10553788 CPUtime=1.05 cores=1,3,5,7
/proc/12464/task/12472/stat : 12472 (java) S 12462 12464 7463 0 -1 4202560 822 0 0 0 105 0 0 0 15 0 22 0 909694364 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12473] ppid=12462 vsize=10553788 CPUtime=1.04 cores=1,3,5,7
/proc/12464/task/12473/stat : 12473 (java) S 12462 12464 7463 0 -1 4202560 858 0 0 0 104 0 0 0 15 0 22 0 909694364 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12474] ppid=12462 vsize=10553788 CPUtime=0.95 cores=1,3,5,7
/proc/12464/task/12474/stat : 12474 (java) S 12462 12464 7463 0 -1 4202560 1058 0 0 0 95 0 0 0 15 0 22 0 909694364 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12475] ppid=12462 vsize=10553788 CPUtime=71.02 cores=1,3,5,7
/proc/12464/task/12475/stat : 12475 (java) S 12462 12464 7463 0 -1 4202560 35489 0 0 0 7096 6 0 0 15 0 22 0 909694365 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 0 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12476] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12476/stat : 12476 (java) S 12462 12464 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909694366 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12477] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12477/stat : 12477 (java) S 12462 12464 7463 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909694366 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12478] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12478/stat : 12478 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694368 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296749489 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12479] ppid=12462 vsize=10553788 CPUtime=1.38 cores=1,3,5,7
/proc/12464/task/12479/stat : 12479 (java) S 12462 12464 7463 0 -1 4202560 10182 0 0 0 137 1 0 0 15 0 22 0 909694368 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12480] ppid=12462 vsize=10553788 CPUtime=0.89 cores=1,3,5,7
/proc/12464/task/12480/stat : 12480 (java) S 12462 12464 7463 0 -1 4202560 7714 0 0 0 88 1 0 0 16 0 22 0 909694368 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12481] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12481/stat : 12481 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694368 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12482] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12482/stat : 12482 (java) S 12462 12464 7463 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 909694368 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12485] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12485/stat : 12485 (java) S 12462 12464 7463 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909694402 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12508] ppid=12462 vsize=10553788 CPUtime=603.87 cores=1,3,5,7
/proc/12464/task/12508/stat : 12508 (java) R 12462 12464 7463 0 -1 4202560 195 0 0 0 60387 0 0 0 25 0 22 0 909716171 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 46912505699068 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12464/tid=12509] ppid=12462 vsize=10553788 CPUtime=603.95 cores=1,3,5,7
/proc/12464/task/12509/stat : 12509 (java) R 12462 12464 7463 0 -1 4202560 4 0 0 0 60395 0 0 0 25 0 22 0 909716171 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 46912505851663 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12464/tid=12510] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12510/stat : 12510 (java) S 12462 12464 7463 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909716172 10807078912 219261 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1694.49
Current children cumulated vsize (KiB) 10553788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+938.002 s]
/proc/loadavg: 3.63 3.69 3.65 5/601 12528
/proc/meminfo: memFree=26985868/32951124 swapFree=34426104/67111528
[pid=12464] ppid=12462 vsize=10553788 CPUtime=1800.16 cores=1,3,5,7
/proc/12464/stat : 12464 (java) S 12462 12464 7463 0 -1 4202496 232266 0 1 0 179981 35 0 0 25 0 22 0 909694362 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/12464/statm: 2638447 220388 2270 9 0 2629181 0
[pid=12464/tid=12465] ppid=12462 vsize=10553788 CPUtime=0.39 cores=1,3,5,7
/proc/12464/task/12465/stat : 12465 (java) S 12462 12464 7463 0 -1 4202560 14296 0 1 0 37 2 0 0 15 0 22 0 909694362 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12467] ppid=12462 vsize=10553788 CPUtime=1.18 cores=1,3,5,7
/proc/12464/task/12467/stat : 12467 (java) S 12462 12464 7463 0 -1 4202560 529 0 0 0 118 0 0 0 16 0 22 0 909694364 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12468] ppid=12462 vsize=10553788 CPUtime=1.03 cores=1,3,5,7
/proc/12464/task/12468/stat : 12468 (java) S 12462 12464 7463 0 -1 4202560 52 0 0 0 103 0 0 0 15 0 22 0 909694364 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12469] ppid=12462 vsize=10553788 CPUtime=1.17 cores=1,3,5,7
/proc/12464/task/12469/stat : 12469 (java) S 12462 12464 7463 0 -1 4202560 586 0 0 0 117 0 0 0 15 0 22 0 909694364 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12470] ppid=12462 vsize=10553788 CPUtime=1.22 cores=1,3,5,7
/proc/12464/task/12470/stat : 12470 (java) S 12462 12464 7463 0 -1 4202560 433 0 0 0 122 0 0 0 16 0 22 0 909694364 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 7 0 0 0
[pid=12464/tid=12471] ppid=12462 vsize=10553788 CPUtime=1.13 cores=1,3,5,7
/proc/12464/task/12471/stat : 12471 (java) S 12462 12464 7463 0 -1 4202560 303 0 0 0 113 0 0 0 16 0 22 0 909694364 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12472] ppid=12462 vsize=10553788 CPUtime=1.13 cores=1,3,5,7
/proc/12464/task/12472/stat : 12472 (java) S 12462 12464 7463 0 -1 4202560 830 0 0 0 113 0 0 0 16 0 22 0 909694364 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12473] ppid=12462 vsize=10553788 CPUtime=1.13 cores=1,3,5,7
/proc/12464/task/12473/stat : 12473 (java) S 12462 12464 7463 0 -1 4202560 863 0 0 0 113 0 0 0 15 0 22 0 909694364 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12474] ppid=12462 vsize=10553788 CPUtime=1.03 cores=1,3,5,7
/proc/12464/task/12474/stat : 12474 (java) S 12462 12464 7463 0 -1 4202560 1064 0 0 0 103 0 0 0 15 0 22 0 909694364 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12475] ppid=12462 vsize=10553788 CPUtime=77.01 cores=1,3,5,7
/proc/12464/task/12475/stat : 12475 (java) S 12462 12464 7463 0 -1 4202560 36578 0 0 0 7695 6 0 0 16 0 22 0 909694365 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 0 0 16800975 18446604470028430080 0 0 -1 5 0 0 0
[pid=12464/tid=12476] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12476/stat : 12476 (java) S 12462 12464 7463 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909694366 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12477] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12477/stat : 12477 (java) S 12462 12464 7463 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909694366 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12478] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12478/stat : 12478 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694368 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296749489 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12479] ppid=12462 vsize=10553788 CPUtime=1.38 cores=1,3,5,7
/proc/12464/task/12479/stat : 12479 (java) S 12462 12464 7463 0 -1 4202560 10182 0 0 0 137 1 0 0 15 0 22 0 909694368 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12480] ppid=12462 vsize=10553788 CPUtime=0.89 cores=1,3,5,7
/proc/12464/task/12480/stat : 12480 (java) S 12462 12464 7463 0 -1 4202560 7714 0 0 0 88 1 0 0 16 0 22 0 909694368 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12481] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12481/stat : 12481 (java) S 12462 12464 7463 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909694368 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296741785 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12482] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12482/stat : 12482 (java) S 12462 12464 7463 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909694368 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
[pid=12464/tid=12485] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12485/stat : 12485 (java) S 12462 12464 7463 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909694402 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 1 0 0 0
[pid=12464/tid=12508] ppid=12462 vsize=10553788 CPUtime=653.4 cores=1,3,5,7
/proc/12464/task/12508/stat : 12508 (java) R 12462 12464 7463 0 -1 4202560 196 0 0 0 65340 0 0 0 23 0 22 0 909716171 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 46912505863440 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=12464/tid=12509] ppid=12462 vsize=10553788 CPUtime=653.47 cores=1,3,5,7
/proc/12464/task/12509/stat : 12509 (java) R 12462 12464 7463 0 -1 4202560 7 0 0 0 65347 0 0 0 23 0 22 0 909716171 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 46912505821147 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12464/tid=12510] ppid=12462 vsize=10553788 CPUtime=0 cores=1,3,5,7
/proc/12464/task/12510/stat : 12510 (java) S 12462 12464 7463 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909716172 10807078912 220388 33554432000 1073741824 1073778376 140736050442736 18446744073709551615 224296742400 0 4 0 16800975 18446604470028430080 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 10553788

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

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

Child status: 143
Real time (s): 938.084
CPU time (s): 1800.29
CPU user time (s): 1799.9
CPU system time (s): 0.396939
CPU usage (%): 191.912
Max. virtual memory (cumulated for all children) (KiB): 10557472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.396939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232293
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32102
involuntary context switches= 23308

runsolver used 5.35618 second user time and 12.921 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-04 15:37:17
IDJOB=3453950
IDBENCH=48154
IDSOLVER=1950
FILE ID=node118/3453950-1307194637
RUNJOBID= node118-1307193681-12257
PBS_JOBID= 13508852
Free space on /tmp= 73768 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_3.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453950-1307194637/watcher-3453950-1307194637 -o /tmp/evaluation-result-3453950-1307194637/solver-3453950-1307194637 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453950-1307194637.opb

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

MD5SUM BENCH= cdb29f44159b0b72729019e0c0db0b8a
RANDOM SEED=808020194

node118.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28020776 kB
Buffers:        327164 kB
Cached:        2060996 kB
SwapCached:      56168 kB
Active:        1536540 kB
Inactive:      3054204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28020776 kB
SwapTotal:    67111528 kB
SwapFree:     34426104 kB
Dirty:             484 kB
Writeback:           0 kB
AnonPages:     2159496 kB
Mapped:          23116 kB
Slab:           151464 kB
PageTables:     116548 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 194159164 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73768 MiB
End job on node118 at 2011-06-04 15:52:57