Trace number 3734372

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
PB11: Sat4j Res//CP 2.3.0SAT (TO)5 1800.02 933.034

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-rd84.b.opb
MD5SUM6560abb26f607ef952ebe1a74dd5dae1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 benchmark5.70713
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 variables1009
Total number of constraints3773
Number of constraints which are clauses3773
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint5
Maximum length of a constraint446
Number of terms in the objective function 1009
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 1009
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1009
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.02/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.09	c See www.sat4j.org for details.
0.09/0.10	c version 2.3.1.v20110525
0.09/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.09/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.09/0.10	c java.vm.version	19.1-b02
0.09/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.09/0.10	c sun.arch.data.model	64
0.09/0.10	c java.version		1.6.0_24
0.09/0.10	c os.name		Linux
0.09/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.09/0.10	c os.arch		amd64
0.09/0.10	c Free memory 		9996466904
0.09/0.10	c Max memory 		10048897024
0.09/0.10	c Total memory 		10048897024
0.09/0.10	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5495fd19
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@ae94e92
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3734372-1338691297.opb
0.09/0.12	c reading problem ... 
0.89/0.67	c ... done. Wall clock time 0.545s.
0.89/0.67	c #vars     1009
0.89/0.67	c #constraints  3773
0.89/0.67	c constraints type 
0.89/0.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3773
0.89/0.67	c constraints type 
0.89/0.67	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3773
1.09/0.70	c  And the winner is Resolution
1.13/1.17	c SATISFIABLE
1.13/1.17	c OPTIMIZING...
1.13/1.17	c Got one! Elapsed wall clock time (in seconds):1.05
1.13/1.17	o 9
1.60/1.35	c  And the winner is CuttingPlanes
2.11/1.68	c Got one! Elapsed wall clock time (in seconds):1.557
2.11/1.68	o 8
3.46/2.13	c  And the winner is Resolution
3.46/2.19	c Got one! Elapsed wall clock time (in seconds):2.062
3.46/2.19	o 7
5.45/3.15	c cleaning 2810 clauses out of 5623 with flag 3002/5623
6.73/3.74	c  And the winner is Resolution
6.81/4.20	c Got one! Elapsed wall clock time (in seconds):4.072
6.81/4.20	o 6
8.05/4.87	c cleaning 4266 clauses out of 8541 with flag 3001/11351
10.82/6.29	c cleaning 5134 clauses out of 10274 with flag 9000/17350
14.86/8.25	c cleaning 6065 clauses out of 12140 with flag 16000/24350
18.91/10.28	c cleaning 7026 clauses out of 14075 with flag 24000/32350
22.92/12.24	c cleaning 8019 clauses out of 16049 with flag 33000/41350
28.90/15.21	c cleaning 9010 clauses out of 18030 with flag 43000/51350
34.28/17.90	c cleaning 9504 clauses out of 19020 with flag 53000/61350
40.63/21.15	c cleaning 9754 clauses out of 19518 with flag 63002/71352
46.60/24.13	c cleaning 9877 clauses out of 19762 with flag 73000/81350
51.35/26.51	c cleaning 9939 clauses out of 19886 with flag 83001/91351
57.11/29.44	c cleaning 9953 clauses out of 19948 with flag 93002/101352
62.25/32.08	c cleaning 9988 clauses out of 19993 with flag 103000/111350
67.00/34.50	c cleaning 9996 clauses out of 20006 with flag 113001/121351
72.95/37.47	c cleaning 9999 clauses out of 20009 with flag 123000/131350
76.88/39.41	c cleaning 10000 clauses out of 20011 with flag 133001/141351
81.61/41.86	c cleaning 9996 clauses out of 20013 with flag 143003/151353
86.75/44.42	c cleaning 10001 clauses out of 20014 with flag 153000/161350
92.31/47.23	c cleaning 9994 clauses out of 20015 with flag 163002/171352
96.84/49.60	c cleaning 10001 clauses out of 20019 with flag 173000/181350
102.94/52.60	c cleaning 10001 clauses out of 20018 with flag 183000/191350
109.67/56.06	c cleaning 9983 clauses out of 20017 with flag 193000/201350
115.40/58.91	c cleaning 10000 clauses out of 20035 with flag 203001/211351
118.54/60.55	c cleaning 9994 clauses out of 20034 with flag 213000/221350
121.83/62.29	c cleaning 10012 clauses out of 20040 with flag 223000/231350
128.35/65.59	c cleaning 10008 clauses out of 20029 with flag 233001/241351
134.67/68.75	c cleaning 10008 clauses out of 20023 with flag 243003/251353
142.00/72.42	c cleaning 10004 clauses out of 20014 with flag 253002/261352
146.87/74.99	c cleaning 9954 clauses out of 20008 with flag 263000/271350
150.99/77.09	c cleaning 10018 clauses out of 20054 with flag 273000/281350
156.50/79.85	c cleaning 10011 clauses out of 20036 with flag 283000/291350
160.61/81.91	c cleaning 10003 clauses out of 20027 with flag 293002/301352
166.67/85.01	c cleaning 9997 clauses out of 20022 with flag 303000/311350
171.98/87.75	c cleaning 9998 clauses out of 20025 with flag 313000/321350
176.50/90.06	c cleaning 10008 clauses out of 20028 with flag 323001/331351
182.61/93.12	c cleaning 10004 clauses out of 20019 with flag 333000/341350
188.48/96.12	c cleaning 10003 clauses out of 20019 with flag 343004/351354
191.58/97.80	c cleaning 10000 clauses out of 20012 with flag 353000/361350
195.08/99.54	c cleaning 9998 clauses out of 20012 with flag 363000/371350
198.59/101.35	c cleaning 10002 clauses out of 20014 with flag 373000/381350
202.04/103.10	c cleaning 9995 clauses out of 20012 with flag 383000/391350
207.14/105.71	c cleaning 10004 clauses out of 20018 with flag 393001/401351
212.04/108.23	c cleaning 9997 clauses out of 20013 with flag 403000/411350
216.33/110.45	c cleaning 10006 clauses out of 20019 with flag 413003/421353
219.96/112.30	c cleaning 9997 clauses out of 20010 with flag 423000/431350
225.65/115.23	c cleaning 10000 clauses out of 20014 with flag 433001/441351
230.95/117.96	c cleaning 9997 clauses out of 20013 with flag 443000/451350
235.04/120.08	c cleaning 10000 clauses out of 20016 with flag 453000/461350
239.88/122.55	c cleaning 10004 clauses out of 20018 with flag 463002/471352
244.76/125.07	c cleaning 9993 clauses out of 20012 with flag 473000/481350
252.86/129.17	c cleaning 9998 clauses out of 20019 with flag 483000/491350
259.75/132.67	c cleaning 9994 clauses out of 20021 with flag 493000/501350
265.41/135.50	c cleaning 9997 clauses out of 20027 with flag 503000/511350
273.51/139.67	c cleaning 10012 clauses out of 20034 with flag 513004/521354
278.98/142.41	c cleaning 10001 clauses out of 20018 with flag 523000/531350
283.66/144.87	c cleaning 10004 clauses out of 20017 with flag 533000/541350
289.47/147.84	c cleaning 9975 clauses out of 20013 with flag 543000/551350
295.76/151.00	c cleaning 10009 clauses out of 20038 with flag 553000/561350
301.25/153.83	c cleaning 10012 clauses out of 20029 with flag 563000/571350
307.32/156.98	c cleaning 9999 clauses out of 20019 with flag 573002/581352
311.74/159.25	c cleaning 10003 clauses out of 20020 with flag 583002/591352
318.40/162.64	c cleaning 10001 clauses out of 20016 with flag 593001/601351
322.90/164.94	c cleaning 10003 clauses out of 20017 with flag 603003/611353
328.75/167.96	c cleaning 9997 clauses out of 20011 with flag 613000/621350
335.35/171.36	c cleaning 10003 clauses out of 20014 with flag 623000/631350
341.61/174.59	c cleaning 9981 clauses out of 20011 with flag 633000/641350
346.48/177.01	c cleaning 10008 clauses out of 20030 with flag 643000/651350
350.54/179.14	c cleaning 10004 clauses out of 20023 with flag 653001/661351
355.56/181.79	c cleaning 10004 clauses out of 20018 with flag 663000/671350
359.81/183.95	c cleaning 9985 clauses out of 20014 with flag 673000/681350
364.27/186.25	c cleaning 10013 clauses out of 20035 with flag 683006/691356
368.13/188.23	c cleaning 10006 clauses out of 20017 with flag 693001/701351
372.12/190.35	c cleaning 9998 clauses out of 20010 with flag 703000/711350
376.75/192.73	c cleaning 10002 clauses out of 20013 with flag 713001/721351
383.61/196.29	c cleaning 10002 clauses out of 20012 with flag 723002/731352
389.86/199.47	c cleaning 9997 clauses out of 20008 with flag 733000/741350
397.08/203.19	c cleaning 9998 clauses out of 20011 with flag 743000/751350
403.33/206.36	c cleaning 10000 clauses out of 20014 with flag 753001/761351
409.39/209.49	c cleaning 9993 clauses out of 20013 with flag 763000/771350
416.02/212.85	c cleaning 9988 clauses out of 20020 with flag 773000/781350
420.58/215.22	c cleaning 9998 clauses out of 20033 with flag 783001/791351
426.22/218.15	c cleaning 10008 clauses out of 20035 with flag 793001/801351
432.67/221.44	c cleaning 10010 clauses out of 20028 with flag 803002/811352
439.10/224.70	c cleaning 9994 clauses out of 20016 with flag 813000/821350
445.85/228.23	c cleaning 9996 clauses out of 20022 with flag 823000/831350
452.68/231.74	c cleaning 10006 clauses out of 20028 with flag 833002/841352
458.33/234.65	c cleaning 10005 clauses out of 20020 with flag 843000/851350
466.56/238.80	c cleaning 10003 clauses out of 20015 with flag 853000/861350
473.91/242.60	c cleaning 9993 clauses out of 20012 with flag 863000/871350
480.34/245.96	c cleaning 10000 clauses out of 20019 with flag 873000/881350
486.17/248.91	c cleaning 10006 clauses out of 20019 with flag 883000/891350
489.99/250.95	c cleaning 10002 clauses out of 20015 with flag 893002/901352
495.73/253.90	c cleaning 10001 clauses out of 20012 with flag 903001/911351
502.39/257.37	c cleaning 9996 clauses out of 20010 with flag 913000/921350
510.22/261.38	c cleaning 10002 clauses out of 20016 with flag 923002/931352
517.24/264.90	c cleaning 9987 clauses out of 20012 with flag 933000/941350
522.16/267.54	c cleaning 9998 clauses out of 20025 with flag 943000/951350
527.40/270.26	c cleaning 10008 clauses out of 20029 with flag 953002/961352
533.03/273.19	c cleaning 10000 clauses out of 20019 with flag 963000/971350
537.65/275.56	c cleaning 10005 clauses out of 20021 with flag 973002/981352
542.97/278.38	c cleaning 9998 clauses out of 20015 with flag 983001/991351
548.58/281.27	c cleaning 10000 clauses out of 20016 with flag 993000/1001350
553.60/283.85	c cleaning 10001 clauses out of 20017 with flag 1003001/1011351
558.20/286.23	c cleaning 10003 clauses out of 20020 with flag 1013005/1021355
562.89/288.71	c cleaning 10001 clauses out of 20013 with flag 1023001/1031351
567.72/291.23	c cleaning 9992 clauses out of 20011 with flag 1033000/1041350
572.72/293.85	c cleaning 10006 clauses out of 20020 with flag 1043001/1051351
577.11/296.17	c cleaning 9999 clauses out of 20013 with flag 1053000/1061350
583.21/299.36	c cleaning 9998 clauses out of 20014 with flag 1063000/1071350
584.43/300.00	c  And the winner is CuttingPlanes
583.05/300.11	c Got one! Elapsed wall clock time (in seconds):299.985
583.05/300.11	o 5
584.62/300.97	c cleaning 7950 clauses out of 15908 with flag 4001/1077242
588.22/302.90	c cleaning 6977 clauses out of 13958 with flag 10001/1083242
592.23/304.94	c cleaning 6987 clauses out of 13980 with flag 17000/1090241
596.32/307.18	c cleaning 7493 clauses out of 14994 with flag 25001/1098242
600.91/309.54	c cleaning 8244 clauses out of 16500 with flag 34000/1107241
606.32/312.37	c cleaning 9124 clauses out of 18257 with flag 44001/1117242
611.51/315.07	c cleaning 9557 clauses out of 19132 with flag 54000/1127241
616.61/317.78	c cleaning 9785 clauses out of 19575 with flag 64000/1137241
623.23/321.10	c cleaning 9888 clauses out of 19790 with flag 74000/1147241
628.42/323.80	c cleaning 9926 clauses out of 19902 with flag 84000/1157241
634.43/326.98	c cleaning 9985 clauses out of 19977 with flag 94001/1167242
640.92/330.36	c cleaning 9984 clauses out of 19991 with flag 104000/1177241
649.52/334.79	c cleaning 9997 clauses out of 20007 with flag 114000/1187241
654.74/337.44	c cleaning 10001 clauses out of 20010 with flag 124000/1197241
660.13/340.23	c cleaning 9998 clauses out of 20009 with flag 134000/1207241
667.40/344.07	c cleaning 10004 clauses out of 20011 with flag 144000/1217241
674.82/347.80	c cleaning 9988 clauses out of 20007 with flag 154000/1227241
680.83/350.92	c cleaning 10009 clauses out of 20021 with flag 164002/1237243
687.61/354.44	c cleaning 10002 clauses out of 20011 with flag 174001/1247242
693.90/357.73	c cleaning 9966 clauses out of 20012 with flag 184004/1257245
700.49/361.14	c cleaning 10019 clauses out of 20044 with flag 194002/1267243
705.48/363.76	c cleaning 10002 clauses out of 20024 with flag 204001/1277242
711.09/366.62	c cleaning 10009 clauses out of 20023 with flag 214002/1287243
719.56/371.04	c cleaning 10002 clauses out of 20012 with flag 224000/1297241
726.35/374.56	c cleaning 10001 clauses out of 20010 with flag 234000/1307241
732.56/377.79	c cleaning 9990 clauses out of 20009 with flag 244000/1317241
740.56/381.82	c cleaning 10004 clauses out of 20019 with flag 254000/1327241
747.04/385.23	c cleaning 9996 clauses out of 20015 with flag 264000/1337241
751.63/387.68	c cleaning 10006 clauses out of 20020 with flag 274001/1347242
756.43/390.13	c cleaning 10000 clauses out of 20015 with flag 284002/1357243
763.23/393.69	c cleaning 9989 clauses out of 20013 with flag 294000/1367241
768.49/396.44	c cleaning 10010 clauses out of 20027 with flag 304003/1377244
774.68/399.65	c cleaning 10004 clauses out of 20016 with flag 314002/1387243
780.67/402.73	c cleaning 9985 clauses out of 20015 with flag 324005/1397246
788.87/406.92	c cleaning 10009 clauses out of 20025 with flag 334000/1407241
798.09/411.77	c cleaning 10001 clauses out of 20016 with flag 344000/1417241
803.89/414.73	c cleaning 10004 clauses out of 20018 with flag 354003/1427244
809.08/417.46	c cleaning 10000 clauses out of 20011 with flag 364000/1437241
814.47/420.24	c cleaning 9997 clauses out of 20011 with flag 374000/1447241
819.72/423.07	c cleaning 10003 clauses out of 20014 with flag 384000/1457241
825.92/426.22	c cleaning 9985 clauses out of 20011 with flag 394000/1467241
831.91/429.39	c cleaning 10009 clauses out of 20026 with flag 404000/1477241
839.90/433.46	c cleaning 10005 clauses out of 20018 with flag 414001/1487242
849.78/438.56	c cleaning 10004 clauses out of 20013 with flag 424001/1497242
857.57/442.51	c cleaning 9991 clauses out of 20010 with flag 434002/1507243
863.37/445.58	c cleaning 10008 clauses out of 20020 with flag 444003/1517244
867.96/447.98	c cleaning 9999 clauses out of 20009 with flag 454000/1527241
872.20/450.22	c cleaning 9997 clauses out of 20010 with flag 464000/1537241
877.38/452.94	c cleaning 9997 clauses out of 20013 with flag 474000/1547241
882.17/455.48	c cleaning 10004 clauses out of 20017 with flag 484001/1557242
890.76/459.88	c cleaning 10005 clauses out of 20014 with flag 494002/1567243
899.42/464.31	c cleaning 10002 clauses out of 20008 with flag 504001/1577242
906.41/467.90	c cleaning 9997 clauses out of 20005 with flag 514000/1587241
912.79/471.24	c cleaning 9998 clauses out of 20008 with flag 524000/1597241
917.38/473.60	c cleaning 9981 clauses out of 20010 with flag 534000/1607241
923.02/476.69	c cleaning 10007 clauses out of 20029 with flag 544000/1617241
927.78/479.15	c cleaning 9997 clauses out of 20023 with flag 554001/1627242
933.14/481.99	c cleaning 10008 clauses out of 20025 with flag 564000/1637241
938.92/484.93	c cleaning 10004 clauses out of 20018 with flag 574001/1647242
944.16/487.75	c cleaning 9985 clauses out of 20013 with flag 584000/1657241
951.31/491.47	c cleaning 10004 clauses out of 20028 with flag 594000/1667241
956.67/494.22	c cleaning 10007 clauses out of 20024 with flag 604000/1677241
963.04/497.53	c cleaning 10003 clauses out of 20017 with flag 614000/1687241
971.70/502.07	c cleaning 9993 clauses out of 20014 with flag 624000/1697241
979.67/506.16	c cleaning 9958 clauses out of 20023 with flag 634002/1707243
986.85/509.85	c cleaning 10026 clauses out of 20063 with flag 644000/1717241
992.03/512.54	c cleaning 10017 clauses out of 20037 with flag 654000/1727241
997.25/515.31	c cleaning 9999 clauses out of 20020 with flag 664000/1737241
1004.01/518.87	c cleaning 9969 clauses out of 20021 with flag 674000/1747241
1009.77/521.86	c cleaning 10001 clauses out of 20052 with flag 684000/1757241
1017.94/526.00	c cleaning 10019 clauses out of 20052 with flag 694001/1767242
1026.97/530.79	c cleaning 10007 clauses out of 20034 with flag 704002/1777243
1034.55/534.65	c cleaning 10007 clauses out of 20025 with flag 714000/1787241
1041.51/538.26	c cleaning 9980 clauses out of 20018 with flag 724000/1797241
1049.88/542.56	c cleaning 10011 clauses out of 20038 with flag 734000/1807241
1059.30/547.47	c cleaning 10010 clauses out of 20027 with flag 744000/1817241
1067.86/551.84	c cleaning 9991 clauses out of 20017 with flag 754000/1827241
1075.62/555.85	c cleaning 10009 clauses out of 20026 with flag 764000/1837241
1083.58/559.98	c cleaning 10005 clauses out of 20020 with flag 774003/1847244
1092.81/564.80	c cleaning 9993 clauses out of 20012 with flag 784000/1857241
1098.78/567.89	c cleaning 10003 clauses out of 20019 with flag 794000/1867241
1105.75/571.43	c cleaning 9998 clauses out of 20016 with flag 804000/1877241
1112.12/574.79	c cleaning 9990 clauses out of 20019 with flag 814001/1887242
1119.54/578.62	c cleaning 10012 clauses out of 20029 with flag 824001/1897242
1127.29/582.64	c cleaning 10002 clauses out of 20017 with flag 834001/1907242
1135.84/587.04	c cleaning 9994 clauses out of 20015 with flag 844001/1917242
1145.26/591.81	c cleaning 10006 clauses out of 20021 with flag 854001/1927242
1154.25/596.57	c cleaning 9994 clauses out of 20016 with flag 864002/1937243
1162.23/600.65	c cleaning 10001 clauses out of 20020 with flag 874000/1947241
1169.97/604.63	c cleaning 10003 clauses out of 20019 with flag 884000/1957241
1175.35/607.47	c cleaning 10003 clauses out of 20017 with flag 894001/1967242
1182.57/611.26	c cleaning 10003 clauses out of 20013 with flag 904000/1977241
1187.73/613.90	c cleaning 10002 clauses out of 20011 with flag 914001/1987242
1192.29/616.34	c cleaning 9998 clauses out of 20008 with flag 924000/1997241
1200.45/620.51	c cleaning 9995 clauses out of 20010 with flag 934000/2007241
1208.28/624.60	c cleaning 10004 clauses out of 20018 with flag 944003/2017244
1215.05/628.12	c cleaning 10000 clauses out of 20013 with flag 954002/2027243
1223.61/632.59	c cleaning 10004 clauses out of 20011 with flag 964000/2037241
1229.35/635.53	c cleaning 9995 clauses out of 20007 with flag 974000/2047241
1234.34/638.29	c cleaning 10002 clauses out of 20012 with flag 984000/2057241
1240.69/641.53	c cleaning 9999 clauses out of 20010 with flag 994000/2067241
1246.23/644.42	c cleaning 9969 clauses out of 20013 with flag 1004002/2077243
1251.58/647.29	c cleaning 10016 clauses out of 20042 with flag 1014000/2087241
1256.79/650.07	c cleaning 10007 clauses out of 20028 with flag 1024002/2097243
1261.52/652.54	c cleaning 9998 clauses out of 20019 with flag 1034000/2107241
1267.06/655.46	c cleaning 10003 clauses out of 20021 with flag 1044000/2117241
1271.99/658.02	c cleaning 9980 clauses out of 20018 with flag 1054000/2127241
1277.82/661.13	c cleaning 10011 clauses out of 20038 with flag 1064000/2137241
1283.74/664.23	c cleaning 10002 clauses out of 20027 with flag 1074000/2147241
1290.07/667.54	c cleaning 10002 clauses out of 20025 with flag 1084000/2157241
1298.00/671.66	c cleaning 9993 clauses out of 20023 with flag 1094000/2167241
1306.40/676.03	c cleaning 9995 clauses out of 20030 with flag 1104000/2177241
1314.94/680.41	c cleaning 10013 clauses out of 20036 with flag 1114001/2187242
1323.09/684.66	c cleaning 9999 clauses out of 20023 with flag 1124001/2197242
1331.45/688.93	c cleaning 10002 clauses out of 20023 with flag 1134000/2207241
1339.81/693.33	c cleaning 10005 clauses out of 20021 with flag 1144000/2217241
1347.36/697.22	c cleaning 9989 clauses out of 20016 with flag 1154000/2227241
1357.32/702.31	c cleaning 10010 clauses out of 20027 with flag 1164000/2237241
1364.68/706.20	c cleaning 10008 clauses out of 20019 with flag 1174002/2247243
1372.05/710.09	c cleaning 9994 clauses out of 20009 with flag 1184000/2257241
1379.60/713.95	c cleaning 9995 clauses out of 20015 with flag 1194000/2267241
1386.73/717.60	c cleaning 9997 clauses out of 20020 with flag 1204000/2277241
1394.09/721.46	c cleaning 9985 clauses out of 20023 with flag 1214000/2287241
1401.88/725.52	c cleaning 10001 clauses out of 20039 with flag 1224001/2297242
1410.21/729.80	c cleaning 10009 clauses out of 20037 with flag 1234000/2307241
1417.35/733.55	c cleaning 10009 clauses out of 20028 with flag 1244000/2317241
1424.68/737.30	c cleaning 9962 clauses out of 20019 with flag 1254000/2327241
1431.86/741.17	c cleaning 10018 clauses out of 20059 with flag 1264002/2337243
1439.20/744.92	c cleaning 9966 clauses out of 20039 with flag 1274000/2347241
1446.93/748.96	c cleaning 10033 clauses out of 20073 with flag 1284000/2357241
1456.06/753.65	c cleaning 9998 clauses out of 20041 with flag 1294001/2367242
1464.03/757.80	c cleaning 10015 clauses out of 20042 with flag 1304000/2377241
1470.54/761.25	c cleaning 10010 clauses out of 20028 with flag 1314001/2387242
1478.04/765.18	c cleaning 10004 clauses out of 20020 with flag 1324003/2397244
1484.76/768.61	c cleaning 10001 clauses out of 20014 with flag 1334001/2407242
1491.13/772.02	c cleaning 10002 clauses out of 20012 with flag 1344000/2417241
1497.84/775.54	c cleaning 9992 clauses out of 20010 with flag 1354000/2427241
1505.55/779.57	c cleaning 9992 clauses out of 20019 with flag 1364001/2437242
1512.26/783.09	c cleaning 10004 clauses out of 20027 with flag 1374001/2447242
1517.59/785.98	c cleaning 10001 clauses out of 20022 with flag 1384000/2457241
1525.30/789.95	c cleaning 9989 clauses out of 20021 with flag 1394000/2467241
1531.82/793.35	c cleaning 10014 clauses out of 20033 with flag 1404001/2477242
1539.13/797.18	c cleaning 10007 clauses out of 20019 with flag 1414001/2487242
1544.65/800.15	c cleaning 10000 clauses out of 20011 with flag 1424000/2497241
1552.95/804.49	c cleaning 9994 clauses out of 20011 with flag 1434000/2507241
1561.84/809.08	c cleaning 9981 clauses out of 20017 with flag 1444000/2517241
1571.15/813.86	c cleaning 10012 clauses out of 20038 with flag 1454002/2527243
1577.91/817.47	c cleaning 10000 clauses out of 20025 with flag 1464001/2537242
1584.04/820.63	c cleaning 10005 clauses out of 20025 with flag 1474001/2547242
1589.75/823.64	c cleaning 10005 clauses out of 20020 with flag 1484001/2557242
1595.47/826.62	c cleaning 9998 clauses out of 20014 with flag 1494000/2567241
1601.62/829.95	c cleaning 9996 clauses out of 20016 with flag 1504000/2577241
1607.54/833.03	c cleaning 9999 clauses out of 20020 with flag 1514000/2587241
1612.86/835.84	c cleaning 9994 clauses out of 20021 with flag 1524000/2597241
1618.58/838.86	c cleaning 10000 clauses out of 20028 with flag 1534001/2607242
1625.32/842.48	c cleaning 10010 clauses out of 20027 with flag 1544000/2617241
1631.42/845.60	c cleaning 10001 clauses out of 20017 with flag 1554000/2627241
1637.55/848.85	c cleaning 10002 clauses out of 20016 with flag 1564000/2637241
1643.86/852.16	c cleaning 10007 clauses out of 20019 with flag 1574005/2647246
1650.03/855.42	c cleaning 9987 clauses out of 20007 with flag 1584000/2657241
1655.95/858.52	c cleaning 10006 clauses out of 20024 with flag 1594004/2667245
1662.44/862.00	c cleaning 10002 clauses out of 20016 with flag 1604002/2677243
1669.36/865.52	c cleaning 10001 clauses out of 20013 with flag 1614001/2687242
1674.91/868.55	c cleaning 9985 clauses out of 20011 with flag 1624000/2697241
1682.03/872.25	c cleaning 10005 clauses out of 20027 with flag 1634001/2707242
1687.73/875.23	c cleaning 10006 clauses out of 20023 with flag 1644002/2717243
1694.85/878.93	c cleaning 10004 clauses out of 20017 with flag 1654002/2727243
1703.39/883.44	c cleaning 9998 clauses out of 20011 with flag 1664000/2737241
1711.11/887.41	c cleaning 9998 clauses out of 20013 with flag 1674000/2747241
1718.43/891.21	c cleaning 10003 clauses out of 20015 with flag 1684000/2757241
1726.74/895.56	c cleaning 9979 clauses out of 20014 with flag 1694002/2767243
1735.48/900.12	c cleaning 10014 clauses out of 20034 with flag 1704001/2777242
1743.21/904.16	c cleaning 10004 clauses out of 20020 with flag 1714001/2787242
1752.13/908.70	c cleaning 9995 clauses out of 20015 with flag 1724000/2797241
1759.04/912.31	c cleaning 10001 clauses out of 20022 with flag 1734002/2807243
1765.98/916.06	c cleaning 9994 clauses out of 20019 with flag 1744000/2817241
1774.08/920.28	c cleaning 9907 clauses out of 20025 with flag 1754000/2827241
1782.00/924.34	c cleaning 10054 clauses out of 20121 with flag 1764003/2837244
1791.30/929.19	c cleaning 10031 clauses out of 20066 with flag 1774002/2847243
1798.64/933.01	c starts		: 15
1798.64/933.01	c conflicts		: 3625
1798.64/933.01	c decisions		: 136961
1798.64/933.01	c propagations		: 457408
1798.64/933.01	c inspects		: 113347854
1798.64/933.01	c shortcuts		: 0
1798.64/933.01	c learnt literals	: 0
1798.64/933.01	c learnt binary clauses	: 0
1798.64/933.01	c learnt ternary clauses	: 0
1798.64/933.01	c learnt constraints	: 3622
1798.64/933.01	c ignored constraints	: 0
1798.64/933.01	c root simplifications	: 0
1798.64/933.01	c removed literals (reason simplification)	: 0
1798.64/933.01	c reason swapping (by a shorter reason)	: 0
1798.64/933.01	c Calls to reduceDB	: 0
1798.64/933.01	c number of reductions to clauses (during analyze)	: 0
1798.64/933.01	c number of learned constraints concerned by reduction	: 0
1798.64/933.01	c number of learning phase by resolution	: 0
1798.64/933.01	c number of learning phase by cutting planes	: 0
1798.64/933.01	c speed (assignments/second)	: 722.719932753777
1798.64/933.01	c non guided choices	0
1798.64/933.01	c learnt constraints type 
1798.64/933.01	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 48
1798.64/933.01	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 17
1798.64/933.01	c org.sat4j.pb.constraints.pb.MaxWatchPb => 3557
1798.64/933.01	c constraints type 
1798.64/933.01	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3773
1798.64/933.01	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1798.64/933.01	c constraints type 
1798.64/933.01	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3773
1798.64/933.01	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1798.64/933.01	s SATISFIABLE
1798.64/933.02	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 
1798.64/933.02	c objective function=5
1798.64/933.02	c Total wall clock time (in seconds): 932.893

Verifier Data 

OK	5

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734372-1338691297/watcher-3734372-1338691297 -o /tmp/evaluation-result-3734372-1338691297/solver-3734372-1338691297 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3734372-1338691297.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.62 3.74 3.68 3/197 6630
/proc/meminfo: memFree=23186784/32873844 swapFree=7628/7628
[pid=6630] ppid=6628 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/6630/stat : 6630 (java) R 6628 6630 442 0 -1 4202496 986 0 0 0 0 0 0 0 20 0 1 0 335254096 23793664 714 33554432000 1073741824 1073778376 140735998456080 140735998445144 254741099880 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6630/statm: 5809 714 529 9 0 128 0

[startup+0.0300949 s]
/proc/loadavg: 3.62 3.74 3.68 3/197 6630
/proc/meminfo: memFree=23186784/32873844 swapFree=7628/7628
[pid=6630] ppid=6628 vsize=11044572 CPUtime=0.02 cores=0,2,4,6
/proc/6630/stat : 6630 (java) S 6628 6630 442 0 -1 4202496 3993 0 1 0 1 1 0 0 20 0 10 0 335254096 11309641728 10826 33554432000 1073741824 1073778376 140735998456080 140735998447216 254753669181 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6630/statm: 2761143 10835 1490 9 0 2751844 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11044572

[startup+0.100248 s]
/proc/loadavg: 3.62 3.74 3.68 3/197 6630
/proc/meminfo: memFree=23186784/32873844 swapFree=7628/7628
[pid=6630] ppid=6628 vsize=11586392 CPUtime=0.09 cores=0,2,4,6
/proc/6630/stat : 6630 (java) S 6628 6630 442 0 -1 4202496 5244 0 1 0 8 1 0 0 20 0 18 0 335254096 11864465408 13096 33554432000 1073741824 1073778376 140735998456080 140735998447216 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6630/statm: 2896598 13096 2087 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392

[startup+0.300229 s]
/proc/loadavg: 3.62 3.74 3.68 3/197 6630
/proc/meminfo: memFree=23186784/32873844 swapFree=7628/7628
[pid=6630] ppid=6628 vsize=11586392 CPUtime=0.56 cores=0,2,4,6
/proc/6630/stat : 6630 (java) S 6628 6630 442 0 -1 4202496 7882 0 1 0 54 2 0 0 20 0 18 0 335254096 11864465408 16665 33554432000 1073741824 1073778376 140735998456080 140735998447216 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6630/statm: 2896598 16665 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 11586392

[startup+0.700174 s]
/proc/loadavg: 3.62 3.74 3.68 3/197 6630
/proc/meminfo: memFree=23186784/32873844 swapFree=7628/7628
[pid=6630] ppid=6628 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/6630/stat : 6630 (java) S 6628 6630 442 0 -1 4202496 9079 0 1 0 104 5 0 0 20 0 22 0 335254096 12137111552 50639 33554432000 1073741824 1073778376 140735998456080 140735998447216 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6630/statm: 2963162 50639 2242 9 0 2953849 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 11852648

[startup+1.50061 s]
/proc/loadavg: 3.62 3.74 3.68 3/216 6652
/proc/meminfo: memFree=22992876/32873844 swapFree=7628/7628
[pid=6630] ppid=6628 vsize=11852648 CPUtime=2.02 cores=0,2,4,6
/proc/6630/stat : 6630 (java) S 6628 6630 442 0 -1 4202496 16012 0 1 0 192 10 0 0 20 0 19 0 335254096 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140735998447216 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6630/statm: 2963162 56881 2261 9 0 2953849 0
[pid=6630/tid=6632] ppid=6628 vsize=11852648 CPUtime=0.66 cores=0,2,4,6
/proc/6630/task/6632/stat : 6632 (java) S 6628 6630 442 0 -1 4202560 3518 0 1 0 62 4 0 0 20 0 19 0 335254097 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092506698904 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6633] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6633/stat : 6633 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335254099 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092343654696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6634] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6634/stat : 6634 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335254099 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092342601896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6635] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6635/stat : 6635 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335254099 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092341549608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6636] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6636/stat : 6636 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335254099 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092340496808 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6637] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6637/stat : 6637 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335254099 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092339444520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6638] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6638/stat : 6638 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335254099 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092338391720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6639] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6639/stat : 6639 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335254099 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092337339432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6640] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6640/stat : 6640 (java) S 6628 6630 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335254099 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092336286632 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6641] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6641/stat : 6641 (java) S 6628 6630 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335254100 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092324088040 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6642] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6642/stat : 6642 (java) S 6628 6630 442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335254101 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092323034104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6643] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6643/stat : 6643 (java) S 6628 6630 442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335254101 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092321981704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6644] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6644/stat : 6644 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335254103 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092320930192 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6645] ppid=6628 vsize=11852648 CPUtime=0.47 cores=0,2,4,6
/proc/6630/task/6645/stat : 6645 (java) S 6628 6630 442 0 -1 4202560 2825 0 0 0 47 0 0 0 20 0 19 0 335254103 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092319877816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6646] ppid=6628 vsize=11852648 CPUtime=0.46 cores=0,2,4,6
/proc/6630/task/6646/stat : 6646 (java) R 6628 6630 442 0 -1 4202560 8357 0 0 0 44 2 0 0 20 0 19 0 335254103 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092318812192 140092509307537 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6647] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6647/stat : 6647 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335254103 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092317772920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6648] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6648/stat : 6648 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335254103 12137111552 56881 33554432000 1073741824 1073778376 140735998456080 140092316720328 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 11852648

[startup+3.10064 s]
/proc/loadavg: 3.62 3.74 3.68 5/219 6658
/proc/meminfo: memFree=22861216/32873844 swapFree=7628/7628
[pid=6630] ppid=6628 vsize=11852648 CPUtime=5.45 cores=0,2,4,6
/proc/6630/stat : 6630 (java) S 6628 6630 442 0 -1 4202496 22233 0 1 0 526 19 0 0 20 0 22 0 335254096 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140735998447216 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6630/statm: 2963162 162573 2264 9 0 2953849 0
[pid=6630/tid=6632] ppid=6628 vsize=11852648 CPUtime=0.67 cores=0,2,4,6
/proc/6630/task/6632/stat : 6632 (java) S 6628 6630 442 0 -1 4202560 3519 0 1 0 63 4 0 0 20 0 22 0 335254097 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092506698904 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6633] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6633/stat : 6633 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092343654696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6634] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6634/stat : 6634 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092342601896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6635] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6635/stat : 6635 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092341549608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6636] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6636/stat : 6636 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092340496808 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6637] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6637/stat : 6637 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092339444520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6638] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6638/stat : 6638 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092338391720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6639] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6639/stat : 6639 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092337339432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6640] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6640/stat : 6640 (java) S 6628 6630 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092336286632 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6641] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6641/stat : 6641 (java) S 6628 6630 442 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 335254100 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092324088040 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6642] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6642/stat : 6642 (java) S 6628 6630 442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335254101 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092323034104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6643] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6643/stat : 6643 (java) S 6628 6630 442 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335254101 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092321981704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6644] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6644/stat : 6644 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254103 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092320930192 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6645] ppid=6628 vsize=11852648 CPUtime=0.79 cores=0,2,4,6
/proc/6630/task/6645/stat : 6645 (java) S 6628 6630 442 0 -1 4202560 7739 0 0 0 77 2 0 0 20 0 22 0 335254103 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092319877816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6646] ppid=6628 vsize=11852648 CPUtime=0.83 cores=0,2,4,6
/proc/6630/task/6646/stat : 6646 (java) S 6628 6630 442 0 -1 4202560 9437 0 0 0 81 2 0 0 20 0 22 0 335254103 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092318825016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6647] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6647/stat : 6647 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254103 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092317772920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6648] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6648/stat : 6648 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254103 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092316720328 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6658] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6658/stat : 6658 (java) S 6628 6630 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335254266 12137111552 162573 33554432000 1073741824 1073778376 140735998456080 140092312507176 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 11852648

[startup+6.30078 s]
/proc/loadavg: 3.65 3.75 3.68 5/219 6664
/proc/meminfo: memFree=22241988/32873844 swapFree=7628/7628
[pid=6630] ppid=6628 vsize=11852648 CPUtime=11.03 cores=0,2,4,6
/proc/6630/stat : 6630 (java) S 6628 6630 442 0 -1 4202496 22783 0 1 0 1074 29 0 0 20 0 22 0 335254096 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140735998447216 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6630/statm: 2963162 255731 2289 9 0 2953849 0
[pid=6630/tid=6632] ppid=6628 vsize=11852648 CPUtime=0.67 cores=0,2,4,6
/proc/6630/task/6632/stat : 6632 (java) S 6628 6630 442 0 -1 4202560 3520 0 1 0 63 4 0 0 20 0 22 0 335254097 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092506698904 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6633] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6633/stat : 6633 (java) S 6628 6630 442 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092343654696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6634] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6634/stat : 6634 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092342601896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6635] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6635/stat : 6635 (java) S 6628 6630 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092341549608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6636] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6636/stat : 6636 (java) S 6628 6630 442 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092340496808 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6637] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6637/stat : 6637 (java) S 6628 6630 442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092339444520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6638] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6638/stat : 6638 (java) S 6628 6630 442 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092338391720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6639] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6639/stat : 6639 (java) S 6628 6630 442 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092337339432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6640] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6640/stat : 6640 (java) S 6628 6630 442 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335254099 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092336286632 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6641] ppid=6628 vsize=11852648 CPUtime=0.05 cores=0,2,4,6
/proc/6630/task/6641/stat : 6641 (java) R 6628 6630 442 0 -1 4202560 35 0 0 0 5 0 0 0 20 0 22 0 335254100 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092324087016 140092509968521 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6642] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6642/stat : 6642 (java) S 6628 6630 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335254101 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092323034104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6643] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6643/stat : 6643 (java) S 6628 6630 442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335254101 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092321981704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6644] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6644/stat : 6644 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254103 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092320930192 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6645] ppid=6628 vsize=11852648 CPUtime=0.83 cores=0,2,4,6
/proc/6630/task/6645/stat : 6645 (java) S 6628 6630 442 0 -1 4202560 8002 0 0 0 81 2 0 0 20 0 22 0 335254103 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092319877816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6646] ppid=6628 vsize=11852648 CPUtime=0.93 cores=0,2,4,6
/proc/6630/task/6646/stat : 6646 (java) S 6628 6630 442 0 -1 4202560 9450 0 0 0 91 2 0 0 20 0 22 0 335254103 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092318801592 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6647] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6647/stat : 6647 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254103 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092317772920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6648] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6648/stat : 6648 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254103 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092316720328 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6658] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6658/stat : 6658 (java) S 6628 6630 442 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335254266 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092312507176 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6662] ppid=6628 vsize=11852648 CPUtime=2.02 cores=0,2,4,6
/proc/6630/task/6662/stat : 6662 (java) S 6628 6630 442 0 -1 4202560 7 0 0 0 202 0 0 0 20 0 22 0 335254516 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092313559432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6663] ppid=6628 vsize=11852648 CPUtime=2.04 cores=0,2,4,6
/proc/6630/task/6663/stat : 6663 (java) S 6628 6630 442 0 -1 4202560 86 0 0 0 201 3 0 0 20 0 22 0 335254517 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092315663304 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6664] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6664/stat : 6664 (java) S 6628 6630 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335254517 12137111552 255731 33554432000 1073741824 1073778376 140735998456080 140092314613288 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

[pid=6630/tid=6636] ppid=6628 vsize=11852648 CPUtime=1.15 cores=0,2,4,6
/proc/6630/task/6636/stat : 6636 (java) S 6628 6630 442 0 -1 4202560 50 0 0 0 113 2 0 0 20 0 22 0 335254099 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092340496808 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6637] ppid=6628 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/6630/task/6637/stat : 6637 (java) S 6628 6630 442 0 -1 4202560 60 0 0 0 116 2 0 0 20 0 22 0 335254099 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092339444520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6638] ppid=6628 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/6630/task/6638/stat : 6638 (java) S 6628 6630 442 0 -1 4202560 78 0 0 0 112 2 0 0 20 0 22 0 335254099 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092338391720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6639] ppid=6628 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/6630/task/6639/stat : 6639 (java) S 6628 6630 442 0 -1 4202560 53 0 0 0 114 2 0 0 20 0 22 0 335254099 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092337339432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6640] ppid=6628 vsize=11852648 CPUtime=1.15 cores=0,2,4,6
/proc/6630/task/6640/stat : 6640 (java) S 6628 6630 442 0 -1 4202560 65 0 0 0 115 0 0 0 20 0 22 0 335254099 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092336286632 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6641] ppid=6628 vsize=11852648 CPUtime=58.05 cores=0,2,4,6
/proc/6630/task/6641/stat : 6641 (java) S 6628 6630 442 0 -1 4202560 191 0 0 0 5796 9 0 0 20 0 22 0 335254100 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092324088040 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6642] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6642/stat : 6642 (java) S 6628 6630 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335254101 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092323034104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6643] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6643/stat : 6643 (java) S 6628 6630 442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335254101 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092321981704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6644] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6644/stat : 6644 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254103 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092320930192 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6645] ppid=6628 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/6630/task/6645/stat : 6645 (java) S 6628 6630 442 0 -1 4202560 8011 0 0 0 94 2 0 0 20 0 22 0 335254103 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092319877816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6646] ppid=6628 vsize=11852648 CPUtime=1.13 cores=0,2,4,6
/proc/6630/task/6646/stat : 6646 (java) S 6628 6630 442 0 -1 4202560 9480 0 0 0 111 2 0 0 20 0 22 0 335254103 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092318825016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6647] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6647/stat : 6647 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254103 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092317772920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6648] ppid=6628 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/6630/task/6648/stat : 6648 (java) S 6628 6630 442 0 -1 4202560 47 0 0 0 16 15 0 0 20 0 22 0 335254103 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092316720328 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6664] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6664/stat : 6664 (java) S 6628 6630 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335254517 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092314613288 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6724] ppid=6628 vsize=11852648 CPUtime=476.31 cores=0,2,4,6
/proc/6630/task/6724/stat : 6724 (java) R 6628 6630 442 0 -1 4202560 69 0 0 0 47624 7 0 0 20 0 22 0 335284108 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092313559248 140092379495118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6725] ppid=6628 vsize=11852648 CPUtime=476.16 cores=0,2,4,6
/proc/6630/task/6725/stat : 6725 (java) R 6628 6630 442 0 -1 4202560 344 0 0 0 47596 20 0 0 20 0 22 0 335284108 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092312504208 140092379441498 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6726] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6726/stat : 6726 (java) S 6628 6630 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335284108 12137111552 845987 33554432000 1073741824 1073778376 140735998456080 140092315665576 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1587.15
Current children cumulated vsize (KiB) 11852648

[startup+882.301 s]
/proc/loadavg: 3.82 3.83 3.76 5/219 6756
/proc/meminfo: memFree=21747028/32873844 swapFree=7628/7628
[pid=6630] ppid=6628 vsize=11852648 CPUtime=1701.19 cores=0,2,4,6
/proc/6630/stat : 6630 (java) S 6628 6630 442 0 -1 4202496 24798 0 1 0 170005 114 0 0 20 0 22 0 335254096 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140735998447216 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6630/statm: 2963162 846005 2290 9 0 2953849 0
[pid=6630/tid=6632] ppid=6628 vsize=11852648 CPUtime=0.71 cores=0,2,4,6
/proc/6630/task/6632/stat : 6632 (java) S 6628 6630 442 0 -1 4202560 3643 0 1 0 66 5 0 0 20 0 22 0 335254097 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092506698904 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6633] ppid=6628 vsize=11852648 CPUtime=1.24 cores=0,2,4,6
/proc/6630/task/6633/stat : 6633 (java) S 6628 6630 442 0 -1 4202560 64 0 0 0 124 0 0 0 20 0 22 0 335254099 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092343654696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6634] ppid=6628 vsize=11852648 CPUtime=1.27 cores=0,2,4,6
/proc/6630/task/6634/stat : 6634 (java) S 6628 6630 442 0 -1 4202560 58 0 0 0 127 0 0 0 20 0 22 0 335254099 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092342601896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6635] ppid=6628 vsize=11852648 CPUtime=1.16 cores=0,2,4,6
/proc/6630/task/6635/stat : 6635 (java) S 6628 6630 442 0 -1 4202560 47 0 0 0 116 0 0 0 20 0 22 0 335254099 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092341549608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6636] ppid=6628 vsize=11852648 CPUtime=1.21 cores=0,2,4,6
/proc/6630/task/6636/stat : 6636 (java) S 6628 6630 442 0 -1 4202560 56 0 0 0 119 2 0 0 20 0 22 0 335254099 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092340496808 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6637] ppid=6628 vsize=11852648 CPUtime=1.27 cores=0,2,4,6
/proc/6630/task/6637/stat : 6637 (java) S 6628 6630 442 0 -1 4202560 63 0 0 0 125 2 0 0 20 0 22 0 335254099 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092339444520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6638] ppid=6628 vsize=11852648 CPUtime=1.21 cores=0,2,4,6
/proc/6630/task/6638/stat : 6638 (java) S 6628 6630 442 0 -1 4202560 78 0 0 0 119 2 0 0 20 0 22 0 335254099 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092338391720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6639] ppid=6628 vsize=11852648 CPUtime=1.22 cores=0,2,4,6
/proc/6630/task/6639/stat : 6639 (java) S 6628 6630 442 0 -1 4202560 55 0 0 0 120 2 0 0 20 0 22 0 335254099 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092337339432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6640] ppid=6628 vsize=11852648 CPUtime=1.22 cores=0,2,4,6
/proc/6630/task/6640/stat : 6640 (java) S 6628 6630 442 0 -1 4202560 65 0 0 0 122 0 0 0 20 0 22 0 335254099 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092336286632 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6641] ppid=6628 vsize=11852648 CPUtime=64.21 cores=0,2,4,6
/proc/6630/task/6641/stat : 6641 (java) S 6628 6630 442 0 -1 4202560 195 0 0 0 6412 9 0 0 20 0 22 0 335254100 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092324088040 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6642] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6642/stat : 6642 (java) S 6628 6630 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335254101 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092323034104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6643] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6643/stat : 6643 (java) S 6628 6630 442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335254101 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092321981704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6644] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6644/stat : 6644 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254103 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092320930192 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6645] ppid=6628 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/6630/task/6645/stat : 6645 (java) S 6628 6630 442 0 -1 4202560 8011 0 0 0 94 2 0 0 20 0 22 0 335254103 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092319877816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6646] ppid=6628 vsize=11852648 CPUtime=1.13 cores=0,2,4,6
/proc/6630/task/6646/stat : 6646 (java) S 6628 6630 442 0 -1 4202560 9480 0 0 0 111 2 0 0 20 0 22 0 335254103 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092318825016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6647] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6647/stat : 6647 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254103 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092317772920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6648] ppid=6628 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/6630/task/6648/stat : 6648 (java) S 6628 6630 442 0 -1 4202560 51 0 0 0 18 15 0 0 20 0 22 0 335254103 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092316720328 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6664] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6664/stat : 6664 (java) S 6628 6630 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335254517 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092314613288 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6724] ppid=6628 vsize=11852648 CPUtime=529.81 cores=0,2,4,6
/proc/6630/task/6724/stat : 6724 (java) R 6628 6630 442 0 -1 4202560 75 0 0 0 52973 8 0 0 20 0 22 0 335284108 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092313559248 140092379417972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6725] ppid=6628 vsize=11852648 CPUtime=529.69 cores=0,2,4,6
/proc/6630/task/6725/stat : 6725 (java) R 6628 6630 442 0 -1 4202560 345 0 0 0 52948 21 0 0 20 0 22 0 335284108 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092312504208 140092379899849 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6726] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6726/stat : 6726 (java) S 6628 6630 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335284108 12137111552 846005 33554432000 1073741824 1073778376 140735998456080 140092315665576 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1701.19
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+933.001 s]
/proc/loadavg: 3.76 3.82 3.76 5/219 6756
/proc/meminfo: memFree=21726176/32873844 swapFree=7628/7628
[pid=6630] ppid=6628 vsize=11852648 CPUtime=1798.64 cores=0,2,4,6
/proc/6630/stat : 6630 (java) S 6628 6630 442 0 -1 4202496 24841 0 1 0 179748 116 0 0 20 0 22 0 335254096 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140735998447216 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6630/statm: 2963162 847560 2290 9 0 2953849 0
[pid=6630/tid=6632] ppid=6628 vsize=11852648 CPUtime=0.72 cores=0,2,4,6
/proc/6630/task/6632/stat : 6632 (java) S 6628 6630 442 0 -1 4202560 3649 0 1 0 67 5 0 0 20 0 22 0 335254097 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092506698904 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6633] ppid=6628 vsize=11852648 CPUtime=1.29 cores=0,2,4,6
/proc/6630/task/6633/stat : 6633 (java) S 6628 6630 442 0 -1 4202560 68 0 0 0 129 0 0 0 20 0 22 0 335254099 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092343654696 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6634] ppid=6628 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/6630/task/6634/stat : 6634 (java) S 6628 6630 442 0 -1 4202560 60 0 0 0 132 0 0 0 20 0 22 0 335254099 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092342601896 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6635] ppid=6628 vsize=11852648 CPUtime=1.23 cores=0,2,4,6
/proc/6630/task/6635/stat : 6635 (java) S 6628 6630 442 0 -1 4202560 47 0 0 0 123 0 0 0 20 0 22 0 335254099 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092341549608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6636] ppid=6628 vsize=11852648 CPUtime=1.28 cores=0,2,4,6
/proc/6630/task/6636/stat : 6636 (java) S 6628 6630 442 0 -1 4202560 56 0 0 0 126 2 0 0 20 0 22 0 335254099 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092340496808 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6637] ppid=6628 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/6630/task/6637/stat : 6637 (java) S 6628 6630 442 0 -1 4202560 64 0 0 0 130 2 0 0 20 0 22 0 335254099 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092339444520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6638] ppid=6628 vsize=11852648 CPUtime=1.28 cores=0,2,4,6
/proc/6630/task/6638/stat : 6638 (java) S 6628 6630 442 0 -1 4202560 78 0 0 0 126 2 0 0 20 0 22 0 335254099 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092338391720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6639] ppid=6628 vsize=11852648 CPUtime=1.29 cores=0,2,4,6
/proc/6630/task/6639/stat : 6639 (java) S 6628 6630 442 0 -1 4202560 68 0 0 0 127 2 0 0 20 0 22 0 335254099 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092337339432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6640] ppid=6628 vsize=11852648 CPUtime=1.3 cores=0,2,4,6
/proc/6630/task/6640/stat : 6640 (java) S 6628 6630 442 0 -1 4202560 65 0 0 0 128 2 0 0 20 0 22 0 335254099 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092336286632 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6641] ppid=6628 vsize=11852648 CPUtime=68.41 cores=0,2,4,6
/proc/6630/task/6641/stat : 6641 (java) S 6628 6630 442 0 -1 4202560 202 0 0 0 6831 10 0 0 20 0 22 0 335254100 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092324088040 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6642] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6642/stat : 6642 (java) S 6628 6630 442 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335254101 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092323034104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6643] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6643/stat : 6643 (java) S 6628 6630 442 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335254101 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092321981704 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6644] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6644/stat : 6644 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254103 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092320930192 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6645] ppid=6628 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/6630/task/6645/stat : 6645 (java) S 6628 6630 442 0 -1 4202560 8011 0 0 0 94 2 0 0 20 0 22 0 335254103 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092319877816 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6646] ppid=6628 vsize=11852648 CPUtime=1.13 cores=0,2,4,6
/proc/6630/task/6646/stat : 6646 (java) S 6628 6630 442 0 -1 4202560 9480 0 0 0 111 2 0 0 20 0 22 0 335254103 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092318825016 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6647] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6647/stat : 6647 (java) S 6628 6630 442 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335254103 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092317772920 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6648] ppid=6628 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/6630/task/6648/stat : 6648 (java) S 6628 6630 442 0 -1 4202560 55 0 0 0 19 16 0 0 20 0 22 0 335254103 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092316720328 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6630/tid=6664] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6664/stat : 6664 (java) S 6628 6630 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335254517 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092314613288 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6630/tid=6724] ppid=6628 vsize=11852648 CPUtime=576.02 cores=0,2,4,6
/proc/6630/task/6724/stat : 6724 (java) R 6628 6630 442 0 -1 4202560 81 0 0 0 57594 8 0 0 20 0 22 0 335284108 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092313559248 140092379425808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6630/tid=6725] ppid=6628 vsize=11852648 CPUtime=575.92 cores=0,2,4,6
/proc/6630/task/6725/stat : 6725 (java) R 6628 6630 442 0 -1 4202560 345 0 0 0 57571 21 0 0 20 0 22 0 335284108 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092312504208 140092379441668 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=6630/tid=6726] ppid=6628 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/6630/task/6726/stat : 6726 (java) S 6628 6630 442 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335284108 12137111552 847560 33554432000 1073741824 1073778376 140735998456080 140092315665576 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (KiB) 11852648

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

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

Child status: 143

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


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

Real time (s): 933.034
CPU time (s): 1800.02
CPU user time (s): 1798.94
CPU system time (s): 1.08
CPU usage (%): 192.921
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.29
system time used= 1.47378
maximum resident set size= 3392400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24871
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30322
involuntary context switches= 30857

runsolver used 3.9704 second user time and 7.58385 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-03 04:41:37
IDJOB=3734372
IDBENCH=2838
IDSOLVER=2328
FILE ID=node145/3734372-1338691297
RUNJOBID= node145-1338678626-461
PBS_JOBID= 14636668
Free space on /tmp= 70920 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd84.b.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734372-1338691297/watcher-3734372-1338691297 -o /tmp/evaluation-result-3734372-1338691297/solver-3734372-1338691297 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3734372-1338691297.opb

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

MD5SUM BENCH= 6560abb26f607ef952ebe1a74dd5dae1
RANDOM SEED=428055933

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23187164 kB
Buffers:          432284 kB
Cached:          4787348 kB
SwapCached:            0 kB
Active:          5211276 kB
Inactive:        3608500 kB
Active(anon):    3591208 kB
Inactive(anon):    10916 kB
Active(file):    1620068 kB
Inactive(file):  3597584 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2388 kB
Writeback:             0 kB
AnonPages:       3611372 kB
Mapped:            22300 kB
Shmem:               200 kB
Slab:             717716 kB
SReclaimable:     158088 kB
SUnreclaim:       559628 kB
KernelStack:        1704 kB
PageTables:        11248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3551232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70924 MiB
End job on node145 at 2012-06-03 04:57:12