Trace number 3454624

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Res//CP 2.3.0SAT (TO)195741173432400 1800.26 929.47

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-bell4.opb
MD5SUM7a334409ec63774b2ae9bf0271f87fd8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark195364307577754
Best CPU time to get the best result obtained on this benchmark1800.25
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 212944791655785
Optimality of the best value was proved NO
Number of variables1996
Total number of constraints134
Number of constraints which are clauses18
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints116
Minimum length of a constraint2
Maximum length of a constraint135
Number of terms in the objective function 1527
Biggest coefficient in the objective function 4949278720000000
Number of bits for the biggest coefficient in the objective function 53
Sum of the numbers in the objective function 114314457147588882
Number of bits of the sum of numbers in the objective function 57
Biggest number in a constraint 4949278720000000
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 114314457147588882
Number of bits of the biggest sum of numbers57
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.02/0.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		9996466904
0.02/0.09	c Max memory 		10048897024
0.02/0.09	c Total memory 		10048897024
0.02/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@67ee3914
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@1c691f36
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3454624-1307191285.opb
0.10/0.12	c reading problem ... 
0.55/0.37	c ... done. Wall clock time 0.162s.
0.55/0.37	c #vars     1996
0.55/0.37	c #constraints  522
0.55/0.37	c constraints type 
0.55/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18
0.55/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 116
0.55/0.37	c constraints type 
0.55/0.37	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 18
0.55/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPb => 116
2.06/0.71	c  And the winner is Resolution
2.17/0.82	c SATISFIABLE
2.17/0.82	c OPTIMIZING...
2.17/0.82	c Got one! Elapsed wall clock time (in seconds):0.702
2.17/0.82	o 320586769592255
3.86/1.53	c cleaning 2648 clauses out of 5319 with flag 4000/5324
6.79/2.76	c cleaning 4326 clauses out of 8672 with flag 10001/11325
7.82/3.27	c  And the winner is Resolution
7.99/3.39	c Got one! Elapsed wall clock time (in seconds):3.273
7.99/3.39	o 317429978908720
8.03/3.43	c  And the winner is Resolution
8.16/3.90	c Got one! Elapsed wall clock time (in seconds):3.783
8.16/3.90	o 195741173432400
9.08/4.40	c cleaning 5258 clauses out of 10524 with flag 3002/17503
11.50/5.58	c cleaning 5626 clauses out of 11265 with flag 9001/23502
14.49/7.01	c cleaning 6306 clauses out of 12638 with flag 16000/30501
17.51/8.50	c cleaning 7156 clauses out of 14332 with flag 24000/38501
21.29/10.48	c cleaning 8074 clauses out of 16178 with flag 33002/47503
25.67/12.66	c cleaning 9043 clauses out of 18102 with flag 43000/57501
30.44/15.02	c cleaning 9521 clauses out of 19059 with flag 53000/67501
34.81/17.20	c cleaning 9767 clauses out of 19538 with flag 63000/77501
38.99/19.30	c cleaning 9878 clauses out of 19772 with flag 73001/87502
42.96/21.36	c cleaning 9930 clauses out of 19894 with flag 83001/97502
47.12/23.44	c cleaning 9970 clauses out of 19963 with flag 93000/107501
51.51/25.65	c cleaning 9992 clauses out of 19993 with flag 103000/117501
55.98/27.87	c cleaning 9980 clauses out of 20001 with flag 113000/127501
60.17/29.93	c cleaning 9975 clauses out of 20021 with flag 123000/137501
66.16/32.99	c cleaning 10002 clauses out of 20045 with flag 133000/147501
71.70/35.74	c cleaning 10002 clauses out of 20043 with flag 143000/157501
75.67/37.78	c cleaning 9992 clauses out of 20041 with flag 153000/167501
79.83/39.85	c cleaning 10016 clauses out of 20049 with flag 163000/177501
84.39/42.14	c cleaning 10005 clauses out of 20033 with flag 173000/187501
89.36/44.65	c cleaning 9995 clauses out of 20029 with flag 183001/197502
93.92/46.95	c cleaning 10002 clauses out of 20033 with flag 193000/207501
98.28/49.12	c cleaning 9998 clauses out of 20031 with flag 203000/217501
103.84/52.00	c cleaning 10001 clauses out of 20035 with flag 213002/227503
108.59/54.40	c cleaning 10010 clauses out of 20034 with flag 223002/237503
113.36/56.75	c cleaning 9999 clauses out of 20024 with flag 233002/247503
118.55/59.33	c cleaning 9991 clauses out of 20023 with flag 243000/257501
122.66/61.51	c cleaning 10008 clauses out of 20032 with flag 253000/267501
127.25/63.75	c cleaning 10001 clauses out of 20024 with flag 263000/277501
131.61/65.94	c cleaning 10002 clauses out of 20025 with flag 273002/287503
136.34/68.31	c cleaning 10000 clauses out of 20021 with flag 283000/297501
141.28/70.83	c cleaning 9989 clauses out of 20022 with flag 293001/307502
146.23/73.38	c cleaning 9997 clauses out of 20033 with flag 303001/317502
151.43/75.97	c cleaning 10010 clauses out of 20038 with flag 313003/327504
156.95/78.75	c cleaning 9992 clauses out of 20025 with flag 323000/337501
162.51/81.59	c cleaning 10009 clauses out of 20033 with flag 333000/347501
167.59/84.00	c cleaning 9993 clauses out of 20024 with flag 343000/357501
172.14/86.31	c cleaning 9986 clauses out of 20031 with flag 353000/367501
176.50/88.54	c cleaning 9998 clauses out of 20045 with flag 363000/377501
181.03/90.89	c cleaning 10003 clauses out of 20048 with flag 373001/387502
185.39/93.00	c cleaning 10012 clauses out of 20044 with flag 383000/397501
189.33/95.08	c cleaning 9999 clauses out of 20032 with flag 393000/407501
193.68/97.29	c cleaning 10000 clauses out of 20033 with flag 403000/417501
198.81/99.90	c cleaning 9989 clauses out of 20033 with flag 413000/427501
203.36/102.20	c cleaning 10007 clauses out of 20046 with flag 423002/437503
208.51/104.74	c cleaning 10006 clauses out of 20037 with flag 433000/447501
213.66/107.30	c cleaning 9991 clauses out of 20032 with flag 443001/457502
218.58/109.88	c cleaning 9996 clauses out of 20040 with flag 453000/467501
223.92/112.52	c cleaning 10002 clauses out of 20045 with flag 463001/477502
228.47/114.82	c cleaning 10001 clauses out of 20042 with flag 473000/487501
233.83/117.53	c cleaning 10000 clauses out of 20041 with flag 483000/497501
238.75/120.02	c cleaning 10002 clauses out of 20041 with flag 493000/507501
243.49/122.42	c cleaning 10006 clauses out of 20040 with flag 503001/517502
247.84/124.70	c cleaning 10002 clauses out of 20033 with flag 513000/527501
252.18/126.89	c cleaning 9998 clauses out of 20032 with flag 523001/537502
256.70/129.20	c cleaning 9990 clauses out of 20034 with flag 533001/547502
261.45/131.54	c cleaning 10004 clauses out of 20043 with flag 543000/557501
265.99/133.88	c cleaning 10000 clauses out of 20039 with flag 553000/567501
270.13/135.95	c cleaning 10000 clauses out of 20040 with flag 563001/577502
274.43/138.11	c cleaning 10007 clauses out of 20040 with flag 573001/587502
278.97/140.41	c cleaning 9992 clauses out of 20034 with flag 583002/597503
282.50/142.25	c cleaning 10001 clauses out of 20040 with flag 593000/607501
287.64/144.80	c cleaning 10011 clauses out of 20039 with flag 603000/617501
292.78/147.42	c cleaning 10003 clauses out of 20028 with flag 613000/627501
296.26/149.22	c cleaning 9989 clauses out of 20026 with flag 623001/637502
299.59/150.92	c cleaning 10005 clauses out of 20035 with flag 633000/647501
304.91/153.60	c cleaning 9987 clauses out of 20031 with flag 643001/657502
310.19/156.36	c cleaning 10002 clauses out of 20043 with flag 653000/667501
315.52/159.03	c cleaning 9994 clauses out of 20041 with flag 663000/677501
320.45/161.58	c cleaning 9993 clauses out of 20048 with flag 673001/687502
325.36/164.09	c cleaning 9993 clauses out of 20055 with flag 683001/697502
330.64/166.74	c cleaning 10015 clauses out of 20061 with flag 693000/707501
335.16/169.02	c cleaning 10008 clauses out of 20047 with flag 703001/717502
339.88/171.51	c cleaning 10004 clauses out of 20040 with flag 713002/727503
345.21/174.12	c cleaning 9998 clauses out of 20035 with flag 723001/737502
350.29/176.79	c cleaning 10008 clauses out of 20036 with flag 733000/747501
355.61/179.44	c cleaning 10000 clauses out of 20028 with flag 743000/757501
360.53/181.96	c cleaning 10004 clauses out of 20030 with flag 753002/767503
365.64/184.52	c cleaning 9995 clauses out of 20024 with flag 763000/777501
370.35/186.98	c cleaning 9994 clauses out of 20029 with flag 773000/787501
375.44/189.55	c cleaning 9997 clauses out of 20035 with flag 783000/797501
380.16/191.94	c cleaning 10007 clauses out of 20038 with flag 793000/807501
384.87/194.35	c cleaning 10001 clauses out of 20031 with flag 803000/817501
390.15/197.09	c cleaning 9999 clauses out of 20030 with flag 813000/827501
395.07/199.54	c cleaning 9998 clauses out of 20033 with flag 823002/837503
400.00/202.09	c cleaning 9995 clauses out of 20033 with flag 833000/847501
404.52/204.36	c cleaning 9992 clauses out of 20039 with flag 843001/857502
409.59/206.90	c cleaning 9998 clauses out of 20049 with flag 853003/867504
413.90/209.15	c cleaning 9995 clauses out of 20050 with flag 863002/877503
418.62/211.53	c cleaning 10012 clauses out of 20055 with flag 873002/887503
422.94/213.77	c cleaning 9994 clauses out of 20042 with flag 883001/897502
428.01/216.32	c cleaning 10013 clauses out of 20048 with flag 893001/907502
431.73/218.28	c cleaning 10010 clauses out of 20037 with flag 903003/917504
436.64/220.70	c cleaning 9995 clauses out of 20024 with flag 913000/927501
443.55/224.23	c cleaning 9983 clauses out of 20029 with flag 923000/937501
449.82/227.48	c cleaning 10006 clauses out of 20047 with flag 933001/947502
454.93/230.10	c cleaning 10009 clauses out of 20041 with flag 943001/957502
460.04/232.67	c cleaning 9999 clauses out of 20032 with flag 953001/967502
464.95/235.15	c cleaning 10008 clauses out of 20033 with flag 963001/977502
469.41/237.41	c cleaning 9999 clauses out of 20025 with flag 973001/987502
473.71/239.60	c cleaning 9994 clauses out of 20026 with flag 983001/997502
478.02/241.86	c cleaning 9987 clauses out of 20031 with flag 993000/1007501
481.72/243.77	c cleaning 10006 clauses out of 20044 with flag 1003000/1017501
485.76/245.87	c cleaning 10000 clauses out of 20039 with flag 1013001/1027502
490.47/248.29	c cleaning 9978 clauses out of 20039 with flag 1023001/1037502
496.17/251.16	c cleaning 9987 clauses out of 20061 with flag 1033001/1047502
500.86/253.56	c cleaning 10014 clauses out of 20073 with flag 1043000/1057501
506.34/256.36	c cleaning 10001 clauses out of 20060 with flag 1053001/1067502
511.60/259.09	c cleaning 9979 clauses out of 20058 with flag 1063000/1077501
516.29/261.42	c cleaning 10017 clauses out of 20079 with flag 1073000/1087501
519.78/263.24	c cleaning 10019 clauses out of 20062 with flag 1083000/1097501
524.21/265.57	c cleaning 10000 clauses out of 20043 with flag 1093000/1107501
529.17/268.01	c cleaning 10001 clauses out of 20043 with flag 1103000/1117501
533.87/270.50	c cleaning 9988 clauses out of 20043 with flag 1113001/1127502
538.96/273.07	c cleaning 10008 clauses out of 20056 with flag 1123002/1137503
544.18/275.74	c cleaning 10010 clauses out of 20048 with flag 1133002/1147503
548.86/278.16	c cleaning 10003 clauses out of 20037 with flag 1143001/1157502
553.59/280.57	c cleaning 9983 clauses out of 20033 with flag 1153000/1167501
558.04/282.84	c cleaning 10013 clauses out of 20050 with flag 1163000/1177501
562.10/284.94	c cleaning 10006 clauses out of 20037 with flag 1173000/1187501
566.95/287.48	c cleaning 9993 clauses out of 20032 with flag 1183001/1197502
570.83/289.42	c cleaning 10001 clauses out of 20039 with flag 1193001/1207502
574.96/291.57	c cleaning 9998 clauses out of 20038 with flag 1203001/1217502
579.34/293.85	c cleaning 9986 clauses out of 20039 with flag 1213000/1227501
584.03/296.20	c cleaning 9985 clauses out of 20053 with flag 1223000/1237501
588.52/298.51	c cleaning 10006 clauses out of 20070 with flag 1233002/1247503
592.21/300.44	c cleaning 10010 clauses out of 20063 with flag 1243001/1257502
596.63/302.70	c cleaning 10019 clauses out of 20054 with flag 1253002/1267503
600.92/304.92	c cleaning 9992 clauses out of 20034 with flag 1263001/1277502
605.21/307.11	c cleaning 9990 clauses out of 20041 with flag 1273000/1287501
609.49/309.32	c cleaning 9999 clauses out of 20053 with flag 1283002/1297503
613.72/311.57	c cleaning 9998 clauses out of 20054 with flag 1293002/1307503
618.00/313.76	c cleaning 10004 clauses out of 20054 with flag 1303000/1317501
622.29/315.94	c cleaning 10011 clauses out of 20050 with flag 1313000/1327501
627.17/318.41	c cleaning 10004 clauses out of 20042 with flag 1323003/1337504
631.40/320.64	c cleaning 10004 clauses out of 20035 with flag 1333000/1347501
636.08/323.03	c cleaning 10003 clauses out of 20031 with flag 1343000/1357501
640.77/325.51	c cleaning 10000 clauses out of 20028 with flag 1353000/1367501
646.06/328.12	c cleaning 10000 clauses out of 20029 with flag 1363001/1377502
651.28/330.87	c cleaning 10004 clauses out of 20030 with flag 1373002/1387503
657.37/333.94	c cleaning 10000 clauses out of 20024 with flag 1383000/1397501
662.48/336.56	c cleaning 9995 clauses out of 20025 with flag 1393001/1407502
666.54/338.70	c cleaning 10012 clauses out of 20029 with flag 1403000/1417501
671.98/341.49	c cleaning 9981 clauses out of 20017 with flag 1413000/1427501
677.86/344.46	c cleaning 9998 clauses out of 20037 with flag 1423001/1437502
683.35/347.23	c cleaning 9991 clauses out of 20038 with flag 1433000/1447501
688.84/350.03	c cleaning 10019 clauses out of 20048 with flag 1443001/1457502
692.48/351.92	c cleaning 10000 clauses out of 20030 with flag 1453002/1467503
696.77/354.18	c cleaning 9991 clauses out of 20028 with flag 1463000/1477501
701.62/356.60	c cleaning 10006 clauses out of 20038 with flag 1473001/1487502
706.31/359.09	c cleaning 10003 clauses out of 20034 with flag 1483003/1497504
711.33/361.61	c cleaning 9995 clauses out of 20028 with flag 1493000/1507501
716.04/364.06	c cleaning 9998 clauses out of 20036 with flag 1503003/1517504
720.70/366.48	c cleaning 10012 clauses out of 20035 with flag 1513000/1527501
724.98/368.63	c cleaning 9993 clauses out of 20023 with flag 1523000/1537501
730.00/371.28	c cleaning 9992 clauses out of 20030 with flag 1533000/1547501
734.89/373.72	c cleaning 9993 clauses out of 20039 with flag 1543001/1557502
739.60/376.20	c cleaning 10008 clauses out of 20045 with flag 1553000/1567501
744.66/378.74	c cleaning 10006 clauses out of 20037 with flag 1563000/1577501
749.88/381.46	c cleaning 9984 clauses out of 20031 with flag 1573000/1587501
754.59/383.86	c cleaning 9999 clauses out of 20049 with flag 1583002/1597503
759.84/386.57	c cleaning 9992 clauses out of 20052 with flag 1593004/1607505
764.73/389.02	c cleaning 9998 clauses out of 20056 with flag 1603000/1617501
768.95/391.29	c cleaning 10013 clauses out of 20061 with flag 1613003/1627504
772.63/393.19	c cleaning 9995 clauses out of 20045 with flag 1623000/1637501
776.32/395.07	c cleaning 10003 clauses out of 20051 with flag 1633001/1647502
780.24/397.04	c cleaning 10004 clauses out of 20048 with flag 1643001/1657502
784.66/399.34	c cleaning 9986 clauses out of 20043 with flag 1653000/1667501
788.96/401.52	c cleaning 9981 clauses out of 20057 with flag 1663000/1677501
793.80/404.05	c cleaning 10002 clauses out of 20076 with flag 1673000/1687501
798.89/406.64	c cleaning 9995 clauses out of 20074 with flag 1683000/1697501
804.32/409.41	c cleaning 10003 clauses out of 20079 with flag 1693000/1707501
809.00/411.87	c cleaning 10004 clauses out of 20076 with flag 1703000/1717501
813.68/414.29	c cleaning 10009 clauses out of 20074 with flag 1713002/1727503
818.16/416.56	c cleaning 9995 clauses out of 20064 with flag 1723001/1737502
823.38/419.24	c cleaning 9992 clauses out of 20068 with flag 1733000/1747501
827.86/421.54	c cleaning 10008 clauses out of 20077 with flag 1743001/1757502
832.55/423.93	c cleaning 9987 clauses out of 20068 with flag 1753000/1767501
837.03/426.23	c cleaning 10021 clauses out of 20081 with flag 1763000/1777501
841.25/428.44	c cleaning 9999 clauses out of 20060 with flag 1773000/1787501
845.34/430.56	c cleaning 10011 clauses out of 20061 with flag 1783000/1797501
849.62/432.77	c cleaning 10004 clauses out of 20050 with flag 1793000/1807501
853.90/434.95	c cleaning 10010 clauses out of 20047 with flag 1803001/1817502
858.32/437.28	c cleaning 10004 clauses out of 20036 with flag 1813000/1827501
862.41/439.32	c cleaning 9992 clauses out of 20035 with flag 1823003/1837504
867.09/441.71	c cleaning 9999 clauses out of 20040 with flag 1833000/1847501
872.41/444.43	c cleaning 9998 clauses out of 20042 with flag 1843001/1857502
877.39/447.00	c cleaning 10004 clauses out of 20044 with flag 1853001/1867502
882.48/449.68	c cleaning 9994 clauses out of 20040 with flag 1863001/1877502
887.76/452.38	c cleaning 9993 clauses out of 20046 with flag 1873001/1887502
893.05/455.07	c cleaning 9989 clauses out of 20053 with flag 1883001/1897502
898.10/457.64	c cleaning 10003 clauses out of 20064 with flag 1893001/1907502
903.35/460.30	c cleaning 10002 clauses out of 20060 with flag 1903000/1917501
908.23/462.83	c cleaning 10000 clauses out of 20059 with flag 1913001/1927502
913.32/465.42	c cleaning 10012 clauses out of 20060 with flag 1923002/1937503
918.73/468.28	c cleaning 9984 clauses out of 20046 with flag 1933000/1947501
924.01/470.99	c cleaning 10005 clauses out of 20064 with flag 1943002/1957503
928.90/473.41	c cleaning 10004 clauses out of 20057 with flag 1953000/1967501
933.78/475.92	c cleaning 10001 clauses out of 20054 with flag 1963001/1977502
938.83/478.54	c cleaning 10003 clauses out of 20052 with flag 1973000/1987501
943.28/480.80	c cleaning 10015 clauses out of 20049 with flag 1983000/1997501
947.56/483.07	c cleaning 10005 clauses out of 20034 with flag 1993000/2007501
952.04/485.35	c cleaning 10012 clauses out of 20031 with flag 2003002/2017503
956.87/487.83	c cleaning 9984 clauses out of 20017 with flag 2013000/2027501
961.76/490.33	c cleaning 9996 clauses out of 20033 with flag 2023000/2037501
966.24/492.70	c cleaning 10000 clauses out of 20037 with flag 2033000/2047501
970.52/494.87	c cleaning 9991 clauses out of 20037 with flag 2043000/2057501
974.96/497.18	c cleaning 9996 clauses out of 20046 with flag 2053000/2067501
979.45/499.42	c cleaning 10005 clauses out of 20050 with flag 2063000/2077501
983.89/501.72	c cleaning 10005 clauses out of 20045 with flag 2073000/2087501
989.18/504.40	c cleaning 9995 clauses out of 20041 with flag 2083001/2097502
994.43/507.17	c cleaning 10004 clauses out of 20047 with flag 2093002/2107503
998.50/509.24	c cleaning 10005 clauses out of 20042 with flag 2103001/2117502
1002.16/511.13	c cleaning 10001 clauses out of 20036 with flag 2113000/2127501
1006.04/513.18	c cleaning 9989 clauses out of 20036 with flag 2123001/2137502
1010.45/515.41	c cleaning 9992 clauses out of 20046 with flag 2133000/2147501
1014.94/517.70	c cleaning 10005 clauses out of 20057 with flag 2143003/2157504
1019.62/520.10	c cleaning 10001 clauses out of 20050 with flag 2153001/2167502
1024.50/522.67	c cleaning 9994 clauses out of 20048 with flag 2163000/2177501
1029.14/525.04	c cleaning 10001 clauses out of 20054 with flag 2173000/2187501
1033.02/527.03	c cleaning 10017 clauses out of 20054 with flag 2183001/2197502
1038.49/529.86	c cleaning 9997 clauses out of 20037 with flag 2193001/2207502
1044.17/532.76	c cleaning 10001 clauses out of 20039 with flag 2203000/2217501
1048.77/535.11	c cleaning 9994 clauses out of 20038 with flag 2213000/2227501
1053.65/537.61	c cleaning 9991 clauses out of 20044 with flag 2223000/2237501
1058.12/539.91	c cleaning 10007 clauses out of 20053 with flag 2233000/2247501
1062.39/542.12	c cleaning 10004 clauses out of 20047 with flag 2243001/2257502
1067.03/544.53	c cleaning 9990 clauses out of 20042 with flag 2253000/2267501
1071.31/546.79	c cleaning 10004 clauses out of 20053 with flag 2263001/2277502
1075.74/549.05	c cleaning 10013 clauses out of 20048 with flag 2273000/2287501
1080.21/551.32	c cleaning 9982 clauses out of 20035 with flag 2283000/2297501
1085.01/553.80	c cleaning 9998 clauses out of 20053 with flag 2293000/2307501
1089.47/556.18	c cleaning 10001 clauses out of 20055 with flag 2303000/2317501
1093.74/558.31	c cleaning 10002 clauses out of 20055 with flag 2313001/2327502
1098.20/560.60	c cleaning 10005 clauses out of 20052 with flag 2323000/2337501
1102.79/563.09	c cleaning 9999 clauses out of 20048 with flag 2333001/2347502
1107.49/565.42	c cleaning 10003 clauses out of 20048 with flag 2343000/2357501
1111.92/567.70	c cleaning 9997 clauses out of 20045 with flag 2353000/2367501
1116.78/570.20	c cleaning 9992 clauses out of 20048 with flag 2363000/2377501
1121.55/572.75	c cleaning 10009 clauses out of 20057 with flag 2373001/2387502
1126.01/575.03	c cleaning 10005 clauses out of 20047 with flag 2383000/2397501
1130.07/577.11	c cleaning 9998 clauses out of 20042 with flag 2393000/2407501
1134.73/579.57	c cleaning 10001 clauses out of 20045 with flag 2403001/2417502
1139.51/582.09	c cleaning 10001 clauses out of 20044 with flag 2413001/2427502
1143.77/584.27	c cleaning 10016 clauses out of 20043 with flag 2423001/2437502
1149.03/586.96	c cleaning 10002 clauses out of 20028 with flag 2433002/2447503
1153.89/589.48	c cleaning 9992 clauses out of 20025 with flag 2443001/2457502
1159.27/592.26	c cleaning 9996 clauses out of 20034 with flag 2453002/2467503
1164.53/594.99	c cleaning 9997 clauses out of 20037 with flag 2463001/2477502
1169.78/597.69	c cleaning 9995 clauses out of 20040 with flag 2473001/2487502
1175.23/600.46	c cleaning 10010 clauses out of 20045 with flag 2483001/2497502
1180.20/603.08	c cleaning 9995 clauses out of 20034 with flag 2493000/2507501
1185.45/605.71	c cleaning 10001 clauses out of 20040 with flag 2503001/2517502
1190.53/608.35	c cleaning 9999 clauses out of 20038 with flag 2513000/2527501
1195.95/611.14	c cleaning 10008 clauses out of 20039 with flag 2523000/2537501
1201.70/614.14	c cleaning 9995 clauses out of 20031 with flag 2533000/2547501
1207.59/617.19	c cleaning 9991 clauses out of 20038 with flag 2543002/2557503
1213.60/620.29	c cleaning 9989 clauses out of 20045 with flag 2553000/2567501
1220.27/623.68	c cleaning 9999 clauses out of 20059 with flag 2563003/2577504
1226.99/627.12	c cleaning 9995 clauses out of 20057 with flag 2573000/2587501
1233.43/630.43	c cleaning 10004 clauses out of 20064 with flag 2583002/2597503
1238.67/633.11	c cleaning 10001 clauses out of 20058 with flag 2593000/2607501
1244.71/636.26	c cleaning 10000 clauses out of 20057 with flag 2603000/2617501
1250.46/639.28	c cleaning 10002 clauses out of 20058 with flag 2613001/2627502
1256.74/642.43	c cleaning 9993 clauses out of 20055 with flag 2623000/2637501
1262.54/645.47	c cleaning 9999 clauses out of 20063 with flag 2633001/2647502
1268.17/648.32	c cleaning 10026 clauses out of 20064 with flag 2643001/2657502
1272.71/650.72	c cleaning 9993 clauses out of 20037 with flag 2653000/2667501
1277.14/653.04	c cleaning 10001 clauses out of 20047 with flag 2663003/2677504
1280.58/654.85	c cleaning 9997 clauses out of 20043 with flag 2673000/2687501
1283.61/656.45	c cleaning 9994 clauses out of 20046 with flag 2683000/2697501
1287.15/658.30	c cleaning 9993 clauses out of 20053 with flag 2693001/2707502
1290.58/660.13	c cleaning 9993 clauses out of 20059 with flag 2703000/2717501
1293.80/661.88	c cleaning 9994 clauses out of 20067 with flag 2713001/2727502
1297.23/663.63	c cleaning 10000 clauses out of 20072 with flag 2723000/2737501
1300.96/665.64	c cleaning 10002 clauses out of 20073 with flag 2733001/2747502
1304.58/667.59	c cleaning 10009 clauses out of 20071 with flag 2743001/2757502
1307.82/669.28	c cleaning 10007 clauses out of 20062 with flag 2753001/2767502
1311.06/670.94	c cleaning 10007 clauses out of 20054 with flag 2763000/2777501
1314.36/672.75	c cleaning 10001 clauses out of 20049 with flag 2773002/2787503
1317.58/674.41	c cleaning 10009 clauses out of 20046 with flag 2783000/2797501
1320.60/676.07	c cleaning 9998 clauses out of 20038 with flag 2793001/2807502
1324.02/677.87	c cleaning 9999 clauses out of 20039 with flag 2803000/2817501
1327.93/679.94	c cleaning 10000 clauses out of 20041 with flag 2813001/2827502
1330.96/681.58	c cleaning 10001 clauses out of 20040 with flag 2823000/2837501
1333.57/682.99	c cleaning 9996 clauses out of 20040 with flag 2833001/2847502
1336.59/684.54	c cleaning 9999 clauses out of 20045 with flag 2843002/2857503
1339.51/686.16	c cleaning 10008 clauses out of 20044 with flag 2853000/2867501
1342.32/687.60	c cleaning 10001 clauses out of 20037 with flag 2863001/2877502
1344.93/689.06	c cleaning 10007 clauses out of 20035 with flag 2873000/2887501
1347.75/690.54	c cleaning 10005 clauses out of 20029 with flag 2883001/2897502
1351.05/692.36	c cleaning 9985 clauses out of 20024 with flag 2893001/2907502
1354.29/694.10	c cleaning 9996 clauses out of 20038 with flag 2903000/2917501
1357.68/695.81	c cleaning 10003 clauses out of 20043 with flag 2913001/2927502
1360.89/697.55	c cleaning 9989 clauses out of 20039 with flag 2923000/2937501
1364.19/699.39	c cleaning 10008 clauses out of 20052 with flag 2933002/2947503
1367.40/701.07	c cleaning 9998 clauses out of 20042 with flag 2943000/2957501
1370.61/702.75	c cleaning 9995 clauses out of 20045 with flag 2953001/2967502
1373.82/704.49	c cleaning 10006 clauses out of 20049 with flag 2963000/2977501
1377.33/706.36	c cleaning 10001 clauses out of 20044 with flag 2973001/2987502
1381.37/708.42	c cleaning 10007 clauses out of 20042 with flag 2983000/2997501
1385.74/710.77	c cleaning 10001 clauses out of 20035 with flag 2993000/3007501
1390.15/713.08	c cleaning 10004 clauses out of 20034 with flag 3003000/3017501
1394.85/715.59	c cleaning 10007 clauses out of 20030 with flag 3013000/3027501
1399.86/718.11	c cleaning 9990 clauses out of 20023 with flag 3023000/3037501
1404.67/720.63	c cleaning 10007 clauses out of 20033 with flag 3033000/3047501
1408.71/722.76	c cleaning 9997 clauses out of 20028 with flag 3043002/3057503
1413.76/725.46	c cleaning 9993 clauses out of 20029 with flag 3053000/3067501
1419.00/728.15	c cleaning 10001 clauses out of 20036 with flag 3063000/3077501
1423.57/730.57	c cleaning 10005 clauses out of 20036 with flag 3073001/3087502
1428.17/732.99	c cleaning 9996 clauses out of 20034 with flag 3083004/3097505
1433.06/735.52	c cleaning 9990 clauses out of 20038 with flag 3093004/3107505
1438.09/738.17	c cleaning 10007 clauses out of 20044 with flag 3103000/3117501
1442.29/740.34	c cleaning 9996 clauses out of 20038 with flag 3113001/3127502
1446.28/742.46	c cleaning 10007 clauses out of 20041 with flag 3123000/3137501
1450.93/744.91	c cleaning 9997 clauses out of 20034 with flag 3133000/3147501
1455.12/747.19	c cleaning 10001 clauses out of 20040 with flag 3143003/3157504
1459.52/749.45	c cleaning 9996 clauses out of 20036 with flag 3153000/3167501
1463.91/751.76	c cleaning 9999 clauses out of 20040 with flag 3163000/3177501
1467.99/753.97	c cleaning 10006 clauses out of 20042 with flag 3173001/3187502
1472.38/756.27	c cleaning 10007 clauses out of 20035 with flag 3183000/3197501
1477.16/758.71	c cleaning 9989 clauses out of 20029 with flag 3193001/3207502
1481.78/761.13	c cleaning 10002 clauses out of 20040 with flag 3203001/3217502
1485.85/763.37	c cleaning 10002 clauses out of 20038 with flag 3213001/3227502
1489.60/765.38	c cleaning 10001 clauses out of 20035 with flag 3223000/3237501
1493.39/767.37	c cleaning 10003 clauses out of 20034 with flag 3233000/3247501
1497.17/769.35	c cleaning 9992 clauses out of 20034 with flag 3243003/3257504
1501.03/771.47	c cleaning 10009 clauses out of 20041 with flag 3253002/3267503
1505.01/773.53	c cleaning 9997 clauses out of 20031 with flag 3263001/3277502
1509.19/775.77	c cleaning 9995 clauses out of 20036 with flag 3273003/3287504
1514.17/778.36	c cleaning 9992 clauses out of 20038 with flag 3283000/3297501
1519.27/781.06	c cleaning 9987 clauses out of 20046 with flag 3293000/3307501
1523.60/783.30	c cleaning 10009 clauses out of 20060 with flag 3303001/3317502
1528.37/785.81	c cleaning 9994 clauses out of 20053 with flag 3313003/3327504
1533.15/788.38	c cleaning 9996 clauses out of 20056 with flag 3323000/3337501
1538.20/791.03	c cleaning 10005 clauses out of 20060 with flag 3333000/3347501
1542.57/793.38	c cleaning 9992 clauses out of 20056 with flag 3343001/3357502
1547.75/796.05	c cleaning 10006 clauses out of 20063 with flag 3353000/3367501
1552.92/798.73	c cleaning 10003 clauses out of 20059 with flag 3363002/3377503
1557.77/801.34	c cleaning 10011 clauses out of 20056 with flag 3373002/3387503
1563.18/804.16	c cleaning 9981 clauses out of 20044 with flag 3383001/3397502
1568.11/806.72	c cleaning 9997 clauses out of 20063 with flag 3393001/3407502
1573.08/809.35	c cleaning 10007 clauses out of 20067 with flag 3403002/3417503
1578.52/812.22	c cleaning 10010 clauses out of 20059 with flag 3413001/3427502
1583.68/814.95	c cleaning 10006 clauses out of 20049 with flag 3423001/3437502
1589.85/818.15	c cleaning 10002 clauses out of 20043 with flag 3433001/3447502
1595.21/820.99	c cleaning 9993 clauses out of 20042 with flag 3443002/3457503
1601.04/824.05	c cleaning 10001 clauses out of 20049 with flag 3453002/3467503
1607.03/827.18	c cleaning 10001 clauses out of 20048 with flag 3463002/3477503
1612.38/829.95	c cleaning 9997 clauses out of 20045 with flag 3473000/3487501
1618.14/832.93	c cleaning 10000 clauses out of 20049 with flag 3483001/3497502
1624.17/836.15	c cleaning 10000 clauses out of 20049 with flag 3493001/3507502
1630.17/839.30	c cleaning 10001 clauses out of 20048 with flag 3503000/3517501
1636.30/842.42	c cleaning 10003 clauses out of 20047 with flag 3513000/3527501
1641.86/845.38	c cleaning 10004 clauses out of 20045 with flag 3523001/3537502
1647.13/848.15	c cleaning 10012 clauses out of 20042 with flag 3533002/3547503
1652.44/850.96	c cleaning 9992 clauses out of 20028 with flag 3543000/3557501
1658.60/854.15	c cleaning 9987 clauses out of 20036 with flag 3553000/3567501
1664.76/857.30	c cleaning 9995 clauses out of 20049 with flag 3563000/3577501
1670.23/860.25	c cleaning 9995 clauses out of 20054 with flag 3573000/3587501
1675.35/862.90	c cleaning 9991 clauses out of 20059 with flag 3583000/3597501
1680.74/865.76	c cleaning 9999 clauses out of 20068 with flag 3593000/3607501
1686.26/868.61	c cleaning 10016 clauses out of 20070 with flag 3603001/3617502
1691.89/871.60	c cleaning 10004 clauses out of 20054 with flag 3613001/3627502
1697.27/874.47	c cleaning 10000 clauses out of 20049 with flag 3623000/3637501
1702.40/877.12	c cleaning 9983 clauses out of 20050 with flag 3633001/3647502
1706.95/879.51	c cleaning 10025 clauses out of 20067 with flag 3643001/3657502
1711.57/882.11	c cleaning 10011 clauses out of 20042 with flag 3653001/3667502
1716.71/884.72	c cleaning 10005 clauses out of 20032 with flag 3663002/3677503
1721.26/887.15	c cleaning 10001 clauses out of 20025 with flag 3673000/3687501
1726.01/889.65	c cleaning 10001 clauses out of 20027 with flag 3683003/3697504
1730.83/892.24	c cleaning 10002 clauses out of 20023 with flag 3693000/3707501
1735.37/894.61	c cleaning 9992 clauses out of 20021 with flag 3703000/3717501
1739.52/896.83	c cleaning 9999 clauses out of 20031 with flag 3713002/3727503
1744.07/899.20	c cleaning 9995 clauses out of 20031 with flag 3723001/3737502
1748.47/901.67	c cleaning 9998 clauses out of 20036 with flag 3733001/3747502
1752.81/903.98	c cleaning 10005 clauses out of 20037 with flag 3743000/3757501
1756.75/906.07	c cleaning 9996 clauses out of 20032 with flag 3753000/3767501
1760.89/908.23	c cleaning 9989 clauses out of 20037 with flag 3763001/3777502
1764.89/910.41	c cleaning 10000 clauses out of 20047 with flag 3773000/3787501
1769.04/912.68	c cleaning 10013 clauses out of 20049 with flag 3783002/3797503
1773.37/914.96	c cleaning 9995 clauses out of 20036 with flag 3793002/3807503
1777.71/917.23	c cleaning 9997 clauses out of 20040 with flag 3803001/3817502
1781.94/919.59	c cleaning 10013 clauses out of 20042 with flag 3813000/3827501
1786.07/921.72	c cleaning 9999 clauses out of 20032 with flag 3823003/3837504
1790.78/924.27	c cleaning 9988 clauses out of 20034 with flag 3833004/3847505
1795.31/926.66	c cleaning 10008 clauses out of 20043 with flag 3843001/3857502
1799.69/929.03	c cleaning 9999 clauses out of 20036 with flag 3853002/3867503
1800.05/929.32	c starts		: 255
1800.05/929.32	c conflicts		: 3867593
1800.05/929.32	c decisions		: 5446780
1800.05/929.32	c propagations		: 142277996
1800.05/929.32	c inspects		: 1486187092
1800.05/929.32	c shortcuts		: 0
1800.05/929.32	c learnt literals	: 7
1800.05/929.32	c learnt binary clauses	: 21
1800.05/929.32	c learnt ternary clauses	: 51
1800.05/929.32	c learnt constraints	: 3867587
1800.05/929.32	c ignored constraints	: 0
1800.05/929.32	c root simplifications	: 0
1800.05/929.32	c removed literals (reason simplification)	: 63103613
1800.05/929.32	c reason swapping (by a shorter reason)	: 0
1800.05/929.32	c Calls to reduceDB	: 389
1800.05/929.32	c number of reductions to clauses (during analyze)	: 0
1800.05/929.32	c number of learned constraints concerned by reduction	: 0
1800.05/929.32	c number of learning phase by resolution	: 0
1800.05/929.32	c number of learning phase by cutting planes	: 0
1800.05/929.32	c speed (assignments/second)	: 153744.20615049798
1800.05/929.32	c non guided choices	2496
1800.05/929.33	c learnt constraints type 
1800.05/929.33	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 21
1800.05/929.33	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 10164
1800.05/929.33	c constraints type 
1800.05/929.33	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18
1800.05/929.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 117
1800.05/929.33	c constraints type 
1800.05/929.33	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 18
1800.05/929.33	c org.sat4j.pb.constraints.pb.MaxWatchPb => 117
1800.05/929.33	s SATISFIABLE
1800.05/929.34	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 -x14 -x15 x16 -x17 x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 x41 x42 x43 x44 -x45 x46 x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 x165 x166 -x167 x168 x169 -x170 x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 x194 x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 x253 -x254 x255 x256 -x257 x258 x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 x283 x284 -x285 x286 x287 x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 x331 x332 -x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 -x344 x345 -x346 -x347 x348 x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 x461 x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 x642 x643 -x644 x645 -x646 -x647 x648 -x649 x650 x651 x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 -x763 x764 x765 x766 -x767 -x768 x769 x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 x903 x904 x905 x906 x907 x908 x909 x910 x911 x912 x913 x914 x915 -x916 x917 x918 -x919 x920 -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 x943 x944 x945 -x946 -x947 x948 x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 x992 x993 x994 x995 x996 x997 x998 x999 -x1000 x1001 x1002 x1003 -x1004 x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 x1021 x1022 x1023 x1024 x1025 x1026 x1027 x1028 x1029 x1030 x1031 x1032 x1033 x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 x1112 x1113 x1114 x1115 x1116 x1117 x1118 x1119 x1120 x1121 x1122 x1123 x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 x1142 x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 x1150 x1151 x1152 x1153 x1154 x1155 x1156 x1157 x1158 x1159 x1160 x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 x1168 x1169 x1170 x1171 -x1172 x1173 -x1174 -x1175 -x1176 x1177 x1178 x1179 x1180 x1181 x1182 x1183 x1184 x1185 x1186 x1187 -x1188 x1189 -x1190 x1191 x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 x1217 -x1218 x1219 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 x1244 x1245 x1246 x1247 -x1248 x1249 -x1250 x1251 x1252 x1253 x1254 -x1255 x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 x1332 x1333 x1334 x1335 x1336 -x1337 x1338 x1339 x1340 -x1341 -x1342 x1343 x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 x1386 x1387 x1388 x1389 x1390 x1391 x1392 x1393 x1394 x1395 x1396 x1397 x1398 x1399 -x1400 -x1401 x1402 x1403 x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 x1415 x1416 x1417 x1418 x1419 x1420 x1421 x1422 x1423 x1424 x1425 x1426 x1427 x1428 x1429 x1430 x1431 x1432 x1433 x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 x1446 x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 x1459 x1460 x1461 x1462 -x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 x1506 x1507 x1508 x1509 x1510 x1511 x1512 x1513 x1514 x1515 x1516 x1517 x1518 x1519 x1520 -x1521 x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 x1551 x1552 -x1553 -x1554 x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 x1579 -x1580 x1581 x1582 x1583 -x1584 x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 x1596 x1597 x1598 x1599 x1600 x1601 x1602 x1603 x1604 x1605 x1606 x1607 x1608 -x1609 x1610 x1611 -x1612 x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 x1625 x1626 x1627 x1628 x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 x1650 x1651 x1652 x1653 x1654 x1655 -x1656 -x1657 -x1658 x1659 x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 x1683 x1684 x1685 -x1686 x1687 -x1688 -x1689 x1690 x1691 -x1692 x1693 -x1694 x1695 x1696 -x1697 -x1698 -x1699 -x1700 x1701 x1702 x1703 x1704 x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 x1715 -x1716 x1717 -x1718 x1719 x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 x1727 -x1728 x1729 -x1730 x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 x1742 -x1743 x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 x1756 x1757 x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 x1769 x1770 -x1771 -x1772 x1773 x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x1783 x1784 x1785 x1786 x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 -x1799 x1800 x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 x1885 x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1913 x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 
1800.05/929.34	c objective function=195741173432400
1800.05/929.34	c Total wall clock time (in seconds): 929.225

Verifier Data 

OK	195741173432400

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.79 3.36 3/512 20337
/proc/meminfo: memFree=23086960/32950928 swapFree=58671692/67111528
[pid=20337] ppid=20334 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/20337/stat : 20337 (java) S 20334 20337 16455 0 -1 4202496 2069 0 1 0 0 0 0 0 22 0 2 0 909359129 10681323520 1772 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/20337/statm: 2607745 1785 906 9 0 2598901 0
[pid=20337/tid=20338] ppid=20334 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20338/stat : 20338 (java) R 20334 20337 16455 0 -1 4202560 3922 0 1 0 0 0 0 0 17 0 2 0 909359130 10694979584 4738 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256415085627 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.04137 s]
/proc/loadavg: 2.02 2.79 3.36 3/512 20337
/proc/meminfo: memFree=23086960/32950928 swapFree=58671692/67111528
[pid=20337] ppid=20334 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/20337/stat : 20337 (java) S 20334 20337 16455 0 -1 4202496 11058 0 1 0 1 1 0 0 22 0 11 0 909359129 10716594176 10758 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427194341 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/20337/statm: 2616356 10759 1629 9 0 2607104 0
[pid=20337/tid=20338] ppid=20334 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/20337/task/20338/stat : 20338 (java) R 20334 20337 16455 0 -1 4202560 9935 0 1 0 1 1 0 0 20 0 11 0 909359130 10716594176 10759 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427218379 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424

[startup+0.104376 s]
/proc/loadavg: 2.02 2.79 3.36 3/512 20337
/proc/meminfo: memFree=23086960/32950928 swapFree=58671692/67111528
[pid=20337] ppid=20334 vsize=10540112 CPUtime=0.1 cores=1,3,5,7
/proc/20337/stat : 20337 (java) S 20334 20337 16455 0 -1 4202496 13003 0 1 0 8 2 0 0 22 0 18 0 909359129 10793074688 12701 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20337/statm: 2635028 12701 2092 9 0 2625762 0
[pid=20337/tid=20338] ppid=20334 vsize=10540112 CPUtime=0.08 cores=1,3,5,7
/proc/20337/task/20338/stat : 20338 (java) R 20334 20337 16455 0 -1 4202560 11102 0 1 0 6 2 0 0 22 0 18 0 909359130 10793074688 12701 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 47799663503068 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540112

[startup+0.300243 s]
/proc/loadavg: 2.02 2.79 3.36 3/512 20337
/proc/meminfo: memFree=23086960/32950928 swapFree=58671692/67111528
[pid=20337] ppid=20334 vsize=10554352 CPUtime=0.55 cores=1,3,5,7
/proc/20337/stat : 20337 (java) S 20334 20337 16455 0 -1 4202496 22518 0 1 0 51 4 0 0 22 0 20 0 909359129 10807656448 20101 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20337/statm: 2638588 20103 2207 9 0 2629322 0
[pid=20337/tid=20338] ppid=20334 vsize=10554352 CPUtime=0.25 cores=1,3,5,7
/proc/20337/task/20338/stat : 20338 (java) S 20334 20337 16455 0 -1 4202560 13071 0 1 0 23 2 0 0 23 0 20 0 909359130 10807656448 20105 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 10554352

[startup+0.70017 s]
/proc/loadavg: 2.02 2.79 3.36 3/512 20337
/proc/meminfo: memFree=23086960/32950928 swapFree=58671692/67111528
[pid=20337] ppid=20334 vsize=10556936 CPUtime=2.06 cores=1,3,5,7
/proc/20337/stat : 20337 (java) S 20334 20337 16455 0 -1 4202496 35162 0 1 0 201 5 0 0 22 0 22 0 909359129 10810302464 27925 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20337/statm: 2639234 27926 2222 9 0 2629968 0
[pid=20337/tid=20338] ppid=20334 vsize=10556936 CPUtime=0.25 cores=1,3,5,7
/proc/20337/task/20338/stat : 20338 (java) S 20334 20337 16455 0 -1 4202560 13071 0 1 0 23 2 0 0 23 0 22 0 909359130 10810302464 27926 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 10556936

[startup+1.50102 s]
/proc/loadavg: 2.02 2.79 3.36 5/554 20388
/proc/meminfo: memFree=22690244/32950928 swapFree=58671692/67111528
[pid=20337] ppid=20334 vsize=10556936 CPUtime=3.86 cores=1,3,5,7
/proc/20337/stat : 20337 (java) S 20334 20337 16455 0 -1 4202496 139404 0 1 0 369 17 0 0 22 0 22 0 909359129 10810302464 129505 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20337/statm: 2639234 129516 2230 9 0 2629968 0
[pid=20337/tid=20338] ppid=20334 vsize=10556936 CPUtime=0.26 cores=1,3,5,7
/proc/20337/task/20338/stat : 20338 (java) S 20334 20337 16455 0 -1 4202560 13260 0 1 0 24 2 0 0 15 0 22 0 909359130 10810302464 129522 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=20337/tid=20340] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20340/stat : 20340 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909359132 10810302464 129524 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20341] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20341/stat : 20341 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909359132 10810302464 129526 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20342] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20342/stat : 20342 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909359132 10810302464 129532 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20343] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20343/stat : 20343 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909359132 10810302464 129538 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20344] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20344/stat : 20344 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909359132 10810302464 129544 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20345] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20345/stat : 20345 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909359132 10810302464 129547 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20346] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20346/stat : 20346 (java) S 20334 20337 16455 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 22 0 909359132 10810302464 129547 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20347] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20347/stat : 20347 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909359132 10810302464 129554 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20348] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20348/stat : 20348 (java) S 20334 20337 16455 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 909359133 10810302464 129560 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 0 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20349] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20349/stat : 20349 (java) S 20334 20337 16455 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 22 0 909359133 10810302464 129566 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20350] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20350/stat : 20350 (java) S 20334 20337 16455 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909359133 10810302464 129570 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20351] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20351/stat : 20351 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909359135 10810302464 129570 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427215281 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20352] ppid=20334 vsize=10556936 CPUtime=0.66 cores=1,3,5,7
/proc/20337/task/20352/stat : 20352 (java) R 20334 20337 16455 0 -1 4202560 3861 0 0 0 66 0 0 0 15 0 22 0 909359135 10810302464 129576 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 47799664626980 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20337/tid=20353] ppid=20334 vsize=10556936 CPUtime=0.81 cores=1,3,5,7
/proc/20337/task/20353/stat : 20353 (java) R 20334 20337 16455 0 -1 4202560 14924 0 0 0 80 1 0 0 16 0 22 0 909359135 10810302464 129582 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 47799662782042 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20337/tid=20354] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20354/stat : 20354 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909359135 10810302464 129589 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20355] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20355/stat : 20355 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909359135 10810302464 129594 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20359] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20359/stat : 20359 (java) S 20334 20337 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909359163 10810302464 129594 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20386] ppid=20334 vsize=10556936 CPUtime=0.66 cores=1,3,5,7
/proc/20337/task/20386/stat : 20386 (java) R 20334 20337 16455 0 -1 4202560 395 0 0 0 66 0 0 0 21 0 22 0 909359212 10810302464 129597 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 46912505122583 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20337/tid=20387] ppid=20334 vsize=10556936 CPUtime=0.66 cores=1,3,5,7
/proc/20337/task/20387/stat : 20387 (java) R 20334 20337 16455 0 -1 4202560 96823 0 0 0 56 10 0 0 24 0 22 0 909359212 10810302464 129604 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 46912505777031 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20337/tid=20388] ppid=20334 vsize=10556936 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20388/stat : 20388 (java) S 20334 20337 16455 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 22 0 909359212 10810302464 129610 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 10556936

[startup+3.10072 s]
/proc/loadavg: 2.10 2.80 3.35 4/554 20388
/proc/meminfo: memFree=21891064/32950928 swapFree=58671692/67111528
[pid=20337] ppid=20334 vsize=10563460 CPUtime=7.58 cores=1,3,5,7
/proc/20337/stat : 20337 (java) S 20334 20337 16455 0 -1 4202496 241025 0 1 0 728 30 0 0 22 0 22 0 909359129 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20337/statm: 2640865 227112 2256 9 0 2631599 0
[pid=20337/tid=20338] ppid=20334 vsize=10563460 CPUtime=0.26 cores=1,3,5,7
/proc/20337/task/20338/stat : 20338 (java) S 20334 20337 16455 0 -1 4202560 13260 0 1 0 24 2 0 0 15 0 22 0 909359130 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=20337/tid=20340] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20340/stat : 20340 (java) S 20334 20337 16455 0 -1 4202560 264 0 0 0 0 0 0 0 15 0 22 0 909359132 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=20337/tid=20341] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20341/stat : 20341 (java) S 20334 20337 16455 0 -1 4202560 412 0 0 0 0 0 0 0 18 0 22 0 909359132 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20342] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20342/stat : 20342 (java) S 20334 20337 16455 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 22 0 909359132 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=20337/tid=20343] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20343/stat : 20343 (java) S 20334 20337 16455 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 909359132 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20344] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20344/stat : 20344 (java) S 20334 20337 16455 0 -1 4202560 170 0 0 0 0 0 0 0 16 0 22 0 909359132 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=20337/tid=20345] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20345/stat : 20345 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909359132 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=20337/tid=20346] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20346/stat : 20346 (java) S 20334 20337 16455 0 -1 4202560 109 0 0 0 0 0 0 0 16 0 22 0 909359132 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20347] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20347/stat : 20347 (java) S 20334 20337 16455 0 -1 4202560 194 0 0 0 0 0 0 0 15 0 22 0 909359132 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20348] ppid=20334 vsize=10563460 CPUtime=0.03 cores=1,3,5,7
/proc/20337/task/20348/stat : 20348 (java) S 20334 20337 16455 0 -1 4202560 1012 0 0 0 3 0 0 0 15 0 22 0 909359133 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 0 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20349] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20349/stat : 20349 (java) S 20334 20337 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909359133 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20350] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20350/stat : 20350 (java) S 20334 20337 16455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909359133 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20351] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20351/stat : 20351 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909359135 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427215281 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20352] ppid=20334 vsize=10563460 CPUtime=1.11 cores=1,3,5,7
/proc/20337/task/20352/stat : 20352 (java) S 20334 20337 16455 0 -1 4202560 6878 0 0 0 111 0 0 0 15 0 22 0 909359135 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20353] ppid=20334 vsize=10563460 CPUtime=0.9 cores=1,3,5,7
/proc/20337/task/20353/stat : 20353 (java) S 20334 20337 16455 0 -1 4202560 14939 0 0 0 89 1 0 0 15 0 22 0 909359135 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20354] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20354/stat : 20354 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909359135 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20355] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20355/stat : 20355 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909359135 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20359] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20359/stat : 20359 (java) S 20334 20337 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909359163 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20386] ppid=20334 vsize=10563460 CPUtime=2.22 cores=1,3,5,7
/proc/20337/task/20386/stat : 20386 (java) R 20334 20337 16455 0 -1 4202560 767 0 0 0 222 0 0 0 25 0 22 0 909359212 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 46912505844787 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20337/tid=20387] ppid=20334 vsize=10563460 CPUtime=2.22 cores=1,3,5,7
/proc/20337/task/20387/stat : 20387 (java) R 20334 20337 16455 0 -1 4202560 192671 0 0 0 200 22 0 0 18 0 22 0 909359212 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 46912505777319 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20337/tid=20388] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20388/stat : 20388 (java) S 20334 20337 16455 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 22 0 909359212 10816983040 227112 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 7.58
Current children cumulated vsize (KiB) 10563460

[startup+6.30111 s]
/proc/loadavg: 2.10 2.80 3.35 5/558 20398
/proc/meminfo: memFree=21171740/32950928 swapFree=58671692/67111528
[pid=20337] ppid=20334 vsize=10563460 CPUtime=13.09 cores=1,3,5,7
/proc/20337/stat : 20337 (java) S 20334 20337 16455 0 -1 4202496 296293 0 1 0 1271 38 0 0 22 0 22 0 909359129 10816983040 282153 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20337/statm: 2640865 282153 2256 9 0 2631599 0
[pid=20337/tid=20338] ppid=20334 vsize=10563460 CPUtime=0.28 cores=1,3,5,7
/proc/20337/task/20338/stat : 20338 (java) S 20334 20337 16455 0 -1 4202560 13262 0 1 0 26 2 0 0 15 0 22 0 909359130 10816983040 282153 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=20337/tid=20340] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20340/stat : 20340 (java) S 20334 20337 16455 0 -1 4202560 265 0 0 0 0 0 0 0 15 0 22 0 909359132 10816983040 282153 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=20337/tid=20341] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20341/stat : 20341 (java) S 20334 20337 16455 0 -1 4202560 412 0 0 0 0 0 0 0 15 0 22 0 909359132 10816983040 282153 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20342] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20342/stat : 20342 (java) S 20334 20337 16455 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 22 0 909359132 10816983040 282153 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=20337/tid=20343] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20343/stat : 20343 (java) S 20334 20337 16455 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 22 0 909359132 10816983040 282153 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20344] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20344/stat : 20344 (java) S 20334 20337 16455 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 22 0 909359132 10816983040 282153 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=20337/tid=20345] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20345/stat : 20345 (java) S 20334 20337 16455 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 909359132 10816983040 282153 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=20337/tid=20346] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20346/stat : 20346 (java) S 20334 20337 16455 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 22 0 909359132 10816983040 282153 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=20337/tid=20347] ppid=20334 vsize=10563460 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20347/stat : 20347 (java) S 20334 20337 16455 0 -1 4202560 194 0 0 0 0 0 0 0 16 0 22 0 909359132 10816983040 282153 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0

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

/proc/meminfo: memFree=16534996/32950928 swapFree=58671692/67111528
[pid=20337] ppid=20334 vsize=10628996 CPUtime=1597.64 cores=1,3,5,7
/proc/20337/stat : 20337 (java) S 20334 20337 16455 0 -1 4202496 705166 0 1 0 159673 91 0 0 22 0 22 0 909359129 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20337/statm: 2657249 689041 2258 9 0 2647983 0
[pid=20337/tid=20338] ppid=20334 vsize=10628996 CPUtime=0.28 cores=1,3,5,7
/proc/20337/task/20338/stat : 20338 (java) S 20334 20337 16455 0 -1 4202560 13262 0 1 0 26 2 0 0 15 0 22 0 909359130 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20340] ppid=20334 vsize=10628996 CPUtime=0.45 cores=1,3,5,7
/proc/20337/task/20340/stat : 20340 (java) S 20334 20337 16455 0 -1 4202560 561 0 0 0 45 0 0 0 15 0 22 0 909359132 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20341] ppid=20334 vsize=10628996 CPUtime=0.46 cores=1,3,5,7
/proc/20337/task/20341/stat : 20341 (java) S 20334 20337 16455 0 -1 4202560 724 0 0 0 46 0 0 0 16 0 22 0 909359132 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20342] ppid=20334 vsize=10628996 CPUtime=0.47 cores=1,3,5,7
/proc/20337/task/20342/stat : 20342 (java) S 20334 20337 16455 0 -1 4202560 639 0 0 0 47 0 0 0 16 0 22 0 909359132 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20343] ppid=20334 vsize=10628996 CPUtime=0.47 cores=1,3,5,7
/proc/20337/task/20343/stat : 20343 (java) S 20334 20337 16455 0 -1 4202560 460 0 0 0 47 0 0 0 15 0 22 0 909359132 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20344] ppid=20334 vsize=10628996 CPUtime=0.48 cores=1,3,5,7
/proc/20337/task/20344/stat : 20344 (java) S 20334 20337 16455 0 -1 4202560 628 0 0 0 48 0 0 0 15 0 22 0 909359132 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20345] ppid=20334 vsize=10628996 CPUtime=0.44 cores=1,3,5,7
/proc/20337/task/20345/stat : 20345 (java) S 20334 20337 16455 0 -1 4202560 88 0 0 0 44 0 0 0 16 0 22 0 909359132 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20346] ppid=20334 vsize=10628996 CPUtime=0.49 cores=1,3,5,7
/proc/20337/task/20346/stat : 20346 (java) S 20334 20337 16455 0 -1 4202560 416 0 0 0 49 0 0 0 15 0 22 0 909359132 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20347] ppid=20334 vsize=10628996 CPUtime=0.48 cores=1,3,5,7
/proc/20337/task/20347/stat : 20347 (java) S 20334 20337 16455 0 -1 4202560 1071 0 0 0 48 0 0 0 15 0 22 0 909359132 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20348] ppid=20334 vsize=10628996 CPUtime=49.22 cores=1,3,5,7
/proc/20337/task/20348/stat : 20348 (java) S 20334 20337 16455 0 -1 4202560 69750 0 0 0 4908 14 0 0 16 0 22 0 909359133 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 0 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=20337/tid=20349] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20349/stat : 20349 (java) S 20334 20337 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909359133 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20350] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20350/stat : 20350 (java) S 20334 20337 16455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909359133 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20351] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20351/stat : 20351 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909359135 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427215281 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20352] ppid=20334 vsize=10628996 CPUtime=1.31 cores=1,3,5,7
/proc/20337/task/20352/stat : 20352 (java) S 20334 20337 16455 0 -1 4202560 6892 0 0 0 131 0 0 0 15 0 22 0 909359135 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20353] ppid=20334 vsize=10628996 CPUtime=1.42 cores=1,3,5,7
/proc/20337/task/20353/stat : 20353 (java) S 20334 20337 16455 0 -1 4202560 16650 0 0 0 140 2 0 0 15 0 22 0 909359135 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20354] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20354/stat : 20354 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909359135 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20355] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20355/stat : 20355 (java) S 20334 20337 16455 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 909359135 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20359] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20359/stat : 20359 (java) S 20334 20337 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909359163 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20396] ppid=20334 vsize=10628996 CPUtime=767.83 cores=1,3,5,7
/proc/20337/task/20396/stat : 20396 (java) R 20334 20337 16455 0 -1 4202560 501 0 0 0 76783 0 0 0 25 0 22 0 909359520 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 46912505844763 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20337/tid=20397] ppid=20334 vsize=10628996 CPUtime=767.93 cores=1,3,5,7
/proc/20337/task/20397/stat : 20397 (java) R 20334 20337 16455 0 -1 4202560 389808 0 0 0 76751 42 0 0 25 0 22 0 909359520 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 46912505777308 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20337/tid=20398] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20398/stat : 20398 (java) S 20334 20337 16455 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909359520 10884091904 689041 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1597.64
Current children cumulated vsize (KiB) 10628996

[startup+882.301 s]
/proc/loadavg: 4.04 3.98 3.77 5/558 20423
/proc/meminfo: memFree=16513632/32950928 swapFree=58671692/67111528
[pid=20337] ppid=20334 vsize=10628996 CPUtime=1711.99 cores=1,3,5,7
/proc/20337/stat : 20337 (java) S 20334 20337 16455 0 -1 4202496 708207 0 1 0 171107 92 0 0 22 0 22 0 909359129 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20337/statm: 2657249 692053 2258 9 0 2647983 0
[pid=20337/tid=20338] ppid=20334 vsize=10628996 CPUtime=0.28 cores=1,3,5,7
/proc/20337/task/20338/stat : 20338 (java) S 20334 20337 16455 0 -1 4202560 13262 0 1 0 26 2 0 0 15 0 22 0 909359130 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20340] ppid=20334 vsize=10628996 CPUtime=0.5 cores=1,3,5,7
/proc/20337/task/20340/stat : 20340 (java) S 20334 20337 16455 0 -1 4202560 563 0 0 0 50 0 0 0 15 0 22 0 909359132 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20341] ppid=20334 vsize=10628996 CPUtime=0.51 cores=1,3,5,7
/proc/20337/task/20341/stat : 20341 (java) S 20334 20337 16455 0 -1 4202560 727 0 0 0 51 0 0 0 16 0 22 0 909359132 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20342] ppid=20334 vsize=10628996 CPUtime=0.54 cores=1,3,5,7
/proc/20337/task/20342/stat : 20342 (java) S 20334 20337 16455 0 -1 4202560 640 0 0 0 54 0 0 0 16 0 22 0 909359132 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20343] ppid=20334 vsize=10628996 CPUtime=0.54 cores=1,3,5,7
/proc/20337/task/20343/stat : 20343 (java) S 20334 20337 16455 0 -1 4202560 463 0 0 0 54 0 0 0 15 0 22 0 909359132 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20344] ppid=20334 vsize=10628996 CPUtime=0.52 cores=1,3,5,7
/proc/20337/task/20344/stat : 20344 (java) S 20334 20337 16455 0 -1 4202560 629 0 0 0 52 0 0 0 15 0 22 0 909359132 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20345] ppid=20334 vsize=10628996 CPUtime=0.5 cores=1,3,5,7
/proc/20337/task/20345/stat : 20345 (java) S 20334 20337 16455 0 -1 4202560 94 0 0 0 50 0 0 0 16 0 22 0 909359132 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20346] ppid=20334 vsize=10628996 CPUtime=0.51 cores=1,3,5,7
/proc/20337/task/20346/stat : 20346 (java) S 20334 20337 16455 0 -1 4202560 416 0 0 0 51 0 0 0 16 0 22 0 909359132 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20347] ppid=20334 vsize=10628996 CPUtime=0.53 cores=1,3,5,7
/proc/20337/task/20347/stat : 20347 (java) S 20334 20337 16455 0 -1 4202560 1071 0 0 0 53 0 0 0 15 0 22 0 909359132 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20348] ppid=20334 vsize=10628996 CPUtime=55.02 cores=1,3,5,7
/proc/20337/task/20348/stat : 20348 (java) R 20334 20337 16455 0 -1 4202560 72750 0 0 0 5488 14 0 0 16 0 22 0 909359133 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 47799662825632 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=20337/tid=20349] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20349/stat : 20349 (java) S 20334 20337 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909359133 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20350] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20350/stat : 20350 (java) S 20334 20337 16455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909359133 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20351] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20351/stat : 20351 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909359135 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427215281 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20352] ppid=20334 vsize=10628996 CPUtime=1.31 cores=1,3,5,7
/proc/20337/task/20352/stat : 20352 (java) S 20334 20337 16455 0 -1 4202560 6892 0 0 0 131 0 0 0 15 0 22 0 909359135 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20353] ppid=20334 vsize=10628996 CPUtime=1.42 cores=1,3,5,7
/proc/20337/task/20353/stat : 20353 (java) S 20334 20337 16455 0 -1 4202560 16650 0 0 0 140 2 0 0 15 0 22 0 909359135 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20354] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20354/stat : 20354 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909359135 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20355] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20355/stat : 20355 (java) S 20334 20337 16455 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 909359135 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20359] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20359/stat : 20359 (java) S 20334 20337 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909359163 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20396] ppid=20334 vsize=10628996 CPUtime=821.9 cores=1,3,5,7
/proc/20337/task/20396/stat : 20396 (java) S 20334 20337 16455 0 -1 4202560 522 0 0 0 82190 0 0 0 25 0 22 0 909359520 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=20337/tid=20397] ppid=20334 vsize=10628996 CPUtime=822 cores=1,3,5,7
/proc/20337/task/20397/stat : 20397 (java) S 20334 20337 16455 0 -1 4202560 389808 0 0 0 82158 42 0 0 25 0 22 0 909359520 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20398] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20398/stat : 20398 (java) S 20334 20337 16455 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909359520 10884091904 692053 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1711.99
Current children cumulated vsize (KiB) 10628996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+929.301 s]
/proc/loadavg: 3.80 3.92 3.75 4/558 20499
/proc/meminfo: memFree=19180744/32950928 swapFree=58671692/67111528
[pid=20337] ppid=20334 vsize=10628996 CPUtime=1800.05 cores=1,3,5,7
/proc/20337/stat : 20337 (java) S 20334 20337 16455 0 -1 4202496 712187 0 1 0 179912 93 0 0 22 0 22 0 909359129 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427194341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20337/statm: 2657249 696009 2258 9 0 2647983 0
[pid=20337/tid=20338] ppid=20334 vsize=10628996 CPUtime=0.28 cores=1,3,5,7
/proc/20337/task/20338/stat : 20338 (java) S 20334 20337 16455 0 -1 4202560 13262 0 1 0 26 2 0 0 15 0 22 0 909359130 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20340] ppid=20334 vsize=10628996 CPUtime=0.54 cores=1,3,5,7
/proc/20337/task/20340/stat : 20340 (java) S 20334 20337 16455 0 -1 4202560 564 0 0 0 54 0 0 0 16 0 22 0 909359132 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20341] ppid=20334 vsize=10628996 CPUtime=0.56 cores=1,3,5,7
/proc/20337/task/20341/stat : 20341 (java) S 20334 20337 16455 0 -1 4202560 727 0 0 0 56 0 0 0 15 0 22 0 909359132 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20342] ppid=20334 vsize=10628996 CPUtime=0.58 cores=1,3,5,7
/proc/20337/task/20342/stat : 20342 (java) S 20334 20337 16455 0 -1 4202560 640 0 0 0 58 0 0 0 15 0 22 0 909359132 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20343] ppid=20334 vsize=10628996 CPUtime=0.6 cores=1,3,5,7
/proc/20337/task/20343/stat : 20343 (java) S 20334 20337 16455 0 -1 4202560 467 0 0 0 60 0 0 0 15 0 22 0 909359132 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20344] ppid=20334 vsize=10628996 CPUtime=0.57 cores=1,3,5,7
/proc/20337/task/20344/stat : 20344 (java) S 20334 20337 16455 0 -1 4202560 632 0 0 0 57 0 0 0 15 0 22 0 909359132 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20345] ppid=20334 vsize=10628996 CPUtime=0.55 cores=1,3,5,7
/proc/20337/task/20345/stat : 20345 (java) S 20334 20337 16455 0 -1 4202560 94 0 0 0 55 0 0 0 15 0 22 0 909359132 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20346] ppid=20334 vsize=10628996 CPUtime=0.58 cores=1,3,5,7
/proc/20337/task/20346/stat : 20346 (java) S 20334 20337 16455 0 -1 4202560 417 0 0 0 58 0 0 0 15 0 22 0 909359132 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20347] ppid=20334 vsize=10628996 CPUtime=0.58 cores=1,3,5,7
/proc/20337/task/20347/stat : 20347 (java) S 20334 20337 16455 0 -1 4202560 1071 0 0 0 58 0 0 0 15 0 22 0 909359132 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20348] ppid=20334 vsize=10628996 CPUtime=61.16 cores=1,3,5,7
/proc/20337/task/20348/stat : 20348 (java) S 20334 20337 16455 0 -1 4202560 76699 0 0 0 6101 15 0 0 16 0 22 0 909359133 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 0 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
[pid=20337/tid=20349] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20349/stat : 20349 (java) S 20334 20337 16455 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909359133 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20350] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20350/stat : 20350 (java) S 20334 20337 16455 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909359133 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20351] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20351/stat : 20351 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909359135 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427215281 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20352] ppid=20334 vsize=10628996 CPUtime=1.31 cores=1,3,5,7
/proc/20337/task/20352/stat : 20352 (java) S 20334 20337 16455 0 -1 4202560 6892 0 0 0 131 0 0 0 15 0 22 0 909359135 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20353] ppid=20334 vsize=10628996 CPUtime=1.42 cores=1,3,5,7
/proc/20337/task/20353/stat : 20353 (java) S 20334 20337 16455 0 -1 4202560 16650 0 0 0 140 2 0 0 15 0 22 0 909359135 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20354] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20354/stat : 20354 (java) S 20334 20337 16455 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909359135 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427207577 0 4 0 16800975 18446604456437441856 0 0 -1 3 0 0 0
[pid=20337/tid=20355] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20355/stat : 20355 (java) S 20334 20337 16455 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 909359135 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 5 0 0 0
[pid=20337/tid=20359] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20359/stat : 20359 (java) S 20334 20337 16455 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909359163 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 7 0 0 0
[pid=20337/tid=20396] ppid=20334 vsize=10628996 CPUtime=862.67 cores=1,3,5,7
/proc/20337/task/20396/stat : 20396 (java) R 20334 20337 16455 0 -1 4202560 542 0 0 0 86266 1 0 0 23 0 22 0 909359520 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 46912505844833 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20337/tid=20397] ppid=20334 vsize=10628996 CPUtime=862.76 cores=1,3,5,7
/proc/20337/task/20397/stat : 20397 (java) R 20334 20337 16455 0 -1 4202560 389808 0 0 0 86234 42 0 0 23 0 22 0 909359520 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 46912505769280 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20337/tid=20398] ppid=20334 vsize=10628996 CPUtime=0 cores=1,3,5,7
/proc/20337/task/20398/stat : 20398 (java) S 20334 20337 16455 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909359520 10884091904 696009 33554432000 1073741824 1073778376 140736021738032 18446744073709551615 256427208192 0 4 0 16800975 18446604456437441856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10628996

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

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

[startup+929.426 s]
/proc/loadavg: 3.80 3.92 3.75 4/539 20502
/proc/meminfo: memFree=20899624/32950928 swapFree=58671692/67111528
[pid=20337] ppid=20334 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/20337/stat : 20337 (java) Z 20334 20337 16455 0 -1 4203548 712221 0 1 0 179921 101 0 0 17 0 2 0 909359129 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20337/statm: 0 0 0 0 0 0 0
[pid=20337/tid=20397] ppid=20334 vsize=0 CPUtime=862.86 cores=1,3,5,7
/proc/20337/task/20397/stat : 20397 (java) R 20334 20337 16455 0 -1 4203588 389808 0 0 0 86236 50 0 0 23 0 2 0 909359520 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 929.47
CPU time (s): 1800.26
CPU user time (s): 1799.21
CPU system time (s): 1.04484
CPU usage (%): 193.687
Max. virtual memory (cumulated for all children) (KiB): 10628996

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

runsolver used 5.04023 second user time and 11.5542 second system time

The end

Launcher Data 

Begin job on node115 at 2011-06-04 14:41:25
IDJOB=3454624
IDBENCH=2465
IDSOLVER=1950
FILE ID=node115/3454624-1307191285
RUNJOBID= node115-1307191285-20322
PBS_JOBID= 13508831
Free space on /tmp= 73840 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454624-1307191285/watcher-3454624-1307191285 -o /tmp/evaluation-result-3454624-1307191285/solver-3454624-1307191285 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454624-1307191285.opb

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

MD5SUM BENCH= 7a334409ec63774b2ae9bf0271f87fd8
RANDOM SEED=333540336

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.62
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.811
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23087372 kB
Buffers:        203060 kB
Cached:         325968 kB
SwapCached:      65828 kB
Active:        1104980 kB
Inactive:      8517508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23087372 kB
SwapTotal:    67111528 kB
SwapFree:     58671692 kB
Dirty:             552 kB
Writeback:           0 kB
AnonPages:     9032180 kB
Mapped:          26972 kB
Slab:            96920 kB
PageTables:      75400 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 151811680 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73836 MiB
End job on node115 at 2011-06-04 14:56:56