Trace number 3732506

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) 860.69 853.826

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32d2.opb
MD5SUM05a418d42b6e85967009c0fa73623d83
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark372
Best CPU time to get the best result obtained on this benchmark439.002
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 372
Optimality of the best value was proved NO
Number of variables808
Total number of constraints5557
Number of constraints which are clauses5557
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 808
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 808
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 808
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.09	c no version file found!!!
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version	1.6.0_24
0.00/0.09	c os.name	Linux
0.00/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch	amd64
0.00/0.09	c Free memory 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.07/0.11	--- Begin Solver configuration ---
0.07/0.11	c Stops conflict analysis at the first Unique Implication Point
0.07/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.11	c Learn all clauses as in MiniSAT
0.07/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.11	c No reason simplification
0.07/0.11	c --- End Solver configuration ---
0.07/0.11	c solving HOME/instance-3732506-1338690942.opb
0.07/0.12	c reading problem ... 
0.80/0.40	c ... done. Wall clock time 0.289s.
0.80/0.40	c CPU time (experimental) 0.37s.
0.80/0.40	c #vars     808
0.80/0.40	c #constraints  5557
1.20/0.63	c SATISFIABLE
1.20/0.63	c OPTIMIZING...
1.20/0.63	c Got one! Elapsed wall clock time (in seconds):0.514
1.20/0.63	o 404
1.20/0.67	c Got one! Elapsed wall clock time (in seconds):0.559
1.20/0.67	o 403
1.20/0.69	c Got one! Elapsed wall clock time (in seconds):0.576
1.20/0.69	o 399
1.33/0.71	c Got one! Elapsed wall clock time (in seconds):0.593
1.33/0.71	o 398
1.33/0.73	c Got one! Elapsed wall clock time (in seconds):0.61
1.33/0.73	o 397
1.33/0.75	c Got one! Elapsed wall clock time (in seconds):0.631
1.33/0.75	o 396
1.33/0.77	c Got one! Elapsed wall clock time (in seconds):0.654
1.33/0.77	o 395
1.77/0.93	c Got one! Elapsed wall clock time (in seconds):0.811
1.77/0.93	o 394
1.98/1.15	c Got one! Elapsed wall clock time (in seconds):1.033
1.98/1.15	o 393
2.37/1.50	c Got one! Elapsed wall clock time (in seconds):1.381
2.37/1.50	o 392
2.47/1.60	c Got one! Elapsed wall clock time (in seconds):1.488
2.47/1.60	o 391
2.47/1.63	c Got one! Elapsed wall clock time (in seconds):1.513
2.47/1.63	o 376
2.71/1.83	c Got one! Elapsed wall clock time (in seconds):1.712
2.71/1.83	o 375
3.43/2.50	c Got one! Elapsed wall clock time (in seconds):2.389
3.43/2.50	o 374
7.45/6.60	c Got one! Elapsed wall clock time (in seconds):6.482
7.45/6.60	o 373
22.07/21.10	c Got one! Elapsed wall clock time (in seconds):20.987
22.07/21.10	o 372
239.53/236.41	c cleaning 426375 clauses out of 852799 for limit 41721.47829190019
246.64/243.53	c cleaning 213449 clauses out of 426916 for limit 136346.4176178305
247.44/244.34	c cleaning 106939 clauses out of 213965 for limit 447744.5298812141
248.14/245.00	c cleaning 53736 clauses out of 107528 for limit 1472232.3935729305
248.24/245.15	c cleaning 27070 clauses out of 54290 for limit 4799157.0163185615
248.45/245.37	c cleaning 13788 clauses out of 27720 for limit 1.5500562619174985E7
248.54/245.48	c cleaning 7141 clauses out of 14432 for limit 4.909870693270876E7
248.64/245.54	c cleaning 3825 clauses out of 7792 for limit 1.5011981819121715E8
248.74/245.60	c cleaning 2165 clauses out of 4469 for limit 4.325153543046923E8
248.74/245.67	c cleaning 1326 clauses out of 2801 for limit 1.134621809032697E9
248.84/245.74	c cleaning 988 clauses out of 1977 for limit 2.656332752413325E9
248.94/245.80	c cleaning 743 clauses out of 1487 for limit 5.81252777786828E9
248.94/245.86	c cleaning 549 clauses out of 1244 for limit 1.1458071198590149E10
249.04/245.92	c cleaning 599 clauses out of 1198 for limit 1.9680426285916996E10
249.04/245.98	c cleaning 549 clauses out of 1098 for limit 3.5376132702995026E10
249.14/246.04	c cleaning 524 clauses out of 1049 for limit 6.106510290470979E10
249.14/246.09	c cleaning 493 clauses out of 1023 for limit 1.0305754941256145E11
249.24/246.15	c cleaning 446 clauses out of 1033 for limit 1.688163654165625E11
249.34/246.23	c cleaning 471 clauses out of 1084 for limit 2.6450746709778644E11
249.34/246.30	c cleaning 480 clauses out of 1113 for limit 4.2484248615222253E11
249.45/246.37	c cleaning 495 clauses out of 1133 for limit 6.882545372520671E11
249.55/246.44	c cleaning 569 clauses out of 1139 for limit 1.1301749256146946E12
249.64/246.52	c cleaning 534 clauses out of 1069 for limit 1.9838693225694404E12
249.64/246.59	c cleaning 507 clauses out of 1038 for limit 3.379502996220553E12
249.74/246.64	c cleaning 439 clauses out of 1028 for limit 5.61060153707616E12
249.74/246.69	c cleaning 468 clauses out of 1089 for limit 8.734349143887499E12
249.84/246.74	c cleaning 489 clauses out of 1122 for limit 1.3994454352988691E13
249.84/246.79	c cleaning 531 clauses out of 1135 for limit 2.2860086839720938E13
249.94/246.84	c cleaning 471 clauses out of 1101 for limit 3.8747061323328875E13
249.94/246.90	c cleaning 494 clauses out of 1132 for limit 6.227368603481277E13
250.04/246.95	c cleaning 490 clauses out of 1137 for limit 1.0214377636702303E14
250.14/247.01	c cleaning 573 clauses out of 1147 for limit 1.669801488865729E14
250.14/247.07	c cleaning 536 clauses out of 1073 for limit 2.940694539504229E14
250.24/247.13	c cleaning 443 clauses out of 1037 for limit 5.017955062135311E14
250.24/247.18	c cleaning 472 clauses out of 1096 for limit 7.845486519355319E14
250.34/247.24	c cleaning 489 clauses out of 1128 for limit 1.262162489443841E15
250.44/247.30	c cleaning 492 clauses out of 1136 for limit 2.060622269791351E15
250.44/247.35	c cleaning 496 clauses out of 1144 for limit 3.3744778594139245E15
250.55/247.41	c cleaning 509 clauses out of 1154 for limit 5.549958763324589E15
250.55/247.46	c cleaning 500 clauses out of 1139 for limit 9.217659417894888E15
250.65/247.52	c cleaning 568 clauses out of 1136 for limit 1.5195619204287766E16
250.65/247.57	c cleaning 534 clauses out of 1068 for limit 2.6655164524376884E16
250.74/247.62	c cleaning 517 clauses out of 1034 for limit 4.5403357400405048E16
250.74/247.67	c cleaning 503 clauses out of 1018 for limit 7.61291757928353E-4
250.84/247.73	c cleaning 436 clauses out of 1014 for limit 0.0012591640801897924
250.84/247.78	c cleaning 469 clauses out of 1080 for limit 0.00195353607826547
250.94/247.84	c cleaning 485 clauses out of 1109 for limit 0.0031311257447896035
250.94/247.89	c cleaning 491 clauses out of 1126 for limit 0.00509587275753026
251.04/247.94	c cleaning 491 clauses out of 1133 for limit 0.008335159587306691
251.04/247.99	c cleaning 497 clauses out of 1142 for limit 0.013637463848557492
251.14/248.04	c cleaning 502 clauses out of 1147 for limit 0.02243681509607001
251.14/248.09	c cleaning 503 clauses out of 1145 for limit 0.037065940745379264
251.24/248.14	c cleaning 505 clauses out of 1142 for limit 0.061287272889541326
251.24/248.19	c cleaning 495 clauses out of 1135 for limit 0.10149096987126495
251.36/248.24	c cleaning 495 clauses out of 1140 for limit 0.1666380979993172
251.36/248.29	c cleaning 498 clauses out of 1147 for limit 0.2736784767303879
251.46/248.34	c cleaning 507 clauses out of 1151 for limit 0.4506648111438118
251.46/248.39	c cleaning 498 clauses out of 1140 for limit 0.7473808416789457
251.56/248.45	c cleaning 501 clauses out of 1145 for limit 1.2308375808086887
251.66/248.51	c cleaning 499 clauses out of 1141 for limit 2.030827061543862
251.66/248.57	c cleaning 498 clauses out of 1142 for limit 3.346172836853767
251.76/248.63	c cleaning 495 clauses out of 1144 for limit 5.5086392966804185
251.76/248.69	c cleaning 502 clauses out of 1151 for limit 9.047319913907625
251.86/248.75	c cleaning 501 clauses out of 1147 for limit 14.942343519138989
251.96/248.81	c cleaning 500 clauses out of 1147 for limit 24.66659000401754
251.96/248.87	c cleaning 493 clauses out of 1146 for limit 40.67328883035792
252.06/248.92	c cleaning 508 clauses out of 1155 for limit 66.68633268652218
252.06/248.98	c cleaning 504 clauses out of 1148 for limit 110.7560170950178
252.16/249.04	c cleaning 497 clauses out of 1141 for limit 183.22128512788902
252.16/249.09	c cleaning 496 clauses out of 1144 for limit 301.3640418726421
252.26/249.14	c cleaning 503 clauses out of 1150 for limit 495.38690991519525
252.26/249.19	c cleaning 499 clauses out of 1146 for limit 818.9909911562562
252.36/249.25	c cleaning 501 clauses out of 1148 for limit 1349.6223229359302
252.46/249.30	c cleaning 501 clauses out of 1149 for limit 2228.224898866885
252.46/249.35	c cleaning 500 clauses out of 1147 for limit 3677.3672913329265
252.56/249.40	c cleaning 500 clauses out of 1144 for limit 6062.151058036453
252.56/249.46	c cleaning 500 clauses out of 1145 for limit 9998.565375442951
252.66/249.51	c cleaning 499 clauses out of 1144 for limit 16486.881939891085
252.66/249.55	c cleaning 502 clauses out of 1149 for limit 27179.311926558818
252.76/249.60	c cleaning 500 clauses out of 1145 for limit 44888.99304607692
252.76/249.66	c cleaning 504 clauses out of 1146 for limit 74037.39525119726
252.86/249.71	c cleaning 499 clauses out of 1139 for limit 122479.77403242505
252.86/249.77	c cleaning 500 clauses out of 1140 for limit 201808.352138893
252.96/249.83	c cleaning 498 clauses out of 1140 for limit 332808.97011538054
252.96/249.90	c cleaning 496 clauses out of 1142 for limit 547885.311806332
253.06/249.96	c cleaning 501 clauses out of 1146 for limit 900382.4700313074
253.16/250.02	c cleaning 501 clauses out of 1146 for limit 1486337.4815750883
253.16/250.08	c cleaning 496 clauses out of 1144 for limit 2452999.1522753905
494.37/490.18	c cleaning 423531 clauses out of 847152 for limit 2.1682873455002747E11
534.26/530.05	c cleaning 212055 clauses out of 424123 for limit 7.156674441849509E11
540.46/536.29	c cleaning 106254 clauses out of 212564 for limit 2.345477181529689E12
541.86/537.64	c cleaning 53329 clauses out of 106811 for limit 7.705402754645586E12
542.17/537.94	c cleaning 26919 clauses out of 53981 for limit 2.511838857350727E13
542.46/538.23	c cleaning 13707 clauses out of 27560 for limit 8.097302246228223E13
542.56/538.35	c cleaning 7179 clauses out of 14359 for limit 2.5784476938668022E14
542.66/538.42	c cleaning 3765 clauses out of 7675 for limit 7.915666078790022E14
542.76/538.50	c cleaning 2140 clauses out of 4411 for limit 2.273626855690303E15
542.76/538.56	c cleaning 1319 clauses out of 2770 for limit 5.964827029979393E15
542.86/538.62	c cleaning 976 clauses out of 1953 for limit 1.397977851100407E16
542.86/538.68	c cleaning 668 clauses out of 1474 for limit 3.0454915732177777E-4
542.96/538.74	c cleaning 586 clauses out of 1306 for limit 5.668492753155905E-4
543.06/538.80	c cleaning 542 clauses out of 1221 for limit 0.0010008880579806814
543.06/538.86	c cleaning 521 clauses out of 1183 for limit 0.0017104499116717088
543.17/538.92	c cleaning 509 clauses out of 1158 for limit 0.002870148623010698
543.17/538.98	c cleaning 504 clauses out of 1151 for limit 0.004771583547056577
543.27/539.04	c cleaning 506 clauses out of 1145 for limit 0.007894401909080915
543.36/539.10	c cleaning 501 clauses out of 1145 for limit 0.013097312519446309
543.36/539.15	c cleaning 499 clauses out of 1137 for limit 0.021599391536091292
543.46/539.20	c cleaning 500 clauses out of 1138 for limit 0.03558898537922111
543.46/539.26	c cleaning 500 clauses out of 1138 for limit 0.05869099789962173
543.56/539.32	c cleaning 499 clauses out of 1138 for limit 0.09678930707770553
543.56/539.38	c cleaning 498 clauses out of 1139 for limit 0.1594783764421208
543.66/539.44	c cleaning 502 clauses out of 1144 for limit 0.2626388255409465
543.76/539.50	c cleaning 496 clauses out of 1141 for limit 0.43383110092294963
543.76/539.55	c cleaning 498 clauses out of 1143 for limit 0.7127659760238048
543.86/539.61	c cleaning 506 clauses out of 1151 for limit 1.1743047696188476
543.86/539.66	c cleaning 496 clauses out of 1139 for limit 1.9452760540759657
543.96/539.72	c cleaning 501 clauses out of 1145 for limit 3.1976018661784336
543.96/539.77	c cleaning 500 clauses out of 1142 for limit 5.276557011842065
544.06/539.83	c cleaning 506 clauses out of 1148 for limit 8.708388757202561
544.06/539.89	c cleaning 497 clauses out of 1136 for limit 14.426141294234728
544.16/539.95	c cleaning 500 clauses out of 1142 for limit 23.736781457003012
544.27/540.02	c cleaning 501 clauses out of 1139 for limit 39.13060501880719
544.27/540.08	c cleaning 495 clauses out of 1138 for limit 64.58830862801518
544.37/540.13	c cleaning 505 clauses out of 1144 for limit 106.0621797231838
544.37/540.20	c cleaning 500 clauses out of 1145 for limit 175.81019015285628
544.46/540.25	c cleaning 496 clauses out of 1138 for limit 289.68204176948393
544.56/540.31	c cleaning 501 clauses out of 1148 for limit 476.4144269983932
544.56/540.37	c cleaning 501 clauses out of 1143 for limit 785.9563047295128
544.66/540.43	c cleaning 499 clauses out of 1142 for limit 1297.282069790899
544.66/540.49	c cleaning 499 clauses out of 1141 for limit 2136.9863028713903
544.76/540.54	c cleaning 506 clauses out of 1149 for limit 3524.234705757724
544.86/540.60	c cleaning 502 clauses out of 1140 for limit 5840.262299884367
544.86/540.65	c cleaning 498 clauses out of 1137 for limit 9647.129638251574
544.96/540.70	c cleaning 499 clauses out of 1138 for limit 15879.531769143852
544.96/540.75	c cleaning 495 clauses out of 1137 for limit 26158.10949257961
545.06/540.81	c cleaning 501 clauses out of 1143 for limit 42954.72929266466
545.06/540.87	c cleaning 499 clauses out of 1145 for limit 70926.92839608352
545.16/540.94	c cleaning 503 clauses out of 1142 for limit 116806.8669194355
545.26/541.00	c cleaning 502 clauses out of 1139 for limit 193137.51619814138
545.26/541.06	c cleaning 497 clauses out of 1139 for limit 319147.57769321057
545.37/541.11	c cleaning 502 clauses out of 1143 for limit 525000.1711448287
545.37/541.17	c cleaning 502 clauses out of 1143 for limit 867529.7073692271
545.47/541.23	c cleaning 498 clauses out of 1138 for limit 1432651.8850698434
545.47/541.29	c cleaning 502 clauses out of 1140 for limit 2358489.6422113227
545.56/541.35	c cleaning 498 clauses out of 1136 for limit 3895357.814862184
545.66/541.41	c cleaning 569 clauses out of 1138 for limit 6412676.225421078
545.66/541.47	c cleaning 534 clauses out of 1069 for limit 1.1257961442290004E7
545.76/541.53	c cleaning 518 clauses out of 1036 for limit 1.9176445277995307E7
545.76/541.59	c cleaning 509 clauses out of 1019 for limit 3.218430058467921E7
545.86/541.64	c cleaning 453 clauses out of 1019 for limit 5.355630037135574E7
545.96/541.70	c cleaning 521 clauses out of 1055 for limit 8.437398288313101E7
545.96/541.76	c cleaning 446 clauses out of 1034 for limit 1.4196992679456663E8
546.06/541.82	c cleaning 474 clauses out of 1089 for limit 2.2252531074547684E8
546.06/541.87	c cleaning 560 clauses out of 1120 for limit 3.586061382906809E8
546.16/541.92	c cleaning 529 clauses out of 1059 for limit 6.248289695360981E8
546.16/541.97	c cleaning 513 clauses out of 1027 for limit 1.0593489126192235E9
546.26/542.03	c cleaning 506 clauses out of 1013 for limit 1.769381159702921E9
546.26/542.08	c cleaning 507 clauses out of 1014 for limit 2.9355559243549237E9
546.36/542.14	c cleaning 501 clauses out of 1002 for limit 4.874655401209779E9
546.36/542.19	c cleaning 424 clauses out of 998 for limit 8.0469898203941555E9
546.47/542.24	c cleaning 470 clauses out of 1074 for limit 1.2331491243414253E10
546.47/542.30	c cleaning 485 clauses out of 1107 for limit 1.9789356928801346E10
546.57/542.35	c cleaning 561 clauses out of 1123 for limit 3.2202526410541225E10
546.66/542.41	c cleaning 459 clauses out of 1060 for limit 5.615012139641774E10
546.66/542.47	c cleaning 551 clauses out of 1103 for limit 8.916737115993274E10
546.76/542.53	c cleaning 495 clauses out of 1050 for limit 1.5416260480436948E11
546.76/542.59	c cleaning 454 clauses out of 1053 for limit 2.5300367589838815E11
546.86/542.65	c cleaning 480 clauses out of 1101 for limit 3.998460350898596E11
546.96/542.72	c cleaning 494 clauses out of 1122 for limit 6.477056041263694E11
546.96/542.79	c cleaning 562 clauses out of 1125 for limit 1.0621120617094323E12
547.06/542.85	c cleaning 463 clauses out of 1064 for limit 1.8538373769817695E12
700.29/695.03	c cleaning 337773 clauses out of 675602 for limit 577.0378609582618
719.68/714.49	c cleaning 169160 clauses out of 338329 for limit 1900.255060429436
723.68/718.46	c cleaning 84834 clauses out of 169671 for limit 6261.356243519099
724.48/719.27	c cleaning 42639 clauses out of 85333 for limit 20449.225270756335
724.69/719.45	c cleaning 21570 clauses out of 43199 for limit 66949.6985076209
724.88/719.67	c cleaning 11047 clauses out of 22138 for limit 217395.4393996943
724.98/719.76	c cleaning 5763 clauses out of 11579 for limit 677266.3589692843
725.08/719.83	c cleaning 3131 clauses out of 6316 for limit 2047596.2408392015
725.08/719.88	c cleaning 1841 clauses out of 3683 for limit 5779251.434923588
725.18/719.94	c cleaning 1143 clauses out of 2342 for limit 1.498795238194341E7
725.18/719.99	c cleaning 849 clauses out of 1699 for limit 3.407153527827029E7
725.28/720.05	c cleaning 675 clauses out of 1350 for limit 7.071429254833083E7
725.38/720.10	c cleaning 587 clauses out of 1175 for limit 1.3398586667349926E8
725.38/720.16	c cleaning 518 clauses out of 1088 for limit 2.3862934437726903E8
725.48/720.21	c cleaning 509 clauses out of 1071 for limit 4.0017842567970157E8
725.48/720.28	c cleaning 530 clauses out of 1061 for limit 6.655016453223442E8
725.58/720.33	c cleaning 489 clauses out of 1031 for limit 1.1294362930528097E9
725.58/720.39	c cleaning 492 clauses out of 1045 for limit 1.843162119753938E9
725.69/720.45	c cleaning 527 clauses out of 1055 for limit 3.016839999851027E9
725.79/720.51	c cleaning 513 clauses out of 1026 for limit 5.105570059161763E9
725.79/720.56	c cleaning 505 clauses out of 1011 for limit 8.527609576823669E9
725.88/720.61	c cleaning 477 clauses out of 1006 for limit 1.4133065461561459E10
725.88/720.67	c cleaning 487 clauses out of 1031 for limit 2.2787705414189167E10
725.98/720.72	c cleaning 521 clauses out of 1042 for limit 3.7108927798347786E10
725.98/720.78	c cleaning 490 clauses out of 1027 for limit 6.2465272561815605E10
726.08/720.83	c cleaning 516 clauses out of 1032 for limit 1.0200294570395296E11
726.08/720.89	c cleaning 508 clauses out of 1017 for limit 1.7086844098512268E11
726.18/720.95	c cleaning 506 clauses out of 1012 for limit 2.8402836883308325E11
726.28/721.00	c cleaning 475 clauses out of 1002 for limit 4.7118597011227045E11
726.28/721.06	c cleaning 512 clauses out of 1025 for limit 7.580940187848683E11
726.38/721.11	c cleaning 508 clauses out of 1016 for limit 1.2650644449816423E12
726.38/721.17	c cleaning 502 clauses out of 1005 for limit 2.1027742387645105E12
726.48/721.22	c cleaning 473 clauses out of 1004 for limit 3.474684648739131E12
726.48/721.28	c cleaning 493 clauses out of 1032 for limit 5.580329069427925E12
726.58/721.33	c cleaning 494 clauses out of 1039 for limit 9.140708230632756E12
726.58/721.38	c cleaning 496 clauses out of 1048 for limit 1.4989720458601363E13
726.68/721.44	c cleaning 525 clauses out of 1050 for limit 2.4623647243352043E13
726.68/721.50	c cleaning 511 clauses out of 1022 for limit 4.159519224056396E13
726.79/721.56	c cleaning 477 clauses out of 1011 for limit 6.934238309908401E13
726.89/721.61	c cleaning 491 clauses out of 1036 for limit 1.118188634722809E14
726.89/721.67	c cleaning 523 clauses out of 1047 for limit 1.8283235700663006E14
726.98/721.72	c cleaning 512 clauses out of 1024 for limit 3.082873254992997E14
726.98/721.78	c cleaning 504 clauses out of 1009 for limit 5.1441877657402525E14
727.08/721.85	c cleaning 473 clauses out of 1004 for limit 8.517176376664775E14
727.18/721.92	c cleaning 492 clauses out of 1036 for limit 1.3680376320366915E15
727.18/721.97	c cleaning 491 clauses out of 1039 for limit 2.2383375484720725E15
727.28/722.03	c cleaning 526 clauses out of 1052 for limit 3.6603222514899745E15
727.28/722.08	c cleaning 516 clauses out of 1033 for limit 6.190592392780663E15
727.38/722.14	c cleaning 509 clauses out of 1018 for limit 1.0369913935481706E16
727.48/722.20	c cleaning 501 clauses out of 1002 for limit 1.7253194293246554E16
727.48/722.26	c cleaning 498 clauses out of 996 for limit 2.848139285970142E16
727.58/722.30	c cleaning 500 clauses out of 1001 for limit 4.6875499395311384E16
727.58/722.36	c cleaning 472 clauses out of 1000 for limit 7.730389209101739E-4
727.68/722.42	c cleaning 487 clauses out of 1028 for limit 0.00124012120221551
727.68/722.47	c cleaning 489 clauses out of 1039 for limit 0.0020194288816955596
727.78/722.52	c cleaning 496 clauses out of 1050 for limit 0.0032954194353422657
727.78/722.57	c cleaning 499 clauses out of 1054 for limit 0.005413962881702555
727.89/722.63	c cleaning 500 clauses out of 1055 for limit 0.008919886168820916
727.89/722.68	c cleaning 499 clauses out of 1055 for limit 0.014710085573408718
727.99/722.74	c cleaning 500 clauses out of 1056 for limit 0.024235926548366225
728.08/722.80	c cleaning 507 clauses out of 1058 for limit 0.039972635987660765
728.08/722.85	c cleaning 501 clauses out of 1055 for limit 0.06637276816315991
728.18/722.91	c cleaning 501 clauses out of 1048 for limit 0.10952920216668381
728.18/722.96	c cleaning 497 clauses out of 1047 for limit 0.18080082680028373
728.28/723.02	c cleaning 503 clauses out of 1053 for limit 0.2973569852303772
728.28/723.07	c cleaning 498 clauses out of 1047 for limit 0.49171356133386745
728.38/723.13	c cleaning 500 clauses out of 1057 for limit 0.8096845675163766
728.38/723.18	c cleaning 498 clauses out of 1049 for limit 1.3347353221275664
728.48/723.24	c cleaning 500 clauses out of 1056 for limit 2.1975318060321163
728.58/723.30	c cleaning 506 clauses out of 1058 for limit 3.624418434283045
728.58/723.36	c cleaning 495 clauses out of 1045 for limit 6.009274080576654
728.68/723.42	c cleaning 500 clauses out of 1051 for limit 9.863385006422043
728.68/723.47	c cleaning 500 clauses out of 1053 for limit 16.26766577403081
728.78/723.53	c cleaning 503 clauses out of 1055 for limit 26.830333018300944
728.78/723.58	c cleaning 494 clauses out of 1048 for limit 44.36444777993294
728.88/723.63	c cleaning 501 clauses out of 1053 for limit 72.74269162294839
728.88/723.69	c cleaning 502 clauses out of 1058 for limit 120.11438663624956
840.49/833.70	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
848.68/841.88		at org.sat4j.minisat.constraints.cnf.WLClause.<init>(Unknown Source)
853.28/846.49		at org.sat4j.minisat.constraints.cnf.LearntWLClause.<init>(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-3732506-1338690942/watcher-3732506-1338690942 -o /tmp/evaluation-result-3732506-1338690942/solver-3732506-1338690942 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732506-1338690942.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.92 1.98 1.99 3/195 31515
/proc/meminfo: memFree=30075564/32873844 swapFree=7116/7116
[pid=31515] ppid=31513 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/31515/stat : 31515 (java) D 31513 31515 28219 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 335219081 9515008 182 33554432000 1073741824 1073778376 140736610175712 140736610166744 240565173941 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/31515/statm: 2323 182 140 9 0 71 0

[startup+0.018076 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 31515
/proc/meminfo: memFree=30075564/32873844 swapFree=7116/7116
[pid=31515] ppid=31513 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/31515/stat : 31515 (java) S 31513 31515 28219 0 -1 4202496 1368 0 0 0 0 0 0 0 20 0 2 0 335219081 103964672 1051 33554432000 1073741824 1073778376 140734192910336 140734192901472 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31515/statm: 25382 1051 806 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528

[startup+0.100189 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 31515
/proc/meminfo: memFree=30075564/32873844 swapFree=7116/7116
[pid=31515] ppid=31513 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/31515/stat : 31515 (java) S 31513 31515 28219 0 -1 4202496 4138 0 1 0 6 1 0 0 20 0 18 0 335219081 3028844544 5857 33554432000 1073741824 1073778376 140734192910336 140734192901472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31515/statm: 739464 5857 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300197 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 31515
/proc/meminfo: memFree=30075564/32873844 swapFree=7116/7116
[pid=31515] ppid=31513 vsize=2957856 CPUtime=0.49 cores=1,3,5,7
/proc/31515/stat : 31515 (java) S 31513 31515 28219 0 -1 4202496 8100 0 1 0 47 2 0 0 20 0 18 0 335219081 3028844544 10854 33554432000 1073741824 1073778376 140734192910336 140734192901472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31515/statm: 739464 10854 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2957856

[startup+0.700179 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 31515
/proc/meminfo: memFree=30075564/32873844 swapFree=7116/7116
[pid=31515] ppid=31513 vsize=3024420 CPUtime=1.33 cores=1,3,5,7
/proc/31515/stat : 31515 (java) S 31513 31515 28219 0 -1 4202496 10523 0 1 0 130 3 0 0 20 0 18 0 335219081 3097006080 13679 33554432000 1073741824 1073778376 140734192910336 140734192901472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31515/statm: 756105 13679 2276 9 0 746526 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 3024420

[startup+1.50066 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 31542
/proc/meminfo: memFree=30018120/32873844 swapFree=7116/7116
[pid=31515] ppid=31513 vsize=3024420 CPUtime=2.37 cores=1,3,5,7
/proc/31515/stat : 31515 (java) S 31513 31515 28219 0 -1 4202496 13458 0 1 0 233 4 0 0 20 0 19 0 335219081 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140734192901472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31515/statm: 756105 17649 2283 9 0 746526 0
[pid=31515/tid=31517] ppid=31513 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/31515/task/31517/stat : 31517 (java) R 31513 31515 28219 0 -1 4202560 3062 0 1 0 143 2 0 0 20 0 19 0 335219083 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408636137760 240568558005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31518] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31518/stat : 31518 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408619563688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31519] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31519/stat : 31519 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408618511144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31520] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31520/stat : 31520 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408617458600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31515/tid=31521] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31521/stat : 31521 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408616406056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31522] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31522/stat : 31522 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408615352488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31523] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31523/stat : 31523 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408614299944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31524] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31524/stat : 31524 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408613247400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31525] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31525/stat : 31525 (java) S 31513 31515 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408612194856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31526] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31526/stat : 31526 (java) S 31513 31515 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335219085 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408599784040 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31527] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31527/stat : 31527 (java) S 31513 31515 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335219086 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408598730360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31528] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31528/stat : 31528 (java) S 31513 31515 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335219086 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408597677704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31529] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31529/stat : 31529 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408596626448 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31530] ppid=31513 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/31515/task/31530/stat : 31530 (java) S 31513 31515 28219 0 -1 4202560 4100 0 0 0 42 0 0 0 20 0 19 0 335219089 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408595572792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31531] ppid=31513 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/31515/task/31531/stat : 31531 (java) R 31513 31515 28219 0 -1 4202560 5084 0 0 0 46 0 0 0 20 0 19 0 335219089 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408594520088 140408639005857 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31532] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31532/stat : 31532 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408593467896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31533] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31533/stat : 31533 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 17649 33554432000 1073741824 1073778376 140734192910336 140408592415560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 3024420

[startup+3.10072 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 31547
/proc/meminfo: memFree=30007268/32873844 swapFree=7116/7116
[pid=31515] ppid=31513 vsize=3024420 CPUtime=4.04 cores=1,3,5,7
/proc/31515/stat : 31515 (java) S 31513 31515 28219 0 -1 4202496 13476 0 1 0 399 5 0 0 20 0 19 0 335219081 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140734192901472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31515/statm: 756105 20722 2284 9 0 746526 0
[pid=31515/tid=31517] ppid=31513 vsize=3024420 CPUtime=3.03 cores=1,3,5,7
/proc/31515/task/31517/stat : 31517 (java) R 31513 31515 28219 0 -1 4202560 3069 0 1 0 301 2 0 0 20 0 19 0 335219083 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408636138344 140408471007959 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31515/tid=31518] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31518/stat : 31518 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408619563688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31519] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31519/stat : 31519 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408618511144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31520] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31520/stat : 31520 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408617458600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31515/tid=31521] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31521/stat : 31521 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408616406056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31522] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31522/stat : 31522 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408615352488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31523] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31523/stat : 31523 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408614299944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31524] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31524/stat : 31524 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408613247400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31525] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31525/stat : 31525 (java) S 31513 31515 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408612194856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31526] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31526/stat : 31526 (java) S 31513 31515 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335219085 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408599784040 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31527] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31527/stat : 31527 (java) S 31513 31515 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335219086 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408598730360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31528] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31528/stat : 31528 (java) S 31513 31515 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335219086 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408597677704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31529] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31529/stat : 31529 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408596626448 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31530] ppid=31513 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/31515/task/31530/stat : 31530 (java) S 31513 31515 28219 0 -1 4202560 4100 0 0 0 45 0 0 0 20 0 19 0 335219089 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408595572792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31531] ppid=31513 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/31515/task/31531/stat : 31531 (java) S 31513 31515 28219 0 -1 4202560 5085 0 0 0 51 0 0 0 20 0 19 0 335219089 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408594520248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31532] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31532/stat : 31532 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408593467896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31533] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31533/stat : 31533 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 20722 33554432000 1073741824 1073778376 140734192910336 140408592415560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.04
Current children cumulated vsize (KiB) 3024420

[startup+6.30075 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 31548
/proc/meminfo: memFree=29992372/32873844 swapFree=7116/7116
[pid=31515] ppid=31513 vsize=3024420 CPUtime=7.24 cores=1,3,5,7
/proc/31515/stat : 31515 (java) S 31513 31515 28219 0 -1 4202496 13484 0 1 0 719 5 0 0 20 0 19 0 335219081 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140734192901472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31515/statm: 756105 23167 2285 9 0 746526 0
[pid=31515/tid=31517] ppid=31513 vsize=3024420 CPUtime=6.23 cores=1,3,5,7
/proc/31515/task/31517/stat : 31517 (java) R 31513 31515 28219 0 -1 4202560 3076 0 1 0 620 3 0 0 20 0 19 0 335219083 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408636137968 140408471076182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=31515/tid=31518] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31518/stat : 31518 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408619563688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31519] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31519/stat : 31519 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408618511144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31520] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31520/stat : 31520 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408617458600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31515/tid=31521] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31521/stat : 31521 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408616406056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31522] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31522/stat : 31522 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408615352488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31523] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31523/stat : 31523 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408614299944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31524] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31524/stat : 31524 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408613247400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31525] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31525/stat : 31525 (java) S 31513 31515 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335219084 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408612194856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31526] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31526/stat : 31526 (java) S 31513 31515 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335219085 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408599784040 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31527] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31527/stat : 31527 (java) S 31513 31515 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335219086 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408598730360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31528] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31528/stat : 31528 (java) S 31513 31515 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335219086 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408597677704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31529] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31529/stat : 31529 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408596626448 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31530] ppid=31513 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/31515/task/31530/stat : 31530 (java) S 31513 31515 28219 0 -1 4202560 4100 0 0 0 45 0 0 0 20 0 19 0 335219089 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408595572792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31531] ppid=31513 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/31515/task/31531/stat : 31531 (java) S 31513 31515 28219 0 -1 4202560 5085 0 0 0 51 0 0 0 20 0 19 0 335219089 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408594520248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31532] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31532/stat : 31532 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408593467896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31533] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31533/stat : 31533 (java) S 31513 31515 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408592415560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31548] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31548/stat : 31548 (java) S 31513 31515 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335219332 3097006080 23167 33554432000 1073741824 1073778376 140734192910336 140408590214184 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 31549
/proc/meminfo: memFree=29963584/32873844 swapFree=7116/7116
[pid=31515] ppid=31513 vsize=3024420 CPUtime=13.65 cores=1,3,5,7
/proc/31515/stat : 31515 (java) S 31513 31515 28219 0 -1 4202496 13508 0 1 0 1359 6 0 0 20 0 19 0 335219081 3097006080 32896 33554432000 1073741824 1073778376 140734192910336 140734192901472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0

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

/proc/31515/task/31525/stat : 31525 (java) S 31513 31515 28219 0 -1 4202560 625 0 0 0 71 13 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408612194856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31526] ppid=31513 vsize=3024420 CPUtime=28.03 cores=1,3,5,7
/proc/31515/task/31526/stat : 31526 (java) R 31513 31515 28219 0 -1 4202560 223 0 0 0 2796 7 0 0 20 0 19 0 335219085 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408599784200 140408640149308 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31527] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31527/stat : 31527 (java) S 31513 31515 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335219086 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408598730360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31528] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31528/stat : 31528 (java) S 31513 31515 28219 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 335219086 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408597677704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31529] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31529/stat : 31529 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408596626448 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31530] ppid=31513 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/31515/task/31530/stat : 31530 (java) S 31513 31515 28219 0 -1 4202560 4106 0 0 0 50 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408595572792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31531] ppid=31513 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/31515/task/31531/stat : 31531 (java) S 31513 31515 28219 0 -1 4202560 5145 0 0 0 58 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408594520248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31532] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31532/stat : 31532 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408593467896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31533] ppid=31513 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/31515/task/31533/stat : 31533 (java) S 31513 31515 28219 0 -1 4202560 50 0 0 0 19 13 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408592415560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31550] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31550/stat : 31550 (java) S 31513 31515 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335221192 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408590214440 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 859.58
Current children cumulated vsize (KiB) 3024420

[startup+853.501 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 31556
/proc/meminfo: memFree=28397412/32873844 swapFree=7116/7116
[pid=31515] ppid=31513 vsize=3024420 CPUtime=860.39 cores=1,3,5,7
/proc/31515/stat : 31515 (java) S 31513 31515 28219 0 -1 4202496 17884 0 1 0 85856 183 0 0 20 0 19 0 335219081 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140734192901472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31515/statm: 756105 420536 2312 9 0 746526 0
[pid=31515/tid=31517] ppid=31513 vsize=3024420 CPUtime=820.54 cores=1,3,5,7
/proc/31515/task/31517/stat : 31517 (java) S 31513 31515 28219 0 -1 4202560 3313 0 1 0 82032 22 0 0 20 0 19 0 335219083 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408636138904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31518] ppid=31513 vsize=3024420 CPUtime=0.85 cores=1,3,5,7
/proc/31515/task/31518/stat : 31518 (java) S 31513 31515 28219 0 -1 4202560 271 0 0 0 70 15 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408619563688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31515/tid=31519] ppid=31513 vsize=3024420 CPUtime=1.06 cores=1,3,5,7
/proc/31515/task/31519/stat : 31519 (java) S 31513 31515 28219 0 -1 4202560 399 0 0 0 87 19 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408618511144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31520] ppid=31513 vsize=3024420 CPUtime=1 cores=1,3,5,7
/proc/31515/task/31520/stat : 31520 (java) S 31513 31515 28219 0 -1 4202560 375 0 0 0 78 22 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408617458600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31521] ppid=31513 vsize=3024420 CPUtime=1.05 cores=1,3,5,7
/proc/31515/task/31521/stat : 31521 (java) S 31513 31515 28219 0 -1 4202560 773 0 0 0 75 30 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408616406056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31515/tid=31522] ppid=31513 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/31515/task/31522/stat : 31522 (java) S 31513 31515 28219 0 -1 4202560 396 0 0 0 67 16 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408615352488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31523] ppid=31513 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/31515/task/31523/stat : 31523 (java) S 31513 31515 28219 0 -1 4202560 440 0 0 0 59 16 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408614299944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31524] ppid=31513 vsize=3024420 CPUtime=0.94 cores=1,3,5,7
/proc/31515/task/31524/stat : 31524 (java) S 31513 31515 28219 0 -1 4202560 545 0 0 0 75 19 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408613247400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31525] ppid=31513 vsize=3024420 CPUtime=0.84 cores=1,3,5,7
/proc/31515/task/31525/stat : 31525 (java) S 31513 31515 28219 0 -1 4202560 625 0 0 0 71 13 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408612194856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31526] ppid=31513 vsize=3024420 CPUtime=28.83 cores=1,3,5,7
/proc/31515/task/31526/stat : 31526 (java) R 31513 31515 28219 0 -1 4202560 223 0 0 0 2876 7 0 0 20 0 19 0 335219085 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408599784200 140408642264207 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31527] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31527/stat : 31527 (java) S 31513 31515 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335219086 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408598730360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31528] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31528/stat : 31528 (java) S 31513 31515 28219 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 335219086 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408597677704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31529] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31529/stat : 31529 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408596626448 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31530] ppid=31513 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/31515/task/31530/stat : 31530 (java) S 31513 31515 28219 0 -1 4202560 4106 0 0 0 50 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408595572792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31531] ppid=31513 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/31515/task/31531/stat : 31531 (java) S 31513 31515 28219 0 -1 4202560 5145 0 0 0 58 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408594520248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31532] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31532/stat : 31532 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408593467896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31533] ppid=31513 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/31515/task/31533/stat : 31533 (java) S 31513 31515 28219 0 -1 4202560 50 0 0 0 19 13 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408592415560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31550] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31550/stat : 31550 (java) S 31513 31515 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335221192 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408590214440 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 860.39
Current children cumulated vsize (KiB) 3024420

[startup+853.701 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 31556
/proc/meminfo: memFree=28397412/32873844 swapFree=7116/7116
[pid=31515] ppid=31513 vsize=3024420 CPUtime=860.59 cores=1,3,5,7
/proc/31515/stat : 31515 (java) S 31513 31515 28219 0 -1 4202496 17884 0 1 0 85875 184 0 0 20 0 19 0 335219081 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140734192901472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31515/statm: 756105 420536 2312 9 0 746526 0
[pid=31515/tid=31517] ppid=31513 vsize=3024420 CPUtime=820.54 cores=1,3,5,7
/proc/31515/task/31517/stat : 31517 (java) S 31513 31515 28219 0 -1 4202560 3313 0 1 0 82032 22 0 0 20 0 19 0 335219083 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408636138904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31518] ppid=31513 vsize=3024420 CPUtime=0.85 cores=1,3,5,7
/proc/31515/task/31518/stat : 31518 (java) S 31513 31515 28219 0 -1 4202560 271 0 0 0 70 15 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408619563688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31515/tid=31519] ppid=31513 vsize=3024420 CPUtime=1.06 cores=1,3,5,7
/proc/31515/task/31519/stat : 31519 (java) S 31513 31515 28219 0 -1 4202560 399 0 0 0 87 19 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408618511144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31520] ppid=31513 vsize=3024420 CPUtime=1 cores=1,3,5,7
/proc/31515/task/31520/stat : 31520 (java) S 31513 31515 28219 0 -1 4202560 375 0 0 0 78 22 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408617458600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31521] ppid=31513 vsize=3024420 CPUtime=1.05 cores=1,3,5,7
/proc/31515/task/31521/stat : 31521 (java) S 31513 31515 28219 0 -1 4202560 773 0 0 0 75 30 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408616406056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31515/tid=31522] ppid=31513 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/31515/task/31522/stat : 31522 (java) S 31513 31515 28219 0 -1 4202560 396 0 0 0 67 16 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408615352488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31523] ppid=31513 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/31515/task/31523/stat : 31523 (java) S 31513 31515 28219 0 -1 4202560 440 0 0 0 59 16 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408614299944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31524] ppid=31513 vsize=3024420 CPUtime=0.94 cores=1,3,5,7
/proc/31515/task/31524/stat : 31524 (java) S 31513 31515 28219 0 -1 4202560 545 0 0 0 75 19 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408613247400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31525] ppid=31513 vsize=3024420 CPUtime=0.84 cores=1,3,5,7
/proc/31515/task/31525/stat : 31525 (java) S 31513 31515 28219 0 -1 4202560 625 0 0 0 71 13 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408612194856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31526] ppid=31513 vsize=3024420 CPUtime=29.02 cores=1,3,5,7
/proc/31515/task/31526/stat : 31526 (java) R 31513 31515 28219 0 -1 4202560 223 0 0 0 2895 7 0 0 20 0 19 0 335219085 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408599784200 140408642646088 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31527] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31527/stat : 31527 (java) S 31513 31515 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335219086 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408598730360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31528] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31528/stat : 31528 (java) S 31513 31515 28219 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 335219086 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408597677704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31529] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31529/stat : 31529 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408596626448 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31530] ppid=31513 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/31515/task/31530/stat : 31530 (java) S 31513 31515 28219 0 -1 4202560 4106 0 0 0 50 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408595572792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31531] ppid=31513 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/31515/task/31531/stat : 31531 (java) S 31513 31515 28219 0 -1 4202560 5145 0 0 0 58 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408594520248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31532] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31532/stat : 31532 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408593467896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31533] ppid=31513 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/31515/task/31533/stat : 31533 (java) S 31513 31515 28219 0 -1 4202560 50 0 0 0 19 13 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408592415560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31550] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31550/stat : 31550 (java) S 31513 31515 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335221192 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408590214440 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 860.59
Current children cumulated vsize (KiB) 3024420

[startup+853.801 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 31556
/proc/meminfo: memFree=28397412/32873844 swapFree=7116/7116
[pid=31515] ppid=31513 vsize=3024420 CPUtime=860.69 cores=1,3,5,7
/proc/31515/stat : 31515 (java) S 31513 31515 28219 0 -1 4202496 17884 0 1 0 85885 184 0 0 20 0 19 0 335219081 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140734192901472 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/31515/statm: 756105 420536 2312 9 0 746526 0
[pid=31515/tid=31517] ppid=31513 vsize=3024420 CPUtime=820.54 cores=1,3,5,7
/proc/31515/task/31517/stat : 31517 (java) S 31513 31515 28219 0 -1 4202560 3313 0 1 0 82032 22 0 0 20 0 19 0 335219083 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408636138904 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31518] ppid=31513 vsize=3024420 CPUtime=0.85 cores=1,3,5,7
/proc/31515/task/31518/stat : 31518 (java) S 31513 31515 28219 0 -1 4202560 271 0 0 0 70 15 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408619563688 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31515/tid=31519] ppid=31513 vsize=3024420 CPUtime=1.06 cores=1,3,5,7
/proc/31515/task/31519/stat : 31519 (java) S 31513 31515 28219 0 -1 4202560 399 0 0 0 87 19 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408618511144 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31520] ppid=31513 vsize=3024420 CPUtime=1 cores=1,3,5,7
/proc/31515/task/31520/stat : 31520 (java) S 31513 31515 28219 0 -1 4202560 375 0 0 0 78 22 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408617458600 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31521] ppid=31513 vsize=3024420 CPUtime=1.05 cores=1,3,5,7
/proc/31515/task/31521/stat : 31521 (java) S 31513 31515 28219 0 -1 4202560 773 0 0 0 75 30 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408616406056 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31515/tid=31522] ppid=31513 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/31515/task/31522/stat : 31522 (java) S 31513 31515 28219 0 -1 4202560 396 0 0 0 67 16 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408615352488 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31523] ppid=31513 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/31515/task/31523/stat : 31523 (java) S 31513 31515 28219 0 -1 4202560 440 0 0 0 59 16 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408614299944 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31515/tid=31524] ppid=31513 vsize=3024420 CPUtime=0.94 cores=1,3,5,7
/proc/31515/task/31524/stat : 31524 (java) S 31513 31515 28219 0 -1 4202560 545 0 0 0 75 19 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408613247400 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31525] ppid=31513 vsize=3024420 CPUtime=0.84 cores=1,3,5,7
/proc/31515/task/31525/stat : 31525 (java) S 31513 31515 28219 0 -1 4202560 625 0 0 0 71 13 0 0 20 0 19 0 335219084 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408612194856 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31526] ppid=31513 vsize=3024420 CPUtime=29.12 cores=1,3,5,7
/proc/31515/task/31526/stat : 31526 (java) R 31513 31515 28219 0 -1 4202560 223 0 0 0 2905 7 0 0 20 0 19 0 335219085 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408599784200 140408642993428 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31527] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31527/stat : 31527 (java) S 31513 31515 28219 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 335219086 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408598730360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31528] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31528/stat : 31528 (java) S 31513 31515 28219 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 335219086 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408597677704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31529] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31529/stat : 31529 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408596626448 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31530] ppid=31513 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/31515/task/31530/stat : 31530 (java) S 31513 31515 28219 0 -1 4202560 4106 0 0 0 50 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408595572792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31515/tid=31531] ppid=31513 vsize=3024420 CPUtime=0.58 cores=1,3,5,7
/proc/31515/task/31531/stat : 31531 (java) S 31513 31515 28219 0 -1 4202560 5145 0 0 0 58 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408594520248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31532] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31532/stat : 31532 (java) S 31513 31515 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408593467896 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31533] ppid=31513 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/31515/task/31533/stat : 31533 (java) S 31513 31515 28219 0 -1 4202560 50 0 0 0 19 13 0 0 20 0 19 0 335219089 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408592415560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31515/tid=31550] ppid=31513 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31515/task/31550/stat : 31550 (java) S 31513 31515 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335221192 3097006080 420536 33554432000 1073741824 1073778376 140734192910336 140408590214440 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 860.69
Current children cumulated vsize (KiB) 3024420

Child status: 1

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31515 and gives
#  childrusage.ru_utime.tv_sec=856
#  childrusage.ru_utime.tv_usec=601776
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=50688
# CPU time returned by wait4() is 858.652
# while last known CPU time is 860.69
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 853.826
CPU time (s): 860.69
CPU user time (s): 858.85
CPU system time (s): 1.84
CPU usage (%): 100.804
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 856.602
system time used= 2.05069
maximum resident set size= 1682152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17887
page faults= 1
swaps= 0
block input operations= 0
block output operations= 736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18672
involuntary context switches= 6545

runsolver used 5.68314 second user time and 6.34004 second system time

The end

Launcher Data 

Begin job on node146 at 2012-06-03 04:35:42
IDJOB=3732506
IDBENCH=2106
IDSOLVER=2319
FILE ID=node146/3732506-1338690942
RUNJOBID= node146-1338678624-28239
PBS_JOBID= 14636667
Free space on /tmp= 70908 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732506-1338690942/watcher-3732506-1338690942 -o /tmp/evaluation-result-3732506-1338690942/solver-3732506-1338690942 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732506-1338690942.opb           

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

MD5SUM BENCH= 05a418d42b6e85967009c0fa73623d83
RANDOM SEED=1638097518

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30075836 kB
Buffers:          135940 kB
Cached:           235072 kB
SwapCached:         1796 kB
Active:          1800184 kB
Inactive:         224760 kB
Active(anon):    1654376 kB
Inactive(anon):     1664 kB
Active(file):     145808 kB
Inactive(file):   223096 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099884 kB
Dirty:              3624 kB
Writeback:             0 kB
AnonPages:       1680168 kB
Mapped:            17292 kB
Shmem:                 0 kB
Slab:             610248 kB
SReclaimable:      50248 kB
SUnreclaim:       560000 kB
KernelStack:        1616 kB
PageTables:         7404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1825052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1646592 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= 70904 MiB
End job on node146 at 2012-06-03 04:49:56