Trace number 3731461

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-23? (exit code) 1111.43 1089.14

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
MD5SUM0a5749e09f3f6f40d04f442dc86d22a6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark193
Best CPU time to get the best result obtained on this benchmark1789.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 188
Optimality of the best value was proved NO
Number of variables479
Total number of constraints479
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 constraints479
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 479
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 479
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 479
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.04/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.04/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.04/0.08	c no version file found!!!
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version	1.6.0_24
0.04/0.08	c os.name	Linux
0.04/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.04/0.08	c os.arch	amd64
0.04/0.08	c Free memory 1599470296
0.04/0.08	c Max memory 1607860224
0.04/0.08	c Total memory 1607860224
0.04/0.08	c Number of processors 8
0.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3731461-1338685674.opb
0.09/0.10	c reading problem ... 
0.26/0.23	c ... done. Wall clock time 0.124s.
0.26/0.23	c CPU time (experimental) 0.19s.
0.26/0.23	c #vars     479
0.26/0.23	c #constraints  479
0.26/0.25	c SATISFIABLE
0.26/0.25	c OPTIMIZING...
0.26/0.25	c Got one! Elapsed wall clock time (in seconds):0.148
0.26/0.25	o 233
0.50/0.33	c Got one! Elapsed wall clock time (in seconds):0.225
0.50/0.33	o 232
0.97/0.60	c Got one! Elapsed wall clock time (in seconds):0.495
0.97/0.60	o 231
1.22/0.84	c Got one! Elapsed wall clock time (in seconds):0.74
1.22/0.84	o 230
1.33/0.94	c Got one! Elapsed wall clock time (in seconds):0.835
1.33/0.94	o 229
1.54/1.19	c Got one! Elapsed wall clock time (in seconds):1.086
1.54/1.19	o 228
4.16/3.68	c Got one! Elapsed wall clock time (in seconds):3.577
4.16/3.68	o 227
5.59/4.93	c Got one! Elapsed wall clock time (in seconds):4.829
5.59/4.93	o 226
6.84/6.11	c Got one! Elapsed wall clock time (in seconds):6.013
6.84/6.12	o 225
9.93/9.05	c Got one! Elapsed wall clock time (in seconds):8.944
9.93/9.05	o 224
42.43/40.33	c Got one! Elapsed wall clock time (in seconds):40.231
42.43/40.33	o 223
47.43/45.12	c Got one! Elapsed wall clock time (in seconds):45.015
47.43/45.12	o 222
181.07/175.97	c cleaning 478233 clauses out of 956476 for limit 4.1630294986330514E9
189.25/184.09	c cleaning 247116 clauses out of 494243 for limit 7.216579870197255E-4
190.56/185.39	c cleaning 123809 clauses out of 247627 for limit 0.002375362196488692
193.09/187.89	c cleaning 69399 clauses out of 138818 for limit 13955.926189181026
193.49/188.20	c cleaning 34948 clauses out of 69918 for limit 45649.58411884248
195.45/190.12	c cleaning 25227 clauses out of 50471 for limit 3.438356641092574E11
195.65/190.39	c cleaning 12860 clauses out of 25745 for limit 1.1127313752288723E12
197.61/192.20	c cleaning 14686 clauses out of 29384 for limit 0.14387391920532736
197.61/192.26	c cleaning 7593 clauses out of 15197 for limit 0.4583070113485966
197.71/192.32	c cleaning 4050 clauses out of 8106 for limit 1.4198179940878615
199.57/194.17	c cleaning 9272 clauses out of 18555 for limit 1237555.0540333898
199.67/194.24	c cleaning 4882 clauses out of 9783 for limit 3870876.5434399126
199.67/194.29	c cleaning 2691 clauses out of 5401 for limit 1.1562801857176166E7
199.77/194.34	c cleaning 1597 clauses out of 3210 for limit 3.20839710223963E7
199.77/194.38	c cleaning 1046 clauses out of 2112 for limit 8.033792477631356E7
201.55/196.06	c cleaning 7526 clauses out of 15066 for limit 1.3638964412940424E13
201.65/196.13	c cleaning 4020 clauses out of 8040 for limit 4.214821605100095E13
201.65/196.18	c cleaning 2260 clauses out of 4520 for limit 1.2363820706078798E14
201.75/196.23	c cleaning 1380 clauses out of 2761 for limit 3.341297343955093E14
203.39/197.81	c cleaning 7931 clauses out of 15880 for limit 1.1590902308978615
203.39/197.89	c cleaning 4216 clauses out of 8450 for limit 3.595848894450932
203.49/197.95	c cleaning 2358 clauses out of 4733 for limit 10.576525313101945
203.59/198.00	c cleaning 1429 clauses out of 2875 for limit 28.714255180665024
205.04/199.41	c cleaning 6465 clauses out of 12948 for limit 634288.9398615026
205.04/199.47	c cleaning 3485 clauses out of 6982 for limit 1937899.9884354582
205.14/199.53	c cleaning 1990 clauses out of 3996 for limit 5578367.22148821
206.90/201.27	c cleaning 7998 clauses out of 16007 for limit 1.688192563717471E12
207.00/201.35	c cleaning 4246 clauses out of 8509 for limit 5.237322184340391E12
207.10/201.42	c cleaning 2381 clauses out of 4762 for limit 1.5417707390905283E13
208.55/202.87	c cleaning 6435 clauses out of 12881 for limit 0.0020808138844031813
208.65/202.95	c cleaning 3465 clauses out of 6946 for limit 0.006363615417064144
208.75/203.02	c cleaning 1983 clauses out of 3981 for limit 0.018310593181292214
210.30/204.57	c cleaning 6992 clauses out of 13999 for limit 853.4407541200889
210.40/204.65	c cleaning 3748 clauses out of 7506 for limit 2622.3050206625353
210.49/204.72	c cleaning 2123 clauses out of 4258 for limit 7623.282192678177
213.56/207.80	c Got one! Elapsed wall clock time (in seconds):207.699
213.56/207.80	o 221
409.87/400.01	c cleaning 441897 clauses out of 883806 for limit 45858.623838924366
421.17/411.24	c cleaning 227447 clauses out of 454910 for limit 3.971367283939226E10
422.57/412.60	c cleaning 113977 clauses out of 227963 for limit 1.3069442454582707E11
425.64/415.61	c cleaning 63229 clauses out of 126485 for limit 6.353968579474794E-4
425.94/415.93	c cleaning 31874 clauses out of 63758 for limit 0.0020829282642196756
427.59/417.55	c cleaning 21686 clauses out of 43384 for limit 303.92386837121006
427.69/417.68	c cleaning 11093 clauses out of 22196 for limit 977.7020978935439
427.79/417.78	c cleaning 5795 clauses out of 11604 for limit 3087.1941446967917
429.44/419.35	c cleaning 8399 clauses out of 16810 for limit 1.2843044120733784E8
429.54/419.45	c cleaning 4448 clauses out of 8910 for limit 3.991897295821211E8
431.19/421.08	c cleaning 8716 clauses out of 17461 for limit 9.061633672426305E13
431.29/421.15	c cleaning 4612 clauses out of 9246 for limit 2.824958832567863E14
431.40/421.21	c cleaning 2566 clauses out of 5133 for limit 8.38332153395363E14
433.05/422.80	c cleaning 7777 clauses out of 15569 for limit 1.2332432719303044
433.05/422.88	c cleaning 4136 clauses out of 8291 for limit 3.8152581921113096
434.70/424.46	c cleaning 8567 clauses out of 17155 for limit 821094.5859325196
434.81/424.54	c cleaning 4533 clauses out of 9087 for limit 2553787.507049631
436.24/425.98	c cleaning 7518 clauses out of 15055 for limit 5.6329080923979996E10
437.80/427.40	c cleaning 8256 clauses out of 16536 for limit 4.170176301074626E14
437.80/427.49	c cleaning 4382 clauses out of 8781 for limit 1.2963769517683945E15
439.45/429.04	c cleaning 7440 clauses out of 14899 for limit 0.27892778965959864
441.23/430.77	c cleaning 9971 clauses out of 19958 for limit 56168.723045390994
441.33/430.87	c cleaning 5233 clauses out of 10488 for limit 176444.97275403823
443.20/432.66	c cleaning 10622 clauses out of 21254 for limit 7.791393953137239E11
443.30/432.71	c cleaning 5558 clauses out of 11132 for limit 2.453231483447643E12
443.30/432.77	c cleaning 3029 clauses out of 6074 for limit 7.41468706805026E12
445.26/434.64	c cleaning 9516 clauses out of 19046 for limit 0.21202483323158808
445.36/434.72	c cleaning 5009 clauses out of 10029 for limit 0.6633675972225611
445.36/434.77	c cleaning 2756 clauses out of 5521 for limit 1.989227878653809
445.46/434.81	c cleaning 1624 clauses out of 3264 for limit 5.543365434258357
447.00/436.36	c cleaning 7812 clauses out of 15640 for limit 1401043.9111981986
447.10/436.44	c cleaning 4157 clauses out of 8328 for limit 4339140.036532249
447.10/436.48	c cleaning 2328 clauses out of 4673 for limit 1.2778312720933555E7
447.20/436.52	c cleaning 1412 clauses out of 2843 for limit 3.456840146857373E7
449.04/438.35	c cleaning 9466 clauses out of 18932 for limit 2.0876140837771444E14
449.14/438.42	c cleaning 4983 clauses out of 9966 for limit 6.540059780243685E14
449.14/438.47	c cleaning 2735 clauses out of 5482 for limit 1.9587767702077968E15
450.88/440.18	c cleaning 9115 clauses out of 18248 for limit 31.994528390672876
450.98/440.25	c cleaning 4808 clauses out of 9633 for limit 99.95057845631953
451.07/440.30	c cleaning 2655 clauses out of 5324 for limit 297.9409516623961
451.07/440.34	c cleaning 1573 clauses out of 3169 for limit 825.471142133184
451.07/440.38	c cleaning 1039 clauses out of 2096 for limit 2058.2055413880967
452.80/442.02	c cleaning 8022 clauses out of 16058 for limit 8.857266048343415E8
452.80/442.09	c cleaning 4260 clauses out of 8535 for limit 2.7454212651870837E9
452.91/442.14	c cleaning 2382 clauses out of 4775 for limit 8.092729602408852E9
454.66/443.82	c cleaning 8197 clauses out of 16394 for limit 2.857477523615795E15
454.76/443.90	c cleaning 4347 clauses out of 8696 for limit 8.875025261954144E-5
456.43/445.54	c cleaning 8917 clauses out of 17849 for limit 31.752957980998627
456.53/445.63	c cleaning 4708 clauses out of 9432 for limit 99.09464202816403
456.63/445.70	c cleaning 2606 clauses out of 5224 for limit 295.05751741173117
458.39/447.48	c cleaning 9049 clauses out of 18118 for limit 4.6209587764487153E8
458.49/447.54	c cleaning 4781 clauses out of 9571 for limit 1.4454728667115266E9
458.49/447.60	c cleaning 2636 clauses out of 5289 for limit 4.309382744038117E9
458.59/447.64	c cleaning 1570 clauses out of 3153 for limit 1.19212158506845E10
460.55/449.52	c cleaning 10032 clauses out of 20084 for limit 0.002046900069375894
460.65/449.60	c cleaning 5269 clauses out of 10550 for limit 0.006413295592299374
460.65/449.66	c cleaning 2883 clauses out of 5781 for limit 0.01930130326643072
462.58/451.56	c cleaning 9943 clauses out of 19898 for limit 136609.3219215766
462.68/451.64	c cleaning 5217 clauses out of 10455 for limit 428767.2561961024
462.68/451.68	c cleaning 2862 clauses out of 5738 for limit 1288371.1530651415
462.78/451.73	c cleaning 1679 clauses out of 3376 for limit 3611228.633409217
462.78/451.77	c cleaning 1091 clauses out of 2197 for limit 9151309.705243431
464.67/453.58	c cleaning 9803 clauses out of 19607 for limit 1.1215134659298155E14
464.77/453.65	c cleaning 5143 clauses out of 10303 for limit 3.516197952794383E14
464.77/453.70	c cleaning 2822 clauses out of 5660 for limit 1.0555443182560806E15
464.87/453.74	c cleaning 1663 clauses out of 3338 for limit 2.951633686555489E15
464.87/453.79	c cleaning 1079 clauses out of 2175 for limit 7.470426829052081E15
464.97/453.83	c cleaning 790 clauses out of 1596 for limit 1.6789110117054854E16
466.74/455.56	c cleaning 8395 clauses out of 16806 for limit 142.81854019885066
466.84/455.63	c cleaning 4448 clauses out of 8912 for limit 444.5945860140752
466.84/455.67	c cleaning 2473 clauses out of 4963 for limit 1315.2746436447421
466.94/455.71	c cleaning 1486 clauses out of 2990 for limit 3600.3558013975644
466.94/455.74	c cleaning 994 clauses out of 2005 for limit 8863.242497772186
466.94/455.78	c cleaning 748 clauses out of 1511 for limit 19395.38618616826
467.04/455.81	c cleaning 624 clauses out of 1263 for limit 38266.20838114422
467.04/455.85	c cleaning 560 clauses out of 1139 for limit 69976.29520282517
468.80/457.60	c cleaning 9039 clauses out of 18078 for limit 1.7694806638079565E11
468.90/457.65	c cleaning 4769 clauses out of 9539 for limit 5.53030701048249E11
468.99/457.70	c cleaning 2628 clauses out of 5271 for limit 1.652149992850418E12
468.99/457.75	c cleaning 1560 clauses out of 3142 for limit 4.56622895443673E12
468.99/457.79	c cleaning 1032 clauses out of 2082 for limit 1.1364204129038238E13
469.09/457.84	c cleaning 765 clauses out of 1550 for limit 2.5173519603988367E13
470.93/459.63	c cleaning 9131 clauses out of 18285 for limit 0.8573076892034962
471.04/459.71	c cleaning 4819 clauses out of 9656 for limit 2.68262110553152
471.04/459.76	c cleaning 2658 clauses out of 5335 for limit 7.991145419897804
471.14/459.81	c cleaning 1580 clauses out of 3177 for limit 22.13003647872076
471.14/459.85	c cleaning 1045 clauses out of 2098 for limit 55.320265984008756
471.14/459.89	c cleaning 768 clauses out of 1552 for limit 123.2024662983882
473.27/462.00	c cleaning 10882 clauses out of 21784 for limit 1.169824586217729E10
473.37/462.08	c cleaning 5691 clauses out of 11402 for limit 3.685812371032657E10
473.46/462.13	c cleaning 3106 clauses out of 6212 for limit 1.1167943593278964E11
473.46/462.18	c cleaning 1794 clauses out of 3606 for limit 3.1727424801381134E11
473.56/462.23	c cleaning 1155 clauses out of 2311 for limit 8.15608936415171E11
475.31/463.95	c cleaning 9319 clauses out of 18657 for limit 0.04062848859608599
475.41/464.01	c cleaning 4906 clauses out of 9837 for limit 0.1269495547445038
475.41/464.08	c cleaning 2706 clauses out of 5432 for limit 0.37951110713281044
475.52/464.13	c cleaning 1602 clauses out of 3225 for limit 1.0531152661587764
475.52/464.17	c cleaning 1053 clauses out of 2124 for limit 2.639620628991708
475.62/464.21	c cleaning 776 clauses out of 1571 for limit 5.885396520402784
477.38/465.97	c cleaning 8639 clauses out of 17294 for limit 7889804.064540739
477.48/466.04	c cleaning 4577 clauses out of 9155 for limit 2.457871711045515E7
477.48/466.09	c cleaning 2531 clauses out of 5079 for limit 7.313575442470513E7
477.58/466.15	c cleaning 1520 clauses out of 3048 for limit 2.009781678666176E8
479.34/467.85	c cleaning 8763 clauses out of 17528 for limit 3.130544382334526E14
479.44/467.92	c cleaning 4627 clauses out of 9266 for limit 9.775755539438528E14
479.44/467.98	c cleaning 2561 clauses out of 5138 for limit 2.9044901225156515E15
479.54/468.03	c cleaning 1531 clauses out of 3077 for limit 7.998202483190901E15
479.54/468.07	c cleaning 1015 clauses out of 2046 for limit 1.9836733029271628E16
481.38/469.84	c cleaning 9260 clauses out of 18532 for limit 880.7325421798466
481.48/469.93	c cleaning 4880 clauses out of 9771 for limit 2752.001693810976
481.48/469.99	c cleaning 2686 clauses out of 5391 for limit 8225.726498526217
481.58/470.03	c cleaning 1593 clauses out of 3205 for limit 22817.67816701088
481.58/470.08	c cleaning 1048 clauses out of 2111 for limit 57073.252919699495
481.68/470.12	c cleaning 770 clauses out of 1563 for limit 127121.13692601792
483.36/471.75	c cleaning 8147 clauses out of 16295 for limit 6.636267787829215E10
483.47/471.82	c cleaning 4315 clauses out of 8647 for limit 2.0603176523654916E11
483.47/471.88	c cleaning 2402 clauses out of 4831 for limit 6.075527349465575E11
483.57/471.93	c cleaning 1465 clauses out of 2930 for limit 1.6536507650503523E12
485.43/473.77	c cleaning 9222 clauses out of 18465 for limit 0.06392375271579656
485.53/473.85	c cleaning 4862 clauses out of 9742 for limit 0.19961116290361697
485.63/473.91	c cleaning 2684 clauses out of 5382 for limit 0.5970547628322826
485.63/473.95	c cleaning 1588 clauses out of 3196 for limit 1.654771198723159
485.63/473.99	c cleaning 1047 clauses out of 2108 for limit 4.137423763457199
485.73/474.04	c cleaning 774 clauses out of 1561 for limit 9.214114293070368
485.73/474.07	c cleaning 636 clauses out of 1289 for limit 18.438623277242876
487.70/475.99	c cleaning 9816 clauses out of 19651 for limit 2.1749608091059753E8
487.80/476.09	c cleaning 5157 clauses out of 10335 for limit 6.819954817545983E8
487.90/476.15	c cleaning 2827 clauses out of 5678 for limit 2.047163252797966E9
487.90/476.20	c cleaning 1660 clauses out of 3351 for limit 5.7204385487136965E9
488.01/476.25	c cleaning 1087 clauses out of 2192 for limit 1.4436223641682775E10
488.01/476.29	c cleaning 792 clauses out of 1605 for limit 3.2514344392929955E10
489.84/478.05	c cleaning 8399 clauses out of 16812 for limit 2.77769482304944E-4
489.94/478.13	c cleaning 4453 clauses out of 8913 for limit 8.640440645654686E-4
489.94/478.19	c cleaning 2474 clauses out of 4962 for limit 0.0025646490752984116
490.04/478.25	c cleaning 1486 clauses out of 2986 for limit 0.007014258520275032
490.14/478.30	c cleaning 993 clauses out of 2000 for limit 0.01727020382142135
491.88/480.03	c cleaning 8497 clauses out of 17009 for limit 18226.6177430993
491.98/480.10	c cleaning 4497 clauses out of 9011 for limit 56680.445116793315
491.98/480.15	c cleaning 2499 clauses out of 5014 for limit 167987.8219284469
492.08/480.20	c cleaning 1499 clauses out of 3014 for limit 460405.2381833717
492.08/480.24	c cleaning 1001 clauses out of 2015 for limit 1135701.8693008015
492.08/480.28	c cleaning 757 clauses out of 1514 for limit 2492696.4944644636
493.94/482.01	c cleaning 7869 clauses out of 15757 for limit 7.888571266129993E11
493.94/482.08	c cleaning 4182 clauses out of 8388 for limit 2.443820781411879E12
494.04/482.13	c cleaning 2346 clauses out of 4708 for limit 7.19475867909901E12
494.04/482.18	c cleaning 1431 clauses out of 2862 for limit 1.951816313270413E13
494.14/482.22	c cleaning 964 clauses out of 1929 for limit 4.766100641889899E13
494.14/482.27	c cleaning 725 clauses out of 1466 for limit 1.0352657941399483E14
496.00/484.03	c cleaning 8860 clauses out of 17741 for limit 2.084048864397555
496.10/484.10	c cleaning 4681 clauses out of 9380 for limit 6.493884056261831
496.10/484.16	c cleaning 2588 clauses out of 5199 for limit 19.321615628485972
496.20/484.21	c cleaning 1545 clauses out of 3111 for limit 53.24994108632096
496.20/484.26	c cleaning 1025 clauses out of 2068 for limit 132.3712039412513
498.15/486.18	c cleaning 9516 clauses out of 19043 for limit 9.524027005861868E8
498.25/486.24	c cleaning 5006 clauses out of 10025 for limit 2.9775459189026504E9
498.25/486.29	c cleaning 2754 clauses out of 5520 for limit 8.926766400658278E9
498.34/486.34	c cleaning 1633 clauses out of 3266 for limit 2.488129351458501E10
498.34/486.38	c cleaning 1059 clauses out of 2134 for limit 6.286155480351436E10
498.44/486.42	c cleaning 782 clauses out of 1573 for limit 1.4035816265228897E11
500.58/488.52	c cleaning 9889 clauses out of 19792 for limit 0.02012032228559135
500.68/488.61	c cleaning 5196 clauses out of 10404 for limit 0.06318509902691237
500.68/488.67	c cleaning 2845 clauses out of 5706 for limit 0.18961387345645636
500.78/488.73	c cleaning 1673 clauses out of 3361 for limit 0.5308713059666117
502.63/490.56	c cleaning 9087 clauses out of 18189 for limit 1450533.370798185
502.73/490.64	c cleaning 4796 clauses out of 9602 for limit 4531382.602378155
502.83/490.70	c cleaning 2647 clauses out of 5307 for limit 1.353423601802093E7
502.83/490.75	c cleaning 1567 clauses out of 3159 for limit 3.7458862282991074E7
502.83/490.79	c cleaning 1033 clauses out of 2091 for limit 9.323340617936872E7
502.93/490.84	c cleaning 775 clauses out of 1561 for limit 2.065770651381996E8
502.93/490.88	c cleaning 642 clauses out of 1285 for limit 4.1343120542506164E8
504.88/492.75	c cleaning 8820 clauses out of 17641 for limit 7.321740226322462E14
504.98/492.82	c cleaning 4651 clauses out of 9321 for limit 2.2852351482911425E15
504.98/492.87	c cleaning 2578 clauses out of 5170 for limit 6.794519463280982E-5
505.07/492.93	c cleaning 1544 clauses out of 3093 for limit 1.8748208250580613E-4
505.07/492.98	c cleaning 1020 clauses out of 2050 for limit 4.669562865890331E-4
505.17/493.02	c cleaning 758 clauses out of 1529 for limit 0.0010314400186817849
506.93/494.74	c cleaning 7626 clauses out of 15271 for limit 206.25510618914373
507.03/494.81	c cleaning 4070 clauses out of 8146 for limit 638.2902039556479
507.03/494.87	c cleaning 2280 clauses out of 4575 for limit 1872.3751208193648
507.13/494.92	c cleaning 1392 clauses out of 2794 for limit 5051.018203327168
507.13/494.97	c cleaning 944 clauses out of 1902 for limit 12236.316728061638
507.23/495.01	c cleaning 722 clauses out of 1458 for limit 26324.46692933084
507.23/495.05	c cleaning 612 clauses out of 1238 for limit 51229.64841222015
765.58/750.02	c Got one! Elapsed wall clock time (in seconds):749.916
765.58/750.02	o 220
872.12/854.90	c cleaning 526112 clauses out of 1052236 for limit 0.0521261367012315
1107.38/1085.29	Exception in thread "main" java.lang.OutOfMemoryError: GC overhead limit exceeded
1107.38/1085.29		at java.math.BigInteger.add(BigInteger.java:1023)
1107.48/1085.30		at org.sat4j.minisat.constraints.pb.MaxWatchPb.undo(Unknown Source)
1107.48/1085.30		at org.sat4j.minisat.core.Solver.undoOne(Unknown Source)
1107.48/1085.30		at org.sat4j.minisat.core.Solver.analyze(Unknown Source)
1107.48/1085.30		at org.sat4j.minisat.core.Solver.search(Unknown Source)
1107.48/1085.30		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
1107.48/1085.30		at org.sat4j.minisat.core.Solver.isSatisfiable(Unknown Source)
1107.48/1085.30		at org.sat4j.tools.SolverDecorator.isSatisfiable(Unknown Source)
1107.48/1085.30		at org.sat4j.opt.PseudoOptDecorator.admitABetterSolution(Unknown Source)
1107.48/1085.30		at org.sat4j.AbstractOptimizationLauncher.solve(Unknown Source)
1107.48/1085.30		at org.sat4j.LanceurPseudo2005.solve(Unknown Source)
1107.48/1085.30		at org.sat4j.AbstractLauncher.run(Unknown Source)
1107.48/1085.30		at org.sat4j.LanceurPseudo2007.main(Unknown Source)

Verifier Data 

ERROR: no interpretation found !

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-3731461-1338685674/watcher-3731461-1338685674 -o /tmp/evaluation-result-3731461-1338685674/solver-3731461-1338685674 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731461-1338685674.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 3371
/proc/meminfo: memFree=28087344/32873648 swapFree=7116/7116
[pid=3371] ppid=3369 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3371/stat : 3371 (java) D 3369 3371 1585 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 334692835 9515008 182 33554432000 1073741824 1073778376 140735594518832 140735594509864 214537420469 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/3371/statm: 2323 182 140 9 0 71 0

[startup+0.0579569 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 3371
/proc/meminfo: memFree=28087344/32873648 swapFree=7116/7116
[pid=3371] ppid=3369 vsize=2623916 CPUtime=0.04 cores=1,3,5,7
/proc/3371/stat : 3371 (java) S 3369 3371 1585 0 -1 4202496 3950 0 1 0 3 1 0 0 20 0 13 0 334692835 2686889984 5158 33554432000 1073741824 1073778376 140735146493296 140735146484432 214540779581 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3371/statm: 655979 5158 1708 9 0 646680 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2623916

[startup+0.100271 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 3371
/proc/meminfo: memFree=28087344/32873648 swapFree=7116/7116
[pid=3371] ppid=3369 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/3371/stat : 3371 (java) S 3369 3371 1585 0 -1 4202496 4912 0 1 0 8 1 0 0 20 0 18 0 334692835 3028844544 6613 33554432000 1073741824 1073778376 140735146493296 140735146484432 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3371/statm: 739464 6613 2118 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300236 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 3371
/proc/meminfo: memFree=28087344/32873648 swapFree=7116/7116
[pid=3371] ppid=3369 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/3371/stat : 3371 (java) S 3369 3371 1585 0 -1 4202496 6996 0 1 0 48 2 0 0 20 0 19 0 334692835 3097006080 9559 33554432000 1073741824 1073778376 140735146493296 140735146484432 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3371/statm: 756105 9559 2251 9 0 746526 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 3024420

[startup+0.700245 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 3371
/proc/meminfo: memFree=28087344/32873648 swapFree=7116/7116
[pid=3371] ppid=3369 vsize=3024420 CPUtime=1.11 cores=1,3,5,7
/proc/3371/stat : 3371 (java) S 3369 3371 1585 0 -1 4202496 8266 0 1 0 107 4 0 0 20 0 19 0 334692835 3097006080 32591 33554432000 1073741824 1073778376 140735146493296 140735146484432 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3371/statm: 756105 32591 2264 9 0 746526 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 3024420

[startup+1.50069 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 3395
/proc/meminfo: memFree=27874868/32873648 swapFree=7116/7116
[pid=3371] ppid=3369 vsize=3024420 CPUtime=1.95 cores=1,3,5,7
/proc/3371/stat : 3371 (java) S 3369 3371 1585 0 -1 4202496 8435 0 1 0 188 7 0 0 20 0 19 0 334692835 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 140735146484432 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3371/statm: 756105 89937 2265 9 0 746526 0
[pid=3371/tid=3373] ppid=3369 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/3371/task/3373/stat : 3373 (java) R 3369 3371 1585 0 -1 4202560 3195 0 1 0 140 6 0 0 20 0 19 0 334692836 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872710074792 139872539482773 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872693500584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872692448040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872691395496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872690342952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872689289384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872688236840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3380] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3380/stat : 3380 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872687184296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3381] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3381/stat : 3381 (java) S 3369 3371 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872686131752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3382] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3382/stat : 3382 (java) S 3369 3371 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334692839 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872673720936 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3383] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3383/stat : 3383 (java) S 3369 3371 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334692839 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872672667256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3384] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3384/stat : 3384 (java) S 3369 3371 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334692839 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872671614600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3385] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3385/stat : 3385 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692842 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872670563344 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3386] ppid=3369 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/3371/task/3386/stat : 3386 (java) S 3369 3371 1585 0 -1 4202560 2283 0 0 0 24 0 0 0 20 0 19 0 334692842 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872669509688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3387] ppid=3369 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/3371/task/3387/stat : 3387 (java) S 3369 3371 1585 0 -1 4202560 1749 0 0 0 21 0 0 0 20 0 19 0 334692842 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872668457144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3388] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3388/stat : 3388 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692842 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872667404792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3389] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3389/stat : 3389 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692842 3097006080 89937 33554432000 1073741824 1073778376 140735146493296 139872666352456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 3024420

[startup+3.10073 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 3396
/proc/meminfo: memFree=27634160/32873648 swapFree=7116/7116
[pid=3371] ppid=3369 vsize=3024420 CPUtime=3.58 cores=1,3,5,7
/proc/3371/stat : 3371 (java) S 3369 3371 1585 0 -1 4202496 8520 0 1 0 347 11 0 0 20 0 19 0 334692835 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 140735146484432 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3371/statm: 756105 115044 2278 9 0 746526 0
[pid=3371/tid=3373] ppid=3369 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/3371/task/3373/stat : 3373 (java) R 3369 3371 1585 0 -1 4202560 3239 0 1 0 297 8 0 0 20 0 19 0 334692836 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872710073720 139872539441913 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 1585 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872693500584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872692448040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872691395496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 1585 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872690342952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 1585 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872689289384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872688236840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3380] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3380/stat : 3380 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872687184296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3381] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3381/stat : 3381 (java) S 3369 3371 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334692838 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872686131752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3382] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3382/stat : 3382 (java) S 3369 3371 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334692839 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872673720936 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3383] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3383/stat : 3383 (java) S 3369 3371 1585 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334692839 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872672667256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3384] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3384/stat : 3384 (java) S 3369 3371 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334692839 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872671614600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3385] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3385/stat : 3385 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692842 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872670563344 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3386] ppid=3369 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/3371/task/3386/stat : 3386 (java) S 3369 3371 1585 0 -1 4202560 2283 0 0 0 24 0 0 0 20 0 19 0 334692842 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872669509688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3387] ppid=3369 vsize=3024420 CPUtime=0.21 cores=1,3,5,7
/proc/3371/task/3387/stat : 3387 (java) S 3369 3371 1585 0 -1 4202560 1749 0 0 0 21 0 0 0 20 0 19 0 334692842 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872668457144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3388] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3388/stat : 3388 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692842 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872667404792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3389] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3389/stat : 3389 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692842 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872666352456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3396] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3396/stat : 3396 (java) S 3369 3371 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334692955 3097006080 115044 33554432000 1073741824 1073778376 140735146493296 139872664151080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 3024420

[startup+6.30063 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 3398
/proc/meminfo: memFree=27568812/32873648 swapFree=7116/7116
[pid=3371] ppid=3369 vsize=3024420 CPUtime=7.04 cores=1,3,5,7
/proc/3371/stat : 3371 (java) S 3369 3371 1585 0 -1 4202496 9523 0 1 0 684 20 0 0 20 0 19 0 334692835 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 140735146484432 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3371/statm: 756105 137849 2280 9 0 746526 0
[pid=3371/tid=3373] ppid=3369 vsize=3024420 CPUtime=6.15 cores=1,3,5,7
/proc/3371/task/3373/stat : 3373 (java) R 3369 3371 1585 0 -1 4202560 3245 0 1 0 607 8 0 0 20 0 19 0 334692836 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872710072880 139872539482892 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 1585 0 -1 4202560 32 0 0 0 2 2 0 0 20 0 19 0 334692838 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872693500584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 1585 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 334692838 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872692448040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 1585 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 334692838 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872691395496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=3024420 CPUtime=0.04 cores=1,3,5,7
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 1585 0 -1 4202560 32 0 0 0 2 2 0 0 20 0 19 0 334692838 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872690342952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 1585 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 334692838 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872689289384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=3024420 CPUtime=0.03 cores=1,3,5,7
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 1585 0 -1 4202560 31 0 0 0 2 1 0 0 20 0 19 0 334692838 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872688236840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3380] ppid=3369 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/3371/task/3380/stat : 3380 (java) S 3369 3371 1585 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 334692838 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872687184296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3381] ppid=3369 vsize=3024420 CPUtime=0.05 cores=1,3,5,7
/proc/3371/task/3381/stat : 3381 (java) S 3369 3371 1585 0 -1 4202560 47 0 0 0 3 2 0 0 20 0 19 0 334692838 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872686131752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3382] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3382/stat : 3382 (java) S 3369 3371 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334692839 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872673720936 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3383] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3383/stat : 3383 (java) S 3369 3371 1585 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334692839 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872672667256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3384] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3384/stat : 3384 (java) S 3369 3371 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334692839 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872671614600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3385] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3385/stat : 3385 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692842 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872670563344 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3386] ppid=3369 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/3371/task/3386/stat : 3386 (java) S 3369 3371 1585 0 -1 4202560 2283 0 0 0 25 0 0 0 20 0 19 0 334692842 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872669509688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3387] ppid=3369 vsize=3024420 CPUtime=0.26 cores=1,3,5,7
/proc/3371/task/3387/stat : 3387 (java) S 3369 3371 1585 0 -1 4202560 2587 0 0 0 26 0 0 0 20 0 19 0 334692842 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872668457144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3388] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3388/stat : 3388 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692842 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872667404792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3389] ppid=3369 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3389/stat : 3389 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334692842 3097006080 137849 33554432000 1073741824 1073778376 140735146493296 139872666352456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 3024420

[startup+12.7006 s]
/proc/loadavg: 2.30 2.07 2.02 3/214 3400
/proc/meminfo: memFree=27454436/32873648 swapFree=7116/7116
[pid=3371] ppid=3369 vsize=3024420 CPUtime=13.99 cores=1,3,5,7
/proc/3371/stat : 3371 (java) S 3369 3371 1585 0 -1 4202496 11016 0 1 0 1366 33 0 0 20 0 19 0 334692835 3097006080 166553 33554432000 1073741824 1073778376 140735146493296 140735146484432 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0

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

/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 1585 0 -1 4202560 448 0 0 0 351 11 0 0 20 0 20 0 334692838 3165167616 419540 33554432000 1073741824 1073778376 140735146493296 139872689289384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=3090984 CPUtime=3.8 cores=1,3,5,7
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 1585 0 -1 4202560 486 0 0 0 366 14 0 0 20 0 20 0 334692838 3165167616 419540 33554432000 1073741824 1073778376 140735146493296 139872688236840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3380] ppid=3369 vsize=3090984 CPUtime=3.55 cores=1,3,5,7
/proc/3371/task/3380/stat : 3380 (java) S 3369 3371 1585 0 -1 4202560 478 0 0 0 341 14 0 0 20 0 20 0 334692838 3165167616 419540 33554432000 1073741824 1073778376 140735146493296 139872687184296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3381] ppid=3369 vsize=3090984 CPUtime=3.85 cores=1,3,5,7
/proc/3371/task/3381/stat : 3381 (java) S 3369 3371 1585 0 -1 4202560 525 0 0 0 370 15 0 0 20 0 20 0 334692838 3165167616 419540 33554432000 1073741824 1073778376 140735146493296 139872686131752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3382] ppid=3369 vsize=3090984 CPUtime=116.28 cores=1,3,5,7
/proc/3371/task/3382/stat : 3382 (java) R 3369 3371 1585 0 -1 4202560 92 0 0 0 11623 5 0 0 20 0 20 0 334692839 3165167616 419540 33554432000 1073741824 1073778376 140735146493296 139872673720872 139872712269929 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3383] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3383/stat : 3383 (java) S 3369 3371 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 334692839 3165167616 419540 33554432000 1073741824 1073778376 140735146493296 139872672667256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3384] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3384/stat : 3384 (java) S 3369 3371 1585 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 334692839 3165167616 419540 33554432000 1073741824 1073778376 140735146493296 139872671611880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3385] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3385/stat : 3385 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334692842 3165167616 419540 33554432000 1073741824 1073778376 140735146493296 139872670563344 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3386] ppid=3369 vsize=3090984 CPUtime=0.35 cores=1,3,5,7
/proc/3371/task/3386/stat : 3386 (java) S 3369 3371 1585 0 -1 4202560 2958 0 0 0 35 0 0 0 20 0 20 0 334692842 3165167616 419540 33554432000 1073741824 1073778376 140735146493296 139872669509688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3387] ppid=3369 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/3371/task/3387/stat : 3387 (java) S 3369 3371 1585 0 -1 4202560 3415 0 0 0 38 0 0 0 20 0 20 0 334692842 3165167616 419540 33554432000 1073741824 1073778376 140735146493296 139872668457144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3388] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3388/stat : 3388 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334692842 3165167616 419540 33554432000 1073741824 1073778376 140735146493296 139872667404792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3389] ppid=3369 vsize=3090984 CPUtime=0.4 cores=1,3,5,7
/proc/3371/task/3389/stat : 3389 (java) S 3369 3371 1585 0 -1 4202560 61 0 0 0 17 23 0 0 20 0 20 0 334692842 3165167616 419540 33554432000 1073741824 1073778376 140735146493296 139872666352456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3412] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3412/stat : 3412 (java) S 3369 3371 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 334767838 3165167616 419540 33554432000 1073741824 1073778376 140735146493296 139872664151080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3414] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3414/stat : 3414 (java) S 3369 3371 1585 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 334801365 3165167616 419540 33554432000 1073741824 1073778376 140735146493296 139872663098040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1108.48
Current children cumulated vsize (KiB) 3090984

[startup+1087.91 s]
/proc/loadavg: 2.00 2.06 2.04 3/214 3414
/proc/meminfo: memFree=26410388/32873648 swapFree=7116/7116
[pid=3371] ppid=3369 vsize=3090984 CPUtime=1110.08 cores=1,3,5,7
/proc/3371/stat : 3371 (java) S 3369 3371 1585 0 -1 4202496 15354 0 1 0 110869 139 0 0 20 0 20 0 334692835 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 140735146484432 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3371/statm: 772746 419542 2298 9 0 763167 0
[pid=3371/tid=3373] ppid=3369 vsize=3090984 CPUtime=961.87 cores=1,3,5,7
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 1585 0 -1 4202560 3768 0 1 0 96162 25 0 0 20 0 20 0 334692836 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872710075576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=3090984 CPUtime=3.56 cores=1,3,5,7
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 1585 0 -1 4202560 479 0 0 0 342 14 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872693500584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=3090984 CPUtime=3.74 cores=1,3,5,7
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 1585 0 -1 4202560 481 0 0 0 361 13 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872692448040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=3090984 CPUtime=3.57 cores=1,3,5,7
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 1585 0 -1 4202560 465 0 0 0 346 11 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872691395496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=3090984 CPUtime=3.39 cores=1,3,5,7
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 1585 0 -1 4202560 460 0 0 0 329 10 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872690342952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=3090984 CPUtime=3.62 cores=1,3,5,7
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 1585 0 -1 4202560 448 0 0 0 351 11 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872689289384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=3090984 CPUtime=3.8 cores=1,3,5,7
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 1585 0 -1 4202560 486 0 0 0 366 14 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872688236840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3380] ppid=3369 vsize=3090984 CPUtime=3.55 cores=1,3,5,7
/proc/3371/task/3380/stat : 3380 (java) S 3369 3371 1585 0 -1 4202560 478 0 0 0 341 14 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872687184296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3381] ppid=3369 vsize=3090984 CPUtime=3.85 cores=1,3,5,7
/proc/3371/task/3381/stat : 3381 (java) S 3369 3371 1585 0 -1 4202560 525 0 0 0 370 15 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872686131752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3382] ppid=3369 vsize=3090984 CPUtime=117.89 cores=1,3,5,7
/proc/3371/task/3382/stat : 3382 (java) R 3369 3371 1585 0 -1 4202560 92 0 0 0 11784 5 0 0 20 0 20 0 334692839 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872673720936 139872716929027 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3383] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3383/stat : 3383 (java) S 3369 3371 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 334692839 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872672667256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3384] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3384/stat : 3384 (java) S 3369 3371 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 334692839 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872671614600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3385] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3385/stat : 3385 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334692842 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872670563344 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3386] ppid=3369 vsize=3090984 CPUtime=0.35 cores=1,3,5,7
/proc/3371/task/3386/stat : 3386 (java) S 3369 3371 1585 0 -1 4202560 2958 0 0 0 35 0 0 0 20 0 20 0 334692842 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872669509688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3387] ppid=3369 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/3371/task/3387/stat : 3387 (java) S 3369 3371 1585 0 -1 4202560 3415 0 0 0 38 0 0 0 20 0 20 0 334692842 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872668457144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3388] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3388/stat : 3388 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334692842 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872667404792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3389] ppid=3369 vsize=3090984 CPUtime=0.4 cores=1,3,5,7
/proc/3371/task/3389/stat : 3389 (java) S 3369 3371 1585 0 -1 4202560 61 0 0 0 17 23 0 0 20 0 20 0 334692842 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872666352456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3412] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3412/stat : 3412 (java) S 3369 3371 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 334767838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872664151080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3414] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3414/stat : 3414 (java) S 3369 3371 1585 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 334801365 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872663097976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1110.08
Current children cumulated vsize (KiB) 3090984

[startup+1088.7 s]
/proc/loadavg: 2.00 2.06 2.04 3/214 3414
/proc/meminfo: memFree=26410388/32873648 swapFree=7116/7116
[pid=3371] ppid=3369 vsize=3090984 CPUtime=1110.88 cores=1,3,5,7
/proc/3371/stat : 3371 (java) S 3369 3371 1585 0 -1 4202496 15356 0 1 0 110949 139 0 0 20 0 20 0 334692835 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 140735146484432 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3371/statm: 772746 419542 2298 9 0 763167 0
[pid=3371/tid=3373] ppid=3369 vsize=3090984 CPUtime=961.87 cores=1,3,5,7
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 1585 0 -1 4202560 3768 0 1 0 96162 25 0 0 20 0 20 0 334692836 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872710075576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=3090984 CPUtime=3.56 cores=1,3,5,7
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 1585 0 -1 4202560 479 0 0 0 342 14 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872693500584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=3090984 CPUtime=3.74 cores=1,3,5,7
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 1585 0 -1 4202560 481 0 0 0 361 13 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872692448040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=3090984 CPUtime=3.57 cores=1,3,5,7
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 1585 0 -1 4202560 465 0 0 0 346 11 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872691395496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=3090984 CPUtime=3.39 cores=1,3,5,7
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 1585 0 -1 4202560 460 0 0 0 329 10 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872690342952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=3090984 CPUtime=3.62 cores=1,3,5,7
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 1585 0 -1 4202560 448 0 0 0 351 11 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872689289384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=3090984 CPUtime=3.8 cores=1,3,5,7
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 1585 0 -1 4202560 486 0 0 0 366 14 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872688236840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3380] ppid=3369 vsize=3090984 CPUtime=3.55 cores=1,3,5,7
/proc/3371/task/3380/stat : 3380 (java) S 3369 3371 1585 0 -1 4202560 478 0 0 0 341 14 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872687184296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3381] ppid=3369 vsize=3090984 CPUtime=3.85 cores=1,3,5,7
/proc/3371/task/3381/stat : 3381 (java) S 3369 3371 1585 0 -1 4202560 525 0 0 0 370 15 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872686131752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3382] ppid=3369 vsize=3090984 CPUtime=118.68 cores=1,3,5,7
/proc/3371/task/3382/stat : 3382 (java) R 3369 3371 1585 0 -1 4202560 92 0 0 0 11863 5 0 0 20 0 20 0 334692839 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872673720936 139872716201103 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3383] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3383/stat : 3383 (java) S 3369 3371 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 334692839 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872672667256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3384] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3384/stat : 3384 (java) S 3369 3371 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 334692839 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872671614600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3385] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3385/stat : 3385 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334692842 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872670563344 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3386] ppid=3369 vsize=3090984 CPUtime=0.35 cores=1,3,5,7
/proc/3371/task/3386/stat : 3386 (java) S 3369 3371 1585 0 -1 4202560 2958 0 0 0 35 0 0 0 20 0 20 0 334692842 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872669509688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3387] ppid=3369 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/3371/task/3387/stat : 3387 (java) S 3369 3371 1585 0 -1 4202560 3415 0 0 0 38 0 0 0 20 0 20 0 334692842 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872668457144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3388] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3388/stat : 3388 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334692842 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872667404792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3389] ppid=3369 vsize=3090984 CPUtime=0.4 cores=1,3,5,7
/proc/3371/task/3389/stat : 3389 (java) S 3369 3371 1585 0 -1 4202560 61 0 0 0 17 23 0 0 20 0 20 0 334692842 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872666352456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3412] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3412/stat : 3412 (java) S 3369 3371 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 334767838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872664151080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3414] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3414/stat : 3414 (java) S 3369 3371 1585 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 334801365 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872663097560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1110.88
Current children cumulated vsize (KiB) 3090984

[startup+1089.1 s]
/proc/loadavg: 2.00 2.06 2.04 3/214 3414
/proc/meminfo: memFree=26410388/32873648 swapFree=7116/7116
[pid=3371] ppid=3369 vsize=3090984 CPUtime=1111.28 cores=1,3,5,7
/proc/3371/stat : 3371 (java) S 3369 3371 1585 0 -1 4202496 15356 0 1 0 110989 139 0 0 20 0 20 0 334692835 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 140735146484432 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3371/statm: 772746 419542 2298 9 0 763167 0
[pid=3371/tid=3373] ppid=3369 vsize=3090984 CPUtime=961.87 cores=1,3,5,7
/proc/3371/task/3373/stat : 3373 (java) S 3369 3371 1585 0 -1 4202560 3768 0 1 0 96162 25 0 0 20 0 20 0 334692836 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872710075576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3374] ppid=3369 vsize=3090984 CPUtime=3.56 cores=1,3,5,7
/proc/3371/task/3374/stat : 3374 (java) S 3369 3371 1585 0 -1 4202560 479 0 0 0 342 14 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872693500584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3375] ppid=3369 vsize=3090984 CPUtime=3.74 cores=1,3,5,7
/proc/3371/task/3375/stat : 3375 (java) S 3369 3371 1585 0 -1 4202560 481 0 0 0 361 13 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872692448040 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3376] ppid=3369 vsize=3090984 CPUtime=3.57 cores=1,3,5,7
/proc/3371/task/3376/stat : 3376 (java) S 3369 3371 1585 0 -1 4202560 465 0 0 0 346 11 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872691395496 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3377] ppid=3369 vsize=3090984 CPUtime=3.39 cores=1,3,5,7
/proc/3371/task/3377/stat : 3377 (java) S 3369 3371 1585 0 -1 4202560 460 0 0 0 329 10 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872690342952 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3378] ppid=3369 vsize=3090984 CPUtime=3.62 cores=1,3,5,7
/proc/3371/task/3378/stat : 3378 (java) S 3369 3371 1585 0 -1 4202560 448 0 0 0 351 11 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872689289384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3379] ppid=3369 vsize=3090984 CPUtime=3.8 cores=1,3,5,7
/proc/3371/task/3379/stat : 3379 (java) S 3369 3371 1585 0 -1 4202560 486 0 0 0 366 14 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872688236840 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3380] ppid=3369 vsize=3090984 CPUtime=3.55 cores=1,3,5,7
/proc/3371/task/3380/stat : 3380 (java) S 3369 3371 1585 0 -1 4202560 478 0 0 0 341 14 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872687184296 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3381] ppid=3369 vsize=3090984 CPUtime=3.85 cores=1,3,5,7
/proc/3371/task/3381/stat : 3381 (java) S 3369 3371 1585 0 -1 4202560 525 0 0 0 370 15 0 0 20 0 20 0 334692838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872686131752 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3382] ppid=3369 vsize=3090984 CPUtime=119.08 cores=1,3,5,7
/proc/3371/task/3382/stat : 3382 (java) R 3369 3371 1585 0 -1 4202560 92 0 0 0 11903 5 0 0 20 0 20 0 334692839 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872673720936 139872714236220 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3383] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3383/stat : 3383 (java) S 3369 3371 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 334692839 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872672667256 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3384] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3384/stat : 3384 (java) S 3369 3371 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 334692839 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872671614600 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3385] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3385/stat : 3385 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334692842 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872670563344 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3386] ppid=3369 vsize=3090984 CPUtime=0.35 cores=1,3,5,7
/proc/3371/task/3386/stat : 3386 (java) S 3369 3371 1585 0 -1 4202560 2958 0 0 0 35 0 0 0 20 0 20 0 334692842 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872669509688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3371/tid=3387] ppid=3369 vsize=3090984 CPUtime=0.38 cores=1,3,5,7
/proc/3371/task/3387/stat : 3387 (java) S 3369 3371 1585 0 -1 4202560 3415 0 0 0 38 0 0 0 20 0 20 0 334692842 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872668457144 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3388] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3388/stat : 3388 (java) S 3369 3371 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334692842 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872667404792 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3371/tid=3389] ppid=3369 vsize=3090984 CPUtime=0.4 cores=1,3,5,7
/proc/3371/task/3389/stat : 3389 (java) S 3369 3371 1585 0 -1 4202560 61 0 0 0 17 23 0 0 20 0 20 0 334692842 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872666352456 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3371/tid=3412] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3412/stat : 3412 (java) S 3369 3371 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 334767838 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872664151080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3371/tid=3414] ppid=3369 vsize=3090984 CPUtime=0 cores=1,3,5,7
/proc/3371/task/3414/stat : 3414 (java) S 3369 3371 1585 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 334801365 3165167616 419542 33554432000 1073741824 1073778376 140735146493296 139872663097560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1111.28
Current children cumulated vsize (KiB) 3090984

Child status: 1
Real time (s): 1089.14
CPU time (s): 1111.43
CPU user time (s): 1109.75
CPU system time (s): 1.67974
CPU usage (%): 102.047
Max. virtual memory (cumulated for all children) (KiB): 3090984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1109.75
system time used= 1.67974
maximum resident set size= 1678188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15366
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33123
involuntary context switches= 54251

runsolver used 3.9614 second user time and 9.36957 second system time

The end

Launcher Data 

Begin job on node127 at 2012-06-03 03:07:54
IDJOB=3731461
IDBENCH=1956
IDSOLVER=2319
FILE ID=node127/3731461-1338685674
RUNJOBID= node127-1338678617-1607
PBS_JOBID= 14636686
Free space on /tmp= 70480 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_23.opb.PB06.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731461-1338685674/watcher-3731461-1338685674 -o /tmp/evaluation-result-3731461-1338685674/solver-3731461-1338685674 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731461-1338685674.opb           

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

MD5SUM BENCH= 0a5749e09f3f6f40d04f442dc86d22a6
RANDOM SEED=1528757375

node127.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.348
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	: 5332.69
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.348
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.348
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.94
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.348
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28087988 kB
Buffers:          384208 kB
Cached:          1849348 kB
SwapCached:         1500 kB
Active:          2672744 kB
Inactive:        1229420 kB
Active(anon):    1662864 kB
Inactive(anon):     7932 kB
Active(file):    1009880 kB
Inactive(file):  1221488 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67104404 kB
Dirty:              3564 kB
Writeback:             0 kB
AnonPages:       1674212 kB
Mapped:            18992 kB
Shmem:                92 kB
Slab:             745320 kB
SReclaimable:     189236 kB
SUnreclaim:       556084 kB
KernelStack:        1584 kB
PageTables:         7416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1825524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1632256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70476 MiB
End job on node127 at 2012-06-03 03:26:03