Trace number 3741919

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.04 1796.42

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K85.opb
MD5SUM1487741f4fc087d76a7a64081b5bebd6
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5780
Total number of constraints5952
Number of constraints which are clauses5867
Number of constraints which are cardinality constraints (but not clauses)85
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint85
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 86
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.01/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.01/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.01/0.09	c no version file found!!!
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version	1.6.0_24
0.01/0.09	c os.name	Linux
0.01/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch	amd64
0.01/0.09	c Free memory 1599470296
0.01/0.09	c Max memory 1607860224
0.01/0.09	c Total memory 1607860224
0.01/0.09	c Number of processors 8
0.06/0.11	--- Begin Solver configuration ---
0.06/0.11	c Stops conflict analysis at the first Unique Implication Point
0.06/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.06/0.11	c Learn all clauses as in MiniSAT
0.06/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.06/0.11	c No reason simplification
0.06/0.11	c --- End Solver configuration ---
0.06/0.11	c solving HOME/instance-3741919-1338758133.opb
0.06/0.11	c reading problem ... 
0.78/0.42	c ... done. Wall clock time 0.311s.
0.78/0.42	c CPU time (experimental) 0.38s.
0.78/0.42	c #vars     5780
0.78/0.42	c #constraints  5950
1033.14/1030.40	c cleaning 309839 clauses out of 620474 for limit 6641.508028846285
1035.05/1032.38	c cleaning 155352 clauses out of 311134 for limit 21820.474613261908
1035.76/1033.07	c cleaning 77512 clauses out of 156282 for limit 71640.49725241885
1036.26/1033.56	c cleaning 39043 clauses out of 79270 for limit 232924.18299628168
1036.56/1033.87	c cleaning 19672 clauses out of 40727 for limit 747647.5343986328
1036.76/1034.02	c cleaning 10192 clauses out of 21555 for limit 2329631.263392348
1036.86/1034.16	c cleaning 5845 clauses out of 11863 for limit 6980661.34819505
1036.96/1034.25	c cleaning 2685 clauses out of 6518 for limit 2.0952344729464207E7
1037.06/1034.31	c cleaning 1572 clauses out of 4333 for limit 5.197735613585404E7
1037.06/1034.36	c cleaning 1085 clauses out of 3262 for limit 1.139749252780842E8
1037.16/1034.41	c cleaning 769 clauses out of 2676 for limit 2.2889090642602316E8
1037.16/1034.47	c cleaning 633 clauses out of 2408 for limit 4.199026005099907E8
1037.26/1034.53	c cleaning 1120 clauses out of 2274 for limit 7.325477887756124E8
1037.26/1034.57	c cleaning 664 clauses out of 1659 for limit 1.664211359078936E9
1037.36/1034.62	c cleaning 357 clauses out of 1490 for limit 3.0405484471257863E9
1037.36/1034.67	c cleaning 240 clauses out of 1633 for limit 4.575176980061665E9
1037.46/1034.72	c cleaning 395 clauses out of 1894 for limit 6.511851787234013E9
1037.46/1034.77	c cleaning 556 clauses out of 1998 for limit 1.0169752256029596E10
1037.56/1034.83	c cleaning 396 clauses out of 1942 for limit 1.725490285618358E10
1037.56/1034.88	c cleaning 439 clauses out of 2046 for limit 2.700921747673431E10
1037.66/1034.93	c cleaning 471 clauses out of 2109 for limit 4.329781315647582E10
1037.66/1034.97	c cleaning 468 clauses out of 2136 for limit 7.036037684337471E10
1037.76/1035.01	c cleaning 661 clauses out of 2171 for limit 1.1450620043299655E11
1037.76/1035.06	c cleaning 378 clauses out of 2008 for limit 2.037567395199949E11
1037.86/1035.12	c cleaning 407 clauses out of 2129 for limit 3.166076503838462E11
1037.86/1035.17	c cleaning 512 clauses out of 2223 for limit 5.005506184490428E11
1037.96/1035.23	c cleaning 577 clauses out of 2212 for limit 8.304103264531392E11
1037.96/1035.29	c cleaning 1020 clauses out of 2135 for limit 1.4188479970039358E12
1038.06/1035.35	c cleaning 316 clauses out of 1615 for limit 3.093264882670247E12
1038.06/1035.39	c cleaning 350 clauses out of 1797 for limit 4.575393218513415E12
1038.16/1035.44	c cleaning 364 clauses out of 1947 for limit 6.964123060072683E12
1038.16/1035.49	c cleaning 432 clauses out of 2083 for limit 1.0734924771652441E13
1038.26/1035.55	c cleaning 615 clauses out of 2151 for limit 1.7143668166619738E13
1038.36/1035.62	c cleaning 413 clauses out of 2036 for limit 2.9869109543417184E13
1038.36/1035.68	c cleaning 458 clauses out of 2123 for limit 4.723957069173154E13
1038.46/1035.74	c cleaning 478 clauses out of 2165 for limit 7.639306284056678E13
1038.46/1035.79	c cleaning 496 clauses out of 2187 for limit 1.2471506783757056E14
1038.56/1035.84	c cleaning 463 clauses out of 2191 for limit 2.0529634608947956E14
1038.56/1035.88	c cleaning 483 clauses out of 2229 for limit 3.3312246971648125E14
1038.66/1035.94	c cleaning 492 clauses out of 2245 for limit 5.4490278301418994E14
1038.76/1036.00	c cleaning 498 clauses out of 2256 for limit 8.969241100617576E14
1038.76/1036.07	c cleaning 1074 clauses out of 2255 for limit 1.4753688138174765E-5
1038.86/1036.13	c cleaning 754 clauses out of 1682 for limit 3.26521326893931E-5
1038.86/1036.18	c cleaning 515 clauses out of 1428 for limit 6.342569338272419E-5
1038.96/1036.22	c cleaning 527 clauses out of 1412 for limit 1.056769108962939E-4
1038.96/1036.28	c cleaning 517 clauses out of 1385 for limit 1.7767278912660762E-4
1039.05/1036.34	c cleaning 347 clauses out of 1368 for limit 2.9664735680242775E-4
1039.05/1036.39	c cleaning 171 clauses out of 1521 for limit 4.40000584457825E-4
1039.15/1036.46	c cleaning 293 clauses out of 1850 for limit 5.965771650486472E-4
1039.25/1036.51	c cleaning 370 clauses out of 2057 for limit 8.848302258563306E-4
1039.25/1036.58	c cleaning 458 clauses out of 2189 for limit 0.0013739577889245998
1039.35/1036.64	c cleaning 460 clauses out of 2229 for limit 0.0022207309585172935
1039.45/1036.70	c cleaning 498 clauses out of 2269 for limit 0.0035977203820511602
1039.45/1036.76	c cleaning 485 clauses out of 2271 for limit 0.005927897085794326
1039.55/1036.83	c cleaning 503 clauses out of 2287 for limit 0.009717219737844517
1039.65/1036.90	c cleaning 499 clauses out of 2283 for limit 0.016037019305028856
1039.65/1036.97	c cleaning 503 clauses out of 2284 for limit 0.026435610897830187
1039.75/1037.03	c cleaning 479 clauses out of 2281 for limit 0.043653196687297675
1039.85/1037.10	c cleaning 503 clauses out of 2302 for limit 0.07133323258050471
1039.85/1037.16	c cleaning 529 clauses out of 2305 for limit 0.11819231862099568
1039.96/1037.22	c cleaning 530 clauses out of 2271 for limit 0.1968459011598565
1039.96/1037.27	c cleaning 564 clauses out of 2240 for limit 0.3287886880134264
1040.06/1037.33	c cleaning 525 clauses out of 2177 for limit 0.5584661508818473
1040.06/1037.39	c cleaning 513 clauses out of 2153 for limit 0.9321840189988747
1040.15/1037.46	c cleaning 512 clauses out of 2138 for limit 1.5449870576599238
1040.25/1037.52	c cleaning 484 clauses out of 2127 for limit 2.5636306512454587
1040.25/1037.57	c cleaning 463 clauses out of 2142 for limit 4.19396550481341
1040.37/1037.64	c cleaning 470 clauses out of 2179 for limit 6.798967690324242
1040.47/1037.71	c cleaning 507 clauses out of 2210 for limit 11.066195355284338
1040.47/1037.77	c cleaning 508 clauses out of 2203 for limit 18.307624500900754
1040.57/1037.85	c cleaning 507 clauses out of 2194 for limit 30.285255741649404
1040.67/1037.91	c cleaning 510 clauses out of 2192 for limit 50.24070959292328
1040.67/1037.99	c cleaning 503 clauses out of 2177 for limit 83.00824150270071
1040.77/1038.06	c cleaning 491 clauses out of 2174 for limit 137.08059786464912
1040.87/1038.12	c cleaning 534 clauses out of 2186 for limit 225.49909038447112
1040.87/1038.17	c cleaning 516 clauses out of 2149 for limit 377.1472003309922
1040.97/1038.24	c cleaning 509 clauses out of 2133 for limit 626.6316625801078
1041.07/1038.31	c cleaning 488 clauses out of 2124 for limit 1037.7782520688163
1041.07/1038.38	c cleaning 472 clauses out of 2136 for limit 1701.8203648311685
1041.17/1038.44	c cleaning 499 clauses out of 2167 for limit 2774.696431998115
1041.27/1038.52	c cleaning 470 clauses out of 2165 for limit 4566.346235204854
1041.27/1038.59	c cleaning 524 clauses out of 2197 for limit 7435.695426803907
1041.37/1038.68	c cleaning 508 clauses out of 2173 for limit 12397.890890417528
1041.47/1038.75	c cleaning 524 clauses out of 2166 for limit 20532.388957467694
1041.57/1038.81	c cleaning 496 clauses out of 2139 for limit 34185.30839748513
1041.57/1038.87	c cleaning 482 clauses out of 2143 for limit 56270.91831744039
1041.67/1038.93	c cleaning 478 clauses out of 2161 for limit 92025.3110124684
1041.67/1038.99	c cleaning 473 clauses out of 2184 for limit 150314.13621739164
1041.78/1039.05	c cleaning 505 clauses out of 2212 for limit 244995.29028336366
1041.88/1039.11	c cleaning 1041 clauses out of 2206 for limit 404723.7826643837
1041.88/1039.18	c cleaning 747 clauses out of 1668 for limit 885375.7232872901
1041.98/1039.23	c cleaning 633 clauses out of 1419 for limit 1712884.675403882
1041.98/1039.29	c cleaning 568 clauses out of 1284 for limit 3115533.024272112
1042.08/1039.35	c cleaning 525 clauses out of 1217 for limit 5426217.571161678
1042.18/1039.41	c cleaning 565 clauses out of 1191 for limit 9134765.339345457
1042.18/1039.47	c cleaning 534 clauses out of 1125 for limit 1.5948231142493503E7
1042.28/1039.52	c cleaning 511 clauses out of 1093 for limit 2.712500284769564E7
1042.28/1039.59	c cleaning 504 clauses out of 1080 for limit 4.518071113824761E7
1042.38/1039.66	c cleaning 496 clauses out of 1076 for limit 7.478602210141419E7
1042.48/1039.72	c cleaning 504 clauses out of 1080 for limit 1.2287536938049872E8
1042.48/1039.78	c cleaning 468 clauses out of 1076 for limit 2.033912229068523E8
1042.58/1039.84	c cleaning 466 clauses out of 1109 for limit 3.257641819299044E8
1042.68/1039.90	c cleaning 488 clauses out of 1144 for limit 5.213138365586645E8
1042.68/1039.97	c cleaning 476 clauses out of 1154 for limit 8.505626952111422E8
1042.78/1040.02	c cleaning 482 clauses out of 1178 for limit 1.3741139116503637E9
1042.78/1040.07	c cleaning 484 clauses out of 1196 for limit 2.231992517162654E9
1042.88/1040.13	c cleaning 593 clauses out of 1212 for limit 3.6322621160859127E9
1042.88/1040.18	c cleaning 535 clauses out of 1120 for limit 6.488617552773232E9
1042.98/1040.24	c cleaning 467 clauses out of 1087 for limit 1.1047539580286575E10
1043.08/1040.30	c cleaning 468 clauses out of 1118 for limit 1.767828659178962E10
1043.08/1040.36	c cleaning 473 clauses out of 1149 for limit 2.8338921636645107E10
1043.18/1040.41	c cleaning 478 clauses out of 1177 for limit 4.566855653685752E10
1043.18/1040.49	c cleaning 496 clauses out of 1202 for limit 7.39688220134896E10
1043.28/1040.55	c cleaning 494 clauses out of 1202 for limit 1.214972763598104E11
1043.38/1040.61	c cleaning 511 clauses out of 1209 for limit 1.9940457026362067E11
1043.38/1040.66	c cleaning 501 clauses out of 1197 for limit 3.318093605757183E11
1043.48/1040.72	c cleaning 500 clauses out of 1201 for limit 5.4811062707366956E11
1043.48/1040.78	c cleaning 483 clauses out of 1197 for limit 9.03306050883595E11
1043.58/1040.83	c cleaning 607 clauses out of 1218 for limit 1.4698591343230251E12
1043.58/1040.88	c cleaning 538 clauses out of 1107 for limit 2.6563984793231763E12
1043.68/1040.92	c cleaning 524 clauses out of 1068 for limit 4.536187174860748E12
1043.68/1040.97	c cleaning 446 clauses out of 1044 for limit 7.652751433944674E12
1043.78/1041.02	c cleaning 432 clauses out of 1098 for limit 1.199973493636148E13
1043.78/1041.07	c cleaning 452 clauses out of 1167 for limit 1.863775231105678E13
1043.88/1041.13	c cleaning 492 clauses out of 1214 for limit 2.9516651004549598E13
1043.88/1041.19	c cleaning 481 clauses out of 1224 for limit 4.837592250056812E13
1043.98/1041.24	c cleaning 484 clauses out of 1241 for limit 7.852822112347183E13
1044.08/1041.31	c cleaning 618 clauses out of 1260 for limit 1.2793412947591688E14
1044.08/1041.38	c cleaning 565 clauses out of 1139 for limit 2.326942174704297E14
1044.18/1041.43	c cleaning 412 clauses out of 1074 for limit 4.069686174433279E14
1044.18/1041.48	c cleaning 456 clauses out of 1162 for limit 6.2031882510076E14
1044.28/1041.56	c cleaning 586 clauses out of 1206 for limit 9.856657555481451E14
1044.38/1041.62	c cleaning 490 clauses out of 1120 for limit 1.7503094618133446E-5
1044.38/1041.66	c cleaning 550 clauses out of 1130 for limit 2.8609502560263373E-5
1044.48/1041.70	c cleaning 500 clauses out of 1080 for limit 4.936519782120223E-5
1044.48/1041.76	c cleaning 520 clauses out of 1080 for limit 8.14098151651775E-5
1044.58/1041.81	c cleaning 513 clauses out of 1060 for limit 1.3678880198020243E-4
1044.58/1041.87	c cleaning 486 clauses out of 1047 for limit 2.2838396921540547E-4
1044.68/1041.92	c cleaning 478 clauses out of 1064 for limit 3.7173212349901207E-4
1044.68/1041.96	c cleaning 374 clauses out of 1083 for limit 6.00475946810894E-4
1044.78/1042.04	c cleaning 467 clauses out of 1209 for limit 8.870613526450236E-4
1044.88/1042.11	c cleaning 492 clauses out of 1243 for limit 0.0014242926376921599
1044.88/1042.18	c cleaning 476 clauses out of 1250 for limit 0.002333359847522627
1044.98/1042.26	c cleaning 562 clauses out of 1278 for limit 0.0037788078905915423
1045.08/1042.31	c cleaning 507 clauses out of 1214 for limit 0.006547173412786162
1045.08/1042.37	c cleaning 507 clauses out of 1208 for limit 0.010861654779753814
1045.18/1042.45	c cleaning 497 clauses out of 1198 for limit 0.018007708970208584
1045.28/1042.53	c cleaning 487 clauses out of 1202 for limit 0.029627923349186718
1045.28/1042.59	c cleaning 492 clauses out of 1214 for limit 0.048329062267781296
1045.38/1042.64	c cleaning 499 clauses out of 1223 for limit 0.07919376619250834
1045.48/1042.71	c cleaning 495 clauses out of 1223 for limit 0.13047051368914278
1045.48/1042.76	c cleaning 477 clauses out of 1228 for limit 0.2142872589113936
1045.58/1042.83	c cleaning 497 clauses out of 1251 for limit 0.34689120873517226
1045.68/1042.91	c cleaning 484 clauses out of 1254 for limit 0.5707014209405363
1045.68/1042.98	c cleaning 502 clauses out of 1273 for limit 0.9299027007161125
1045.78/1043.06	c cleaning 533 clauses out of 1269 for limit 1.5352925907995678
1045.88/1043.16	c cleaning 518 clauses out of 1235 for limit 2.5990054714849085
1045.98/1043.21	c cleaning 507 clauses out of 1217 for limit 4.349501251721107
1045.98/1043.27	c cleaning 493 clauses out of 1211 for limit 7.215663868869641
1046.08/1043.34	c cleaning 492 clauses out of 1219 for limit 11.833334205382114
1046.18/1043.41	c cleaning 496 clauses out of 1226 for limit 19.3839259035734
1046.18/1043.47	c cleaning 481 clauses out of 1229 for limit 31.85676732526661
1046.28/1043.55	c cleaning 518 clauses out of 1248 for limit 51.73624303681462
1046.38/1043.61	c cleaning 504 clauses out of 1230 for limit 86.56857107825871
1046.38/1043.68	c cleaning 491 clauses out of 1230 for limit 143.3356377546877
1046.48/1043.77	c cleaning 501 clauses out of 1235 for limit 234.48236019558806
1046.58/1043.87	c cleaning 502 clauses out of 1234 for limit 387.0061457516712
1046.68/1043.95	c cleaning 498 clauses out of 1232 for limit 639.2609864950757
1046.78/1044.01	c cleaning 520 clauses out of 1234 for limit 1052.518252009173
1046.78/1044.08	c cleaning 515 clauses out of 1216 for limit 1764.965136322959
1046.88/1044.15	c cleaning 492 clauses out of 1201 for limit 2947.0166237232797
1046.98/1044.22	c cleaning 483 clauses out of 1207 for limit 4826.198567639072
1046.98/1044.29	c cleaning 499 clauses out of 1225 for limit 7849.947759942538
1047.08/1044.34	c cleaning 490 clauses out of 1225 for limit 12932.668389365319
1047.18/1044.41	c cleaning 498 clauses out of 1236 for limit 21159.049694899226
1792.43/1788.83	c cleaning 281298 clauses out of 563237 for limit 1202626.7218330016
1794.44/1790.85	c cleaning 140978 clauses out of 282437 for limit 3947183.3452225653
1795.03/1791.42	c cleaning 70635 clauses out of 141959 for limit 1.2950956514438147E7
1795.33/1791.72	c cleaning 35472 clauses out of 71824 for limit 4.2213472168989815E7
1795.54/1791.91	c cleaning 17995 clauses out of 36852 for limit 1.3567989163862294E8
1795.63/1792.05	c cleaning 9148 clauses out of 19357 for limit 4.259850791831683E8
1795.73/1792.15	c cleaning 5044 clauses out of 10711 for limit 1.272117798001916E9
1795.83/1792.23	c cleaning 2787 clauses out of 6165 for limit 3.6375680834166346E9
1795.83/1792.29	c cleaning 1619 clauses out of 3878 for limit 9.536572040578533E9
1795.93/1792.35	c cleaning 1070 clauses out of 2759 for limit 2.2105700675489296E10
1796.03/1792.41	c cleaning 1015 clauses out of 2189 for limit 4.594794695677687E10
1796.03/1792.47	c cleaning 552 clauses out of 1676 for limit 9.916599387132933E10
1796.13/1792.54	c cleaning 744 clauses out of 1622 for limit 1.686447386721679E11
1796.13/1792.59	c cleaning 659 clauses out of 1379 for limit 3.274536074181363E11
1796.23/1792.64	c cleaning 423 clauses out of 1219 for limit 6.10283621917447E11
1796.23/1792.69	c cleaning 398 clauses out of 1297 for limit 9.468601594274796E11
1796.33/1792.74	c cleaning 425 clauses out of 1399 for limit 1.4476513908803848E12
1796.33/1792.79	c cleaning 438 clauses out of 1473 for limit 2.2651675676132495E12
1796.43/1792.85	c cleaning 452 clauses out of 1537 for limit 3.5871878895329043E12
1796.54/1792.91	c cleaning 465 clauses out of 1583 for limit 5.732366387874092E12
1796.54/1792.97	c cleaning 480 clauses out of 1618 for limit 9.248945608013865E12
1796.64/1793.03	c cleaning 798 clauses out of 1638 for limit 1.5066512362664777E13
1796.64/1793.08	c cleaning 628 clauses out of 1340 for limit 3.037230261628445E13
1796.73/1793.13	c cleaning 393 clauses out of 1212 for limit 5.537781088992921E13
1796.73/1793.19	c cleaning 474 clauses out of 1319 for limit 8.39169121939461E13
1796.83/1793.23	c cleaning 402 clauses out of 1346 for limit 1.3574993478526766E14
1796.83/1793.29	c cleaning 427 clauses out of 1443 for limit 2.0861221466632888E14
1796.93/1793.35	c cleaning 487 clauses out of 1516 for limit 3.274633877391682E14
1797.03/1793.40	c cleaning 485 clauses out of 1531 for limit 5.358110571809252E14
1797.03/1793.46	c cleaning 518 clauses out of 1546 for limit 8.750507870086961E14
1797.13/1793.51	c cleaning 468 clauses out of 1526 for limit 1.459066476288114E15
1797.13/1793.57	c cleaning 489 clauses out of 1559 for limit 2.3576204850043275E15
1797.23/1793.63	c cleaning 759 clauses out of 1572 for limit 3.863601984078773E-5
1797.23/1793.69	c cleaning 638 clauses out of 1310 for limit 7.623001024781707E-5
1797.33/1793.74	c cleaning 493 clauses out of 1172 for limit 1.4051592580608874E-4
1797.33/1793.79	c cleaning 489 clauses out of 1181 for limit 2.3042424531372077E-4
1797.43/1793.85	c cleaning 398 clauses out of 1190 for limit 3.7637257769449926E-4
1797.53/1793.90	c cleaning 385 clauses out of 1293 for limit 5.718166656220318E-4
1797.53/1793.95	c cleaning 443 clauses out of 1407 for limit 8.6573028726174E-4
1797.53/1794.00	c cleaning 463 clauses out of 1464 for limit 0.001372118181722494
1797.64/1794.05	c cleaning 491 clauses out of 1501 for limit 0.0022070277339557858
1797.64/1794.10	c cleaning 479 clauses out of 1514 for limit 0.0036229016274823473
1797.74/1794.15	c cleaning 497 clauses out of 1532 for limit 0.0058867555695306575
1797.83/1794.20	c cleaning 505 clauses out of 1536 for limit 0.009692458535193833
1797.83/1794.26	c cleaning 493 clauses out of 1531 for limit 0.016036362459153197
1797.93/1794.32	c cleaning 493 clauses out of 1536 for limit 0.02630732573462996
1797.93/1794.37	c cleaning 495 clauses out of 1543 for limit 0.043187481517852636
1798.03/1794.43	c cleaning 465 clauses out of 1548 for limit 0.07099188953264557
1798.03/1794.49	c cleaning 502 clauses out of 1585 for limit 0.114571166783787
1798.13/1794.55	c cleaning 500 clauses out of 1583 for limit 0.18918189640964514
1798.23/1794.61	c cleaning 488 clauses out of 1581 for limit 0.3117564755316466
1798.23/1794.67	c cleaning 494 clauses out of 1593 for limit 0.5102552292212048
1798.33/1794.72	c cleaning 511 clauses out of 1599 for limit 0.8383216135075648
1798.33/1794.78	c cleaning 502 clauses out of 1588 for limit 1.392081031765417
1798.43/1794.83	c cleaning 502 clauses out of 1586 for limit 2.298622841634257
1798.43/1794.89	c cleaning 496 clauses out of 1586 for limit 3.798329430649042
1798.53/1794.95	c cleaning 483 clauses out of 1588 for limit 6.24355838009144
1798.63/1795.01	c cleaning 495 clauses out of 1605 for limit 10.187403907229587
1798.63/1795.07	c cleaning 544 clauses out of 1611 for limit 16.75457517275317
1798.74/1795.11	c cleaning 513 clauses out of 1566 for limit 28.396092245213563
1798.74/1795.16	c cleaning 505 clauses out of 1554 for limit 47.23780623099378
1798.84/1795.21	c cleaning 474 clauses out of 1548 for limit 78.12520208060778
1798.84/1795.27	c cleaning 502 clauses out of 1574 for limit 126.7106938453727
1798.93/1795.34	c cleaning 477 clauses out of 1573 for limit 209.30503377610808
1799.03/1795.40	c cleaning 503 clauses out of 1599 for limit 340.58016726297575
1799.03/1795.46	c cleaning 501 clauses out of 1594 for limit 562.2977744326824
1799.13/1795.55	c cleaning 499 clauses out of 1591 for limit 927.1956073358737
1799.23/1795.60	c cleaning 543 clauses out of 1592 for limit 1528.1091236552559
1799.23/1795.64	c cleaning 502 clauses out of 1549 for limit 2590.0127461126394
1799.23/1795.69	c cleaning 494 clauses out of 1549 for limit 4279.832889993153
1799.33/1795.74	c cleaning 480 clauses out of 1553 for limit 7025.765293269607
1799.33/1795.79	c cleaning 531 clauses out of 1574 for limit 11443.2863050536
1799.43/1795.86	c cleaning 509 clauses out of 1545 for limit 19264.241708946272
1799.53/1795.92	c cleaning 491 clauses out of 1533 for limit 31922.03719624133
1799.53/1795.96	c cleaning 483 clauses out of 1542 for limit 52336.45078377818
1799.63/1796.02	c cleaning 488 clauses out of 1559 for limit 85368.64987199538
1799.63/1796.07	c cleaning 518 clauses out of 1571 for limit 139708.9504761134
1799.73/1796.13	c cleaning 483 clauses out of 1553 for limit 233069.17906886476
1799.73/1796.19	c cleaning 481 clauses out of 1570 for limit 380200.3714238896
1799.84/1796.24	c cleaning 496 clauses out of 1589 for limit 619504.0915007802
1799.94/1796.31	c cleaning 501 clauses out of 1593 for limit 1019079.7865071235
1799.94/1796.36	c cleaning 466 clauses out of 1594 for limit 1682908.704463861
1800.04/1796.41	c starts		: 22
1800.04/1796.41	c conflicts		: 1310939
1800.04/1796.41	c decisions		: 3734258
1800.04/1796.41	c propagations		: 406497700
1800.04/1796.41	c inspects		: 10875177746
1800.04/1796.41	c learnt literals	: 30
1800.04/1796.41	c learnt binary clauses	: 48547
1800.04/1796.41	c learnt ternary clauses	: 37401
1800.04/1796.41	c learnt clauses	: 1310910
1800.04/1796.41	c root simplifications	: 0
1800.04/1796.41	c removed literals (reason simplification)	: 0
1800.04/1796.41	c reason swapping (by a shorter reason)	: 0
1800.04/1796.41	c Calls to reduceDB	: 257
1800.04/1796.41	c speed (decisions/second)	: 2079.233109073102
1800.04/1796.41	c non guided choices	2278
1800.04/1796.41	s UNKNOWN
1800.04/1796.41	c Total wall clock time (ms): 1796.295

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

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

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


[startup+0 s]
/proc/loadavg: 1.82 1.98 2.41 1/174 5042
/proc/meminfo: memFree=27907100/32873648 swapFree=7116/7116
[pid=5042] ppid=5040 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/5042/stat : 5042 (java) D 5040 5042 32179 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 341938767 9515008 182 33554432000 1073741824 1073778376 140733529193232 140733529184264 260190322357 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/5042/statm: 2323 182 140 9 0 71 0

[startup+0.0418 s]
/proc/loadavg: 1.82 1.98 2.41 1/174 5042
/proc/meminfo: memFree=27907100/32873648 swapFree=7116/7116
[pid=5042] ppid=5040 vsize=2623916 CPUtime=0.01 cores=0,2,4,6
/proc/5042/stat : 5042 (java) S 5040 5042 32179 0 -1 4202496 3925 0 1 0 1 0 0 0 20 0 13 0 341938767 2686889984 4623 33554432000 1073741824 1073778376 140734987448336 140734987439472 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5042/statm: 655979 4623 1662 9 0 646680 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2623916

[startup+0.100216 s]
/proc/loadavg: 1.82 1.98 2.41 1/174 5042
/proc/meminfo: memFree=27907100/32873648 swapFree=7116/7116
[pid=5042] ppid=5040 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/5042/stat : 5042 (java) S 5040 5042 32179 0 -1 4202496 4193 0 2 0 5 1 0 0 20 0 18 0 341938767 3028844544 5401 33554432000 1073741824 1073778376 140734987448336 140734987439472 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5042/statm: 739464 5401 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856

[startup+0.300161 s]
/proc/loadavg: 1.82 1.98 2.41 1/174 5042
/proc/meminfo: memFree=27907100/32873648 swapFree=7116/7116
[pid=5042] ppid=5040 vsize=2957856 CPUtime=0.5 cores=0,2,4,6
/proc/5042/stat : 5042 (java) S 5040 5042 32179 0 -1 4202496 8169 0 2 0 49 1 0 0 20 0 18 0 341938767 3028844544 10259 33554432000 1073741824 1073778376 140734987448336 140734987439472 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5042/statm: 739464 10259 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2957856

[startup+0.700165 s]
/proc/loadavg: 1.82 1.98 2.41 1/174 5042
/proc/meminfo: memFree=27907100/32873648 swapFree=7116/7116
[pid=5042] ppid=5040 vsize=3024420 CPUtime=1.35 cores=0,2,4,6
/proc/5042/stat : 5042 (java) S 5040 5042 32179 0 -1 4202496 9965 0 2 0 133 2 0 0 20 0 19 0 341938767 3097006080 16546 33554432000 1073741824 1073778376 140734987448336 140734987439472 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5042/statm: 756105 16546 2267 9 0 746526 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 3024420

[startup+1.50058 s]
/proc/loadavg: 1.82 1.98 2.41 3/213 5084
/proc/meminfo: memFree=27780236/32873648 swapFree=7116/7116
[pid=5042] ppid=5040 vsize=3024420 CPUtime=2.2 cores=0,2,4,6
/proc/5042/stat : 5042 (java) S 5040 5042 32179 0 -1 4202496 9981 0 2 0 218 2 0 0 20 0 19 0 341938767 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140734987439472 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5042/statm: 756105 17583 2272 9 0 746526 0
[pid=5042/tid=5048] ppid=5040 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/5042/task/5048/stat : 5048 (java) R 5040 5042 32179 0 -1 4202560 3120 0 2 0 143 2 0 0 20 0 19 0 341938768 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537980461640 140537853624635 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5042/tid=5051] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5051/stat : 5051 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537846393640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5052] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5052/stat : 5052 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537845340840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5053] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5053/stat : 5053 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537844288552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5054] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5054/stat : 5054 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537843235752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5042/tid=5055] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5055/stat : 5055 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537842182440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5056] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5056/stat : 5056 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537841129640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5057] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5057/stat : 5057 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537503935016 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5058] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5058/stat : 5058 (java) S 5040 5042 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537502882216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5067] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5067/stat : 5067 (java) S 5040 5042 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537490684648 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5069] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5069/stat : 5069 (java) S 5040 5042 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537489630712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5070] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5070/stat : 5070 (java) S 5040 5042 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537488578312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5074] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5074/stat : 5074 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537487526800 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5076] ppid=5040 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/5042/task/5076/stat : 5076 (java) S 5040 5042 32179 0 -1 4202560 3539 0 0 0 39 0 0 0 20 0 19 0 341938774 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537486473400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5078] ppid=5040 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/5042/task/5078/stat : 5078 (java) S 5040 5042 32179 0 -1 4202560 2127 0 0 0 32 0 0 0 20 0 19 0 341938774 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537485420600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5080] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5080/stat : 5080 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537484368504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5082] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5082/stat : 5082 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537483315912 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5083] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5083/stat : 5083 (java) S 5040 5042 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938811 3097006080 17583 33554432000 1073741824 1073778376 140734987448336 140537481184680 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 3024420

[startup+3.10062 s]
/proc/loadavg: 1.83 1.98 2.41 3/213 5084
/proc/meminfo: memFree=27767312/32873648 swapFree=7116/7116
[pid=5042] ppid=5040 vsize=3024420 CPUtime=3.88 cores=0,2,4,6
/proc/5042/stat : 5042 (java) S 5040 5042 32179 0 -1 4202496 10505 0 2 0 385 3 0 0 20 0 19 0 341938767 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140734987439472 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5042/statm: 756105 19640 2272 9 0 746526 0
[pid=5042/tid=5048] ppid=5040 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/5042/task/5048/stat : 5048 (java) R 5040 5042 32179 0 -1 4202560 3125 0 2 0 303 2 0 0 20 0 19 0 341938768 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537980461496 140537853727448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5042/tid=5051] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5051/stat : 5051 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537846393640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5052] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5052/stat : 5052 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537845340840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5053] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5053/stat : 5053 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537844288552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5054] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5054/stat : 5054 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537843235752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5042/tid=5055] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5055/stat : 5055 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537842182440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5056] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5056/stat : 5056 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537841129640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5057] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5057/stat : 5057 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537503935016 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5058] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5058/stat : 5058 (java) S 5040 5042 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537502882216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5067] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5067/stat : 5067 (java) S 5040 5042 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537490684648 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5069] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5069/stat : 5069 (java) S 5040 5042 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537489630712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5070] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5070/stat : 5070 (java) S 5040 5042 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537488578312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5074] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5074/stat : 5074 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537487526800 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5076] ppid=5040 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/5042/task/5076/stat : 5076 (java) S 5040 5042 32179 0 -1 4202560 3545 0 0 0 44 0 0 0 20 0 19 0 341938774 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537486473400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5078] ppid=5040 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/5042/task/5078/stat : 5078 (java) S 5040 5042 32179 0 -1 4202560 2640 0 0 0 35 0 0 0 20 0 19 0 341938774 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537485420600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5080] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5080/stat : 5080 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537484368504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5082] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5082/stat : 5082 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537483315912 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5083] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5083/stat : 5083 (java) S 5040 5042 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938811 3097006080 19640 33554432000 1073741824 1073778376 140734987448336 140537481184680 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 3024420

[startup+6.30061 s]
/proc/loadavg: 1.83 1.98 2.41 3/213 5084
/proc/meminfo: memFree=27735800/32873648 swapFree=7116/7116
[pid=5042] ppid=5040 vsize=3024420 CPUtime=7.08 cores=0,2,4,6
/proc/5042/stat : 5042 (java) S 5040 5042 32179 0 -1 4202496 10514 0 2 0 705 3 0 0 20 0 19 0 341938767 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140734987439472 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5042/statm: 756105 22821 2273 9 0 746526 0
[pid=5042/tid=5048] ppid=5040 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/5042/task/5048/stat : 5048 (java) R 5040 5042 32179 0 -1 4202560 3133 0 2 0 622 2 0 0 20 0 19 0 341938768 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537980461584 140537853631012 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5042/tid=5051] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5051/stat : 5051 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537846393640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5052] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5052/stat : 5052 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537845340840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5053] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5053/stat : 5053 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537844288552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5054] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5054/stat : 5054 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537843235752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5042/tid=5055] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5055/stat : 5055 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537842182440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5056] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5056/stat : 5056 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537841129640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5057] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5057/stat : 5057 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537503935016 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5058] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5058/stat : 5058 (java) S 5040 5042 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341938770 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537502882216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5067] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5067/stat : 5067 (java) S 5040 5042 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537490684648 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5069] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5069/stat : 5069 (java) S 5040 5042 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537489630712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5070] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5070/stat : 5070 (java) S 5040 5042 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537488578312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5074] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5074/stat : 5074 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537487526800 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5076] ppid=5040 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/5042/task/5076/stat : 5076 (java) S 5040 5042 32179 0 -1 4202560 3545 0 0 0 44 0 0 0 20 0 19 0 341938774 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537486473400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5078] ppid=5040 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/5042/task/5078/stat : 5078 (java) S 5040 5042 32179 0 -1 4202560 2640 0 0 0 35 0 0 0 20 0 19 0 341938774 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537485420600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5080] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5080/stat : 5080 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537484368504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5082] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5082/stat : 5082 (java) S 5040 5042 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537483315912 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5083] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5083/stat : 5083 (java) S 5040 5042 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938811 3097006080 22821 33554432000 1073741824 1073778376 140734987448336 140537481184680 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 3024420

[startup+12.7006 s]

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

[pid=5042/tid=5076] ppid=5040 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/5042/task/5076/stat : 5076 (java) S 5040 5042 32179 0 -1 4202560 3560 0 0 0 49 0 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537486473400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5078] ppid=5040 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/5042/task/5078/stat : 5078 (java) S 5040 5042 32179 0 -1 4202560 2783 0 0 0 41 0 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537485420600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5080] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5080/stat : 5080 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537484368504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5082] ppid=5040 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/5042/task/5082/stat : 5082 (java) S 5040 5042 32179 0 -1 4202560 95 0 0 0 33 31 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537483315912 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5083] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5083/stat : 5083 (java) S 5040 5042 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938811 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537481184680 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1665.91
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/213 5101
/proc/meminfo: memFree=24562540/32873648 swapFree=7116/7116
[pid=5042] ppid=5040 vsize=3024420 CPUtime=1725.92 cores=0,2,4,6
/proc/5042/stat : 5042 (java) S 5040 5042 32179 0 -1 4202496 12953 0 2 0 172438 154 0 0 20 0 19 0 341938767 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140734987439472 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5042/statm: 756105 419783 2302 9 0 746526 0
[pid=5042/tid=5048] ppid=5040 vsize=3024420 CPUtime=1715.24 cores=0,2,4,6
/proc/5042/task/5048/stat : 5048 (java) R 5040 5042 32179 0 -1 4202560 3317 0 2 0 171491 33 0 0 20 0 19 0 341938768 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537980460336 140537853624579 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5051] ppid=5040 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/5042/task/5051/stat : 5051 (java) S 5040 5042 32179 0 -1 4202560 195 0 0 0 17 12 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537846393640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5052] ppid=5040 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/5042/task/5052/stat : 5052 (java) S 5040 5042 32179 0 -1 4202560 168 0 0 0 19 10 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537845340840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5053] ppid=5040 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/5042/task/5053/stat : 5053 (java) S 5040 5042 32179 0 -1 4202560 235 0 0 0 34 15 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537844288552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5054] ppid=5040 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/5042/task/5054/stat : 5054 (java) S 5040 5042 32179 0 -1 4202560 337 0 0 0 26 21 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537843235752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5055] ppid=5040 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/5042/task/5055/stat : 5055 (java) S 5040 5042 32179 0 -1 4202560 350 0 0 0 38 23 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537842182440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5042/tid=5056] ppid=5040 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/5042/task/5056/stat : 5056 (java) S 5040 5042 32179 0 -1 4202560 157 0 0 0 22 10 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537841129640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5057] ppid=5040 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/5042/task/5057/stat : 5057 (java) S 5040 5042 32179 0 -1 4202560 227 0 0 0 22 14 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537503935016 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5058] ppid=5040 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/5042/task/5058/stat : 5058 (java) S 5040 5042 32179 0 -1 4202560 130 0 0 0 14 7 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537502882216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5067] ppid=5040 vsize=3024420 CPUtime=1.78 cores=0,2,4,6
/proc/5042/task/5067/stat : 5067 (java) S 5040 5042 32179 0 -1 4202560 214 0 0 0 172 6 0 0 20 0 19 0 341938771 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537490684648 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5069] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5069/stat : 5069 (java) S 5040 5042 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537489630712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5070] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5070/stat : 5070 (java) S 5040 5042 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537488578312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5074] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5074/stat : 5074 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537487526800 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5076] ppid=5040 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/5042/task/5076/stat : 5076 (java) S 5040 5042 32179 0 -1 4202560 3560 0 0 0 49 0 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537486473400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5078] ppid=5040 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/5042/task/5078/stat : 5078 (java) S 5040 5042 32179 0 -1 4202560 2783 0 0 0 41 0 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537485420600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5080] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5080/stat : 5080 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537484368504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5082] ppid=5040 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/5042/task/5082/stat : 5082 (java) S 5040 5042 32179 0 -1 4202560 99 0 0 0 34 32 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537483315912 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5083] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5083/stat : 5083 (java) S 5040 5042 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938811 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537481184680 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1725.92
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/213 5101
/proc/meminfo: memFree=24562420/32873648 swapFree=7116/7116
[pid=5042] ppid=5040 vsize=3024420 CPUtime=1785.93 cores=0,2,4,6
/proc/5042/stat : 5042 (java) S 5040 5042 32179 0 -1 4202496 12957 0 2 0 178438 155 0 0 20 0 19 0 341938767 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140734987439472 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5042/statm: 756105 419783 2302 9 0 746526 0
[pid=5042/tid=5048] ppid=5040 vsize=3024420 CPUtime=1775.08 cores=0,2,4,6
/proc/5042/task/5048/stat : 5048 (java) R 5040 5042 32179 0 -1 4202560 3317 0 2 0 177475 33 0 0 20 0 19 0 341938768 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537980460336 140537853624078 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5051] ppid=5040 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/5042/task/5051/stat : 5051 (java) S 5040 5042 32179 0 -1 4202560 195 0 0 0 17 12 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537846393640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5052] ppid=5040 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/5042/task/5052/stat : 5052 (java) S 5040 5042 32179 0 -1 4202560 168 0 0 0 19 10 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537845340840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5053] ppid=5040 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/5042/task/5053/stat : 5053 (java) S 5040 5042 32179 0 -1 4202560 235 0 0 0 34 15 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537844288552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5054] ppid=5040 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/5042/task/5054/stat : 5054 (java) S 5040 5042 32179 0 -1 4202560 337 0 0 0 26 21 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537843235752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5055] ppid=5040 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/5042/task/5055/stat : 5055 (java) S 5040 5042 32179 0 -1 4202560 350 0 0 0 38 23 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537842182440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5042/tid=5056] ppid=5040 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/5042/task/5056/stat : 5056 (java) S 5040 5042 32179 0 -1 4202560 157 0 0 0 22 10 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537841129640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5057] ppid=5040 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/5042/task/5057/stat : 5057 (java) S 5040 5042 32179 0 -1 4202560 227 0 0 0 22 14 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537503935016 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5058] ppid=5040 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/5042/task/5058/stat : 5058 (java) S 5040 5042 32179 0 -1 4202560 130 0 0 0 14 7 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537502882216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5067] ppid=5040 vsize=3024420 CPUtime=1.78 cores=0,2,4,6
/proc/5042/task/5067/stat : 5067 (java) S 5040 5042 32179 0 -1 4202560 214 0 0 0 172 6 0 0 20 0 19 0 341938771 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537490684648 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5069] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5069/stat : 5069 (java) S 5040 5042 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537489630712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5070] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5070/stat : 5070 (java) S 5040 5042 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537488578312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5074] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5074/stat : 5074 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537487526800 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5076] ppid=5040 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/5042/task/5076/stat : 5076 (java) S 5040 5042 32179 0 -1 4202560 3560 0 0 0 49 0 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537486473400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5078] ppid=5040 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/5042/task/5078/stat : 5078 (java) S 5040 5042 32179 0 -1 4202560 2783 0 0 0 41 0 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537485420600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5080] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5080/stat : 5080 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537484368504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5082] ppid=5040 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/5042/task/5082/stat : 5082 (java) S 5040 5042 32179 0 -1 4202560 103 0 0 0 35 34 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537483315912 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5083] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5083/stat : 5083 (java) S 5040 5042 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938811 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537481184680 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1785.93
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.4 s]
/proc/loadavg: 2.01 2.00 2.04 10/216 5104
/proc/meminfo: memFree=24562168/32873648 swapFree=7116/7116
[pid=5042] ppid=5040 vsize=3024420 CPUtime=1800.04 cores=0,2,4,6
/proc/5042/stat : 5042 (java) S 5040 5042 32179 0 -1 4202496 12957 0 2 0 179849 155 0 0 20 0 19 0 341938767 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140734987439472 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5042/statm: 756105 419783 2302 9 0 746526 0
[pid=5042/tid=5048] ppid=5040 vsize=3024420 CPUtime=1789.15 cores=0,2,4,6
/proc/5042/task/5048/stat : 5048 (java) R 5040 5042 32179 0 -1 4202560 3317 0 2 0 178881 34 0 0 20 0 19 0 341938768 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537980452704 140537853707696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5051] ppid=5040 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/5042/task/5051/stat : 5051 (java) S 5040 5042 32179 0 -1 4202560 195 0 0 0 17 12 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537846393640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5052] ppid=5040 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/5042/task/5052/stat : 5052 (java) S 5040 5042 32179 0 -1 4202560 168 0 0 0 19 10 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537845340840 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5053] ppid=5040 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/5042/task/5053/stat : 5053 (java) S 5040 5042 32179 0 -1 4202560 235 0 0 0 34 15 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537844288552 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5054] ppid=5040 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/5042/task/5054/stat : 5054 (java) S 5040 5042 32179 0 -1 4202560 337 0 0 0 26 21 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537843235752 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5055] ppid=5040 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/5042/task/5055/stat : 5055 (java) S 5040 5042 32179 0 -1 4202560 350 0 0 0 38 23 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537842182440 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5042/tid=5056] ppid=5040 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/5042/task/5056/stat : 5056 (java) S 5040 5042 32179 0 -1 4202560 157 0 0 0 22 10 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537841129640 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5057] ppid=5040 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/5042/task/5057/stat : 5057 (java) S 5040 5042 32179 0 -1 4202560 227 0 0 0 22 14 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537503935016 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5058] ppid=5040 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/5042/task/5058/stat : 5058 (java) S 5040 5042 32179 0 -1 4202560 130 0 0 0 14 7 0 0 20 0 19 0 341938770 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537502882216 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5067] ppid=5040 vsize=3024420 CPUtime=1.78 cores=0,2,4,6
/proc/5042/task/5067/stat : 5067 (java) S 5040 5042 32179 0 -1 4202560 214 0 0 0 172 6 0 0 20 0 19 0 341938771 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537490684648 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5069] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5069/stat : 5069 (java) S 5040 5042 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537489630712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5070] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5070/stat : 5070 (java) S 5040 5042 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341938771 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537488578312 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5074] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5074/stat : 5074 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537487526800 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5042/tid=5076] ppid=5040 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/5042/task/5076/stat : 5076 (java) S 5040 5042 32179 0 -1 4202560 3560 0 0 0 49 0 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537486473400 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5042/tid=5078] ppid=5040 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/5042/task/5078/stat : 5078 (java) S 5040 5042 32179 0 -1 4202560 2783 0 0 0 41 0 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537485420600 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5080] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5080/stat : 5080 (java) S 5040 5042 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537484368504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5082] ppid=5040 vsize=3024420 CPUtime=0.7 cores=0,2,4,6
/proc/5042/task/5082/stat : 5082 (java) S 5040 5042 32179 0 -1 4202560 103 0 0 0 36 34 0 0 20 0 19 0 341938774 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537483315912 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5042/tid=5083] ppid=5040 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5042/task/5083/stat : 5083 (java) S 5040 5042 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341938811 3097006080 419783 33554432000 1073741824 1073778376 140734987448336 140537481184680 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5042 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=850293
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=992697
# CPU time returned by wait4() is 1795.84
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.42
CPU time (s): 1800.04
CPU user time (s): 1798.49
CPU system time (s): 1.55
CPU usage (%): 100.202
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.85
system time used= 1.9927
maximum resident set size= 1679960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12989
page faults= 2
swaps= 0
block input operations= 272
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38101
involuntary context switches= 2989

runsolver used 6.35203 second user time and 13.383 second system time

The end

Launcher Data 

Begin job on node123 at 2012-06-03 23:15:33
IDJOB=3741919
IDBENCH=90118
IDSOLVER=2319
FILE ID=node123/3741919-1338758133
RUNJOBID= node123-1338758132-5019
PBS_JOBID= 14636768
Free space on /tmp= 71304 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K85.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741919-1338758133/watcher-3741919-1338758133 -o /tmp/evaluation-result-3741919-1338758133/solver-3741919-1338758133 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741919-1338758133.opb           

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

MD5SUM BENCH= 1487741f4fc087d76a7a64081b5bebd6
RANDOM SEED=80302918

node123.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.217
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.43
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.217
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		: 2667.217
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.92
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.217
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.217
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.217
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.217
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.217
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:        27907892 kB
Buffers:         1807508 kB
Cached:          2258524 kB
SwapCached:         2268 kB
Active:          2167000 kB
Inactive:        1910108 kB
Active(anon):       3884 kB
Inactive(anon):     5504 kB
Active(file):    2163116 kB
Inactive(file):  1904604 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:              7788 kB
Writeback:            12 kB
AnonPages:         11892 kB
Mapped:             9568 kB
Shmem:                 0 kB
Slab:             750284 kB
SReclaimable:     194400 kB
SUnreclaim:       555884 kB
KernelStack:        1384 kB
PageTables:         3828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     103940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71296 MiB
End job on node123 at 2012-06-03 23:45:31