Trace number 3742114

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.09 1796.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K100.opb
MD5SUM96708928b3148fdbe0ae701534d6c3d7
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark200.867
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6800
Total number of constraints7002
Number of constraints which are clauses6902
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint100
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 101
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.06/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.06/0.10	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.06/0.10	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.06/0.10	c no version file found!!!
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version	1.6.0_24
0.06/0.10	c os.name	Linux
0.06/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch	amd64
0.06/0.10	c Free memory 1599470296
0.06/0.10	c Max memory 1607860224
0.06/0.10	c Total memory 1607860224
0.06/0.10	c Number of processors 8
0.06/0.12	--- Begin Solver configuration ---
0.06/0.12	c Stops conflict analysis at the first Unique Implication Point
0.06/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.06/0.12	c Learn all clauses as in MiniSAT
0.06/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.06/0.12	c No reason simplification
0.06/0.12	c --- End Solver configuration ---
0.06/0.12	c solving HOME/instance-3742114-1338762336.opb
0.06/0.12	c reading problem ... 
0.75/0.47	c ... done. Wall clock time 0.343s.
0.75/0.47	c CPU time (experimental) 0.42s.
0.75/0.47	c #vars     6800
0.75/0.47	c #constraints  7000
961.34/958.76	c cleaning 313165 clauses out of 627476 for limit 7227291.782244705
962.15/959.59	c cleaning 157116 clauses out of 314810 for limit 2.373261334913344E7
962.55/959.96	c cleaning 78633 clauses out of 158194 for limit 7.788610084918644E7
962.75/960.18	c cleaning 39372 clauses out of 80062 for limit 2.5404692003771073E8
962.96/960.38	c cleaning 19989 clauses out of 41189 for limit 8.13542968916665E8
963.15/960.50	c cleaning 10211 clauses out of 21700 for limit 2.546583362092092E9
963.15/960.59	c cleaning 5335 clauses out of 11990 for limit 7.608321339371184E9
963.25/960.66	c cleaning 2983 clauses out of 7154 for limit 2.1007794931150177E10
963.35/960.72	c cleaning 1658 clauses out of 4671 for limit 5.306099931211856E10
963.35/960.77	c cleaning 1338 clauses out of 3513 for limit 1.163491003197249E11
963.45/960.83	c cleaning 901 clauses out of 2675 for limit 2.519841823054985E11
963.55/960.91	c cleaning 679 clauses out of 2274 for limit 4.888352246206727E11
963.55/960.97	c cleaning 594 clauses out of 2095 for limit 8.750337678748242E11
963.65/961.02	c cleaning 972 clauses out of 2004 for limit 1.5131101528691382E12
963.65/961.09	c cleaning 632 clauses out of 1530 for limit 3.2618478187757754E12
963.75/961.14	c cleaning 494 clauses out of 1397 for limit 5.885455700550184E12
963.85/961.21	c cleaning 469 clauses out of 1403 for limit 9.664396007100152E12
963.85/961.28	c cleaning 463 clauses out of 1434 for limit 1.5593339120887055E13
963.96/961.35	c cleaning 404 clauses out of 1471 for limit 2.5068681323180867E13
964.06/961.41	c cleaning 394 clauses out of 1567 for limit 3.8808874939628195E13
964.06/961.46	c cleaning 376 clauses out of 1673 for limit 5.9945970459381984E13
964.15/961.53	c cleaning 440 clauses out of 1797 for limit 9.203727381737733E13
964.15/961.58	c cleaning 506 clauses out of 1857 for limit 1.4687768086201766E14
964.25/961.63	c cleaning 485 clauses out of 1851 for limit 2.4300610171909762E14
964.35/961.70	c cleaning 475 clauses out of 1866 for limit 3.975281109394633E14
964.35/961.75	c cleaning 896 clauses out of 1891 for limit 6.469099671427056E14
964.45/961.80	c cleaning 299 clauses out of 1495 for limit 1.3494290824624365E15
964.45/961.86	c cleaning 808 clauses out of 1699 for limit 1.9640715363410692E15
964.55/961.90	c cleaning 578 clauses out of 1388 for limit 3.952879416165391E-5
964.55/961.96	c cleaning 482 clauses out of 1310 for limit 6.906970859570961E-5
964.65/962.01	c cleaning 557 clauses out of 1330 for limit 1.1241705114807736E-4
964.65/962.06	c cleaning 499 clauses out of 1271 for limit 1.936088221403238E-4
964.75/962.13	c cleaning 356 clauses out of 1274 for limit 3.1917302224487507E-4
964.75/962.19	c cleaning 214 clauses out of 1418 for limit 4.7290647471174424E-4
964.85/962.26	c cleaning 342 clauses out of 1702 for limit 6.484534402702687E-4
964.95/962.32	c cleaning 424 clauses out of 1860 for limit 9.78546115369071E-4
964.95/962.39	c cleaning 451 clauses out of 1936 for limit 0.0015504036262136553
965.06/962.47	c cleaning 457 clauses out of 1986 for limit 0.0024949467627421217
965.16/962.54	c cleaning 477 clauses out of 2029 for limit 0.0040273035711285874
965.25/962.62	c cleaning 498 clauses out of 2051 for limit 0.006563751478224727
965.35/962.70	c cleaning 499 clauses out of 2053 for limit 0.010813959210379913
965.35/962.79	c cleaning 491 clauses out of 2054 for limit 0.017824982995803738
965.45/962.87	c cleaning 509 clauses out of 2063 for limit 0.0292675401311896
965.55/962.96	c cleaning 495 clauses out of 2054 for limit 0.04847757626276825
965.65/963.04	c cleaning 497 clauses out of 2059 for limit 0.07975187051982606
965.75/963.12	c cleaning 496 clauses out of 2062 for limit 0.13133015310848778
965.75/963.19	c cleaning 487 clauses out of 2066 for limit 0.21616166722773478
965.85/963.28	c cleaning 500 clauses out of 2079 for limit 0.3542504382636244
965.95/963.37	c cleaning 489 clauses out of 2079 for limit 0.5842063634724924
966.05/963.47	c cleaning 501 clauses out of 2093 for limit 0.959866791255937
966.16/963.56	c cleaning 514 clauses out of 2089 for limit 1.5812265817505589
966.26/963.62	c cleaning 520 clauses out of 2079 for limit 2.6307040375417947
966.26/963.69	c cleaning 493 clauses out of 2055 for limit 4.37152024881281
966.35/963.77	c cleaning 504 clauses out of 2062 for limit 7.184748107282505
966.45/963.83	c cleaning 496 clauses out of 2058 for limit 11.871640157163853
966.55/963.90	c cleaning 518 clauses out of 2062 for limit 19.53994426707511
966.55/963.96	c cleaning 493 clauses out of 2044 for limit 32.507754939911344
966.65/964.04	c cleaning 501 clauses out of 2052 for limit 53.454086360326116
966.75/964.10	c cleaning 493 clauses out of 2050 for limit 88.15070329335583
966.75/964.18	c cleaning 492 clauses out of 2058 for limit 144.95215320166972
966.85/964.26	c cleaning 501 clauses out of 2066 for limit 238.1198560011154
966.95/964.34	c cleaning 514 clauses out of 2066 for limit 393.08458223249767
967.05/964.41	c cleaning 508 clauses out of 2053 for limit 653.0069095520548
967.05/964.48	c cleaning 495 clauses out of 2045 for limit 1081.1085466689062
967.15/964.55	c cleaning 516 clauses out of 2048 for limit 1776.7221808133213
967.26/964.62	c cleaning 483 clauses out of 2031 for limit 2951.623288490513
967.26/964.69	c cleaning 494 clauses out of 2048 for limit 4827.216601180912
967.36/964.76	c cleaning 494 clauses out of 2054 for limit 7937.4716373932115
967.47/964.84	c cleaning 505 clauses out of 2062 for limit 13065.284628941457
967.57/964.91	c cleaning 493 clauses out of 2055 for limit 21576.57829363488
967.57/964.99	c cleaning 487 clauses out of 2066 for limit 35535.138842994726
967.67/965.06	c cleaning 482 clauses out of 2075 for limit 58114.97732736133
967.77/965.13	c cleaning 528 clauses out of 2093 for limit 95015.1443372882
967.87/965.20	c cleaning 496 clauses out of 2065 for limit 158817.33047229276
967.87/965.28	c cleaning 493 clauses out of 2069 for limit 261404.67127702702
967.97/965.36	c cleaning 979 clauses out of 2076 for limit 429637.68973654753
968.07/965.44	c cleaning 660 clauses out of 1598 for limit 921389.6841471731
968.17/965.50	c cleaning 601 clauses out of 1437 for limit 1688047.7510596148
968.17/965.55	c cleaning 498 clauses out of 1338 for limit 2995782.592695319
968.27/965.61	c cleaning 534 clauses out of 1340 for limit 4933072.463585797
968.27/965.67	c cleaning 500 clauses out of 1305 for limit 8345130.969406526
968.38/965.74	c cleaning 536 clauses out of 1304 for limit 1.3759018431982508E7
968.48/965.83	c cleaning 547 clauses out of 1269 for limit 2.3339622131141685E7
968.57/965.90	c cleaning 451 clauses out of 1222 for limit 3.99705499520039E7
968.57/965.98	c cleaning 478 clauses out of 1272 for limit 6.3389104585098386E7
968.67/966.05	c cleaning 612 clauses out of 1292 for limit 1.0271315706728995E8
968.77/966.11	c cleaning 478 clauses out of 1180 for limit 1.8546521682014668E8
968.77/966.16	c cleaning 416 clauses out of 1202 for limit 3.0025890622504467E8
968.87/966.22	c cleaning 453 clauses out of 1286 for limit 4.6282337429867405E8
968.87/966.28	c cleaning 491 clauses out of 1334 for limit 7.365306462937136E8
968.97/966.35	c cleaning 669 clauses out of 1344 for limit 1.2068068920397832E9
969.07/966.40	c cleaning 503 clauses out of 1173 for limit 2.275757076322706E9
969.07/966.45	c cleaning 437 clauses out of 1170 for limit 3.7626510125607915E9
969.17/966.51	c cleaning 433 clauses out of 1233 for limit 5.888065212852323E9
969.17/966.58	c cleaning 599 clauses out of 1300 for limit 9.209758085552374E9
969.27/966.64	c cleaning 478 clauses out of 1201 for limit 1.6440099987686237E10
969.37/966.71	c cleaning 475 clauses out of 1223 for limit 2.6624219918646954E10
969.37/966.77	c cleaning 440 clauses out of 1254 for limit 4.307931312803188E10
969.48/966.82	c cleaning 455 clauses out of 1308 for limit 6.77029167213798E10
969.48/966.88	c cleaning 451 clauses out of 1353 for limit 1.0793771336621736E11
969.58/966.94	c cleaning 690 clauses out of 1403 for limit 1.7183187843814496E11
969.67/967.01	c cleaning 447 clauses out of 1214 for limit 3.278182449229477E11
969.67/967.05	c cleaning 482 clauses out of 1265 for limit 5.1778342690040546E11
969.77/967.11	c cleaning 624 clauses out of 1284 for limit 8.421007343517626E11
969.77/967.17	c cleaning 415 clauses out of 1159 for limit 1.5369757277547356E12
969.87/967.22	c cleaning 407 clauses out of 1244 for limit 2.3614891346415957E12
969.87/967.27	c cleaning 467 clauses out of 1339 for limit 3.6253560507119756E12
969.97/967.34	c cleaning 471 clauses out of 1372 for limit 5.834894637352546E12
970.07/967.41	c cleaning 676 clauses out of 1399 for limit 9.417947791368768E12
970.07/967.49	c cleaning 383 clauses out of 1223 for limit 1.776656311533627E13
970.17/967.55	c cleaning 462 clauses out of 1342 for limit 2.6754834866853547E13
970.27/967.60	c cleaning 481 clauses out of 1379 for limit 4.2895516324550164E13
970.27/967.66	c cleaning 489 clauses out of 1397 for limit 6.975914274461599E13
970.37/967.72	c cleaning 475 clauses out of 1408 for limit 1.141433917329891E14
970.37/967.77	c cleaning 484 clauses out of 1435 for limit 1.8506591449744938E14
970.47/967.83	c cleaning 477 clauses out of 1449 for limit 3.016454762830463E14
970.47/967.88	c cleaning 721 clauses out of 1472 for limit 4.8968102905372494E14
970.58/967.94	c cleaning 376 clauses out of 1251 for limit 9.50210152830586E14
970.68/968.00	c cleaning 659 clauses out of 1375 for limit 1.425706616167959E15
970.68/968.06	c cleaning 590 clauses out of 1216 for limit 2.658613313577103E15
970.77/968.12	c cleaning 534 clauses out of 1127 for limit 4.7353843325933194E-5
970.77/968.17	c cleaning 510 clauses out of 1092 for limit 8.051520181171397E-5
970.87/968.23	c cleaning 491 clauses out of 1084 for limit 1.3402818997076865E-4
970.87/968.29	c cleaning 472 clauses out of 1091 for limit 2.1917325001698392E-4
970.97/968.34	c cleaning 497 clauses out of 1119 for limit 3.5240178430576857E-4
971.07/968.41	c cleaning 339 clauses out of 1122 for limit 5.796037882319055E-4
971.07/968.46	c cleaning 414 clauses out of 1283 for limit 8.358980322274613E-4
971.17/968.52	c cleaning 434 clauses out of 1371 for limit 0.001292609713032766
971.17/968.58	c cleaning 474 clauses out of 1435 for limit 0.0020325434211869563
971.27/968.65	c cleaning 535 clauses out of 1463 for limit 0.003294369569736242
971.27/968.70	c cleaning 510 clauses out of 1429 for limit 0.005567687017403968
971.37/968.75	c cleaning 496 clauses out of 1417 for limit 0.009241108212331468
971.47/968.80	c cleaning 504 clauses out of 1420 for limit 0.015192419257964704
971.47/968.87	c cleaning 668 clauses out of 1415 for limit 0.025142862969510037
971.57/968.95	c cleaning 586 clauses out of 1247 for limit 0.04705010552773576
971.57/968.99	c cleaning 534 clauses out of 1163 for limit 0.08336279190061748
971.68/969.07	c cleaning 495 clauses out of 1127 for limit 0.1415842397886616
971.78/969.14	c cleaning 503 clauses out of 1132 for limit 0.23246002998515136
971.87/969.21	c cleaning 493 clauses out of 1130 for limit 0.3844206171903767
971.87/969.28	c cleaning 506 clauses out of 1136 for limit 0.6299820262847118
971.97/969.35	c cleaning 500 clauses out of 1130 for limit 1.0444410528426762
972.07/969.42	c cleaning 500 clauses out of 1130 for limit 1.722423018961882
972.07/969.48	c cleaning 489 clauses out of 1130 for limit 2.8405059798972228
972.17/969.54	c cleaning 491 clauses out of 1143 for limit 4.640372362747347
972.27/969.62	c cleaning 472 clauses out of 1150 for limit 7.590809370657334
972.27/969.69	c cleaning 505 clauses out of 1178 for limit 12.22071235348257
972.37/969.76	c cleaning 486 clauses out of 1173 for limit 20.23949570726616
972.47/969.85	c cleaning 505 clauses out of 1187 for limit 32.9839654951581
972.57/969.91	c cleaning 492 clauses out of 1182 for limit 54.625068790139295
972.57/969.98	c cleaning 503 clauses out of 1190 for limit 89.47843901366237
972.67/970.04	c cleaning 490 clauses out of 1188 for limit 147.95829517436994
972.67/970.10	c cleaning 483 clauses out of 1197 for limit 241.92624464624166
972.78/970.15	c cleaning 498 clauses out of 1215 for limit 393.451545255183
972.88/970.24	c cleaning 513 clauses out of 1217 for limit 647.7879155753399
972.97/970.31	c cleaning 480 clauses out of 1203 for limit 1079.640501229692
972.97/970.37	c cleaning 506 clauses out of 1223 for limit 1751.355156790504
973.07/970.44	c cleaning 501 clauses out of 1217 for limit 2902.458315964207
973.07/970.48	c cleaning 489 clauses out of 1216 for limit 4790.47834797727
973.17/970.54	c cleaning 502 clauses out of 1228 for limit 7830.770363134861
973.27/970.60	c cleaning 493 clauses out of 1225 for limit 12932.668389365319
973.27/970.66	c cleaning 462 clauses out of 1234 for limit 21214.55768807336
973.37/970.72	c cleaning 464 clauses out of 1270 for limit 33925.97077216282
973.37/970.77	c cleaning 489 clauses out of 1306 for limit 54406.24020662737
973.47/970.84	c cleaning 477 clauses out of 1317 for limit 88973.77219373672
973.47/970.90	c cleaning 485 clauses out of 1340 for limit 144211.15900095293
973.57/970.96	c cleaning 505 clauses out of 1355 for limit 235190.76101682894
973.67/971.03	c cleaning 525 clauses out of 1350 for limit 389297.5505004297
973.67/971.09	c cleaning 522 clauses out of 1326 for limit 654277.9952608732
973.77/971.15	c cleaning 634 clauses out of 1303 for limit 1096939.8094270572
973.88/971.23	c cleaning 549 clauses out of 1169 for limit 2016362.3958263267
973.88/971.29	c cleaning 493 clauses out of 1122 for limit 3471483.8906317493
973.98/971.37	c cleaning 454 clauses out of 1127 for limit 5688148.927462003
974.07/971.44	c cleaning 434 clauses out of 1173 for limit 9012655.056635085
974.17/971.52	c cleaning 528 clauses out of 1239 for limit 1.4071336288153272E7
974.17/971.59	c cleaning 531 clauses out of 1211 for limit 2.3742059690678593E7
974.27/971.66	c cleaning 498 clauses out of 1181 for limit 4.018861474638499E7
974.37/971.71	c cleaning 486 clauses out of 1183 for limit 6.6164354036486514E7
974.37/971.77	c cleaning 592 clauses out of 1196 for limit 1.0781992292610858E8
974.47/971.85	c cleaning 529 clauses out of 1104 for limit 1.9262693319608748E8
974.57/971.91	c cleaning 490 clauses out of 1075 for limit 3.2623721910653824E8
974.57/971.97	c cleaning 486 clauses out of 1085 for limit 5.3305021092776364E8
974.67/972.04	c cleaning 502 clauses out of 1099 for limit 8.678727499375991E8
974.77/972.10	c cleaning 437 clauses out of 1098 for limit 1.4339757380135157E9
974.77/972.17	c cleaning 476 clauses out of 1160 for limit 2.236183967917853E9
974.87/972.24	c cleaning 488 clauses out of 1184 for limit 3.613014490494472E9
974.87/972.29	c cleaning 521 clauses out of 1196 for limit 5.898561517177114E9
974.98/972.35	c cleaning 486 clauses out of 1175 for limit 9.90137053325255E9
975.08/972.41	c cleaning 507 clauses out of 1189 for limit 1.6136420853160797E10
975.08/972.49	c cleaning 497 clauses out of 1182 for limit 2.676871212426663E10
975.17/972.53	c cleaning 480 clauses out of 1185 for limit 4.4033427379188545E10
975.17/972.58	c cleaning 494 clauses out of 1205 for limit 7.141175081763289E10
975.27/972.64	c cleaning 480 clauses out of 1214 for limit 1.1724584565441475E11
975.27/972.70	c cleaning 514 clauses out of 1231 for limit 1.9011240194140295E11
975.37/972.75	c cleaning 523 clauses out of 1217 for limit 3.171274318745129E11
975.47/972.81	c cleaning 496 clauses out of 1196 for limit 5.332343519971945E11
975.47/972.86	c cleaning 496 clauses out of 1198 for limit 8.761517743246543E11
975.57/972.92	c cleaning 524 clauses out of 1202 for limit 1.4400831942161528E12
975.57/972.99	c cleaning 584 clauses out of 1178 for limit 2.423274690535556E12
975.67/973.07	c cleaning 505 clauses out of 1094 for limit 4.3031501666516553E12
975.77/973.14	c cleaning 523 clauses out of 1089 for limit 7.129052798157088E12
975.87/973.22	c cleaning 485 clauses out of 1072 for limit 1.2015113651924453E13
975.87/973.29	c cleaning 438 clauses out of 1082 for limit 1.9533440136946008E13
975.97/973.35	c cleaning 472 clauses out of 1143 for limit 3.0463594195491848E13
976.08/973.42	c cleaning 495 clauses out of 1171 for limit 4.903727899754414E13
976.08/973.49	c cleaning 491 clauses out of 1176 for limit 8.052520223348434E13
976.18/973.56	c cleaning 485 clauses out of 1185 for limit 1.3178824742562688E14
976.27/973.64	c cleaning 480 clauses out of 1200 for limit 2.1461974469216566E14
976.37/973.71	c cleaning 600 clauses out of 1221 for limit 3.4819750493801944E14
976.37/973.78	c cleaning 522 clauses out of 1120 for limit 6.253809837289821E14
976.47/973.84	c cleaning 473 clauses out of 1098 for limit 1.052001213695048E15
976.47/973.89	c cleaning 442 clauses out of 1125 for limit 1.6932533579335635E15
976.57/973.95	c cleaning 526 clauses out of 1183 for limit 2.6554957480480435E15
976.67/974.01	c cleaning 429 clauses out of 1158 for limit 4.478289800846971E15
976.67/974.05	c cleaning 593 clauses out of 1228 for limit 6.957348565601225E-5
976.77/974.10	c cleaning 542 clauses out of 1137 for limit 1.2416711053908996E-4
976.77/974.14	c cleaning 522 clauses out of 1094 for limit 2.126038343341619E-4
976.87/974.20	c cleaning 466 clauses out of 1071 for limit 3.5778350905645305E-4
976.87/974.25	c cleaning 408 clauses out of 1105 for limit 5.718780123216026E-4
976.97/974.30	c cleaning 410 clauses out of 1199 for limit 8.709062445044076E-4
976.97/974.35	c cleaning 445 clauses out of 1288 for limit 0.0013356605529339575
977.07/974.40	c cleaning 492 clauses out of 1342 for limit 0.0021119363356341303
977.07/974.44	c cleaning 474 clauses out of 1350 for limit 0.0034622263440060533
977.07/974.49	c cleaning 485 clauses out of 1376 for limit 0.005601788119903218
977.18/974.55	c cleaning 488 clauses out of 1392 for limit 0.009141054023027636
977.18/974.60	c cleaning 494 clauses out of 1403 for limit 0.01494167256937879
977.28/974.67	c cleaning 487 clauses out of 1410 for limit 0.024543029660955697
977.37/974.73	c cleaning 534 clauses out of 1422 for limit 0.040093047057696944
977.37/974.78	c cleaning 512 clauses out of 1388 for limit 0.06773842288856508
977.47/974.82	c cleaning 566 clauses out of 1376 for limit 0.11268393391245633
1800.09/1796.61	c starts		: 22
1800.09/1796.61	c conflicts		: 1302771
1800.09/1796.61	c decisions		: 4178995
1800.09/1796.61	c propagations		: 446208356
1800.09/1796.61	c inspects		: 9942543289
1800.09/1796.61	c learnt literals	: 26
1800.09/1796.61	c learnt binary clauses	: 62434
1800.09/1796.61	c learnt ternary clauses	: 44681
1800.09/1796.61	c learnt clauses	: 1302745
1800.09/1796.61	c root simplifications	: 0
1800.09/1796.61	c removed literals (reason simplification)	: 0
1800.09/1796.61	c reason swapping (by a shorter reason)	: 0
1800.09/1796.61	c Calls to reduceDB	: 229
1800.09/1796.61	c speed (decisions/second)	: 2326.6558582915122
1800.09/1796.61	c non guided choices	4962
1800.09/1796.61	s UNKNOWN
1800.09/1796.61	c Total wall clock time (ms): 1796.487

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-3742114-1338762336/watcher-3742114-1338762336 -o /tmp/evaluation-result-3742114-1338762336/solver-3742114-1338762336 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742114-1338762336.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: 2.00 2.00 2.00 3/193 17980
/proc/meminfo: memFree=23874380/32873844 swapFree=7628/7628
[pid=17980] ppid=17978 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/17980/stat : 17980 (java) D 17978 17980 16961 0 -1 4202496 80 0 0 0 0 0 0 0 20 0 1 0 342357944 278528 33 33554432000 1073741824 1073778376 140735286360416 140735286357592 251035479335 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/17980/statm: 68 33 25 9 0 25 0

[startup+0.0223591 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 17980
/proc/meminfo: memFree=23874380/32873844 swapFree=7628/7628
[pid=17980] ppid=17978 vsize=99500 CPUtime=0 cores=0,2,4,6
/proc/17980/stat : 17980 (java) S 17978 17980 16961 0 -1 4202496 1348 0 0 0 0 0 0 0 20 0 2 0 342357944 101888000 1039 33554432000 1073741824 1073778376 140734405364912 140734405356048 251048001597 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17980/statm: 25398 1044 799 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 99500

[startup+0.100226 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 17980
/proc/meminfo: memFree=23874380/32873844 swapFree=7628/7628
[pid=17980] ppid=17978 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/17980/stat : 17980 (java) S 17978 17980 16961 0 -1 4202496 4127 0 1 0 5 1 0 0 20 0 18 0 342357944 3028844544 5846 33554432000 1073741824 1073778376 140734405364912 140734405356048 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17980/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2957856

[startup+0.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 17980
/proc/meminfo: memFree=23874380/32873844 swapFree=7628/7628
[pid=17980] ppid=17978 vsize=2957856 CPUtime=0.48 cores=0,2,4,6
/proc/17980/stat : 17980 (java) S 17978 17980 16961 0 -1 4202496 8278 0 1 0 46 2 0 0 20 0 18 0 342357944 3028844544 10878 33554432000 1073741824 1073778376 140734405364912 140734405356048 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17980/statm: 739464 10878 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856

[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 17980
/proc/meminfo: memFree=23874380/32873844 swapFree=7628/7628
[pid=17980] ppid=17978 vsize=3024420 CPUtime=1.37 cores=0,2,4,6
/proc/17980/stat : 17980 (java) S 17978 17980 16961 0 -1 4202496 11955 0 1 0 133 4 0 0 20 0 19 0 342357944 3097006080 18984 33554432000 1073741824 1073778376 140734405364912 140734405356048 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17980/statm: 756105 18984 2272 9 0 746526 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 3024420

[startup+1.50061 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 17999
/proc/meminfo: memFree=23806712/32873844 swapFree=7628/7628
[pid=17980] ppid=17978 vsize=3024420 CPUtime=2.21 cores=0,2,4,6
/proc/17980/stat : 17980 (java) S 17978 17980 16961 0 -1 4202496 11961 0 1 0 217 4 0 0 20 0 19 0 342357944 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140734405356048 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17980/statm: 756105 19500 2275 9 0 746526 0
[pid=17980/tid=17982] ppid=17978 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/17980/task/17982/stat : 17982 (java) R 17978 17980 16961 0 -1 4202560 3084 0 1 0 143 2 0 0 20 0 19 0 342357946 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575211765960 140575035277267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17983] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17983/stat : 17983 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575195191848 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17984] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17984/stat : 17984 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575194139048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17985] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17985/stat : 17985 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575193086248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17980/tid=17986] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17986/stat : 17986 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575192033448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17987] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17987/stat : 17987 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575190981672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17988] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17988/stat : 17988 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575189928872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17989] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17989/stat : 17989 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575188876072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17990] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17990/stat : 17990 (java) S 17978 17980 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575187823272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17991] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17991/stat : 17991 (java) S 17978 17980 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342357948 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575175412200 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17992] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17992/stat : 17992 (java) S 17978 17980 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342357949 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575174358264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17993] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17993/stat : 17993 (java) S 17978 17980 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342357949 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575173305352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17994] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17994/stat : 17994 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575172253840 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17995] ppid=17978 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17980/task/17995/stat : 17995 (java) S 17978 17980 16961 0 -1 4202560 2699 0 0 0 37 0 0 0 20 0 19 0 342357952 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575171201976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17996] ppid=17978 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/17980/task/17996/stat : 17996 (java) S 17978 17980 16961 0 -1 4202560 4984 0 0 0 33 2 0 0 20 0 19 0 342357952 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575170149176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17997] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17997/stat : 17997 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575169096568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17998] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17998/stat : 17998 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575168043976 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17999] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17999/stat : 17999 (java) S 17978 17980 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342357992 3097006080 19500 33554432000 1073741824 1073778376 140734405364912 140575165842600 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 3024420

[startup+3.10066 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 17999
/proc/meminfo: memFree=23802236/32873844 swapFree=7628/7628
[pid=17980] ppid=17978 vsize=3024420 CPUtime=3.84 cores=0,2,4,6
/proc/17980/stat : 17980 (java) S 17978 17980 16961 0 -1 4202496 11965 0 1 0 380 4 0 0 20 0 19 0 342357944 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140734405356048 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17980/statm: 756105 21036 2275 9 0 746526 0
[pid=17980/tid=17982] ppid=17978 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/17980/task/17982/stat : 17982 (java) R 17978 17980 16961 0 -1 4202560 3088 0 1 0 303 2 0 0 20 0 19 0 342357946 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575211766344 140575035276973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17983] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17983/stat : 17983 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575195191848 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17984] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17984/stat : 17984 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575194139048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17985] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17985/stat : 17985 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575193086248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17980/tid=17986] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17986/stat : 17986 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575192033448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17987] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17987/stat : 17987 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575190981672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17988] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17988/stat : 17988 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575189928872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17989] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17989/stat : 17989 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575188876072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17990] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17990/stat : 17990 (java) S 17978 17980 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575187823272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17991] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17991/stat : 17991 (java) S 17978 17980 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342357948 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575175412200 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17992] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17992/stat : 17992 (java) S 17978 17980 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342357949 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575174358264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17993] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17993/stat : 17993 (java) S 17978 17980 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342357949 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575173305352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17994] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17994/stat : 17994 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575172253840 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17995] ppid=17978 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17980/task/17995/stat : 17995 (java) S 17978 17980 16961 0 -1 4202560 2699 0 0 0 39 0 0 0 20 0 19 0 342357952 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575171201976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17996] ppid=17978 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17980/task/17996/stat : 17996 (java) S 17978 17980 16961 0 -1 4202560 4984 0 0 0 35 2 0 0 20 0 19 0 342357952 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575170149176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17997] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17997/stat : 17997 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575169096568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17998] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17998/stat : 17998 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575168043976 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17999] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17999/stat : 17999 (java) S 17978 17980 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342357992 3097006080 21036 33554432000 1073741824 1073778376 140734405364912 140575165842600 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 3024420

[startup+6.30075 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18000
/proc/meminfo: memFree=23789444/32873844 swapFree=7628/7628
[pid=17980] ppid=17978 vsize=3024420 CPUtime=7.04 cores=0,2,4,6
/proc/17980/stat : 17980 (java) S 17978 17980 16961 0 -1 4202496 11973 0 1 0 700 4 0 0 20 0 19 0 342357944 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140734405356048 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17980/statm: 756105 24088 2276 9 0 746526 0
[pid=17980/tid=17982] ppid=17978 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/17980/task/17982/stat : 17982 (java) R 17978 17980 16961 0 -1 4202560 3095 0 1 0 622 2 0 0 20 0 19 0 342357946 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575211766224 140575035292053 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17983] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17983/stat : 17983 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575195191848 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17984] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17984/stat : 17984 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575194139048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17985] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17985/stat : 17985 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575193086248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17980/tid=17986] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17986/stat : 17986 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575192033448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17987] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17987/stat : 17987 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575190981672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17988] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17988/stat : 17988 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575189928872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17989] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17989/stat : 17989 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575188876072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17990] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17990/stat : 17990 (java) S 17978 17980 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342357947 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575187823272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17991] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17991/stat : 17991 (java) S 17978 17980 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342357948 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575175412200 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17992] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17992/stat : 17992 (java) S 17978 17980 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342357949 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575174358264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17993] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17993/stat : 17993 (java) S 17978 17980 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342357949 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575173305352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17994] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17994/stat : 17994 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575172253840 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17995] ppid=17978 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17980/task/17995/stat : 17995 (java) S 17978 17980 16961 0 -1 4202560 2699 0 0 0 39 0 0 0 20 0 19 0 342357952 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575171201976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17996] ppid=17978 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17980/task/17996/stat : 17996 (java) S 17978 17980 16961 0 -1 4202560 4984 0 0 0 35 2 0 0 20 0 19 0 342357952 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575170149176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17997] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17997/stat : 17997 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575169096568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17998] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17998/stat : 17998 (java) S 17978 17980 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575168043976 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17999] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17999/stat : 17999 (java) S 17978 17980 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342357992 3097006080 24088 33554432000 1073741824 1073778376 140734405364912 140575165842600 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=17980/tid=17995] ppid=17978 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/17980/task/17995/stat : 17995 (java) S 17978 17980 16961 0 -1 4202560 2708 0 0 0 45 0 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575171201976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17996] ppid=17978 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17980/task/17996/stat : 17996 (java) S 17978 17980 16961 0 -1 4202560 4992 0 0 0 39 2 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575170149176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17997] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17997/stat : 17997 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575169096568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17998] ppid=17978 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/17980/task/17998/stat : 17998 (java) S 17978 17980 16961 0 -1 4202560 96 0 0 0 44 30 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575168043976 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17999] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17999/stat : 17999 (java) S 17978 17980 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342357992 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575165842600 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.78
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18074
/proc/meminfo: memFree=22505632/32873844 swapFree=7628/7628
[pid=17980] ppid=17978 vsize=3024420 CPUtime=1725.78 cores=0,2,4,6
/proc/17980/stat : 17980 (java) S 17978 17980 16961 0 -1 4202496 14317 0 1 0 172433 145 0 0 20 0 19 0 342357944 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140734405356048 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17980/statm: 756105 419000 2304 9 0 746526 0
[pid=17980/tid=17982] ppid=17978 vsize=3024420 CPUtime=1715.38 cores=0,2,4,6
/proc/17980/task/17982/stat : 17982 (java) R 17978 17980 16961 0 -1 4202560 3277 0 1 0 171504 34 0 0 20 0 19 0 342357946 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575211765040 140575035277155 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17983] ppid=17978 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/17980/task/17983/stat : 17983 (java) S 17978 17980 16961 0 -1 4202560 159 0 0 0 19 9 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575195191848 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17980/tid=17984] ppid=17978 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17980/task/17984/stat : 17984 (java) S 17978 17980 16961 0 -1 4202560 231 0 0 0 25 14 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575194139048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17980/tid=17985] ppid=17978 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/17980/task/17985/stat : 17985 (java) S 17978 17980 16961 0 -1 4202560 186 0 0 0 25 10 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575193086248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17980/tid=17986] ppid=17978 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/17980/task/17986/stat : 17986 (java) S 17978 17980 16961 0 -1 4202560 416 0 0 0 35 27 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575192033448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17987] ppid=17978 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17980/task/17987/stat : 17987 (java) S 17978 17980 16961 0 -1 4202560 246 0 0 0 26 15 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575190981672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17988] ppid=17978 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17980/task/17988/stat : 17988 (java) S 17978 17980 16961 0 -1 4202560 214 0 0 0 26 13 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575189928872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17989] ppid=17978 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17980/task/17989/stat : 17989 (java) S 17978 17980 16961 0 -1 4202560 193 0 0 0 26 11 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575188876072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17990] ppid=17978 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17980/task/17990/stat : 17990 (java) S 17978 17980 16961 0 -1 4202560 200 0 0 0 25 12 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575187823272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17991] ppid=17978 vsize=3024420 CPUtime=1.58 cores=0,2,4,6
/proc/17980/task/17991/stat : 17991 (java) S 17978 17980 16961 0 -1 4202560 215 0 0 0 150 8 0 0 20 0 19 0 342357948 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575175412200 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17992] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17992/stat : 17992 (java) S 17978 17980 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342357949 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575174358264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17993] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17993/stat : 17993 (java) S 17978 17980 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342357949 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575173305352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17994] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17994/stat : 17994 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575172253840 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17995] ppid=17978 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/17980/task/17995/stat : 17995 (java) S 17978 17980 16961 0 -1 4202560 2708 0 0 0 45 0 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575171201976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17996] ppid=17978 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17980/task/17996/stat : 17996 (java) S 17978 17980 16961 0 -1 4202560 4992 0 0 0 39 2 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575170149176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17997] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17997/stat : 17997 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575169096568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17998] ppid=17978 vsize=3024420 CPUtime=0.77 cores=0,2,4,6
/proc/17980/task/17998/stat : 17998 (java) S 17978 17980 16961 0 -1 4202560 100 0 0 0 45 32 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575168043976 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17999] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17999/stat : 17999 (java) S 17978 17980 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342357992 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575165842600 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1725.78
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18074
/proc/meminfo: memFree=22199984/32873844 swapFree=7628/7628
[pid=17980] ppid=17978 vsize=3024420 CPUtime=1785.79 cores=0,2,4,6
/proc/17980/stat : 17980 (java) S 17978 17980 16961 0 -1 4202496 14324 0 1 0 178433 146 0 0 20 0 19 0 342357944 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140734405356048 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17980/statm: 756105 419000 2304 9 0 746526 0
[pid=17980/tid=17982] ppid=17978 vsize=3024420 CPUtime=1774.81 cores=0,2,4,6
/proc/17980/task/17982/stat : 17982 (java) R 17978 17980 16961 0 -1 4202560 3278 0 1 0 177447 34 0 0 20 0 19 0 342357946 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575211765040 140575035277155 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17983] ppid=17978 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/17980/task/17983/stat : 17983 (java) S 17978 17980 16961 0 -1 4202560 159 0 0 0 19 9 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575195191848 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17980/tid=17984] ppid=17978 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17980/task/17984/stat : 17984 (java) S 17978 17980 16961 0 -1 4202560 231 0 0 0 25 14 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575194139048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17980/tid=17985] ppid=17978 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/17980/task/17985/stat : 17985 (java) S 17978 17980 16961 0 -1 4202560 186 0 0 0 25 10 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575193086248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17980/tid=17986] ppid=17978 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/17980/task/17986/stat : 17986 (java) S 17978 17980 16961 0 -1 4202560 416 0 0 0 35 27 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575192033448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17987] ppid=17978 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17980/task/17987/stat : 17987 (java) S 17978 17980 16961 0 -1 4202560 246 0 0 0 26 15 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575190981672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17988] ppid=17978 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17980/task/17988/stat : 17988 (java) S 17978 17980 16961 0 -1 4202560 214 0 0 0 26 13 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575189928872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17989] ppid=17978 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17980/task/17989/stat : 17989 (java) S 17978 17980 16961 0 -1 4202560 193 0 0 0 26 11 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575188876072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17990] ppid=17978 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17980/task/17990/stat : 17990 (java) S 17978 17980 16961 0 -1 4202560 200 0 0 0 25 12 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575187823272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17991] ppid=17978 vsize=3024420 CPUtime=2 cores=0,2,4,6
/proc/17980/task/17991/stat : 17991 (java) S 17978 17980 16961 0 -1 4202560 217 0 0 0 192 8 0 0 20 0 19 0 342357948 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575175412200 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17992] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17992/stat : 17992 (java) S 17978 17980 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342357949 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575174358264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17993] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17993/stat : 17993 (java) S 17978 17980 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342357949 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575173305352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17994] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17994/stat : 17994 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575172253840 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17995] ppid=17978 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/17980/task/17995/stat : 17995 (java) S 17978 17980 16961 0 -1 4202560 2708 0 0 0 45 0 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575171201976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17996] ppid=17978 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17980/task/17996/stat : 17996 (java) S 17978 17980 16961 0 -1 4202560 4992 0 0 0 39 2 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575170149176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17997] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17997/stat : 17997 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575169096568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17998] ppid=17978 vsize=3024420 CPUtime=0.8 cores=0,2,4,6
/proc/17980/task/17998/stat : 17998 (java) S 17978 17980 16961 0 -1 4202560 104 0 0 0 47 33 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575168043976 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17999] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17999/stat : 17999 (java) S 17978 17980 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342357992 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575165842600 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.79
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 18074
/proc/meminfo: memFree=22200232/32873844 swapFree=7628/7628
[pid=17980] ppid=17978 vsize=3024420 CPUtime=1800.09 cores=0,2,4,6
/proc/17980/stat : 17980 (java) S 17978 17980 16961 0 -1 4202496 14324 0 1 0 179863 146 0 0 20 0 19 0 342357944 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140734405356048 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17980/statm: 756105 419000 2304 9 0 746526 0
[pid=17980/tid=17982] ppid=17978 vsize=3024420 CPUtime=1789.08 cores=0,2,4,6
/proc/17980/task/17982/stat : 17982 (java) R 17978 17980 16961 0 -1 4202560 3278 0 1 0 178873 35 0 0 20 0 19 0 342357946 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575211765040 140575035277155 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17983] ppid=17978 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/17980/task/17983/stat : 17983 (java) S 17978 17980 16961 0 -1 4202560 159 0 0 0 19 9 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575195191848 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17980/tid=17984] ppid=17978 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17980/task/17984/stat : 17984 (java) S 17978 17980 16961 0 -1 4202560 231 0 0 0 25 14 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575194139048 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17980/tid=17985] ppid=17978 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/17980/task/17985/stat : 17985 (java) S 17978 17980 16961 0 -1 4202560 186 0 0 0 25 10 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575193086248 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17980/tid=17986] ppid=17978 vsize=3024420 CPUtime=0.62 cores=0,2,4,6
/proc/17980/task/17986/stat : 17986 (java) S 17978 17980 16961 0 -1 4202560 416 0 0 0 35 27 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575192033448 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17987] ppid=17978 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17980/task/17987/stat : 17987 (java) S 17978 17980 16961 0 -1 4202560 246 0 0 0 26 15 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575190981672 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17988] ppid=17978 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/17980/task/17988/stat : 17988 (java) S 17978 17980 16961 0 -1 4202560 214 0 0 0 26 13 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575189928872 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17989] ppid=17978 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17980/task/17989/stat : 17989 (java) S 17978 17980 16961 0 -1 4202560 193 0 0 0 26 11 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575188876072 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17990] ppid=17978 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/17980/task/17990/stat : 17990 (java) S 17978 17980 16961 0 -1 4202560 200 0 0 0 25 12 0 0 20 0 19 0 342357947 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575187823272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17991] ppid=17978 vsize=3024420 CPUtime=2 cores=0,2,4,6
/proc/17980/task/17991/stat : 17991 (java) S 17978 17980 16961 0 -1 4202560 217 0 0 0 192 8 0 0 20 0 19 0 342357948 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575175412200 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17992] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17992/stat : 17992 (java) S 17978 17980 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342357949 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575174358264 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17993] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17993/stat : 17993 (java) S 17978 17980 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342357949 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575173305352 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17994] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17994/stat : 17994 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575172253840 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17995] ppid=17978 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/17980/task/17995/stat : 17995 (java) S 17978 17980 16961 0 -1 4202560 2708 0 0 0 45 0 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575171201976 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17980/tid=17996] ppid=17978 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/17980/task/17996/stat : 17996 (java) S 17978 17980 16961 0 -1 4202560 4992 0 0 0 39 2 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575170149176 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17997] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17997/stat : 17997 (java) S 17978 17980 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575169096568 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17980/tid=17998] ppid=17978 vsize=3024420 CPUtime=0.81 cores=0,2,4,6
/proc/17980/task/17998/stat : 17998 (java) S 17978 17980 16961 0 -1 4202560 104 0 0 0 48 33 0 0 20 0 19 0 342357952 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575168043976 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17980/tid=17999] ppid=17978 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17980/task/17999/stat : 17999 (java) S 17978 17980 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342357992 3097006080 419000 33554432000 1073741824 1073778376 140734405364912 140575165842600 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 17980 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=178243
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=23692
# CPU time returned by wait4() is 1796.2
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.62
CPU time (s): 1800.09
CPU user time (s): 1798.63
CPU system time (s): 1.46
CPU usage (%): 100.193
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.18
system time used= 2.02369
maximum resident set size= 1676120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14355
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38082
involuntary context switches= 3290

runsolver used 5.66014 second user time and 15.1327 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-04 00:25:36
IDJOB=3742114
IDBENCH=90133
IDSOLVER=2319
FILE ID=node143/3742114-1338762336
RUNJOBID= node143-1338750755-16977
PBS_JOBID= 14636808
Free space on /tmp= 68464 MiB

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

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

MD5SUM BENCH= 96708928b3148fdbe0ae701534d6c3d7
RANDOM SEED=811866747

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.787
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:       32873844 kB
MemFree:        23874380 kB
Buffers:         2377592 kB
Cached:          3975612 kB
SwapCached:          188 kB
Active:          5816308 kB
Inactive:        2190532 kB
Active(anon):    1641448 kB
Inactive(anon):    10988 kB
Active(file):    4174860 kB
Inactive(file):  2179544 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              3960 kB
Writeback:             0 kB
AnonPages:       1683436 kB
Mapped:            18740 kB
Shmem:               160 kB
Slab:             822248 kB
SReclaimable:     263708 kB
SUnreclaim:       558540 kB
KernelStack:        1600 kB
PageTables:         7096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1642496 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= 68460 MiB
End job on node143 at 2012-06-04 00:55:34