Trace number 3731527

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23SAT (TO)213 1800.05 1767.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
MD5SUM1e2b8f542cc5dec610d6e9b4663a878b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark189
Best CPU time to get the best result obtained on this benchmark1796.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 183
Optimality of the best value was proved NO
Number of variables473
Total number of constraints472
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints472
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 473
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 473
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 473
Number of bits of the biggest sum of numbers9
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.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.06/0.10	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.06/0.10	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.06/0.10	c no version file found!!!
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version	1.6.0_24
0.06/0.10	c os.name	Linux
0.06/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch	amd64
0.06/0.10	c Free memory 1599470296
0.06/0.10	c Max memory 1607860224
0.06/0.10	c Total memory 1607860224
0.06/0.10	c Number of processors 8
0.06/0.13	--- Begin Solver configuration ---
0.06/0.13	c Stops conflict analysis at the first Unique Implication Point
0.06/0.13	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.06/0.13	c Learn all clauses as in MiniSAT
0.06/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.13	c VSIDS like heuristics from MiniSAT using a heap
0.06/0.13	c No reason simplification
0.06/0.13	c --- End Solver configuration ---
0.06/0.13	c solving HOME/instance-3731527-1338686443.opb
0.06/0.13	c reading problem ... 
0.22/0.25	c ... done. Wall clock time 0.127s.
0.22/0.25	c CPU time (experimental) 0.21s.
0.22/0.25	c #vars     473
0.22/0.25	c #constraints  472
0.22/0.28	c SATISFIABLE
0.22/0.28	c OPTIMIZING...
0.22/0.28	c Got one! Elapsed wall clock time (in seconds):0.153
0.22/0.28	o 226
1.26/0.92	c Got one! Elapsed wall clock time (in seconds):0.799
1.26/0.92	o 225
1.62/1.21	c Got one! Elapsed wall clock time (in seconds):1.082
1.62/1.21	o 224
1.84/1.41	c Got one! Elapsed wall clock time (in seconds):1.287
1.84/1.41	o 223
2.31/1.80	c Got one! Elapsed wall clock time (in seconds):1.672
2.31/1.80	o 222
2.61/2.12	c Got one! Elapsed wall clock time (in seconds):1.994
2.61/2.12	o 221
4.26/3.76	c Got one! Elapsed wall clock time (in seconds):3.629
4.26/3.76	o 220
5.00/4.43	c Got one! Elapsed wall clock time (in seconds):4.305
5.00/4.43	o 219
5.40/4.72	c Got one! Elapsed wall clock time (in seconds):4.59
5.40/4.72	o 218
11.49/10.45	c Got one! Elapsed wall clock time (in seconds):10.321
11.49/10.45	o 217
26.14/24.28	c Got one! Elapsed wall clock time (in seconds):24.155
26.14/24.28	o 216
180.41/174.16	c cleaning 481227 clauses out of 962474 for limit 1.6706911786309219E12
187.01/180.65	c cleaning 248615 clauses out of 497247 for limit 0.2896685855035368
190.08/183.61	c cleaning 131809 clauses out of 263633 for limit 1801295.3195472837
190.58/184.10	c cleaning 66155 clauses out of 132324 for limit 5918367.902676957
192.36/185.84	c cleaning 40074 clauses out of 80168 for limit 1.181870396638005E13
192.66/186.10	c cleaning 20286 clauses out of 40594 for limit 3.849150954075879E13
192.75/186.26	c cleaning 10396 clauses out of 20810 for limit 1.2407366788579164E14
194.65/188.06	c cleaning 12448 clauses out of 24913 for limit 2.0678159684019173
194.75/188.16	c cleaning 6475 clauses out of 12964 for limit 6.546667223499592
194.84/188.23	c cleaning 3488 clauses out of 6990 for limit 20.043451571104516
196.49/189.86	c cleaning 8992 clauses out of 18001 for limit 1.5528848979468456E7
196.59/189.93	c cleaning 4746 clauses out of 9511 for limit 4.856625627080046E7
196.59/189.98	c cleaning 2622 clauses out of 5263 for limit 1.4444892106122467E8
196.69/190.03	c cleaning 1563 clauses out of 3142 for limit 3.994219157900439E8
196.69/190.08	c cleaning 1027 clauses out of 2078 for limit 9.949789735987192E8
198.33/191.60	c cleaning 7775 clauses out of 15551 for limit 2.6553504582448853E14
198.33/191.68	c cleaning 4133 clauses out of 8277 for limit 8.235644909364621E14
198.43/191.74	c cleaning 2313 clauses out of 4643 for limit 2.4187626847243535E15
198.43/191.78	c cleaning 1404 clauses out of 2830 for limit 6.544272805327067E15
198.53/191.83	c cleaning 958 clauses out of 1926 for limit 1.585796426416336E16
198.53/191.88	c cleaning 728 clauses out of 1469 for limit 3.4321978949899463E-4
200.20/193.45	c cleaning 7608 clauses out of 15242 for limit 66.13135086816071
200.30/193.52	c cleaning 4061 clauses out of 8132 for limit 204.0040761034556
200.30/193.58	c cleaning 2280 clauses out of 4571 for limit 598.5230503272328
201.85/195.09	c cleaning 7637 clauses out of 15291 for limit 7.967265244219822E7
201.95/195.17	c cleaning 4067 clauses out of 8154 for limit 2.4639412255784452E8
202.05/195.22	c cleaning 2285 clauses out of 4587 for limit 7.223176016805385E8
202.05/195.26	c cleaning 1401 clauses out of 2803 for limit 1.951300874475348E9
203.72/196.84	c cleaning 7943 clauses out of 15901 for limit 6.862922756363935E14
203.82/196.91	c cleaning 4230 clauses out of 8460 for limit 2.1315135408952798E15
203.82/196.96	c cleaning 2364 clauses out of 4729 for limit 6.282182088011932E15
205.57/198.69	c cleaning 9172 clauses out of 18365 for limit 144.9029695824578
205.67/198.78	c cleaning 4841 clauses out of 9692 for limit 452.35165987119274
205.77/198.84	c cleaning 2664 clauses out of 5351 for limit 1351.1716667523567
205.77/198.88	c cleaning 1585 clauses out of 3187 for limit 3741.2721776002377
207.72/200.73	c cleaning 9292 clauses out of 18602 for limit 1.5614996312717745E10
207.82/200.80	c cleaning 4906 clauses out of 9812 for limit 4.89180230194467E10
207.82/200.85	c cleaning 2702 clauses out of 5405 for limit 1.46302623360721E11
207.82/200.89	c cleaning 1601 clauses out of 3203 for limit 4.071428010763211E11
207.92/200.94	c cleaning 1050 clauses out of 2101 for limit 1.0225840670718329E12
209.67/202.61	c cleaning 8514 clauses out of 17051 for limit 0.011286612218767055
209.67/202.68	c cleaning 4505 clauses out of 9037 for limit 0.03511923629145282
209.77/202.74	c cleaning 2509 clauses out of 5032 for limit 0.10401227605403268
209.77/202.79	c cleaning 1502 clauses out of 3024 for limit 0.28571552825295377
211.64/204.57	c cleaning 9253 clauses out of 18521 for limit 1135316.2288803856
211.74/204.66	c cleaning 4876 clauses out of 9768 for limit 3550025.8363464777
211.83/204.71	c cleaning 2690 clauses out of 5392 for limit 1.060579353055521E7
213.60/206.41	c cleaning 9601 clauses out of 19202 for limit 4.399373734831783E13
213.60/206.48	c cleaning 5041 clauses out of 10102 for limit 1.3804489718291023E14
213.70/206.53	c cleaning 2772 clauses out of 5560 for limit 4.132133131657045E14
213.70/206.58	c cleaning 1634 clauses out of 3288 for limit 1.1523202002635595E15
215.36/208.11	c cleaning 8071 clauses out of 16154 for limit 4.6843100053439946
215.36/208.18	c cleaning 4287 clauses out of 8583 for limit 14.539265987079434
215.46/208.23	c cleaning 2393 clauses out of 4796 for limit 42.90997948349529
215.46/208.28	c cleaning 1443 clauses out of 2903 for limit 116.90856573007855
215.56/208.33	c cleaning 974 clauses out of 1961 for limit 285.69732457662127
217.14/209.84	c cleaning 6985 clauses out of 13986 for limit 1.782004488724555E7
217.26/209.91	c cleaning 3745 clauses out of 7502 for limit 5.484229954523045E7
217.26/209.97	c cleaning 2123 clauses out of 4257 for limit 1.5938408485780907E8
219.12/211.75	c cleaning 8562 clauses out of 17134 for limit 1.3042668347197255E14
219.22/211.82	c cleaning 4524 clauses out of 9072 for limit 4.06235674299716E14
219.22/211.88	c cleaning 2518 clauses out of 5047 for limit 1.2030098163645795E15
219.32/211.93	c cleaning 1505 clauses out of 3030 for limit 3.30788380742952E15
219.32/211.99	c cleaning 1005 clauses out of 2025 for limit 8.162510145810857E15
220.86/213.45	c cleaning 7251 clauses out of 14519 for limit 8.35192323354512
220.95/213.53	c cleaning 3878 clauses out of 7768 for limit 25.743634998143534
220.95/213.59	c cleaning 2188 clauses out of 4390 for limit 75.12257273956048
221.05/213.64	c cleaning 1341 clauses out of 2703 for limit 201.40921010045585
221.05/213.69	c cleaning 923 clauses out of 1863 for limit 482.3951311689398
222.70/215.28	c cleaning 7460 clauses out of 14938 for limit 7.271418290779608E7
222.80/215.36	c cleaning 3979 clauses out of 7978 for limit 2.2452951509472853E8
222.90/215.42	c cleaning 2244 clauses out of 4500 for limit 6.571210136215669E8
222.90/215.48	c cleaning 1368 clauses out of 2756 for limit 1.7694347125990314E9
224.54/217.07	c cleaning 7681 clauses out of 15387 for limit 3.8343356449007944E14
224.64/217.14	c cleaning 4092 clauses out of 8206 for limit 1.1856826230737582E15
224.64/217.20	c cleaning 2300 clauses out of 4614 for limit 3.4775890884445305E15
224.74/217.25	c cleaning 1407 clauses out of 2815 for limit 9.409528332815934E15
224.74/217.29	c cleaning 953 clauses out of 1907 for limit 2.288320944765444E16
226.29/218.73	c cleaning 6719 clauses out of 13455 for limit 8.766285560059657
226.40/218.80	c cleaning 3611 clauses out of 7235 for limit 26.85852480316302
226.40/218.87	c cleaning 2053 clauses out of 4125 for limit 77.76553011130433
226.50/218.93	c cleaning 1275 clauses out of 2572 for limit 205.68187016529978
228.14/220.52	c cleaning 7140 clauses out of 14297 for limit 1.6476885425748553E7
228.14/220.59	c cleaning 3821 clauses out of 7656 for limit 5.069200738070486E7
228.24/220.65	c cleaning 2161 clauses out of 4337 for limit 1.478689205810083E8
228.34/220.71	c cleaning 1333 clauses out of 2675 for limit 3.9496982142974603E8
228.34/220.77	c cleaning 914 clauses out of 1841 for limit 9.454864009669933E8
229.79/222.20	c cleaning 6708 clauses out of 13427 for limit 3.5004772666232164E13
229.89/222.28	c cleaning 3609 clauses out of 7219 for limit 1.0737052969666786E14
229.99/222.34	c cleaning 2055 clauses out of 4111 for limit 3.112469178305256E14
230.09/222.40	c cleaning 1278 clauses out of 2556 for limit 8.25557968653048E14
230.09/222.47	c Got one! Elapsed wall clock time (in seconds):222.34
230.09/222.47	o 215
232.04/224.35	c cleaning 12105 clauses out of 24223 for limit 8127.428338535851
232.14/224.42	c cleaning 6303 clauses out of 12618 for limit 25730.394330095944
232.23/224.54	c cleaning 3403 clauses out of 6815 for limit 78564.6159610485
234.19/226.45	c cleaning 10203 clauses out of 20412 for limit 6.390097000861206E11
234.30/226.51	c cleaning 5354 clauses out of 10708 for limit 2.0068089217660657E12
234.30/226.56	c cleaning 2928 clauses out of 5857 for limit 6.068740731029366E12
245.91/237.72	c Got one! Elapsed wall clock time (in seconds):237.596
245.91/237.72	o 214
400.99/388.50	c cleaning 448281 clauses out of 896580 for limit 0.07944491850091863
408.09/395.64	c cleaning 224396 clauses out of 448800 for limit 0.26199482990586676
411.17/398.65	c cleaning 119444 clauses out of 238902 for limit 981019.1467135878
411.87/399.34	c cleaning 59975 clauses out of 119958 for limit 3221988.157429894
414.75/402.16	c cleaning 37982 clauses out of 75983 for limit 4.5564342096396266E13
417.47/404.76	c cleaning 25742 clauses out of 51501 for limit 0.4936678307131405
417.66/404.96	c cleaning 13122 clauses out of 26260 for limit 1.5982553495405623
417.76/405.07	c cleaning 6807 clauses out of 13638 for limit 5.0751173578037045
419.53/406.70	c cleaning 9159 clauses out of 18330 for limit 374528.78350443987
419.53/406.79	c cleaning 4828 clauses out of 9672 for limit 1171714.4231112257
419.63/406.86	c cleaning 2662 clauses out of 5343 for limit 3494413.2607235187
421.30/408.46	c cleaning 7341 clauses out of 14682 for limit 2.0842510031839124E11
421.40/408.53	c cleaning 3920 clauses out of 7841 for limit 6.436053893529055E11
421.40/408.59	c cleaning 2200 clauses out of 4421 for limit 1.882463213235532E12
421.50/408.64	c cleaning 1352 clauses out of 2720 for limit 5.040800203687366E12
423.16/410.21	c cleaning 7176 clauses out of 14368 for limit 0.004249375710154704
423.16/410.28	c cleaning 3837 clauses out of 7693 for limit 0.013101352047665625
423.26/410.34	c cleaning 2167 clauses out of 4355 for limit 0.038128091312894075
424.90/411.99	c cleaning 8086 clauses out of 16188 for limit 12422.381567683262
425.00/412.07	c cleaning 4295 clauses out of 8603 for limit 38586.77978747883
425.10/412.14	c cleaning 2393 clauses out of 4807 for limit 113772.08381771157
426.96/413.93	c cleaning 8450 clauses out of 16915 for limit 6.463876760090605E10
427.06/414.01	c cleaning 4475 clauses out of 8964 for limit 2.009484206011105E11
427.06/414.08	c cleaning 2486 clauses out of 4989 for limit 5.954274167013488E11
428.60/415.55	c cleaning 6747 clauses out of 13504 for limit 1.3256959474110215E-4
428.70/415.62	c cleaning 3624 clauses out of 7256 for limit 4.0647183596243365E-4
430.74/417.66	c cleaning 8560 clauses out of 17132 for limit 126.42373498142253
430.84/417.75	c cleaning 4528 clauses out of 9073 for limit 394.0725374389672
430.94/417.82	c cleaning 2515 clauses out of 5045 for limit 1168.7504676152519
432.80/419.63	c cleaning 8258 clauses out of 16530 for limit 4.31991250635523E8
432.90/419.71	c cleaning 4378 clauses out of 8771 for limit 1.3412819144275727E9
432.90/419.77	c cleaning 2441 clauses out of 4893 for limit 3.965060798140715E9
433.00/419.82	c cleaning 1468 clauses out of 2952 for limit 1.0838385665072325E10
434.89/421.61	c cleaning 8235 clauses out of 16484 for limit 6.392856531834754E-5
434.89/421.69	c cleaning 4373 clauses out of 8750 for limit 1.9881077109500054E-4
434.99/421.74	c cleaning 2427 clauses out of 4876 for limit 5.877675981459534E-4
434.99/421.78	c cleaning 1467 clauses out of 2949 for limit 0.001602693414679508
436.95/423.66	c cleaning 8732 clauses out of 17483 for limit 2423.9974771874886
437.05/423.74	c cleaning 4615 clauses out of 9251 for limit 7554.667020227531
437.15/423.81	c cleaning 2555 clauses out of 5135 for limit 22422.546605602525
437.15/423.86	c cleaning 1531 clauses out of 3081 for limit 61691.32296839826
439.61/426.24	c cleaning 10767 clauses out of 21549 for limit 4.31806951419466E12
439.71/426.33	c cleaning 5635 clauses out of 11282 for limit 1.360149174555133E13
439.71/426.38	c cleaning 3073 clauses out of 6147 for limit 4.116852541180688E13
439.81/426.42	c cleaning 1788 clauses out of 3576 for limit 1.1693807090461703E14
439.81/426.46	c cleaning 1143 clauses out of 2287 for limit 3.012372303075553E14
439.91/426.50	c cleaning 822 clauses out of 1645 for limit 6.913521328179964E14
442.09/428.69	c cleaning 10404 clauses out of 20821 for limit 267.1345626297509
442.19/428.77	c cleaning 5452 clauses out of 10919 for limit 841.7317531542963
442.29/428.83	c cleaning 2976 clauses out of 5965 for limit 2535.905070627286
442.29/428.87	c cleaning 1737 clauses out of 3490 for limit 7154.9797986654385
442.39/428.91	c cleaning 1120 clauses out of 2252 for limit 18267.82438489183
444.43/430.94	c cleaning 9816 clauses out of 19634 for limit 2.293946422705439E11
444.53/431.02	c cleaning 5150 clauses out of 10317 for limit 7.192170952077224E11
444.53/431.07	c cleaning 2826 clauses out of 5666 for limit 2.1575369255840894E12
444.65/431.11	c cleaning 1664 clauses out of 3341 for limit 6.040164000476753E12
444.65/431.15	c cleaning 1082 clauses out of 2177 for limit 1.5287014031485707E13
444.65/431.20	c cleaning 792 clauses out of 1594 for limit 3.439649192420269E13
446.80/433.27	c cleaning 9393 clauses out of 18803 for limit 1.9338454658071922
446.91/433.34	c cleaning 4946 clauses out of 9909 for limit 6.045614619143499
446.91/433.40	c cleaning 2725 clauses out of 5464 for limit 18.098808960170018
447.01/433.45	c cleaning 1610 clauses out of 3240 for limit 50.38555830206685
447.01/433.49	c cleaning 1059 clauses out of 2128 for limit 126.2601570550094
447.10/433.54	c cleaning 777 clauses out of 1569 for limit 282.40403149817047
449.33/435.71	c cleaning 10636 clauses out of 21293 for limit 1.6833827047854683E10
449.43/435.80	c cleaning 5569 clauses out of 11156 for limit 5.293374057807942E10
449.43/435.85	c cleaning 3033 clauses out of 6087 for limit 1.599903083683059E11
449.43/435.89	c cleaning 1765 clauses out of 3555 for limit 4.5221792295816693E11
449.53/435.93	c cleaning 1134 clauses out of 2289 for limit 1.15707885875404E12
449.53/435.97	c cleaning 818 clauses out of 1656 for limit 2.6402121030008096E12
449.63/436.01	c cleaning 669 clauses out of 1338 for limit 5.388885097366945E12
451.48/437.84	c cleaning 9074 clauses out of 18169 for limit 0.1594336752123869
451.57/437.91	c cleaning 4790 clauses out of 9594 for limit 0.4974308812834484
451.57/437.97	c cleaning 2647 clauses out of 5304 for limit 1.4838323295139313
451.67/438.02	c cleaning 1568 clauses out of 3157 for limit 4.111209892639277
451.67/438.07	c cleaning 1039 clauses out of 2089 for limit 10.246172864130465
451.77/438.10	c cleaning 768 clauses out of 1550 for limit 22.773212962345475
453.91/440.22	c cleaning 11641 clauses out of 23283 for limit 9.071236601650648E9
453.91/440.29	c cleaning 6061 clauses out of 12142 for limit 2.868607247091916E10
454.01/440.34	c cleaning 3281 clauses out of 6580 for limit 8.720809533788866E10
454.01/440.37	c cleaning 1891 clauses out of 3799 for limit 2.49097453888425E11
454.11/440.41	c cleaning 1196 clauses out of 2409 for limit 6.484734217168931E11
454.11/440.45	c cleaning 851 clauses out of 1713 for limit 1.5039295922551282E12
454.11/440.49	c cleaning 673 clauses out of 1363 for limit 3.120178290328213E12
454.21/440.52	c cleaning 587 clauses out of 1188 for limit 5.89176870714429E12
454.21/440.55	c cleaning 550 clauses out of 1101 for limit 1.0484088977601516E13
454.21/440.58	c cleaning 525 clauses out of 1051 for limit 1.811219928800754E13
455.96/442.28	c cleaning 8506 clauses out of 17027 for limit 0.1653158715744443
456.05/442.35	c cleaning 4502 clauses out of 9022 for limit 0.5150391744065593
456.15/442.41	c cleaning 2500 clauses out of 5018 for limit 1.5240502707306114
456.15/442.45	c cleaning 1499 clauses out of 3019 for limit 4.181742004079608
456.25/442.50	c cleaning 1002 clauses out of 2020 for limit 10.306824134785824
456.25/442.54	c cleaning 753 clauses out of 1518 for limit 22.618320340885038
458.10/444.40	c cleaning 9628 clauses out of 19265 for limit 1.947291320822431E8
458.20/444.46	c cleaning 5068 clauses out of 10136 for limit 6.097540799078906E8
458.30/444.51	c cleaning 2784 clauses out of 5568 for limit 1.830534747627154E9
458.30/444.55	c cleaning 1642 clauses out of 3285 for limit 5.121913369424498E9
458.30/444.58	c cleaning 1063 clauses out of 2142 for limit 1.2941049884241745E10
458.40/444.62	c cleaning 780 clauses out of 1579 for limit 2.8950944367324665E10
458.40/444.67	c cleaning 642 clauses out of 1299 for limit 5.803521540752845E10
460.76/446.93	c cleaning 11568 clauses out of 23158 for limit 0.1947821383990652
460.86/447.00	c cleaning 6034 clauses out of 12089 for limit 0.6147254260689553
460.86/447.06	c cleaning 3268 clauses out of 6555 for limit 1.869626026897136
460.96/447.11	c cleaning 1883 clauses out of 3789 for limit 5.344754314230467
460.96/447.17	c cleaning 1193 clauses out of 2404 for limit 13.864517233386191
461.06/447.21	c cleaning 847 clauses out of 1712 for limit 32.13851854553518
461.06/447.25	c cleaning 678 clauses out of 1365 for limit 66.47415871106399
463.52/449.65	c cleaning 12089 clauses out of 24187 for limit 6.098600511417159E10
463.62/449.73	c cleaning 6292 clauses out of 12597 for limit 1.9291519502506494E11
463.62/449.78	c cleaning 3398 clauses out of 6807 for limit 5.899330475234647E11
463.73/449.82	c cleaning 1945 clauses out of 3908 for limit 1.692876578530061E12
463.73/449.87	c cleaning 1220 clauses out of 2463 for limit 4.429669522034395E12
463.83/449.91	c cleaning 871 clauses out of 1742 for limit 1.031831930190903E13
465.87/451.93	c cleaning 9928 clauses out of 19872 for limit 1.6314499439764314
465.98/452.01	c cleaning 5215 clauses out of 10443 for limit 5.114597111951863
465.98/452.07	c cleaning 2856 clauses out of 5728 for limit 15.37763628892701
466.08/452.13	c cleaning 1678 clauses out of 3373 for limit 43.10887126071652
466.08/452.17	c cleaning 1090 clauses out of 2195 for limit 109.24570088002822
466.17/452.21	c cleaning 792 clauses out of 1604 for limit 246.2951677407637
468.11/454.18	c cleaning 10152 clauses out of 20313 for limit 5.784959085296965E9
468.21/454.27	c cleaning 5324 clauses out of 10661 for limit 1.817742259170686E10
468.31/454.32	c cleaning 2909 clauses out of 5837 for limit 5.475155283644992E10
468.31/454.37	c cleaning 1707 clauses out of 3427 for limit 1.5363614628295288E11
468.41/454.41	c cleaning 1101 clauses out of 2220 for limit 3.911203582352286E11
468.41/454.45	c cleaning 810 clauses out of 1620 for limit 8.847870972226606E11
470.27/456.25	c cleaning 8894 clauses out of 17809 for limit 0.01958754051993336
470.37/456.32	c cleaning 4699 clauses out of 9416 for limit 0.06115660815698682
470.37/456.38	c cleaning 2601 clauses out of 5217 for limit 0.18203080549469833
470.48/456.42	c cleaning 1545 clauses out of 3115 for limit 0.5022605314278767
470.48/456.46	c cleaning 1028 clauses out of 2072 for limit 1.2477347262911078
470.48/456.50	c cleaning 763 clauses out of 1542 for limit 2.7593990035275624
470.58/456.54	c cleaning 632 clauses out of 1280 for limit 5.487560305795412
470.58/456.57	c cleaning 564 clauses out of 1147 for limit 10.088979346060162
473.04/458.93	c cleaning 12783 clauses out of 25585 for limit 3.304369489793675E10
473.14/459.05	c cleaning 6641 clauses out of 13301 for limit 1.0471553276040057E11
473.24/459.10	c cleaning 3569 clauses out of 7159 for limit 3.205268480794634E11
473.24/459.14	c cleaning 2033 clauses out of 4090 for limit 9.252292506648491E11
473.24/459.19	c cleaning 1271 clauses out of 2557 for limit 2.4406068244197764E12
473.34/459.23	c cleaning 882 clauses out of 1786 for limit 5.762394427594728E12
473.34/459.27	c cleaning 694 clauses out of 1405 for limit 1.2092010368178453E13
475.30/461.19	c cleaning 10099 clauses out of 20211 for limit 2.49785156256385
475.40/461.25	c cleaning 5298 clauses out of 10611 for limit 7.83825682302833
475.50/461.31	c cleaning 2897 clauses out of 5813 for limit 23.59561860823868
475.50/461.35	c cleaning 1698 clauses out of 3416 for limit 66.21703275281016
475.60/461.40	c cleaning 1103 clauses out of 2218 for limit 168.18293334927662
475.60/461.44	c cleaning 799 clauses out of 1616 for limit 381.05924888924835
475.60/461.48	c cleaning 653 clauses out of 1317 for limit 771.0880551541949
475.70/461.52	c cleaning 575 clauses out of 1163 for limit 1438.5713639612063
475.70/461.55	c cleaning 535 clauses out of 1088 for limit 2535.9349982890103
475.70/461.59	c cleaning 519 clauses out of 1053 for limit 4321.102105489653
477.97/463.71	c cleaning 10761 clauses out of 21534 for limit 2.816082964797422E11
477.97/463.79	c cleaning 5627 clauses out of 11273 for limit 8.871285050897773E11
478.07/463.84	c cleaning 3061 clauses out of 6146 for limit 2.6834244482823994E12
478.07/463.89	c cleaning 1792 clauses out of 3585 for limit 7.586625652696208E12
478.17/463.94	c cleaning 1146 clauses out of 2293 for limit 1.9560936689741242E13
478.17/463.98	c cleaning 823 clauses out of 1647 for limit 4.491133761289634E13
478.27/464.02	c cleaning 663 clauses out of 1326 for limit 9.217878420490216E13
480.20/465.92	c cleaning 9326 clauses out of 18662 for limit 4.335046249430247
480.30/466.00	c cleaning 4911 clauses out of 9837 for limit 13.57624440403558
480.30/466.05	c cleaning 2703 clauses out of 5424 for limit 40.523738266459375
480.40/466.10	c cleaning 1599 clauses out of 3221 for limit 112.53674376040563
480.40/466.14	c cleaning 1056 clauses out of 2122 for limit 281.7056626745372
480.40/466.19	c cleaning 775 clauses out of 1566 for limit 629.5135547929426
480.50/466.24	c cleaning 638 clauses out of 1291 for limit 1259.2921273475033
482.36/468.02	c cleaning 8568 clauses out of 17154 for limit 1.401412890474428E9
482.36/468.09	c cleaning 4532 clauses out of 9085 for limit 4.359412420652297E9
482.46/468.14	c cleaning 2526 clauses out of 5053 for limit 1.292586088936875E10
482.46/468.19	c cleaning 1513 clauses out of 3027 for limit 3.558379322688106E10
482.56/468.24	c cleaning 1007 clauses out of 2014 for limit 8.81984765599777E10
482.56/468.29	c cleaning 743 clauses out of 1507 for limit 1.9438519500504932E11
484.33/469.96	c cleaning 8373 clauses out of 16764 for limit 0.0015652624579817562
484.43/470.03	c cleaning 4439 clauses out of 8891 for limit 0.004867098078709747
484.43/470.08	c cleaning 2469 clauses out of 4952 for limit 0.014411061090085574
484.53/470.12	c cleaning 1484 clauses out of 2985 for limit 0.03950546429701652
484.53/470.16	c cleaning 991 clauses out of 2001 for limit 0.09718747615349523
484.53/470.19	c cleaning 745 clauses out of 1508 for limit 0.21224766185766208
484.63/470.23	c cleaning 622 clauses out of 1263 for limit 0.4179235003074816
484.63/470.27	c cleaning 563 clauses out of 1142 for limit 0.7629998246112899
484.73/470.31	c cleaning 529 clauses out of 1078 for limit 1.3316593919115975
486.46/472.05	c cleaning 8764 clauses out of 17549 for limit 1992781.5863880655
486.56/472.11	c cleaning 4634 clauses out of 9285 for limit 6211350.754355248
486.56/472.16	c cleaning 2564 clauses out of 5151 for limit 1.8464276699125174E7
486.66/472.21	c cleaning 1533 clauses out of 3087 for limit 5.080928776739073E7
486.66/472.25	c cleaning 1018 clauses out of 2054 for limit 1.2593173428558813E8
486.66/472.29	c cleaning 761 clauses out of 1536 for limit 2.77715612178886E8
486.76/472.33	c cleaning 627 clauses out of 1275 for limit 5.517434839195434E8
488.51/474.07	c cleaning 8318 clauses out of 16649 for limit 3.7886295333116625E14
488.61/474.15	c cleaning 4409 clauses out of 8830 for limit 1.1768767017312442E15
488.61/474.20	c cleaning 2457 clauses out of 4922 for limit 3.485302343704101E-5
488.70/474.24	c cleaning 1477 clauses out of 2965 for limit 9.541425354096534E-5
488.70/474.29	c cleaning 989 clauses out of 1988 for limit 2.3468074685377332E-4
488.80/474.33	c cleaning 744 clauses out of 1498 for limit 5.131016409666923E-4
488.80/474.37	c cleaning 622 clauses out of 1254 for limit 0.0010108193976877287
490.56/476.05	c cleaning 8560 clauses out of 17132 for limit 1092.9676544634444
490.66/476.10	c cleaning 4530 clauses out of 9072 for limit 3403.832814093926
490.66/476.15	c cleaning 2516 clauses out of 5042 for limit 10100.06823710044
490.66/476.20	c cleaning 1510 clauses out of 3026 for limit 27753.26692150686
490.77/476.25	c cleaning 999 clauses out of 2016 for limit 68698.68048386282
490.77/476.29	c cleaning 752 clauses out of 1518 for limit 150611.29769907793
490.87/476.33	c cleaning 628 clauses out of 1268 for limit 297944.2298663855
490.87/476.38	c cleaning 560 clauses out of 1137 for limit 546318.7671082075
490.96/476.42	c cleaning 532 clauses out of 1078 for limit 951213.9750947736
492.60/478.06	c cleaning 8017 clauses out of 16045 for limit 3.4678096210536365E11
492.70/478.13	c cleaning 4264 clauses out of 8528 for limit 1.0759786746639083E12
492.70/478.17	c cleaning 2382 clauses out of 4764 for limit 3.1763985551859805E12
492.80/478.22	c cleaning 1441 clauses out of 2883 for limit 8.664679418039216E12
492.80/478.27	c cleaning 970 clauses out of 1941 for limit 2.1202788500477625E13
492.90/478.32	c cleaning 729 clauses out of 1471 for limit 4.613831512177715E13
494.57/479.90	c cleaning 7115 clauses out of 14242 for limit 0.034995513581834635
494.57/479.97	c cleaning 3807 clauses out of 7627 for limit 0.10776692563064764
494.67/480.03	c cleaning 2154 clauses out of 4320 for limit 0.31376997281193025
494.67/480.08	c cleaning 1326 clauses out of 2666 for limit 0.8384764492241487
494.77/480.14	c cleaning 915 clauses out of 1841 for limit 2.0044149080236098
494.77/480.19	c cleaning 706 clauses out of 1425 for limit 4.266265936497954
496.55/481.87	c cleaning 7100 clauses out of 14219 for limit 313980.50450480904
496.64/481.95	c cleaning 3805 clauses out of 7621 for limit 968020.7931818867
496.74/482.01	c cleaning 2151 clauses out of 4315 for limit 2816678.137647778
496.74/482.07	c cleaning 1325 clauses out of 2663 for limit 7519141.050216056
496.84/482.12	c cleaning 913 clauses out of 1839 for limit 1.7974137833985735E7
498.18/483.44	c cleaning 5962 clauses out of 11925 for limit 1.6671182727150247E11
498.28/483.52	c cleaning 3224 clauses out of 6463 for limit 5.072785870104406E11
498.28/483.57	c cleaning 1864 clauses out of 3739 for limit 1.446042669665226E12
498.38/483.63	c cleaning 1180 clauses out of 2375 for limit 3.754298902360299E12
498.38/483.68	c cleaning 847 clauses out of 1695 for limit 8.675183000823213E12
500.45/485.63	c cleaning 7168 clauses out of 14348 for limit 0.007526029714256777
500.55/485.70	c cleaning 3834 clauses out of 7681 for limit 0.0232075839617341
500.55/485.76	c cleaning 2167 clauses out of 4346 for limit 0.06757395662533089
500.65/485.81	c cleaning 1332 clauses out of 2680 for limit 0.18089421379479417
500.65/485.86	c cleaning 917 clauses out of 1848 for limit 0.432626770466526
500.75/485.90	c cleaning 706 clauses out of 1430 for limit 0.9210870878714942
500.75/485.95	c cleaning 606 clauses out of 1225 for limit 1.7749701007770777
502.28/487.41	c cleaning 6802 clauses out of 13618 for limit 71028.4522270244
502.28/487.47	c cleaning 3648 clauses out of 7316 for limit 218035.83187557073
502.38/487.53	c cleaning 2076 clauses out of 4168 for limit 631145.8699917227
502.38/487.58	c cleaning 1289 clauses out of 2592 for limit 1673702.8081140092
502.48/487.62	c cleaning 902 clauses out of 1805 for limit 3971559.252828386
502.48/487.67	c cleaning 693 clauses out of 1401 for limit 8421452.059793249
502.58/487.72	c cleaning 596 clauses out of 1209 for limit 1.6109765322533596E7
659.26/641.02	c Got one! Elapsed wall clock time (in seconds):640.891
659.26/641.02	o 213
740.39/720.44	c cleaning 462938 clauses out of 925892 for limit 2331175.3085067607
929.78/906.27	c cleaning 529465 clauses out of 1058955 for limit 189980.7453470899
1551.72/1525.13	c cleaning 516987 clauses out of 1033990 for limit 31641.768283510308
1747.99/1717.45	c cleaning 501493 clauses out of 1003003 for limit 4.855087094381109E-5
1800.05/1767.62	c starts		: 183
1800.05/1767.62	c conflicts		: 5853133
1800.05/1767.62	c decisions		: 7417544
1800.05/1767.62	c propagations		: 114134927
1800.05/1767.62	c inspects		: 3183566795
1800.05/1767.62	c learnt literals	: 0
1800.05/1767.62	c learnt binary clauses	: 0
1800.05/1767.62	c learnt ternary clauses	: 0
1800.05/1767.62	c learnt clauses	: 5853134
1800.05/1767.62	c root simplifications	: 0
1800.05/1767.62	c removed literals (reason simplification)	: 0
1800.05/1767.62	c reason swapping (by a shorter reason)	: 0
1800.05/1767.62	c Calls to reduceDB	: 339
1800.05/1767.62	c speed (decisions/second)	: 6584.026053682018
1800.05/1767.62	c non guided choices	56
1800.05/1767.62	s SATISFIABLE
1800.05/1767.62	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 
1800.05/1767.62	c objective function=213
1800.05/1767.62	c Total wall clock time (ms): 1767.492

Verifier Data 

OK	213

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731527-1338686443/watcher-3731527-1338686443 -o /tmp/evaluation-result-3731527-1338686443/solver-3731527-1338686443 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731527-1338686443.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.91 1.98 1.99 3/195 18013
/proc/meminfo: memFree=27583980/32873844 swapFree=7632/7632
[pid=18013] ppid=18011 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/18013/stat : 18013 (java) D 18011 18013 7849 0 -1 4202496 93 0 0 0 0 0 0 0 20 0 1 0 334769954 2560000 46 33554432000 1073741824 1073778376 140735051994016 140735051991144 214360485159 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/18013/statm: 625 46 37 9 0 29 0

[startup+0.0702249 s]
/proc/loadavg: 1.91 1.98 1.99 3/195 18013
/proc/meminfo: memFree=27583980/32873844 swapFree=7632/7632
[pid=18013] ppid=18011 vsize=2623916 CPUtime=0.04 cores=1,3,5,7
/proc/18013/stat : 18013 (java) S 18011 18013 7849 0 -1 4202496 3947 0 1 0 3 1 0 0 20 0 13 0 334769954 2686889984 5155 33554432000 1073741824 1073778376 140735476482000 140735476473136 214373007421 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18013/statm: 655979 5155 1708 9 0 646680 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2623916

[startup+0.100345 s]
/proc/loadavg: 1.91 1.98 1.99 3/195 18013
/proc/meminfo: memFree=27583980/32873844 swapFree=7632/7632
[pid=18013] ppid=18011 vsize=2956804 CPUtime=0.06 cores=1,3,5,7
/proc/18013/stat : 18013 (java) S 18011 18013 7849 0 -1 4202496 4114 0 1 0 5 1 0 0 20 0 18 0 334769954 3027767296 5833 33554432000 1073741824 1073778376 140735476482000 140735476473136 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18013/statm: 739201 5833 1781 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2956804

[startup+0.3003 s]
/proc/loadavg: 1.91 1.98 1.99 3/195 18013
/proc/meminfo: memFree=27583980/32873844 swapFree=7632/7632
[pid=18013] ppid=18011 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18013/stat : 18013 (java) S 18011 18013 7849 0 -1 4202496 6837 0 1 0 42 2 0 0 20 0 18 0 334769954 3097006080 9495 33554432000 1073741824 1073778376 140735476482000 140735476473136 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18013/statm: 756105 9495 2253 9 0 746526 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 3024420

[startup+0.700318 s]
/proc/loadavg: 1.91 1.98 1.99 3/195 18013
/proc/meminfo: memFree=27583980/32873844 swapFree=7632/7632
[pid=18013] ppid=18011 vsize=3024420 CPUtime=1.05 cores=1,3,5,7
/proc/18013/stat : 18013 (java) S 18011 18013 7849 0 -1 4202496 8128 0 1 0 101 4 0 0 20 0 19 0 334769954 3097006080 32207 33554432000 1073741824 1073778376 140735476482000 140735476473136 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18013/statm: 756105 32207 2261 9 0 746526 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 3024420

[startup+1.50079 s]
/proc/loadavg: 1.91 1.98 1.99 3/214 18034
/proc/meminfo: memFree=27375964/32873844 swapFree=7632/7632
[pid=18013] ppid=18011 vsize=3024420 CPUtime=1.97 cores=1,3,5,7
/proc/18013/stat : 18013 (java) S 18011 18013 7849 0 -1 4202496 8277 0 1 0 189 8 0 0 20 0 19 0 334769954 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140735476473136 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18013/statm: 756105 91114 2268 9 0 746526 0
[pid=18013/tid=18015] ppid=18011 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/18013/task/18015/stat : 18015 (java) R 18011 18013 7849 0 -1 4202560 3209 0 1 0 138 7 0 0 20 0 19 0 334769956 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062994059880 140062860256154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18016] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769958 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062859717032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18017] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769958 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062858664488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18018] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769958 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062857611432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18013/tid=18019] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769958 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062856558888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18020] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769958 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062855506856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18021] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769958 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062854454312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18022] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18022/stat : 18022 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769958 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062853401256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18023] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18023/stat : 18023 (java) S 18011 18013 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334769958 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062852348712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18024] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18024/stat : 18024 (java) S 18011 18013 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334769959 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062370019688 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18025] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18025/stat : 18025 (java) S 18011 18013 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334769960 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062368966008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18026] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18026/stat : 18026 (java) S 18011 18013 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334769960 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062367912840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18027] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18027/stat : 18027 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062366861584 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18028] ppid=18011 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/18013/task/18028/stat : 18028 (java) S 18011 18013 7849 0 -1 4202560 1829 0 0 0 23 0 0 0 20 0 19 0 334769963 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062365809464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18029] ppid=18011 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/18013/task/18029/stat : 18029 (java) S 18011 18013 7849 0 -1 4202560 2034 0 0 0 24 0 0 0 20 0 19 0 334769963 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062364756920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18030] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18030/stat : 18030 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062363704056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18031] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18031/stat : 18031 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 91114 33554432000 1073741824 1073778376 140735476482000 140062362651720 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 3024420

[startup+3.10075 s]
/proc/loadavg: 1.91 1.98 1.99 3/214 18037
/proc/meminfo: memFree=27133076/32873844 swapFree=7632/7632
[pid=18013] ppid=18011 vsize=3024420 CPUtime=3.66 cores=1,3,5,7
/proc/18013/stat : 18013 (java) S 18011 18013 7849 0 -1 4202496 8404 0 1 0 352 14 0 0 20 0 19 0 334769954 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140735476473136 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18013/statm: 756105 122366 2280 9 0 746526 0
[pid=18013/tid=18015] ppid=18011 vsize=3024420 CPUtime=3 cores=1,3,5,7
/proc/18013/task/18015/stat : 18015 (java) R 18011 18013 7849 0 -1 4202560 3252 0 1 0 291 9 0 0 20 0 19 0 334769956 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062994058496 140062860206555 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18016] ppid=18011 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 7849 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 334769958 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062859717032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18017] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 7849 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 334769958 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062858664488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18018] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 7849 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 334769958 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062857611432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18019] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 7849 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 334769958 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062856558888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18020] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 7849 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 334769958 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062855506856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18013/tid=18021] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 7849 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 334769958 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062854454312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18022] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18022/stat : 18022 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769958 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062853401256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18013/tid=18023] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18023/stat : 18023 (java) S 18011 18013 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334769958 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062852348712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18024] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18024/stat : 18024 (java) S 18011 18013 7849 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 334769959 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062370019688 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18025] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18025/stat : 18025 (java) S 18011 18013 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334769960 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062368966008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18026] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18026/stat : 18026 (java) S 18011 18013 7849 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334769960 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062367912840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18027] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18027/stat : 18027 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062366861584 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18028] ppid=18011 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/18013/task/18028/stat : 18028 (java) S 18011 18013 7849 0 -1 4202560 1829 0 0 0 23 0 0 0 20 0 19 0 334769963 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062365809464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18029] ppid=18011 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/18013/task/18029/stat : 18029 (java) S 18011 18013 7849 0 -1 4202560 2034 0 0 0 24 0 0 0 20 0 19 0 334769963 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062364756920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18030] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18030/stat : 18030 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062363704056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18031] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18031/stat : 18031 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 122366 33554432000 1073741824 1073778376 140735476482000 140062362651720 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 3024420

[startup+6.30079 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 18041
/proc/meminfo: memFree=27070768/32873844 swapFree=7632/7632
[pid=18013] ppid=18011 vsize=3024420 CPUtime=7.12 cores=1,3,5,7
/proc/18013/stat : 18013 (java) S 18011 18013 7849 0 -1 4202496 8895 0 1 0 687 25 0 0 20 0 19 0 334769954 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140735476473136 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18013/statm: 756105 138239 2281 9 0 746526 0
[pid=18013/tid=18015] ppid=18011 vsize=3024420 CPUtime=6.09 cores=1,3,5,7
/proc/18013/task/18015/stat : 18015 (java) R 18011 18013 7849 0 -1 4202560 3257 0 1 0 600 9 0 0 20 0 19 0 334769956 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062994057664 140062860206443 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18016] ppid=18011 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 7849 0 -1 4202560 30 0 0 0 2 2 0 0 20 0 19 0 334769958 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062859717032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18017] ppid=18011 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 7849 0 -1 4202560 24 0 0 0 2 2 0 0 20 0 19 0 334769958 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062858664488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18018] ppid=18011 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 7849 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 334769958 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062857611432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18019] ppid=18011 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 7849 0 -1 4202560 38 0 0 0 4 2 0 0 20 0 19 0 334769958 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062856558888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18020] ppid=18011 vsize=3024420 CPUtime=0.06 cores=1,3,5,7
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 7849 0 -1 4202560 35 0 0 0 3 3 0 0 20 0 19 0 334769958 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062855506856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18013/tid=18021] ppid=18011 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 7849 0 -1 4202560 23 0 0 0 1 2 0 0 20 0 19 0 334769958 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062854454312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18022] ppid=18011 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/18013/task/18022/stat : 18022 (java) S 18011 18013 7849 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 19 0 334769958 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062853401256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18013/tid=18023] ppid=18011 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/18013/task/18023/stat : 18023 (java) S 18011 18013 7849 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 19 0 334769958 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062852348712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18024] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18024/stat : 18024 (java) S 18011 18013 7849 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 334769959 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062370019688 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18025] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18025/stat : 18025 (java) S 18011 18013 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334769960 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062368966008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18026] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18026/stat : 18026 (java) S 18011 18013 7849 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 334769960 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062367912840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18027] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18027/stat : 18027 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062366861584 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18028] ppid=18011 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/18013/task/18028/stat : 18028 (java) S 18011 18013 7849 0 -1 4202560 1829 0 0 0 24 0 0 0 20 0 19 0 334769963 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062365809464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18029] ppid=18011 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/18013/task/18029/stat : 18029 (java) S 18011 18013 7849 0 -1 4202560 2385 0 0 0 29 0 0 0 20 0 19 0 334769963 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062364756920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18030] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18030/stat : 18030 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062363704056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18031] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18031/stat : 18031 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062362651720 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18041] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18041/stat : 18041 (java) S 18011 18013 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334770427 3097006080 138239 33554432000 1073741824 1073778376 140735476482000 140062360519848 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]
/proc/loadavg: 2.25 2.04 2.01 3/214 18042
/proc/meminfo: memFree=26960404/32873844 swapFree=7632/7632
[pid=18013] ppid=18011 vsize=3024420 CPUtime=14.13 cores=1,3,5,7
/proc/18013/stat : 18013 (java) S 18011 18013 7849 0 -1 4202496 9972 0 2 0 1373 40 0 0 20 0 19 0 334769954 3097006080 163061 33554432000 1073741824 1073778376 140735476482000 140735476473136 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0

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

[pid=18013/tid=18028] ppid=18011 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/18013/task/18028/stat : 18028 (java) S 18011 18013 7849 0 -1 4202560 2140 0 0 0 34 0 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062365809464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18013/tid=18029] ppid=18011 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/18013/task/18029/stat : 18029 (java) S 18011 18013 7849 0 -1 4202560 2935 0 1 0 41 0 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062364756920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18030] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18030/stat : 18030 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062363704056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18031] ppid=18011 vsize=3024420 CPUtime=0.82 cores=1,3,5,7
/proc/18013/task/18031/stat : 18031 (java) S 18011 18013 7849 0 -1 4202560 93 0 0 0 42 40 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062362651720 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18053] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18053/stat : 18053 (java) S 18011 18013 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334834057 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062360519976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1631.26
Current children cumulated vsize (KiB) 3024420

[startup+1662.3 s]
/proc/loadavg: 2.16 2.10 2.03 3/213 18130
/proc/meminfo: memFree=25870720/32873844 swapFree=7632/7632
[pid=18013] ppid=18011 vsize=3024420 CPUtime=1692.9 cores=1,3,5,7
/proc/18013/stat : 18013 (java) S 18011 18013 7849 0 -1 4202496 14009 0 2 0 169067 223 0 0 20 0 19 0 334769954 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140735476473136 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18013/statm: 756105 419900 2299 9 0 746526 0
[pid=18013/tid=18015] ppid=18011 vsize=3024420 CPUtime=1642.1 cores=1,3,5,7
/proc/18013/task/18015/stat : 18015 (java) R 18011 18013 7849 0 -1 4202560 3619 0 1 0 164175 35 0 0 20 0 19 0 334769956 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062994058560 140062860512291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18016] ppid=18011 vsize=3024420 CPUtime=4.84 cores=1,3,5,7
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 7849 0 -1 4202560 485 0 0 0 465 19 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062859717032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18017] ppid=18011 vsize=3024420 CPUtime=4.94 cores=1,3,5,7
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 7849 0 -1 4202560 488 0 0 0 475 19 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062858664488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18018] ppid=18011 vsize=3024420 CPUtime=4.87 cores=1,3,5,7
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 7849 0 -1 4202560 458 0 0 0 469 18 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062857611432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18019] ppid=18011 vsize=3024420 CPUtime=5.08 cores=1,3,5,7
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 7849 0 -1 4202560 484 0 0 0 489 19 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062856558888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18020] ppid=18011 vsize=3024420 CPUtime=5.25 cores=1,3,5,7
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 7849 0 -1 4202560 510 0 0 0 505 20 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062855506856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18021] ppid=18011 vsize=3024420 CPUtime=4.68 cores=1,3,5,7
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 7849 0 -1 4202560 486 0 0 0 449 19 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062854454312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18022] ppid=18011 vsize=3024420 CPUtime=5.06 cores=1,3,5,7
/proc/18013/task/18022/stat : 18022 (java) S 18011 18013 7849 0 -1 4202560 476 0 0 0 488 18 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062853401256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18023] ppid=18011 vsize=3024420 CPUtime=5.14 cores=1,3,5,7
/proc/18013/task/18023/stat : 18023 (java) S 18011 18013 7849 0 -1 4202560 506 0 0 0 494 20 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062852348712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18013/tid=18024] ppid=18011 vsize=3024420 CPUtime=4.88 cores=1,3,5,7
/proc/18013/task/18024/stat : 18024 (java) S 18011 18013 7849 0 -1 4202560 108 0 0 0 485 3 0 0 20 0 19 0 334769959 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062370019688 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18025] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18025/stat : 18025 (java) S 18011 18013 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334769960 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062368966008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18026] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18026/stat : 18026 (java) S 18011 18013 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334769960 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062367912840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18027] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18027/stat : 18027 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062366861584 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18028] ppid=18011 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/18013/task/18028/stat : 18028 (java) S 18011 18013 7849 0 -1 4202560 2140 0 0 0 34 0 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062365809464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18013/tid=18029] ppid=18011 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/18013/task/18029/stat : 18029 (java) S 18011 18013 7849 0 -1 4202560 2935 0 1 0 41 0 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062364756920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18030] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18030/stat : 18030 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062363704056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18031] ppid=18011 vsize=3024420 CPUtime=0.85 cores=1,3,5,7
/proc/18013/task/18031/stat : 18031 (java) S 18011 18013 7849 0 -1 4202560 97 0 0 0 43 42 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062362651720 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18053] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18053/stat : 18053 (java) S 18011 18013 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334834057 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062360519976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1692.9
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.16 2.11 2.04 3/213 18130
/proc/meminfo: memFree=25870100/32873844 swapFree=7632/7632
[pid=18013] ppid=18011 vsize=3024420 CPUtime=1753.11 cores=1,3,5,7
/proc/18013/stat : 18013 (java) S 18011 18013 7849 0 -1 4202496 14016 0 2 0 175087 224 0 0 20 0 19 0 334769954 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140735476473136 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18013/statm: 756105 419900 2299 9 0 746526 0
[pid=18013/tid=18015] ppid=18011 vsize=3024420 CPUtime=1701.45 cores=1,3,5,7
/proc/18013/task/18015/stat : 18015 (java) R 18011 18013 7849 0 -1 4202560 3622 0 1 0 170109 36 0 0 20 0 19 0 334769956 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062994058432 140062860238701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18016] ppid=18011 vsize=3024420 CPUtime=4.86 cores=1,3,5,7
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 7849 0 -1 4202560 485 0 0 0 467 19 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062859717032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18017] ppid=18011 vsize=3024420 CPUtime=4.98 cores=1,3,5,7
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 7849 0 -1 4202560 488 0 0 0 479 19 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062858664488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18018] ppid=18011 vsize=3024420 CPUtime=4.89 cores=1,3,5,7
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 7849 0 -1 4202560 458 0 0 0 471 18 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062857611432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18019] ppid=18011 vsize=3024420 CPUtime=5.11 cores=1,3,5,7
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 7849 0 -1 4202560 484 0 0 0 492 19 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062856558888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18020] ppid=18011 vsize=3024420 CPUtime=5.28 cores=1,3,5,7
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 7849 0 -1 4202560 510 0 0 0 508 20 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062855506856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18021] ppid=18011 vsize=3024420 CPUtime=4.72 cores=1,3,5,7
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 7849 0 -1 4202560 486 0 0 0 453 19 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062854454312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18013/tid=18022] ppid=18011 vsize=3024420 CPUtime=5.11 cores=1,3,5,7
/proc/18013/task/18022/stat : 18022 (java) S 18011 18013 7849 0 -1 4202560 476 0 0 0 493 18 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062853401256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18013/tid=18023] ppid=18011 vsize=3024420 CPUtime=5.2 cores=1,3,5,7
/proc/18013/task/18023/stat : 18023 (java) S 18011 18013 7849 0 -1 4202560 506 0 0 0 500 20 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062852348712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18024] ppid=18011 vsize=3024420 CPUtime=5.29 cores=1,3,5,7
/proc/18013/task/18024/stat : 18024 (java) S 18011 18013 7849 0 -1 4202560 110 0 0 0 525 4 0 0 20 0 19 0 334769959 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062370019688 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18025] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18025/stat : 18025 (java) S 18011 18013 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334769960 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062368966008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18026] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18026/stat : 18026 (java) S 18011 18013 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334769960 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062367912840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18027] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18027/stat : 18027 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062366861584 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18028] ppid=18011 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/18013/task/18028/stat : 18028 (java) S 18011 18013 7849 0 -1 4202560 2140 0 0 0 34 0 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062365809464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18013/tid=18029] ppid=18011 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/18013/task/18029/stat : 18029 (java) S 18011 18013 7849 0 -1 4202560 2935 0 1 0 41 0 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062364756920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18030] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18030/stat : 18030 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062363704056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18031] ppid=18011 vsize=3024420 CPUtime=0.86 cores=1,3,5,7
/proc/18013/task/18031/stat : 18031 (java) S 18011 18013 7849 0 -1 4202560 99 0 0 0 44 42 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062362651720 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18053] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18053/stat : 18053 (java) S 18011 18013 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334834057 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062360519976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1753.11
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1767.6 s]
/proc/loadavg: 2.07 2.09 2.03 3/214 18133
/proc/meminfo: memFree=25869704/32873844 swapFree=7632/7632
[pid=18013] ppid=18011 vsize=3024420 CPUtime=1800.05 cores=1,3,5,7
/proc/18013/stat : 18013 (java) S 18011 18013 7849 0 -1 4202496 14043 0 2 0 179778 227 0 0 20 0 19 0 334769954 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140735476473136 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18013/statm: 756105 419900 2299 9 0 746526 0
[pid=18013/tid=18015] ppid=18011 vsize=3024420 CPUtime=1746.03 cores=1,3,5,7
/proc/18013/task/18015/stat : 18015 (java) R 18011 18013 7849 0 -1 4202560 3641 0 1 0 174565 38 0 0 20 0 19 0 334769956 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062994058560 140062860247455 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18016] ppid=18011 vsize=3024420 CPUtime=5.1 cores=1,3,5,7
/proc/18013/task/18016/stat : 18016 (java) S 18011 18013 7849 0 -1 4202560 485 0 0 0 491 19 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062859717032 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18017] ppid=18011 vsize=3024420 CPUtime=5.25 cores=1,3,5,7
/proc/18013/task/18017/stat : 18017 (java) S 18011 18013 7849 0 -1 4202560 488 0 0 0 505 20 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062858664488 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18018] ppid=18011 vsize=3024420 CPUtime=5.18 cores=1,3,5,7
/proc/18013/task/18018/stat : 18018 (java) S 18011 18013 7849 0 -1 4202560 458 0 0 0 500 18 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062857611432 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18019] ppid=18011 vsize=3024420 CPUtime=5.42 cores=1,3,5,7
/proc/18013/task/18019/stat : 18019 (java) S 18011 18013 7849 0 -1 4202560 484 0 0 0 523 19 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062856558888 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18013/tid=18020] ppid=18011 vsize=3024420 CPUtime=5.55 cores=1,3,5,7
/proc/18013/task/18020/stat : 18020 (java) S 18011 18013 7849 0 -1 4202560 510 0 0 0 535 20 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062855506856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18021] ppid=18011 vsize=3024420 CPUtime=5.02 cores=1,3,5,7
/proc/18013/task/18021/stat : 18021 (java) S 18011 18013 7849 0 -1 4202560 486 0 0 0 483 19 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062854454312 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18013/tid=18022] ppid=18011 vsize=3024420 CPUtime=5.36 cores=1,3,5,7
/proc/18013/task/18022/stat : 18022 (java) S 18011 18013 7849 0 -1 4202560 476 0 0 0 517 19 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062853401256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18023] ppid=18011 vsize=3024420 CPUtime=5.53 cores=1,3,5,7
/proc/18013/task/18023/stat : 18023 (java) S 18011 18013 7849 0 -1 4202560 506 0 0 0 533 20 0 0 20 0 19 0 334769958 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062852348712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18024] ppid=18011 vsize=3024420 CPUtime=5.29 cores=1,3,5,7
/proc/18013/task/18024/stat : 18024 (java) S 18011 18013 7849 0 -1 4202560 114 0 0 0 525 4 0 0 20 0 19 0 334769959 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062370019688 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18013/tid=18025] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18025/stat : 18025 (java) S 18011 18013 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334769960 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062368966008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18026] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18026/stat : 18026 (java) S 18011 18013 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334769960 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062367912840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18027] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18027/stat : 18027 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062366861584 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18013/tid=18028] ppid=18011 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/18013/task/18028/stat : 18028 (java) S 18011 18013 7849 0 -1 4202560 2140 0 0 0 34 0 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062365809464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18013/tid=18029] ppid=18011 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/18013/task/18029/stat : 18029 (java) S 18011 18013 7849 0 -1 4202560 2935 0 1 0 41 0 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062364756920 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18030] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18030/stat : 18030 (java) S 18011 18013 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062363704056 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18013/tid=18031] ppid=18011 vsize=3024420 CPUtime=0.89 cores=1,3,5,7
/proc/18013/task/18031/stat : 18031 (java) S 18011 18013 7849 0 -1 4202560 103 0 0 0 45 44 0 0 20 0 19 0 334769963 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062362651720 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18013/tid=18053] ppid=18011 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18013/task/18053/stat : 18053 (java) S 18011 18013 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334834057 3097006080 419900 33554432000 1073741824 1073778376 140735476482000 140062360519976 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18013 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=99407
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=532614
# CPU time returned by wait4() is 1795.63
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1767.63
CPU time (s): 1800.05
CPU user time (s): 1797.78
CPU system time (s): 2.27
CPU usage (%): 101.834
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.1
system time used= 2.53261
maximum resident set size= 1679712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14071
page faults= 2
swaps= 0
block input operations= 120
block output operations= 1600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49580
involuntary context switches= 70204

runsolver used 6.38003 second user time and 16.1735 second system time

The end

Launcher Data 

Begin job on node130 at 2012-06-03 03:20:44
IDJOB=3731527
IDBENCH=1962
IDSOLVER=2319
FILE ID=node130/3731527-1338686443
RUNJOBID= node130-1338679215-16920
PBS_JOBID= 14636683
Free space on /tmp= 70980 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731527-1338686443/watcher-3731527-1338686443 -o /tmp/evaluation-result-3731527-1338686443/solver-3731527-1338686443 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731527-1338686443.opb           

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

MD5SUM BENCH= 1e2b8f542cc5dec610d6e9b4663a878b
RANDOM SEED=1263863587

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27584608 kB
Buffers:          405384 kB
Cached:          2377544 kB
SwapCached:         4256 kB
Active:          2701096 kB
Inactive:        1705108 kB
Active(anon):    1615364 kB
Inactive(anon):     8128 kB
Active(file):    1085732 kB
Inactive(file):  1696980 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67099280 kB
Dirty:              3560 kB
Writeback:             0 kB
AnonPages:       1644112 kB
Mapped:            17596 kB
Shmem:                 4 kB
Slab:             721944 kB
SReclaimable:     163524 kB
SUnreclaim:       558420 kB
KernelStack:        1608 kB
PageTables:         7404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1826316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1607680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70976 MiB
End job on node130 at 2012-06-03 03:50:13