Trace number 3492278

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08MSAT (TO) 1800.15 1796.85

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-33-100-0.wbo
MD5SUM0c8d4a99d65aef93f7efad0563f57408
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark0.174972
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1800
Total number of constraints85
Number of soft constraints57
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 3299
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3298
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
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.04/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.17	c See www.sat4j.org for details.
0.04/0.18	c version 2.3.1.v20110525
0.04/0.18	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.18	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.18	c java.vm.version	19.1-b02
0.04/0.18	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.18	c sun.arch.data.model	64
0.04/0.18	c java.version		1.6.0_24
0.04/0.18	c os.name		Linux
0.04/0.18	c os.version		2.6.18-164.el5
0.04/0.18	c os.arch		amd64
0.04/0.18	c Free memory 		9996466904
0.04/0.18	c Max memory 		10048897024
0.04/0.18	c Total memory 		10048897024
0.04/0.18	c Number of processors 	8
0.11/0.21	c Pseudo Boolean Optimization
0.11/0.21	c --- Begin Solver configuration ---
0.11/0.21	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.11/0.21	c Learn all clauses as in MiniSAT
0.11/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.21	c Expensive reason simplification
0.11/0.21	c Armin Biere (Picosat) restarts strategy
0.11/0.21	c Glucose learned constraints deletion strategy
0.11/0.21	c timeout=2147483s
0.11/0.21	c DB Simplification allowed=false
0.11/0.21	c --- End Solver configuration ---
0.11/0.21	c solving HOME/instance-3492278-1307908928.wbo
0.11/0.21	c reading problem ... 
0.11/0.33	c ... done. Wall clock time 0.114s.
0.11/0.33	c #vars     1857
0.11/0.33	c #constraints  85
0.11/0.33	c constraints type 
0.33/0.33	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 45
0.33/0.33	c org.sat4j.minisat.constraints.card.MinWatchCard => 15
0.33/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 25
0.59/0.46	c SATISFIABLE
0.59/0.46	c OPTIMIZING...
0.59/0.46	c Got one! Elapsed wall clock time (in seconds):0.248
0.59/0.46	o 162
0.59/0.51	c Got one! Elapsed wall clock time (in seconds):0.293
0.59/0.51	o 111
0.77/0.55	c Got one! Elapsed wall clock time (in seconds):0.334
0.77/0.55	o 97
0.77/0.57	c Got one! Elapsed wall clock time (in seconds):0.357
0.77/0.57	o 65
0.91/0.63	c Got one! Elapsed wall clock time (in seconds):0.416
0.91/0.63	o 50
1.02/0.76	c Got one! Elapsed wall clock time (in seconds):0.548
1.02/0.76	o 37
1.43/1.18	c Got one! Elapsed wall clock time (in seconds):0.966
1.43/1.18	o 29
1.74/1.48	c Got one! Elapsed wall clock time (in seconds):1.267
1.74/1.48	o 10
2.66/2.33	c cleaning 4106 clauses out of 8250 with flag 3001/8250
4.32/3.91	c cleaning 5055 clauses out of 10147 with flag 9004/14253
6.22/5.82	c cleaning 6034 clauses out of 12089 with flag 16001/21250
8.70/8.21	c cleaning 6977 clauses out of 14054 with flag 24000/29249
11.22/10.77	c cleaning 8002 clauses out of 16079 with flag 33002/38251
14.44/13.97	c cleaning 9013 clauses out of 18077 with flag 43002/48251
17.24/16.72	c cleaning 9483 clauses out of 19062 with flag 53000/58249
21.14/20.64	c cleaning 9737 clauses out of 19579 with flag 63000/68249
24.45/23.98	c cleaning 9888 clauses out of 19842 with flag 73000/78249
27.75/27.23	c cleaning 9956 clauses out of 19954 with flag 83000/88249
31.37/30.81	c cleaning 9972 clauses out of 19999 with flag 93001/98250
34.87/34.35	c cleaning 9985 clauses out of 20027 with flag 103001/108250
37.98/37.49	c cleaning 9993 clauses out of 20041 with flag 113000/118249
41.18/40.69	c cleaning 10002 clauses out of 20050 with flag 123002/128251
44.69/44.18	c cleaning 10001 clauses out of 20046 with flag 133000/138249
48.79/48.22	c cleaning 10006 clauses out of 20046 with flag 143001/148250
52.79/52.23	c cleaning 10002 clauses out of 20042 with flag 153003/158252
57.40/56.81	c cleaning 9998 clauses out of 20038 with flag 163001/168250
60.71/60.12	c cleaning 9975 clauses out of 20040 with flag 173001/178250
63.72/63.11	c cleaning 9992 clauses out of 20064 with flag 183000/188249
67.33/66.72	c cleaning 10018 clauses out of 20073 with flag 193001/198250
71.23/70.69	c cleaning 10010 clauses out of 20056 with flag 203002/208251
75.44/74.81	c cleaning 9995 clauses out of 20044 with flag 213000/218249
80.64/80.05	c cleaning 10009 clauses out of 20051 with flag 223002/228251
85.05/84.43	c cleaning 9992 clauses out of 20042 with flag 233002/238251
89.86/89.29	c cleaning 9995 clauses out of 20050 with flag 243002/248251
95.07/94.43	c cleaning 9993 clauses out of 20053 with flag 253000/258249
98.27/97.61	c cleaning 10010 clauses out of 20060 with flag 263000/268249
101.19/100.52	c cleaning 9970 clauses out of 20052 with flag 273002/278251
105.60/104.94	c cleaning 9978 clauses out of 20081 with flag 283001/288250
109.80/109.17	c cleaning 10047 clauses out of 20102 with flag 293000/298249
113.81/113.16	c cleaning 9994 clauses out of 20056 with flag 303001/308250
118.02/117.34	c cleaning 10017 clauses out of 20061 with flag 313000/318249
120.82/120.12	c cleaning 9976 clauses out of 20045 with flag 323001/328250
123.94/123.26	c cleaning 10020 clauses out of 20068 with flag 333000/338249
126.84/126.13	c cleaning 10007 clauses out of 20051 with flag 343003/348252
132.24/131.55	c cleaning 10002 clauses out of 20044 with flag 353003/358252
136.75/136.03	c cleaning 9998 clauses out of 20039 with flag 363000/368249
141.66/140.93	c cleaning 9996 clauses out of 20041 with flag 373000/378249
146.06/145.35	c cleaning 10002 clauses out of 20045 with flag 383000/388249
149.18/148.47	c cleaning 9989 clauses out of 20043 with flag 393000/398249
152.78/152.00	c cleaning 9983 clauses out of 20054 with flag 403000/408249
156.39/155.66	c cleaning 9999 clauses out of 20073 with flag 413002/418251
160.50/159.75	c cleaning 10000 clauses out of 20072 with flag 423000/428249
164.51/163.75	c cleaning 10011 clauses out of 20073 with flag 433001/438250
168.41/167.64	c cleaning 10008 clauses out of 20063 with flag 443002/448251
171.51/170.75	c cleaning 10017 clauses out of 20053 with flag 453000/458249
175.73/174.98	c cleaning 9990 clauses out of 20036 with flag 463000/468249
180.33/179.55	c cleaning 9970 clauses out of 20046 with flag 473000/478249
184.44/183.61	c cleaning 9982 clauses out of 20076 with flag 483000/488249
188.95/188.11	c cleaning 9984 clauses out of 20095 with flag 493001/498250
193.36/192.51	c cleaning 9998 clauses out of 20112 with flag 503002/508251
197.86/197.04	c cleaning 9999 clauses out of 20114 with flag 513002/518251
201.76/200.98	c cleaning 10021 clauses out of 20113 with flag 523000/528249
206.37/205.55	c cleaning 10027 clauses out of 20092 with flag 533000/538249
211.17/210.33	c cleaning 10014 clauses out of 20066 with flag 543001/548250
215.58/214.71	c cleaning 10010 clauses out of 20054 with flag 553003/558252
220.38/219.52	c cleaning 10006 clauses out of 20049 with flag 563008/568257
224.79/223.91	c cleaning 9988 clauses out of 20036 with flag 573001/578250
229.10/228.22	c cleaning 9958 clauses out of 20048 with flag 583001/588250
232.32/231.47	c cleaning 10022 clauses out of 20091 with flag 593002/598251
235.53/234.68	c cleaning 10011 clauses out of 20069 with flag 603002/608251
238.84/237.93	c cleaning 10024 clauses out of 20058 with flag 613002/618251
240.84/239.93	c cleaning 9996 clauses out of 20032 with flag 623000/628249
244.75/243.85	c cleaning 10001 clauses out of 20042 with flag 633006/638255
248.35/247.50	c cleaning 10016 clauses out of 20039 with flag 643004/648253
250.56/249.66	c cleaning 9977 clauses out of 20021 with flag 653002/658251
255.07/254.13	c cleaning 10002 clauses out of 20043 with flag 663001/668250
258.87/257.95	c cleaning 9983 clauses out of 20040 with flag 673000/678249
263.17/262.28	c cleaning 9992 clauses out of 20061 with flag 683004/688253
267.68/266.74	c cleaning 9998 clauses out of 20066 with flag 693001/698250
272.48/271.51	c cleaning 9999 clauses out of 20070 with flag 703003/708252
277.29/276.32	c cleaning 10000 clauses out of 20072 with flag 713004/718253
280.99/280.02	c cleaning 10017 clauses out of 20069 with flag 723001/728250
285.10/284.15	c cleaning 10007 clauses out of 20054 with flag 733003/738252
289.71/288.72	c cleaning 10001 clauses out of 20045 with flag 743001/748250
294.62/293.69	c cleaning 10005 clauses out of 20048 with flag 753005/758254
299.52/298.52	c cleaning 10005 clauses out of 20042 with flag 763004/768253
304.43/303.47	c cleaning 9989 clauses out of 20034 with flag 773001/778250
308.54/307.50	c cleaning 9986 clauses out of 20045 with flag 783001/788250
313.24/312.20	c cleaning 9990 clauses out of 20058 with flag 793000/798249
317.45/316.48	c cleaning 9996 clauses out of 20070 with flag 803002/808251
322.06/321.04	c cleaning 9999 clauses out of 20074 with flag 813002/818251
326.46/325.43	c cleaning 10000 clauses out of 20075 with flag 823002/828251
330.27/329.29	c cleaning 9999 clauses out of 20074 with flag 833001/838250
335.18/334.12	c cleaning 10000 clauses out of 20074 with flag 843000/848249
340.48/339.42	c cleaning 9999 clauses out of 20075 with flag 853001/858250
344.79/343.77	c cleaning 10002 clauses out of 20079 with flag 863004/868253
349.40/348.37	c cleaning 9988 clauses out of 20076 with flag 873003/878252
352.70/351.69	c cleaning 10018 clauses out of 20087 with flag 883002/888251
355.61/354.56	c cleaning 10009 clauses out of 20068 with flag 893001/898250
359.02/357.98	c cleaning 10005 clauses out of 20060 with flag 903002/908251
362.63/361.57	c cleaning 10003 clauses out of 20053 with flag 913000/918249
366.24/365.11	c cleaning 10011 clauses out of 20052 with flag 923002/928251
370.55/369.45	c cleaning 10006 clauses out of 20039 with flag 933000/938249
374.55/373.47	c cleaning 9996 clauses out of 20033 with flag 943000/948249
378.47/377.35	c cleaning 9997 clauses out of 20037 with flag 953000/958249
382.87/381.72	c cleaning 10001 clauses out of 20040 with flag 963000/968249
386.88/385.73	c cleaning 9997 clauses out of 20041 with flag 973002/978251
391.70/390.51	c cleaning 9990 clauses out of 20042 with flag 983000/988249
396.60/395.42	c cleaning 9998 clauses out of 20058 with flag 993006/998255
401.31/400.15	c cleaning 10006 clauses out of 20055 with flag 1003001/1008250
405.82/404.61	c cleaning 9997 clauses out of 20050 with flag 1013002/1018251
409.73/408.54	c cleaning 9999 clauses out of 20053 with flag 1023002/1028251
414.04/412.85	c cleaning 9996 clauses out of 20052 with flag 1033000/1038249
418.25/417.03	c cleaning 10004 clauses out of 20057 with flag 1043001/1048250
422.36/421.13	c cleaning 9997 clauses out of 20052 with flag 1053000/1058249
426.26/425.01	c cleaning 9998 clauses out of 20055 with flag 1063000/1068249
430.66/429.43	c cleaning 10000 clauses out of 20060 with flag 1073003/1078252
434.68/433.48	c cleaning 10009 clauses out of 20057 with flag 1083000/1088249
439.08/437.84	c cleaning 10005 clauses out of 20049 with flag 1093001/1098250
443.49/442.29	c cleaning 9999 clauses out of 20043 with flag 1103000/1108249
448.10/446.86	c cleaning 9999 clauses out of 20044 with flag 1113000/1118249
452.51/451.22	c cleaning 10003 clauses out of 20046 with flag 1123001/1128250
457.01/455.72	c cleaning 10001 clauses out of 20046 with flag 1133004/1138253
461.22/459.98	c cleaning 9999 clauses out of 20042 with flag 1143001/1148250
465.83/464.51	c cleaning 9999 clauses out of 20043 with flag 1153001/1158250
470.83/469.55	c cleaning 10000 clauses out of 20043 with flag 1163000/1168249
475.44/474.12	c cleaning 9999 clauses out of 20043 with flag 1173000/1178249
479.75/478.41	c cleaning 10003 clauses out of 20046 with flag 1183002/1188251
484.45/483.10	c cleaning 10002 clauses out of 20046 with flag 1193005/1198254
489.56/488.21	c cleaning 9994 clauses out of 20040 with flag 1203001/1208250
493.87/492.53	c cleaning 10004 clauses out of 20045 with flag 1213000/1218249
498.58/497.27	c cleaning 9996 clauses out of 20046 with flag 1223005/1228254
503.18/501.88	c cleaning 10001 clauses out of 20045 with flag 1233000/1238249
507.41/506.03	c cleaning 9987 clauses out of 20045 with flag 1243001/1248250
511.91/510.54	c cleaning 10013 clauses out of 20059 with flag 1253002/1258251
516.51/515.11	c cleaning 10003 clauses out of 20045 with flag 1263001/1268250
521.73/520.34	c cleaning 9999 clauses out of 20042 with flag 1273001/1278250
526.83/525.46	c cleaning 10000 clauses out of 20042 with flag 1283000/1288249
531.94/530.53	c cleaning 10001 clauses out of 20043 with flag 1293001/1298250
536.74/535.32	c cleaning 10003 clauses out of 20045 with flag 1303004/1308253
541.15/539.76	c cleaning 10001 clauses out of 20044 with flag 1313006/1318255
545.76/544.39	c cleaning 10015 clauses out of 20039 with flag 1323002/1328251
548.57/547.19	c cleaning 9998 clauses out of 20023 with flag 1333001/1338250
552.08/550.66	c cleaning 9969 clauses out of 20026 with flag 1343002/1348251
555.39/553.95	c cleaning 9974 clauses out of 20055 with flag 1353000/1358249
559.10/557.68	c cleaning 10004 clauses out of 20082 with flag 1363001/1368250
563.00/561.52	c cleaning 9987 clauses out of 20077 with flag 1373000/1378249
567.31/565.81	c cleaning 10014 clauses out of 20090 with flag 1383000/1388249
571.92/570.49	c cleaning 10009 clauses out of 20079 with flag 1393003/1398252
577.22/575.79	c cleaning 10002 clauses out of 20067 with flag 1403000/1408249
581.73/580.25	c cleaning 10018 clauses out of 20070 with flag 1413005/1418254
586.33/584.82	c cleaning 10002 clauses out of 20049 with flag 1423002/1428251
590.84/589.37	c cleaning 10006 clauses out of 20046 with flag 1433001/1438250
595.55/594.04	c cleaning 9997 clauses out of 20039 with flag 1443000/1448249
600.05/598.55	c cleaning 9994 clauses out of 20044 with flag 1453002/1458251
604.86/603.34	c cleaning 9999 clauses out of 20050 with flag 1463002/1468251
609.87/608.32	c cleaning 10000 clauses out of 20050 with flag 1473001/1478250
614.98/613.42	c cleaning 10000 clauses out of 20049 with flag 1483000/1488249
619.89/618.35	c cleaning 9999 clauses out of 20049 with flag 1493000/1498249
625.10/623.52	c cleaning 10001 clauses out of 20051 with flag 1503001/1508250
630.61/629.06	c cleaning 9998 clauses out of 20051 with flag 1513002/1518251
634.61/633.03	c cleaning 9996 clauses out of 20051 with flag 1523000/1528249
639.42/637.80	c cleaning 9994 clauses out of 20056 with flag 1533001/1538250
643.62/642.03	c cleaning 10004 clauses out of 20061 with flag 1543000/1548249
647.73/646.18	c cleaning 9995 clauses out of 20057 with flag 1553000/1558249
654.63/653.03	c cleaning 10000 clauses out of 20064 with flag 1563002/1568251
660.55/658.98	c cleaning 9994 clauses out of 20066 with flag 1573004/1578253
665.95/664.30	c cleaning 10010 clauses out of 20071 with flag 1583003/1588252
669.75/668.18	c cleaning 9998 clauses out of 20059 with flag 1593001/1598250
674.86/673.22	c cleaning 9974 clauses out of 20063 with flag 1603003/1608252
679.86/678.24	c cleaning 9992 clauses out of 20086 with flag 1613000/1618249
684.07/682.45	c cleaning 10002 clauses out of 20095 with flag 1623001/1628250
688.58/686.93	c cleaning 10004 clauses out of 20094 with flag 1633002/1638251
693.18/691.57	c cleaning 9997 clauses out of 20088 with flag 1643000/1648249
697.69/696.08	c cleaning 9980 clauses out of 20092 with flag 1653001/1658250
703.00/701.39	c cleaning 10013 clauses out of 20114 with flag 1663003/1668252
708.11/706.43	c cleaning 10006 clauses out of 20103 with flag 1673005/1678254
712.61/710.95	c cleaning 10004 clauses out of 20096 with flag 1683004/1688253
717.12/715.44	c cleaning 9995 clauses out of 20090 with flag 1693002/1698251
721.63/719.98	c cleaning 10000 clauses out of 20095 with flag 1703002/1708251
725.93/724.22	c cleaning 10003 clauses out of 20093 with flag 1713000/1718249
730.44/728.72	c cleaning 10001 clauses out of 20092 with flag 1723002/1728251
734.94/733.22	c cleaning 9993 clauses out of 20089 with flag 1733000/1738249
739.44/737.79	c cleaning 10006 clauses out of 20098 with flag 1743002/1748251
744.65/742.91	c cleaning 10000 clauses out of 20092 with flag 1753002/1758251
749.67/747.90	c cleaning 10003 clauses out of 20094 with flag 1763004/1768253
752.37/750.67	c cleaning 10026 clauses out of 20087 with flag 1773000/1778249
756.77/755.03	c cleaning 10015 clauses out of 20061 with flag 1783000/1788249
760.98/759.24	c cleaning 10002 clauses out of 20046 with flag 1793000/1798249
765.79/764.07	c cleaning 10007 clauses out of 20046 with flag 1803002/1808251
771.00/769.22	c cleaning 10001 clauses out of 20039 with flag 1813002/1818251
776.22/774.42	c cleaning 9993 clauses out of 20036 with flag 1823000/1828249
780.92/779.14	c cleaning 9996 clauses out of 20043 with flag 1833000/1838249
785.22/783.41	c cleaning 10000 clauses out of 20047 with flag 1843000/1848249
789.93/788.17	c cleaning 10003 clauses out of 20047 with flag 1853000/1858249
794.64/792.81	c cleaning 10003 clauses out of 20044 with flag 1863000/1868249
799.15/797.38	c cleaning 10005 clauses out of 20043 with flag 1873002/1878251
803.95/802.18	c cleaning 9999 clauses out of 20040 with flag 1883004/1888253
808.86/807.09	c cleaning 9995 clauses out of 20039 with flag 1893002/1898251
813.27/811.49	c cleaning 10002 clauses out of 20042 with flag 1903000/1908249
817.68/815.88	c cleaning 10005 clauses out of 20046 with flag 1913006/1918255
822.89/821.08	c cleaning 9997 clauses out of 20038 with flag 1923003/1928252
827.80/825.91	c cleaning 10000 clauses out of 20038 with flag 1933000/1938249
832.50/830.65	c cleaning 10002 clauses out of 20039 with flag 1943001/1948250
837.61/835.73	c cleaning 9990 clauses out of 20042 with flag 1953006/1958255
842.53/840.63	c cleaning 10005 clauses out of 20053 with flag 1963007/1968256
847.73/845.86	c cleaning 10004 clauses out of 20043 with flag 1973002/1978251
853.63/851.79	c cleaning 10004 clauses out of 20043 with flag 1983006/1988255
856.83/854.95	c cleaning 9989 clauses out of 20034 with flag 1993001/1998250
859.85/857.93	c cleaning 10016 clauses out of 20045 with flag 2003001/2008250
863.26/861.30	c cleaning 9989 clauses out of 20028 with flag 2013000/2018249
866.86/864.97	c cleaning 9995 clauses out of 20039 with flag 2023000/2028249
871.07/869.10	c cleaning 10007 clauses out of 20045 with flag 2033001/2038250
875.68/873.80	c cleaning 10003 clauses out of 20037 with flag 2043000/2048249
879.39/877.45	c cleaning 9992 clauses out of 20034 with flag 2053000/2058249
883.60/881.60	c cleaning 9997 clauses out of 20043 with flag 2063001/2068250
888.71/886.75	c cleaning 9998 clauses out of 20046 with flag 2073001/2078250
892.93/890.92	c cleaning 10007 clauses out of 20049 with flag 2083002/2088251
897.63/895.63	c cleaning 10002 clauses out of 20040 with flag 2093000/2098249
902.54/900.54	c cleaning 10001 clauses out of 20039 with flag 2103001/2108250
907.85/905.85	c cleaning 9999 clauses out of 20037 with flag 2113000/2118249
911.96/909.93	c cleaning 9991 clauses out of 20042 with flag 2123004/2128253
917.27/915.26	c cleaning 9992 clauses out of 20049 with flag 2133002/2138251
922.28/920.20	c cleaning 9998 clauses out of 20059 with flag 2143004/2148253
927.29/925.22	c cleaning 9998 clauses out of 20059 with flag 2153002/2158251
932.50/930.40	c cleaning 9993 clauses out of 20062 with flag 2163003/2168252
937.90/935.83	c cleaning 10005 clauses out of 20069 with flag 2173003/2178252
943.01/940.90	c cleaning 10005 clauses out of 20062 with flag 2183001/2188250
947.72/945.63	c cleaning 10003 clauses out of 20058 with flag 2193002/2198251
952.43/950.34	c cleaning 10001 clauses out of 20058 with flag 2203005/2208254
957.23/955.14	c cleaning 10003 clauses out of 20052 with flag 2213000/2218249
962.04/959.90	c cleaning 10005 clauses out of 20051 with flag 2223002/2228251
966.35/964.22	c cleaning 9998 clauses out of 20044 with flag 2233000/2238249
970.36/968.24	c cleaning 9997 clauses out of 20048 with flag 2243002/2248251
974.36/972.29	c cleaning 10002 clauses out of 20049 with flag 2253000/2258249
979.27/977.17	c cleaning 10005 clauses out of 20052 with flag 2263005/2268254
984.78/982.64	c cleaning 10001 clauses out of 20046 with flag 2273004/2278253
989.39/987.26	c cleaning 9970 clauses out of 20043 with flag 2283002/2288251
993.80/991.68	c cleaning 10001 clauses out of 20071 with flag 2293000/2298249
997.61/995.44	c cleaning 10001 clauses out of 20072 with flag 2303002/2308251
1002.32/1000.14	c cleaning 9998 clauses out of 20070 with flag 2313001/2318250
1007.23/1005.04	c cleaning 9993 clauses out of 20071 with flag 2323000/2328249
1012.45/1010.21	c cleaning 10008 clauses out of 20079 with flag 2333001/2338250
1016.96/1014.77	c cleaning 10000 clauses out of 20070 with flag 2343000/2348249
1021.67/1019.47	c cleaning 10000 clauses out of 20070 with flag 2353000/2358249
1026.47/1024.26	c cleaning 10004 clauses out of 20074 with flag 2363004/2368253
1031.08/1028.81	c cleaning 9992 clauses out of 20066 with flag 2373000/2378249
1036.19/1033.96	c cleaning 10004 clauses out of 20075 with flag 2383001/2388250
1041.00/1038.79	c cleaning 10000 clauses out of 20071 with flag 2393001/2398250
1045.81/1043.51	c cleaning 10003 clauses out of 20074 with flag 2403004/2408253
1050.41/1048.11	c cleaning 9996 clauses out of 20067 with flag 2413000/2418249
1054.82/1052.56	c cleaning 10004 clauses out of 20074 with flag 2423003/2428252
1058.52/1056.25	c cleaning 10006 clauses out of 20068 with flag 2433001/2438250
1062.52/1060.21	c cleaning 9992 clauses out of 20062 with flag 2443001/2448250
1067.03/1064.71	c cleaning 10006 clauses out of 20072 with flag 2453003/2458252
1071.84/1069.53	c cleaning 10004 clauses out of 20063 with flag 2463000/2468249
1077.34/1075.03	c cleaning 10000 clauses out of 20059 with flag 2473000/2478249
1083.45/1081.18	c cleaning 10002 clauses out of 20059 with flag 2483000/2488249
1088.06/1085.72	c cleaning 10002 clauses out of 20059 with flag 2493002/2498251
1092.37/1090.09	c cleaning 10001 clauses out of 20057 with flag 2503002/2508251
1096.87/1094.55	c cleaning 10000 clauses out of 20057 with flag 2513003/2518252
1101.07/1098.72	c cleaning 9997 clauses out of 20056 with flag 2523002/2528251
1106.27/1103.91	c cleaning 9992 clauses out of 20061 with flag 2533004/2538253
1111.28/1108.96	c cleaning 10003 clauses out of 20067 with flag 2543002/2548251
1116.08/1113.76	c cleaning 10005 clauses out of 20064 with flag 2553002/2558251
1121.10/1118.79	c cleaning 9995 clauses out of 20057 with flag 2563000/2568249
1125.81/1123.41	c cleaning 10002 clauses out of 20062 with flag 2573000/2578249
1130.71/1128.34	c cleaning 9998 clauses out of 20060 with flag 2583000/2588249
1135.32/1132.98	c cleaning 10001 clauses out of 20063 with flag 2593001/2598250
1139.62/1137.28	c cleaning 10004 clauses out of 20062 with flag 2603001/2608250
1144.52/1142.16	c cleaning 9999 clauses out of 20059 with flag 2613002/2618251
1149.33/1146.99	c cleaning 9994 clauses out of 20058 with flag 2623000/2628249
1153.73/1151.38	c cleaning 10004 clauses out of 20066 with flag 2633002/2638251
1158.53/1156.12	c cleaning 10003 clauses out of 20060 with flag 2643000/2648249
1163.03/1160.67	c cleaning 9998 clauses out of 20057 with flag 2653000/2658249
1168.04/1165.65	c cleaning 10006 clauses out of 20059 with flag 2663000/2668249
1173.06/1170.62	c cleaning 10011 clauses out of 20057 with flag 2673004/2678253
1177.86/1175.41	c cleaning 9990 clauses out of 20044 with flag 2683002/2688251
1182.87/1180.43	c cleaning 9987 clauses out of 20052 with flag 2693000/2698249
1187.47/1185.10	c cleaning 10003 clauses out of 20067 with flag 2703002/2708251
1192.48/1190.01	c cleaning 9987 clauses out of 20063 with flag 2713001/2718250
1196.89/1194.41	c cleaning 9980 clauses out of 20075 with flag 2723000/2728249
1202.09/1199.66	c cleaning 10031 clauses out of 20097 with flag 2733002/2738251
1206.70/1204.22	c cleaning 10001 clauses out of 20066 with flag 2743002/2748251
1211.41/1208.98	c cleaning 9993 clauses out of 20063 with flag 2753000/2758249
1216.61/1214.10	c cleaning 9999 clauses out of 20071 with flag 2763001/2768250
1221.32/1218.88	c cleaning 10007 clauses out of 20071 with flag 2773000/2778249
1225.92/1223.49	c cleaning 9996 clauses out of 20065 with flag 2783001/2788250
1230.53/1228.02	c cleaning 10013 clauses out of 20070 with flag 2793002/2798251
1234.54/1232.05	c cleaning 10006 clauses out of 20056 with flag 2803001/2808250
1238.94/1236.44	c cleaning 9980 clauses out of 20051 with flag 2813002/2818251
1243.05/1240.50	c cleaning 9983 clauses out of 20074 with flag 2823005/2828254
1247.25/1244.71	c cleaning 10010 clauses out of 20088 with flag 2833002/2838251
1251.55/1249.04	c cleaning 9989 clauses out of 20077 with flag 2843001/2848250
1255.36/1252.81	c cleaning 10011 clauses out of 20088 with flag 2853001/2858250
1259.56/1257.02	c cleaning 10009 clauses out of 20077 with flag 2863001/2868250
1263.97/1261.46	c cleaning 9992 clauses out of 20067 with flag 2873000/2878249
1268.17/1265.65	c cleaning 9990 clauses out of 20075 with flag 2883000/2888249
1272.47/1269.93	c cleaning 10027 clauses out of 20086 with flag 2893001/2898250
1276.67/1274.10	c cleaning 10008 clauses out of 20059 with flag 2903001/2908250
1280.48/1277.97	c cleaning 10001 clauses out of 20052 with flag 2913002/2918251
1284.48/1281.90	c cleaning 9984 clauses out of 20053 with flag 2923004/2928253
1288.89/1286.39	c cleaning 10001 clauses out of 20065 with flag 2933000/2938249
1294.30/1291.75	c cleaning 9987 clauses out of 20066 with flag 2943002/2948251
1298.61/1296.04	c cleaning 10016 clauses out of 20079 with flag 2953002/2958251
1304.61/1302.05	c cleaning 9981 clauses out of 20061 with flag 2963000/2968249
1309.32/1306.77	c cleaning 10001 clauses out of 20082 with flag 2973002/2978251
1314.12/1311.50	c cleaning 10017 clauses out of 20079 with flag 2983000/2988249
1316.82/1314.23	c cleaning 10008 clauses out of 20062 with flag 2993000/2998249
1319.93/1317.36	c cleaning 10020 clauses out of 20054 with flag 3003000/3008249
1323.14/1320.56	c cleaning 10002 clauses out of 20035 with flag 3013001/3018250
1327.35/1324.77	c cleaning 9997 clauses out of 20032 with flag 3023000/3028249
1331.67/1329.00	c cleaning 10001 clauses out of 20039 with flag 3033004/3038253
1335.17/1332.54	c cleaning 9981 clauses out of 20034 with flag 3043000/3048249
1338.18/1335.52	c cleaning 10007 clauses out of 20054 with flag 3053001/3058250
1341.09/1338.43	c cleaning 9995 clauses out of 20046 with flag 3063000/3068249
1344.90/1342.27	c cleaning 9994 clauses out of 20052 with flag 3073001/3078250
1348.80/1346.18	c cleaning 9985 clauses out of 20057 with flag 3083000/3088249
1353.61/1350.90	c cleaning 9997 clauses out of 20072 with flag 3093000/3098249
1358.22/1355.53	c cleaning 10004 clauses out of 20078 with flag 3103003/3108252
1363.12/1360.45	c cleaning 9991 clauses out of 20071 with flag 3113000/3118249
1367.53/1364.88	c cleaning 10013 clauses out of 20082 with flag 3123002/3128251
1372.63/1369.96	c cleaning 10006 clauses out of 20067 with flag 3133000/3138249
1377.44/1374.73	c cleaning 10004 clauses out of 20063 with flag 3143002/3148251
1381.85/1379.10	c cleaning 10003 clauses out of 20061 with flag 3153004/3158253
1388.05/1385.32	c cleaning 10001 clauses out of 20056 with flag 3163002/3168251
1393.27/1390.53	c cleaning 9997 clauses out of 20053 with flag 3173000/3178249
1397.48/1394.73	c cleaning 10009 clauses out of 20056 with flag 3183000/3188249
1401.38/1398.60	c cleaning 10006 clauses out of 20047 with flag 3193000/3198249
1405.59/1402.86	c cleaning 9991 clauses out of 20042 with flag 3203001/3208250
1409.79/1407.01	c cleaning 9999 clauses out of 20053 with flag 3213003/3218252
1414.60/1411.88	c cleaning 9993 clauses out of 20052 with flag 3223001/3228250
1419.21/1416.41	c cleaning 10013 clauses out of 20058 with flag 3233000/3238249
1423.22/1420.49	c cleaning 9986 clauses out of 20046 with flag 3243001/3248250
1427.93/1425.15	c cleaning 10016 clauses out of 20060 with flag 3253001/3258250
1432.53/1429.72	c cleaning 9991 clauses out of 20047 with flag 3263004/3268253
1437.04/1434.28	c cleaning 10009 clauses out of 20055 with flag 3273003/3278252
1441.15/1438.32	c cleaning 9993 clauses out of 20043 with flag 3283000/3288249
1446.15/1443.38	c cleaning 9999 clauses out of 20050 with flag 3293000/3298249
1451.16/1448.32	c cleaning 10001 clauses out of 20055 with flag 3303004/3308253
1455.77/1452.91	c cleaning 9994 clauses out of 20050 with flag 3313000/3318249
1460.58/1457.78	c cleaning 10003 clauses out of 20057 with flag 3323001/3328250
1465.39/1462.56	c cleaning 9990 clauses out of 20054 with flag 3333001/3338250
1470.50/1467.61	c cleaning 10006 clauses out of 20064 with flag 3343001/3348250
1475.91/1473.03	c cleaning 10007 clauses out of 20063 with flag 3353006/3358255
1481.01/1478.14	c cleaning 9999 clauses out of 20051 with flag 3363001/3368250
1486.73/1483.89	c cleaning 10000 clauses out of 20051 with flag 3373000/3378249
1491.33/1488.44	c cleaning 10000 clauses out of 20054 with flag 3383003/3388252
1496.03/1493.19	c cleaning 9999 clauses out of 20052 with flag 3393001/3398250
1500.64/1497.77	c cleaning 10002 clauses out of 20054 with flag 3403002/3408251
1505.15/1502.30	c cleaning 9999 clauses out of 20050 with flag 3413000/3418249
1509.87/1506.90	c cleaning 9999 clauses out of 20054 with flag 3423003/3428252
1513.57/1510.67	c cleaning 10005 clauses out of 20053 with flag 3433001/3438250
1518.28/1515.33	c cleaning 10004 clauses out of 20047 with flag 3443000/3448249
1522.68/1519.70	c cleaning 10002 clauses out of 20045 with flag 3453002/3458251
1528.09/1525.17	c cleaning 9993 clauses out of 20043 with flag 3463002/3468251
1533.50/1530.51	c cleaning 9996 clauses out of 20048 with flag 3473000/3478249
1537.90/1534.94	c cleaning 10003 clauses out of 20052 with flag 3483000/3488249
1542.91/1539.96	c cleaning 10004 clauses out of 20049 with flag 3493000/3498249
1548.42/1545.42	c cleaning 10001 clauses out of 20048 with flag 3503003/3508252
1553.52/1550.53	c cleaning 9994 clauses out of 20044 with flag 3513000/3518249
1558.93/1555.97	c cleaning 10004 clauses out of 20050 with flag 3523000/3528249
1564.23/1561.23	c cleaning 9998 clauses out of 20047 with flag 3533001/3538250
1569.24/1566.21	c cleaning 9997 clauses out of 20048 with flag 3543000/3548249
1574.35/1571.37	c cleaning 9990 clauses out of 20051 with flag 3553000/3558249
1579.06/1576.02	c cleaning 10010 clauses out of 20065 with flag 3563004/3568253
1583.56/1580.57	c cleaning 10004 clauses out of 20051 with flag 3573000/3578249
1589.17/1586.18	c cleaning 9998 clauses out of 20048 with flag 3583001/3588250
1593.47/1590.50	c cleaning 10001 clauses out of 20050 with flag 3593001/3598250
1597.77/1594.77	c cleaning 9998 clauses out of 20048 with flag 3603000/3608249
1603.18/1600.17	c cleaning 10001 clauses out of 20050 with flag 3613000/3618249
1608.30/1605.24	c cleaning 9994 clauses out of 20049 with flag 3623000/3628249
1613.20/1610.19	c cleaning 10007 clauses out of 20058 with flag 3633003/3638252
1618.30/1615.25	c cleaning 10001 clauses out of 20050 with flag 3643002/3648251
1622.11/1619.09	c cleaning 10000 clauses out of 20048 with flag 3653001/3658250
1626.12/1623.07	c cleaning 9996 clauses out of 20048 with flag 3663001/3668250
1630.22/1627.14	c cleaning 9999 clauses out of 20052 with flag 3673001/3678250
1634.23/1631.16	c cleaning 9999 clauses out of 20052 with flag 3683000/3688249
1639.13/1636.09	c cleaning 10001 clauses out of 20053 with flag 3693000/3698249
1643.93/1640.82	c cleaning 10003 clauses out of 20053 with flag 3703001/3708250
1648.84/1645.70	c cleaning 9998 clauses out of 20052 with flag 3713003/3718252
1653.55/1650.49	c cleaning 10000 clauses out of 20054 with flag 3723003/3728252
1658.15/1655.03	c cleaning 10001 clauses out of 20054 with flag 3733003/3738252
1663.45/1660.33	c cleaning 10000 clauses out of 20052 with flag 3743002/3748251
1668.56/1665.44	c cleaning 9997 clauses out of 20052 with flag 3753002/3758251
1673.36/1670.28	c cleaning 10003 clauses out of 20055 with flag 3763002/3768251
1677.96/1674.90	c cleaning 9998 clauses out of 20051 with flag 3773001/3778250
1682.78/1679.66	c cleaning 9999 clauses out of 20052 with flag 3783000/3788249
1687.67/1684.53	c cleaning 9990 clauses out of 20053 with flag 3793000/3798249
1692.48/1689.37	c cleaning 10007 clauses out of 20065 with flag 3803002/3808251
1699.19/1696.10	c cleaning 9994 clauses out of 20056 with flag 3813000/3818249
1703.80/1700.61	c cleaning 9992 clauses out of 20062 with flag 3823000/3828249
1707.90/1704.76	c cleaning 10006 clauses out of 20070 with flag 3833000/3838249
1712.80/1709.64	c cleaning 10008 clauses out of 20065 with flag 3843001/3848250
1718.01/1714.90	c cleaning 9999 clauses out of 20057 with flag 3853001/3858250
1722.41/1719.21	c cleaning 10000 clauses out of 20058 with flag 3863001/3868250
1727.01/1723.82	c cleaning 10003 clauses out of 20059 with flag 3873002/3878251
1731.61/1728.41	c cleaning 9994 clauses out of 20054 with flag 3883000/3888249
1736.41/1733.28	c cleaning 10005 clauses out of 20063 with flag 3893003/3898252
1740.82/1737.62	c cleaning 10002 clauses out of 20056 with flag 3903001/3908250
1746.02/1742.84	c cleaning 10001 clauses out of 20055 with flag 3913002/3918251
1751.03/1747.87	c cleaning 10000 clauses out of 20052 with flag 3923000/3928249
1755.73/1752.56	c cleaning 9997 clauses out of 20052 with flag 3933000/3938249
1760.63/1757.44	c cleaning 9998 clauses out of 20055 with flag 3943000/3948249
1765.14/1761.97	c cleaning 10000 clauses out of 20057 with flag 3953000/3958249
1769.84/1766.64	c cleaning 10003 clauses out of 20058 with flag 3963001/3968250
1774.24/1771.09	c cleaning 10001 clauses out of 20056 with flag 3973002/3978251
1778.15/1774.90	c cleaning 9992 clauses out of 20054 with flag 3983001/3988250
1782.45/1779.26	c cleaning 9995 clauses out of 20063 with flag 3993002/3998251
1786.95/1783.72	c cleaning 9998 clauses out of 20068 with flag 4003002/4008251
1791.26/1788.03	c cleaning 9998 clauses out of 20069 with flag 4013001/4018250
1796.06/1792.82	c cleaning 9998 clauses out of 20073 with flag 4023003/4028252
1800.07/1796.81	c starts		: 261
1800.07/1796.81	c conflicts		: 4037740
1800.07/1796.81	c decisions		: 5321239
1800.07/1796.81	c propagations		: 121598419
1800.07/1796.81	c inspects		: 6014862500
1800.07/1796.81	c shortcuts		: 0
1800.07/1796.81	c learnt literals	: 0
1800.07/1796.81	c learnt binary clauses	: 0
1800.07/1796.81	c learnt ternary clauses	: 0
1800.07/1796.81	c learnt constraints	: 4037739
1800.07/1796.81	c ignored constraints	: 0
1800.07/1796.81	c root simplifications	: 0
1800.07/1796.81	c removed literals (reason simplification)	: 13722245
1800.07/1796.81	c reason swapping (by a shorter reason)	: 0
1800.07/1796.81	c Calls to reduceDB	: 404
1800.07/1796.81	c number of reductions to clauses (during analyze)	: 0
1800.07/1796.81	c number of learned constraints concerned by reduction	: 0
1800.07/1796.81	c number of learning phase by resolution	: 0
1800.07/1796.81	c number of learning phase by cutting planes	: 0
1800.07/1796.81	c speed (assignments/second)	: 67730.39998217598
1800.07/1796.81	c non guided choices	71160
1800.07/1796.82	c learnt constraints type 
1800.07/1796.82	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 19576
1800.07/1796.82	c constraints type 
1800.07/1796.82	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 45
1800.07/1796.82	c org.sat4j.minisat.constraints.card.MinWatchCard => 15
1800.07/1796.82	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 26
1800.07/1796.82	s SATISFIABLE
1800.07/1796.83	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 
1800.07/1796.83	c objective function=10
1800.07/1796.83	c Total wall clock time (in seconds): 1796.617

Verifier Data 

OK	10

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492278-1307908928/watcher-3492278-1307908928 -o /var/tmp/evaluation-result-3492278-1307908928/solver-3492278-1307908928 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492278-1307908928.wbo 

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

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


[startup+0 s]
/proc/loadavg: 0.92 1.08 1.42 2/172 23910
/proc/meminfo: memFree=1543420/32951124 swapFree=67064380/67111528
[pid=23910] ppid=23908 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/23910/stat : 23910 (java) R 23908 23910 22218 0 -1 4202496 955 0 0 0 0 0 0 0 18 0 1 0 902493262 23580672 696 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244441982865 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23910/statm: 5757 697 514 9 0 124 0

[startup+0.0436739 s]
/proc/loadavg: 0.92 1.08 1.42 2/172 23910
/proc/meminfo: memFree=1543420/32951124 swapFree=67064380/67111528
[pid=23910] ppid=23908 vsize=10454868 CPUtime=0.01 cores=0,2,4,6
/proc/23910/stat : 23910 (java) S 23908 23910 22218 0 -1 4202496 10326 0 25 0 1 0 0 0 18 0 10 0 902493262 10705784832 10046 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/23910/statm: 2613717 10046 1255 9 0 2604465 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10454868

[startup+0.100733 s]
/proc/loadavg: 0.92 1.08 1.42 2/172 23910
/proc/meminfo: memFree=1543420/32951124 swapFree=67064380/67111528
[pid=23910] ppid=23908 vsize=10467480 CPUtime=0.04 cores=0,2,4,6
/proc/23910/stat : 23910 (java) S 23908 23910 22218 0 -1 4202496 11289 0 52 0 3 1 0 0 18 0 13 0 902493262 10718699520 11034 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/23910/statm: 2616870 11034 1679 9 0 2607618 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480

[startup+0.334563 s]
/proc/loadavg: 0.92 1.08 1.42 2/172 23910
/proc/meminfo: memFree=1543420/32951124 swapFree=67064380/67111528
[pid=23910] ppid=23908 vsize=10540796 CPUtime=0.33 cores=0,2,4,6
/proc/23910/stat : 23910 (java) S 23908 23910 22218 0 -1 4202496 14493 0 54 0 32 1 0 0 18 0 18 0 902493262 10793775104 14041 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23910/statm: 2635199 14041 2195 9 0 2625933 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 10540796

[startup+0.70052 s]
/proc/loadavg: 0.92 1.08 1.42 2/172 23910
/proc/meminfo: memFree=1543420/32951124 swapFree=67064380/67111528
[pid=23910] ppid=23908 vsize=10544944 CPUtime=1.02 cores=0,2,4,6
/proc/23910/stat : 23910 (java) S 23908 23910 22218 0 -1 4202496 16735 0 54 0 100 2 0 0 18 0 19 0 902493262 10798022656 15949 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23910/statm: 2636236 15949 2222 9 0 2626970 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 10544944

[startup+1.50138 s]
/proc/loadavg: 0.92 1.08 1.42 3/211 23952
/proc/meminfo: memFree=1423292/32951124 swapFree=67064380/67111528
[pid=23910] ppid=23908 vsize=10544944 CPUtime=1.86 cores=0,2,4,6
/proc/23910/stat : 23910 (java) S 23908 23910 22218 0 -1 4202496 18108 0 54 0 184 2 0 0 18 0 19 0 902493262 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23910/statm: 2636236 17321 2225 9 0 2626970 0
[pid=23910/tid=23916] ppid=23908 vsize=10544944 CPUtime=1.38 cores=0,2,4,6
/proc/23910/task/23916/stat : 23916 (java) R 23908 23910 22218 0 -1 4202560 14215 0 52 0 137 1 0 0 20 0 19 0 902493262 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 46912505585744 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=23910/tid=23919] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23919/stat : 23919 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 902493264 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23920] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23920/stat : 23920 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902493264 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23921] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23921/stat : 23921 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902493264 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23922] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23922/stat : 23922 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902493264 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23923] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23923/stat : 23923 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902493264 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23924] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23924/stat : 23924 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902493264 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23925] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23925/stat : 23925 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902493264 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23926] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23926/stat : 23926 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902493264 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23936] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23936/stat : 23936 (java) S 23908 23910 22218 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 902493268 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 0 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23937] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23937/stat : 23937 (java) S 23908 23910 22218 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 902493269 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23939] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23939/stat : 23939 (java) S 23908 23910 22218 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 902493269 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23941] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23941/stat : 23941 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902493275 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458768817 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23943] ppid=23908 vsize=10544944 CPUtime=0.16 cores=0,2,4,6
/proc/23910/task/23943/stat : 23943 (java) S 23908 23910 22218 0 -1 4202560 982 0 1 0 16 0 0 0 15 0 19 0 902493275 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23945] ppid=23908 vsize=10544944 CPUtime=0.29 cores=0,2,4,6
/proc/23910/task/23945/stat : 23945 (java) S 23908 23910 22218 0 -1 4202560 1747 0 1 0 29 0 0 0 15 0 19 0 902493275 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23947] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23947/stat : 23947 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902493275 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23949] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23949/stat : 23949 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902493275 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23951] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23951/stat : 23951 (java) S 23908 23910 22218 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902493296 10798022656 17321 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 10544944

[startup+3.10108 s]
/proc/loadavg: 0.92 1.08 1.42 3/211 23952
/proc/meminfo: memFree=1409032/32951124 swapFree=67064380/67111528
[pid=23910] ppid=23908 vsize=10544944 CPUtime=3.52 cores=0,2,4,6
/proc/23910/stat : 23910 (java) S 23908 23910 22218 0 -1 4202496 22303 0 54 0 350 2 0 0 18 0 19 0 902493262 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23910/statm: 2636236 21503 2251 9 0 2626970 0
[pid=23910/tid=23916] ppid=23908 vsize=10544944 CPUtime=2.96 cores=0,2,4,6
/proc/23910/task/23916/stat : 23916 (java) R 23908 23910 22218 0 -1 4202560 15213 0 52 0 295 1 0 0 25 0 19 0 902493262 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 46912505585187 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=23910/tid=23919] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23919/stat : 23919 (java) S 23908 23910 22218 0 -1 4202560 853 0 0 0 0 0 0 0 18 0 19 0 902493264 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23920] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23920/stat : 23920 (java) S 23908 23910 22218 0 -1 4202560 676 0 0 0 0 0 0 0 18 0 19 0 902493264 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 0 0 0 0
[pid=23910/tid=23921] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23921/stat : 23921 (java) S 23908 23910 22218 0 -1 4202560 79 0 0 0 0 0 0 0 18 0 19 0 902493264 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23922] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23922/stat : 23922 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 902493264 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23923] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23923/stat : 23923 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902493264 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23924] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23924/stat : 23924 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 902493264 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23925] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23925/stat : 23925 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 902493264 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23926] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23926/stat : 23926 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 902493264 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23936] ppid=23908 vsize=10544944 CPUtime=0.01 cores=0,2,4,6
/proc/23910/task/23936/stat : 23936 (java) S 23908 23910 22218 0 -1 4202560 1576 0 0 0 1 0 0 0 15 0 19 0 902493268 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 0 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23937] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23937/stat : 23937 (java) S 23908 23910 22218 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902493269 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23939] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23939/stat : 23939 (java) S 23908 23910 22218 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902493269 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 4
[pid=23910/tid=23941] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23941/stat : 23941 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902493275 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458768817 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23943] ppid=23908 vsize=10544944 CPUtime=0.19 cores=0,2,4,6
/proc/23910/task/23943/stat : 23943 (java) S 23908 23910 22218 0 -1 4202560 992 0 1 0 19 0 0 0 15 0 19 0 902493275 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23945] ppid=23908 vsize=10544944 CPUtime=0.33 cores=0,2,4,6
/proc/23910/task/23945/stat : 23945 (java) S 23908 23910 22218 0 -1 4202560 1755 0 1 0 33 0 0 0 16 0 19 0 902493275 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23947] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23947/stat : 23947 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902493275 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23949] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23949/stat : 23949 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902493275 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23951] ppid=23908 vsize=10544944 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23951/stat : 23951 (java) S 23908 23910 22218 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902493296 10798022656 21503 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 10544944

[startup+6.30149 s]
/proc/loadavg: 1.01 1.09 1.42 3/211 23952
/proc/meminfo: memFree=1358628/32951124 swapFree=67064380/67111528
[pid=23910] ppid=23908 vsize=10545872 CPUtime=6.8 cores=0,2,4,6
/proc/23910/stat : 23910 (java) S 23908 23910 22218 0 -1 4202496 26422 0 54 0 678 2 0 0 18 0 19 0 902493262 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23910/statm: 2636468 25025 2251 9 0 2627202 0
[pid=23910/tid=23916] ppid=23908 vsize=10545872 CPUtime=6.12 cores=0,2,4,6
/proc/23910/task/23916/stat : 23916 (java) R 23908 23910 22218 0 -1 4202560 15216 0 52 0 611 1 0 0 25 0 19 0 902493262 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 46912505585202 0 4 0 16800975 0 0 0 -1 0 0 0 9
[pid=23910/tid=23919] ppid=23908 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23919/stat : 23919 (java) S 23908 23910 22218 0 -1 4202560 860 0 0 0 0 0 0 0 15 0 19 0 902493264 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23920] ppid=23908 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23920/stat : 23920 (java) S 23908 23910 22218 0 -1 4202560 1415 0 0 0 0 0 0 0 18 0 19 0 902493264 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23921] ppid=23908 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23921/stat : 23921 (java) S 23908 23910 22218 0 -1 4202560 111 0 0 0 0 0 0 0 16 0 19 0 902493264 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23922] ppid=23908 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23922/stat : 23922 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902493264 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23923] ppid=23908 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23923/stat : 23923 (java) S 23908 23910 22218 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 902493264 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23924] ppid=23908 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23924/stat : 23924 (java) S 23908 23910 22218 0 -1 4202560 32 0 0 0 0 0 0 0 16 0 19 0 902493264 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23925] ppid=23908 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23925/stat : 23925 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902493264 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23926] ppid=23908 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23926/stat : 23926 (java) S 23908 23910 22218 0 -1 4202560 813 0 0 0 0 0 0 0 15 0 19 0 902493264 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23936] ppid=23908 vsize=10545872 CPUtime=0.04 cores=0,2,4,6
/proc/23910/task/23936/stat : 23936 (java) S 23908 23910 22218 0 -1 4202560 3392 0 0 0 4 0 0 0 15 0 19 0 902493268 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 0 0 16800975 18446604453874160896 0 0 -1 0 0 0 0
[pid=23910/tid=23937] ppid=23908 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23937/stat : 23937 (java) S 23908 23910 22218 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902493269 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23939] ppid=23908 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23939/stat : 23939 (java) S 23908 23910 22218 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902493269 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 4
[pid=23910/tid=23941] ppid=23908 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23941/stat : 23941 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902493275 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458768817 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23943] ppid=23908 vsize=10545872 CPUtime=0.2 cores=0,2,4,6
/proc/23910/task/23943/stat : 23943 (java) S 23908 23910 22218 0 -1 4202560 994 0 1 0 20 0 0 0 15 0 19 0 902493275 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23945] ppid=23908 vsize=10545872 CPUtime=0.39 cores=0,2,4,6
/proc/23910/task/23945/stat : 23945 (java) S 23908 23910 22218 0 -1 4202560 2422 0 1 0 39 0 0 0 15 0 19 0 902493275 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23947] ppid=23908 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23947/stat : 23947 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902493275 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23949] ppid=23908 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23949/stat : 23949 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902493275 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23951] ppid=23908 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23951/stat : 23951 (java) S 23908 23910 22218 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902493296 10798972928 25025 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 10545872

[startup+12.7013 s]

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

[pid=23910/tid=23924] ppid=23908 vsize=10544272 CPUtime=0.49 cores=0,2,4,6
/proc/23910/task/23924/stat : 23924 (java) S 23908 23910 22218 0 -1 4202560 1470 0 0 0 49 0 0 0 15 0 19 0 902493264 10797334528 44676 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23925] ppid=23908 vsize=10544272 CPUtime=0.48 cores=0,2,4,6
/proc/23910/task/23925/stat : 23925 (java) S 23908 23910 22218 0 -1 4202560 1034 0 0 0 48 0 0 0 16 0 19 0 902493264 10797334528 44676 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23926] ppid=23908 vsize=10544272 CPUtime=0.51 cores=0,2,4,6
/proc/23910/task/23926/stat : 23926 (java) S 23908 23910 22218 0 -1 4202560 1498 0 0 0 51 0 0 0 16 0 19 0 902493264 10797334528 44676 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 0 0 0 0
[pid=23910/tid=23936] ppid=23908 vsize=10544272 CPUtime=13.05 cores=0,2,4,6
/proc/23910/task/23936/stat : 23936 (java) S 23908 23910 22218 0 -1 4202560 13569 0 0 0 1297 8 0 0 15 0 19 0 902493268 10797334528 44676 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 0 0 16800975 18446604453874160896 0 0 -1 4 0 0 0
[pid=23910/tid=23937] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23937/stat : 23937 (java) S 23908 23910 22218 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902493269 10797334528 44676 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23939] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23939/stat : 23939 (java) S 23908 23910 22218 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902493269 10797334528 44676 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 4
[pid=23910/tid=23941] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23941/stat : 23941 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902493275 10797334528 44676 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458768817 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23943] ppid=23908 vsize=10544272 CPUtime=0.2 cores=0,2,4,6
/proc/23910/task/23943/stat : 23943 (java) S 23908 23910 22218 0 -1 4202560 994 0 1 0 20 0 0 0 15 0 19 0 902493275 10797334528 44676 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23945] ppid=23908 vsize=10544272 CPUtime=0.43 cores=0,2,4,6
/proc/23910/task/23945/stat : 23945 (java) S 23908 23910 22218 0 -1 4202560 2490 0 1 0 43 0 0 0 15 0 19 0 902493275 10797334528 44676 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23947] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23947/stat : 23947 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902493275 10797334528 44676 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23949] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23949/stat : 23949 (java) S 23908 23910 22218 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 902493275 10797334528 44676 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23951] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23951/stat : 23951 (java) S 23908 23910 22218 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902493296 10797334528 44676 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1665.45
Current children cumulated vsize (KiB) 10544272

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/211 24000
/proc/meminfo: memFree=1135616/32951124 swapFree=67064380/67111528
[pid=23910] ppid=23908 vsize=10544272 CPUtime=1725.51 cores=0,2,4,6
/proc/23910/stat : 23910 (java) S 23908 23910 22218 0 -1 4202496 47066 0 54 0 172534 17 0 0 18 0 19 0 902493262 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23910/statm: 2636068 44691 2252 9 0 2626802 0
[pid=23910/tid=23916] ppid=23908 vsize=10544272 CPUtime=1707.14 cores=0,2,4,6
/proc/23910/task/23916/stat : 23916 (java) R 23908 23910 22218 0 -1 4202560 17411 0 52 0 170710 4 0 0 25 0 19 0 902493262 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 46912505585832 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=23910/tid=23919] ppid=23908 vsize=10544272 CPUtime=0.51 cores=0,2,4,6
/proc/23910/task/23919/stat : 23919 (java) S 23908 23910 22218 0 -1 4202560 1830 0 0 0 51 0 0 0 15 0 19 0 902493264 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 0 0 0 0
[pid=23910/tid=23920] ppid=23908 vsize=10544272 CPUtime=0.53 cores=0,2,4,6
/proc/23910/task/23920/stat : 23920 (java) S 23908 23910 22218 0 -1 4202560 2461 0 0 0 53 0 0 0 15 0 19 0 902493264 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 0 0 0 0
[pid=23910/tid=23921] ppid=23908 vsize=10544272 CPUtime=0.54 cores=0,2,4,6
/proc/23910/task/23921/stat : 23921 (java) S 23908 23910 22218 0 -1 4202560 1513 0 0 0 54 0 0 0 15 0 19 0 902493264 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 0 0 0 0
[pid=23910/tid=23922] ppid=23908 vsize=10544272 CPUtime=0.51 cores=0,2,4,6
/proc/23910/task/23922/stat : 23922 (java) S 23908 23910 22218 0 -1 4202560 598 0 0 0 51 0 0 0 15 0 19 0 902493264 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23923] ppid=23908 vsize=10544272 CPUtime=0.54 cores=0,2,4,6
/proc/23910/task/23923/stat : 23923 (java) S 23908 23910 22218 0 -1 4202560 942 0 0 0 54 0 0 0 16 0 19 0 902493264 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23924] ppid=23908 vsize=10544272 CPUtime=0.51 cores=0,2,4,6
/proc/23910/task/23924/stat : 23924 (java) S 23908 23910 22218 0 -1 4202560 1470 0 0 0 51 0 0 0 16 0 19 0 902493264 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23925] ppid=23908 vsize=10544272 CPUtime=0.5 cores=0,2,4,6
/proc/23910/task/23925/stat : 23925 (java) S 23908 23910 22218 0 -1 4202560 1034 0 0 0 50 0 0 0 15 0 19 0 902493264 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 0 0 0 0
[pid=23910/tid=23926] ppid=23908 vsize=10544272 CPUtime=0.51 cores=0,2,4,6
/proc/23910/task/23926/stat : 23926 (java) S 23908 23910 22218 0 -1 4202560 1498 0 0 0 51 0 0 0 15 0 19 0 902493264 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23936] ppid=23908 vsize=10544272 CPUtime=13.48 cores=0,2,4,6
/proc/23910/task/23936/stat : 23936 (java) S 23908 23910 22218 0 -1 4202560 13571 0 0 0 1340 8 0 0 15 0 19 0 902493268 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 0 0 16800975 18446604453874160896 0 0 -1 4 0 0 0
[pid=23910/tid=23937] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23937/stat : 23937 (java) S 23908 23910 22218 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902493269 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23939] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23939/stat : 23939 (java) S 23908 23910 22218 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902493269 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 4
[pid=23910/tid=23941] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23941/stat : 23941 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902493275 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458768817 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23943] ppid=23908 vsize=10544272 CPUtime=0.2 cores=0,2,4,6
/proc/23910/task/23943/stat : 23943 (java) S 23908 23910 22218 0 -1 4202560 994 0 1 0 20 0 0 0 15 0 19 0 902493275 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23945] ppid=23908 vsize=10544272 CPUtime=0.43 cores=0,2,4,6
/proc/23910/task/23945/stat : 23945 (java) S 23908 23910 22218 0 -1 4202560 2490 0 1 0 43 0 0 0 15 0 19 0 902493275 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23947] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23947/stat : 23947 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902493275 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23949] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23949/stat : 23949 (java) S 23908 23910 22218 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 902493275 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 4 0 16800975 18446604453874160896 0 0 -1 0 0 0 0
[pid=23910/tid=23951] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23951/stat : 23951 (java) S 23908 23910 22218 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902493296 10797334528 44691 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.51
Current children cumulated vsize (KiB) 10544272

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/211 24002
/proc/meminfo: memFree=1134928/32951124 swapFree=67064380/67111528
[pid=23910] ppid=23908 vsize=10544272 CPUtime=1785.55 cores=0,2,4,6
/proc/23910/stat : 23910 (java) S 23908 23910 22218 0 -1 4202496 47108 0 54 0 178538 17 0 0 18 0 19 0 902493262 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23910/statm: 2636068 44712 2252 9 0 2626802 0
[pid=23910/tid=23916] ppid=23908 vsize=10544272 CPUtime=1766.64 cores=0,2,4,6
/proc/23910/task/23916/stat : 23916 (java) R 23908 23910 22218 0 -1 4202560 17424 0 52 0 176660 4 0 0 25 0 19 0 902493262 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 46912505357748 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=23910/tid=23919] ppid=23908 vsize=10544272 CPUtime=0.52 cores=0,2,4,6
/proc/23910/task/23919/stat : 23919 (java) S 23908 23910 22218 0 -1 4202560 1830 0 0 0 52 0 0 0 15 0 19 0 902493264 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23920] ppid=23908 vsize=10544272 CPUtime=0.55 cores=0,2,4,6
/proc/23910/task/23920/stat : 23920 (java) S 23908 23910 22218 0 -1 4202560 2468 0 0 0 55 0 0 0 16 0 19 0 902493264 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23921] ppid=23908 vsize=10544272 CPUtime=0.55 cores=0,2,4,6
/proc/23910/task/23921/stat : 23921 (java) S 23908 23910 22218 0 -1 4202560 1519 0 0 0 55 0 0 0 15 0 19 0 902493264 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23922] ppid=23908 vsize=10544272 CPUtime=0.53 cores=0,2,4,6
/proc/23910/task/23922/stat : 23922 (java) S 23908 23910 22218 0 -1 4202560 601 0 0 0 53 0 0 0 15 0 19 0 902493264 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23923] ppid=23908 vsize=10544272 CPUtime=0.54 cores=0,2,4,6
/proc/23910/task/23923/stat : 23923 (java) S 23908 23910 22218 0 -1 4202560 942 0 0 0 54 0 0 0 16 0 19 0 902493264 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23924] ppid=23908 vsize=10544272 CPUtime=0.52 cores=0,2,4,6
/proc/23910/task/23924/stat : 23924 (java) S 23908 23910 22218 0 -1 4202560 1470 0 0 0 52 0 0 0 16 0 19 0 902493264 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 0 0 0 0
[pid=23910/tid=23925] ppid=23908 vsize=10544272 CPUtime=0.5 cores=0,2,4,6
/proc/23910/task/23925/stat : 23925 (java) S 23908 23910 22218 0 -1 4202560 1034 0 0 0 50 0 0 0 15 0 19 0 902493264 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 0 0 0 0
[pid=23910/tid=23926] ppid=23908 vsize=10544272 CPUtime=0.52 cores=0,2,4,6
/proc/23910/task/23926/stat : 23926 (java) S 23908 23910 22218 0 -1 4202560 1503 0 0 0 52 0 0 0 16 0 19 0 902493264 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23936] ppid=23908 vsize=10544272 CPUtime=13.95 cores=0,2,4,6
/proc/23910/task/23936/stat : 23936 (java) S 23908 23910 22218 0 -1 4202560 13575 0 0 0 1387 8 0 0 15 0 19 0 902493268 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 0 0 16800975 18446604453874160896 0 0 -1 4 0 0 0
[pid=23910/tid=23937] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23937/stat : 23937 (java) S 23908 23910 22218 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902493269 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23939] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23939/stat : 23939 (java) S 23908 23910 22218 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902493269 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 4
[pid=23910/tid=23941] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23941/stat : 23941 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902493275 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458768817 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23943] ppid=23908 vsize=10544272 CPUtime=0.2 cores=0,2,4,6
/proc/23910/task/23943/stat : 23943 (java) S 23908 23910 22218 0 -1 4202560 994 0 1 0 20 0 0 0 15 0 19 0 902493275 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23945] ppid=23908 vsize=10544272 CPUtime=0.43 cores=0,2,4,6
/proc/23910/task/23945/stat : 23945 (java) S 23908 23910 22218 0 -1 4202560 2490 0 1 0 43 0 0 0 15 0 19 0 902493275 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23947] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23947/stat : 23947 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902493275 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23949] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23949/stat : 23949 (java) S 23908 23910 22218 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 902493275 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 4 0 16800975 18446604453874160896 0 0 -1 0 0 0 0
[pid=23910/tid=23951] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23951/stat : 23951 (java) S 23908 23910 22218 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902493296 10797334528 44712 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 10544272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.8 s]
/proc/loadavg: 2.00 1.99 1.88 2/191 24005
/proc/meminfo: memFree=1362680/32951124 swapFree=67064380/67111528
[pid=23910] ppid=23908 vsize=10544272 CPUtime=1800.07 cores=0,2,4,6
/proc/23910/stat : 23910 (java) S 23908 23910 22218 0 -1 4202496 47114 0 54 0 179990 17 0 0 18 0 19 0 902493262 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23910/statm: 2636068 44713 2252 9 0 2626802 0
[pid=23910/tid=23916] ppid=23908 vsize=10544272 CPUtime=1781.02 cores=0,2,4,6
/proc/23910/task/23916/stat : 23916 (java) R 23908 23910 22218 0 -1 4202560 17427 0 52 0 178098 4 0 0 25 0 19 0 902493262 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 46912505800737 0 4 0 16800975 0 0 0 -1 2 0 0 9
[pid=23910/tid=23919] ppid=23908 vsize=10544272 CPUtime=0.53 cores=0,2,4,6
/proc/23910/task/23919/stat : 23919 (java) S 23908 23910 22218 0 -1 4202560 1831 0 0 0 53 0 0 0 15 0 19 0 902493264 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23920] ppid=23908 vsize=10544272 CPUtime=0.55 cores=0,2,4,6
/proc/23910/task/23920/stat : 23920 (java) S 23908 23910 22218 0 -1 4202560 2468 0 0 0 55 0 0 0 15 0 19 0 902493264 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23921] ppid=23908 vsize=10544272 CPUtime=0.55 cores=0,2,4,6
/proc/23910/task/23921/stat : 23921 (java) S 23908 23910 22218 0 -1 4202560 1519 0 0 0 55 0 0 0 15 0 19 0 902493264 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23922] ppid=23908 vsize=10544272 CPUtime=0.53 cores=0,2,4,6
/proc/23910/task/23922/stat : 23922 (java) S 23908 23910 22218 0 -1 4202560 601 0 0 0 53 0 0 0 15 0 19 0 902493264 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23923] ppid=23908 vsize=10544272 CPUtime=0.54 cores=0,2,4,6
/proc/23910/task/23923/stat : 23923 (java) S 23908 23910 22218 0 -1 4202560 942 0 0 0 54 0 0 0 15 0 19 0 902493264 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23924] ppid=23908 vsize=10544272 CPUtime=0.52 cores=0,2,4,6
/proc/23910/task/23924/stat : 23924 (java) S 23908 23910 22218 0 -1 4202560 1470 0 0 0 52 0 0 0 15 0 19 0 902493264 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 0 0 0 0
[pid=23910/tid=23925] ppid=23908 vsize=10544272 CPUtime=0.5 cores=0,2,4,6
/proc/23910/task/23925/stat : 23925 (java) S 23908 23910 22218 0 -1 4202560 1034 0 0 0 50 0 0 0 15 0 19 0 902493264 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 0 0 0 0
[pid=23910/tid=23926] ppid=23908 vsize=10544272 CPUtime=0.53 cores=0,2,4,6
/proc/23910/task/23926/stat : 23926 (java) S 23908 23910 22218 0 -1 4202560 1503 0 0 0 53 0 0 0 16 0 19 0 902493264 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23936] ppid=23908 vsize=10544272 CPUtime=14.06 cores=0,2,4,6
/proc/23910/task/23936/stat : 23936 (java) S 23908 23910 22218 0 -1 4202560 13575 0 0 0 1398 8 0 0 15 0 19 0 902493268 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 0 0 16800975 18446604453874160896 0 0 -1 4 0 0 0
[pid=23910/tid=23937] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23937/stat : 23937 (java) S 23908 23910 22218 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 902493269 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23939] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23939/stat : 23939 (java) S 23908 23910 22218 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 902493269 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 4
[pid=23910/tid=23941] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23941/stat : 23941 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902493275 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458768817 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23943] ppid=23908 vsize=10544272 CPUtime=0.2 cores=0,2,4,6
/proc/23910/task/23943/stat : 23943 (java) S 23908 23910 22218 0 -1 4202560 994 0 1 0 20 0 0 0 15 0 19 0 902493275 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23945] ppid=23908 vsize=10544272 CPUtime=0.43 cores=0,2,4,6
/proc/23910/task/23945/stat : 23945 (java) S 23908 23910 22218 0 -1 4202560 2490 0 1 0 43 0 0 0 15 0 19 0 902493275 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 2 0 0 0
[pid=23910/tid=23947] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23947/stat : 23947 (java) S 23908 23910 22218 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902493275 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761113 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
[pid=23910/tid=23949] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23949/stat : 23949 (java) S 23908 23910 22218 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 902493275 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 4 0 16800975 18446604453874160896 0 0 -1 0 0 0 0
[pid=23910/tid=23951] ppid=23908 vsize=10544272 CPUtime=0 cores=0,2,4,6
/proc/23910/task/23951/stat : 23951 (java) S 23908 23910 22218 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902493296 10797334528 44713 33554432000 1073741824 1073778376 140733412924384 18446744073709551615 244458761728 0 4 0 16800975 18446604453874160896 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10544272

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

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

Child status: 143
Real time (s): 1796.85
CPU time (s): 1800.15
CPU user time (s): 1799.97
CPU system time (s): 0.179972
CPU usage (%): 100.183
Max. virtual memory (cumulated for all children) (KiB): 10546840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47437
page faults= 54
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47123
involuntary context switches= 29004

runsolver used 3.33049 second user time and 6.52001 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-12 22:02:08
IDJOB=3492278
IDBENCH=78720
IDSOLVER=1982
FILE ID=node105/3492278-1307908928
RUNJOBID= node105-1307908928-23887
PBS_JOBID= 13559597
Free space on /var/tmp= 2892 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40--soft-33-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492278-1307908928/watcher-3492278-1307908928 -o /var/tmp/evaluation-result-3492278-1307908928/solver-3492278-1307908928 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492278-1307908928.wbo

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

MD5SUM BENCH= 0c8d4a99d65aef93f7efad0563f57408
RANDOM SEED=744414637

node105.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.825
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.65
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.825
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.825
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.82
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.825
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.825
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	: 5410.70
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.825
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.825
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.82
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.825
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1544236 kB
Buffers:         57664 kB
Cached:       30371168 kB
SwapCached:      19872 kB
Active:       15304480 kB
Inactive:     15152516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1544236 kB
SwapTotal:    67111528 kB
SwapFree:     67064380 kB
Dirty:             408 kB
Writeback:           0 kB
AnonPages:       26168 kB
Mapped:          10080 kB
Slab:           885900 kB
PageTables:       4336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   157592 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 /var/tmp at the end= 2888 MiB
End job on node105 at 2011-06-12 22:32:07