Trace number 3742244

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.06 1794.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K183.opb
MD5SUM0350ceeb14af28f3be070cadc324c0d3
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 variables21777
Total number of constraints22145
Number of constraints which are clauses21962
Number of constraints which are cardinality constraints (but not clauses)183
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint183
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 184
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.05/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.05/0.10	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.05/0.10	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.05/0.10	c no version file found!!!
0.05/0.10	c sun.arch.data.model	64
0.05/0.10	c java.version	1.6.0_24
0.05/0.10	c os.name	Linux
0.05/0.10	c os.version	2.6.32-71.29.1.el6.x86_64
0.05/0.10	c os.arch	amd64
0.05/0.10	c Free memory 1599470296
0.05/0.10	c Max memory 1607860224
0.05/0.10	c Total memory 1607860224
0.05/0.10	c Number of processors 8
0.05/0.13	--- Begin Solver configuration ---
0.05/0.13	c Stops conflict analysis at the first Unique Implication Point
0.05/0.13	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.05/0.13	c Learn all clauses as in MiniSAT
0.05/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.05/0.13	c VSIDS like heuristics from MiniSAT using a heap
0.05/0.13	c No reason simplification
0.05/0.13	c --- End Solver configuration ---
0.05/0.13	c solving HOME/instance-3742244-1338765157.opb
0.05/0.13	c reading problem ... 
1.15/0.67	c ... done. Wall clock time 0.546s.
1.15/0.67	c CPU time (experimental) 0.62s.
1.15/0.67	c #vars     21777
1.15/0.67	c #constraints  22143
1072.67/1068.77	c cleaning 314377 clauses out of 631478 for limit 3.924886184267794E8
1074.18/1070.22	c cleaning 158099 clauses out of 317601 for limit 1.286943017884684E9
1074.78/1070.88	c cleaning 78830 clauses out of 160003 for limit 4.216998556822659E9
1075.18/1071.29	c cleaning 39545 clauses out of 81672 for limit 1.3610678087807446E10
1075.48/1071.52	c cleaning 20079 clauses out of 42627 for limit 4.3005506925135635E10
1075.68/1071.74	c cleaning 10330 clauses out of 23048 for limit 1.3116908286604779E11
1075.88/1071.95	c cleaning 5325 clauses out of 13218 for limit 3.7718539382389233E11
1076.08/1072.18	c cleaning 2986 clauses out of 8393 for limit 9.796236880339099E11
1076.28/1072.40	c cleaning 2381 clauses out of 5908 for limit 2.297346025436661E12
1076.58/1072.64	c cleaning 1954 clauses out of 4026 for limit 5.554110357514167E12
1076.88/1072.92	c cleaning 781 clauses out of 2572 for limit 1.433749231197475E13
1077.08/1073.17	c cleaning 825 clauses out of 2291 for limit 2.6544525111478562E13
1077.28/1073.38	c cleaning 511 clauses out of 1966 for limit 5.10120084326277E13
1077.59/1073.66	c cleaning 509 clauses out of 1955 for limit 8.459896728891411E13
1077.88/1073.94	c cleaning 499 clauses out of 1947 for limit 1.4022849421623311E14
1078.18/1074.25	c cleaning 461 clauses out of 1947 for limit 2.3102429084851038E14
1078.48/1074.53	c cleaning 617 clauses out of 1987 for limit 3.736940035219108E14
1078.69/1074.72	c cleaning 870 clauses out of 1869 for limit 6.545247447120688E14
1078.98/1075.02	c cleaning 474 clauses out of 1499 for limit 1.3458282043237778E15
1079.28/1075.30	c cleaning 586 clauses out of 1528 for limit 2.1838727357614375E15
1079.48/1075.50	c cleaning 597 clauses out of 1438 for limit 3.823078097816816E15
1079.69/1075.75	c cleaning 592 clauses out of 1339 for limit 6.757380004509305E-5
1079.88/1075.99	c cleaning 574 clauses out of 1247 for limit 1.196598221215453E-4
1080.08/1076.17	c cleaning 491 clauses out of 1173 for limit 2.0978415425434914E-4
1080.38/1076.45	c cleaning 544 clauses out of 1182 for limit 3.433279053347895E-4
1080.58/1076.69	c cleaning 468 clauses out of 1138 for limit 5.880851396839647E-4
1080.89/1076.95	c cleaning 492 clauses out of 1170 for limit 9.433057737948696E-4
1081.08/1077.17	c cleaning 464 clauses out of 1178 for limit 0.0015450728137406384
1081.28/1077.34	c cleaning 368 clauses out of 1214 for limit 0.002472472339661974
1081.48/1077.54	c cleaning 466 clauses out of 1346 for limit 0.003677570064290526
1081.78/1077.84	c cleaning 486 clauses out of 1380 for limit 0.005915382280343539
1082.08/1078.10	c cleaning 478 clauses out of 1394 for limit 0.009657284276785447
1082.29/1078.36	c cleaning 464 clauses out of 1416 for limit 0.015678713459682175
1082.49/1078.55	c cleaning 495 clauses out of 1452 for limit 0.025215230766791236
1082.69/1078.75	c cleaning 494 clauses out of 1457 for limit 0.0414405870217187
1083.00/1079.01	c cleaning 535 clauses out of 1463 for limit 0.06806079401485031
1083.30/1079.37	c cleaning 529 clauses out of 1428 for limit 0.11499236792739626
1083.60/1079.61	c cleaning 504 clauses out of 1399 for limit 0.19356881751944374
1083.90/1079.91	c cleaning 508 clauses out of 1395 for limit 0.32013620393727604
1084.10/1080.16	c cleaning 498 clauses out of 1387 for limit 0.5309925458904652
1084.20/1080.29	c cleaning 504 clauses out of 1389 for limit 0.874416868005264
1084.50/1080.56	c cleaning 521 clauses out of 1385 for limit 1.446195101451957
1084.80/1080.80	c cleaning 526 clauses out of 1363 for limit 2.423464658310284
1085.10/1081.10	c cleaning 514 clauses out of 1337 for limit 4.0743377358293875
1085.30/1081.37	c cleaning 479 clauses out of 1323 for limit 6.790229864935998
1085.60/1081.61	c cleaning 485 clauses out of 1345 for limit 11.025859016798602
1085.90/1081.91	c cleaning 491 clauses out of 1359 for limit 17.97780385830994
1086.10/1082.18	c cleaning 503 clauses out of 1368 for limit 29.452752250518184
1086.50/1082.50	c cleaning 511 clauses out of 1365 for limit 48.678279192072374
1086.80/1082.81	c cleaning 481 clauses out of 1354 for limit 80.92917092036764
1087.10/1083.14	c cleaning 507 clauses out of 1373 for limit 131.61612654871047
1087.40/1083.45	c cleaning 497 clauses out of 1366 for limit 218.16487537170366
1087.70/1083.70	c cleaning 498 clauses out of 1369 for limit 358.9946434447086
1088.00/1084.02	c cleaning 486 clauses out of 1371 for limit 591.1665452307092
1088.20/1084.27	c cleaning 466 clauses out of 1385 for limit 965.0580045367292
1088.40/1084.48	c cleaning 485 clauses out of 1419 for limit 1553.376326563894
1088.60/1084.68	c cleaning 493 clauses out of 1435 for limit 2535.698276171207
1088.90/1084.94	c cleaning 523 clauses out of 1441 for limit 4160.129700849571
1089.10/1085.14	c cleaning 480 clauses out of 1418 for limit 6971.889703257058
1089.20/1085.28	c cleaning 460 clauses out of 1439 for limit 11341.130389044818
1089.50/1085.56	c cleaning 505 clauses out of 1478 for limit 18191.31435161328
1089.70/1085.77	c cleaning 520 clauses out of 1473 for limit 30101.74364794276
1090.00/1086.09	c cleaning 523 clauses out of 1453 for limit 50325.10300221659
1090.30/1086.37	c cleaning 505 clauses out of 1430 for limit 84327.67689110123
1090.60/1086.62	c cleaning 478 clauses out of 1425 for limit 139555.57691083805
1090.81/1086.88	c cleaning 520 clauses out of 1447 for limit 226646.70865603632
1091.10/1087.19	c cleaning 498 clauses out of 1427 for limit 379009.2956357175
1091.40/1087.47	c cleaning 551 clauses out of 1429 for limit 624162.2420525352
1091.72/1087.77	c cleaning 531 clauses out of 1378 for limit 1067422.5940144523
1091.93/1087.97	c cleaning 570 clauses out of 1347 for limit 1800834.9059188317
1092.02/1088.09	c cleaning 462 clauses out of 1277 for limit 3132611.1222908315
1092.22/1088.20	c cleaning 495 clauses out of 1315 for limit 5016808.423817229
1092.42/1088.47	c cleaning 565 clauses out of 1320 for limit 8242049.635727605
1092.62/1088.68	c cleaning 431 clauses out of 1255 for limit 1.4296223135701347E7
1092.82/1088.87	c cleaning 481 clauses out of 1325 for limit 2.2353192818429284E7
1093.03/1089.09	c cleaning 481 clauses out of 1343 for limit 3.633296204713881E7
1093.32/1089.32	c cleaning 500 clauses out of 1362 for limit 5.908205563959007E7
1093.52/1089.57	c cleaning 496 clauses out of 1362 for limit 9.74342136056818E7
1093.82/1089.87	c cleaning 579 clauses out of 1366 for limit 1.602115342955879E8
1094.03/1090.10	c cleaning 429 clauses out of 1287 for limit 2.804282869327923E8
1094.22/1090.29	c cleaning 510 clauses out of 1361 for limit 4.386333644615315E8
1094.52/1090.56	c cleaning 476 clauses out of 1348 for limit 7.281523369982626E8
1094.82/1090.86	c cleaning 503 clauses out of 1372 for limit 1.1798150057756038E9
1095.13/1091.20	c cleaning 481 clauses out of 1369 for limit 1.9499364868710988E9
1095.52/1091.53	c cleaning 526 clauses out of 1388 for limit 3.171687092720552E9
1095.72/1091.79	c cleaning 480 clauses out of 1362 for limit 5.330385027494063E9
1095.92/1091.99	c cleaning 491 clauses out of 1382 for limit 8.66330355370339E9
1096.23/1092.28	c cleaning 512 clauses out of 1391 for limit 1.419450760978517E10
1096.52/1092.52	c cleaning 510 clauses out of 1380 for limit 2.3618851431507763E10
1096.62/1092.63	c cleaning 446 clauses out of 1371 for limit 3.924558478528223E10
1096.72/1092.77	c cleaning 524 clauses out of 1423 for limit 6.2231493374254944E10
1097.02/1093.07	c cleaning 507 clauses out of 1399 for limit 1.0438865345567699E11
1097.22/1093.26	c cleaning 477 clauses out of 1393 for limit 1.7306541668967508E11
1097.43/1093.45	c cleaning 692 clauses out of 1415 for limit 2.806896145647596E11
1097.73/1093.71	c cleaning 572 clauses out of 1223 for limit 5.3556503273018225E11
1097.83/1093.89	c cleaning 446 clauses out of 1151 for limit 9.38467493974592E11
1098.13/1094.11	c cleaning 525 clauses out of 1205 for limit 1.4783027954089116E12
1098.33/1094.31	c cleaning 550 clauses out of 1180 for limit 2.4895699012662246E12
1098.53/1094.52	c cleaning 471 clauses out of 1130 for limit 4.2872990289834326E12
1098.73/1094.76	c cleaning 496 clauses out of 1159 for limit 6.89341889304421E12
1099.03/1095.07	c cleaning 478 clauses out of 1163 for limit 1.1329070473022275E13
1099.33/1095.32	c cleaning 501 clauses out of 1185 for limit 1.833629256544832E13
1099.63/1095.63	c cleaning 493 clauses out of 1184 for limit 3.026453912121893E13
1099.83/1095.86	c cleaning 536 clauses out of 1191 for limit 4.961693039004459E13
1100.03/1096.06	c cleaning 464 clauses out of 1155 for limit 8.437534408158316E13
1100.33/1096.36	c cleaning 494 clauses out of 1191 for limit 1.3494029853908366E14
1100.63/1096.61	c cleaning 501 clauses out of 1198 for limit 2.2145577438775956E14
1100.73/1096.71	c cleaning 439 clauses out of 1196 for limit 3.6545509626599844E14
1100.93/1096.98	c cleaning 590 clauses out of 1260 for limit 5.737914589469566E14
1101.23/1097.28	c cleaning 462 clauses out of 1167 for limit 1.0186057422374148E15
1101.53/1097.58	c cleaning 468 clauses out of 1205 for limit 1.6268436491543102E15
1101.93/1097.90	c cleaning 511 clauses out of 1237 for limit 2.6134792152867885E15
1102.13/1098.10	c cleaning 388 clauses out of 1226 for limit 4.348647116386488E15
1102.33/1098.39	c cleaning 572 clauses out of 1338 for limit 6.571195842929117E15
1102.53/1098.58	c cleaning 600 clauses out of 1266 for limit 1.1453090845103806E-4
1102.84/1098.85	c cleaning 554 clauses out of 1166 for limit 2.0507548522172287E-4
1103.13/1099.10	c cleaning 508 clauses out of 1112 for limit 3.546201408616494E-4
1103.33/1099.37	c cleaning 474 clauses out of 1104 for limit 5.890538499965545E-4
1103.53/1099.57	c cleaning 381 clauses out of 1132 for limit 9.492979782378525E-4
1103.73/1099.74	c cleaning 357 clauses out of 1251 for limit 0.0014166010524124042
1103.94/1099.99	c cleaning 474 clauses out of 1392 for limit 0.00209533032284718
1104.23/1100.21	c cleaning 471 clauses out of 1418 for limit 0.0033921214208926243
1104.43/1100.46	c cleaning 472 clauses out of 1447 for limit 0.005481948814336322
1104.73/1100.72	c cleaning 456 clauses out of 1475 for limit 0.008868851312906295
1104.93/1100.92	c cleaning 481 clauses out of 1519 for limit 0.01420226158414078
1105.04/1101.10	c cleaning 485 clauses out of 1538 for limit 0.02313208784255959
1105.23/1101.25	c cleaning 478 clauses out of 1554 for limit 0.037792929089376655
1105.43/1101.46	c cleaning 537 clauses out of 1575 for limit 0.06143309338246612
1105.63/1101.67	c cleaning 497 clauses out of 1540 for limit 0.10382146003485741
1105.83/1101.83	c cleaning 671 clauses out of 1540 for limit 0.170873216846228
1105.93/1101.94	c cleaning 539 clauses out of 1370 for limit 0.3170768594343981
1106.03/1102.08	c cleaning 506 clauses out of 1333 for limit 0.5384927694897581
1106.24/1102.22	c cleaning 487 clauses out of 1324 for limit 0.8914036176074195
1106.33/1102.40	c cleaning 524 clauses out of 1339 for limit 1.4564873295436216
1106.53/1102.52	c cleaning 492 clauses out of 1317 for limit 2.446957483932062
1106.63/1102.66	c cleaning 501 clauses out of 1321 for limit 4.007072689889914
1106.73/1102.77	c cleaning 509 clauses out of 1322 for limit 6.616426521227067
1106.93/1102.90	c cleaning 470 clauses out of 1311 for limit 10.980929940810402
1107.03/1103.02	c cleaning 521 clauses out of 1341 for limit 17.703898929622042
1107.13/1103.15	c cleaning 514 clauses out of 1320 for limit 29.660581092994384
1107.24/1103.28	c cleaning 499 clauses out of 1306 for limit 49.438615091841136
1107.34/1103.39	c cleaning 489 clauses out of 1308 for limit 81.4877128093369
1107.53/1103.52	c cleaning 537 clauses out of 1318 for limit 133.23116859824287
1107.73/1103.73	c cleaning 495 clauses out of 1281 for limit 226.06222860386492
1107.93/1103.94	c cleaning 510 clauses out of 1286 for limit 371.35737469483814
1108.13/1104.18	c cleaning 508 clauses out of 1276 for limit 617.2175042021416
1108.34/1104.35	c cleaning 483 clauses out of 1268 for limit 1024.2961537691783
1108.44/1104.45	c cleaning 488 clauses out of 1285 for limit 1666.8539741282366
1108.53/1104.58	c cleaning 475 clauses out of 1297 for limit 2723.4323596981
1108.73/1104.72	c cleaning 476 clauses out of 1324 for limit 4408.526898397054
1108.83/1104.83	c cleaning 476 clauses out of 1346 for limit 7137.124680478209
1108.93/1104.92	c cleaning 480 clauses out of 1372 for limit 11570.154085664843
1109.03/1105.03	c cleaning 491 clauses out of 1391 for limit 18801.283553483412
1109.13/1105.15	c cleaning 506 clauses out of 1399 for limit 30797.70041504415
1109.23/1105.27	c cleaning 478 clauses out of 1393 for limit 51008.291248998794
1109.33/1105.39	c cleaning 478 clauses out of 1416 for limit 82835.98427463566
1109.54/1105.51	c cleaning 490 clauses out of 1437 for limit 134476.65487910705
1109.63/1105.64	c cleaning 507 clauses out of 1447 for limit 220237.37469094896
1109.73/1105.79	c cleaning 489 clauses out of 1440 for limit 364966.4535941528
1109.93/1105.92	c cleaning 649 clauses out of 1455 for limit 598062.2362237487
1110.03/1106.07	c cleaning 442 clauses out of 1303 for limit 1098037.8472743316
1110.13/1106.20	c cleaning 456 clauses out of 1363 for limit 1734565.8033864023
1110.33/1106.30	c cleaning 695 clauses out of 1404 for limit 2768674.366412514
1110.43/1106.45	c cleaning 594 clauses out of 1210 for limit 5303273.390125397
1110.54/1106.57	c cleaning 497 clauses out of 1115 for limit 9481474.78155422
1110.64/1106.68	c cleaning 343 clauses out of 1118 for limit 1.5594262666388107E7
1110.73/1106.79	c cleaning 402 clauses out of 1277 for limit 2.2560081381390702E7
1110.83/1106.89	c cleaning 461 clauses out of 1373 for limit 3.4534079578634515E7
1110.93/1107.00	c cleaning 610 clauses out of 1412 for limit 5.5378299146132E7
1111.13/1107.12	c cleaning 467 clauses out of 1305 for limit 9.911131088913025E7
1111.23/1107.24	c cleaning 503 clauses out of 1339 for limit 1.5945698704068318E8
1111.33/1107.36	c cleaning 659 clauses out of 1332 for limit 2.6329204995460108E8
1111.43/1107.49	c cleaning 453 clauses out of 1173 for limit 4.930600842767464E8
1111.53/1107.58	c cleaning 389 clauses out of 1220 for limit 7.817968460503454E8
1111.64/1107.69	c cleaning 437 clauses out of 1331 for limit 1.1817662321401212E9
1111.83/1107.84	c cleaning 677 clauses out of 1395 for limit 1.8613404822634175E9
1111.93/1107.97	c cleaning 387 clauses out of 1217 for limit 3.515044500201689E9
1112.13/1108.11	c cleaning 435 clauses out of 1330 for limit 5.3042703567998705E9
1112.23/1108.27	c cleaning 477 clauses out of 1396 for limit 8.3422321867510395E9
1112.43/1108.42	c cleaning 708 clauses out of 1418 for limit 1.3530468543306196E10
1112.53/1108.58	c cleaning 605 clauses out of 1210 for limit 2.614927085196955E10
1112.74/1108.70	c cleaning 413 clauses out of 1105 for limit 4.72213678229307E10
1112.84/1108.85	c cleaning 373 clauses out of 1192 for limit 7.219057024769096E10
1112.93/1108.99	c cleaning 435 clauses out of 1319 for limit 1.075889872036539E11
1113.13/1109.14	c cleaning 476 clauses out of 1387 for limit 1.6923710050774075E11
1113.23/1109.27	c cleaning 706 clauses out of 1412 for limit 2.744275694779778E11
1113.33/1109.39	c cleaning 390 clauses out of 1202 for limit 5.295120018027888E11
1113.53/1109.52	c cleaning 650 clauses out of 1312 for limit 8.000227329580304E11
1113.63/1109.64	c cleaning 558 clauses out of 1162 for limit 1.4896557654456245E12
1113.73/1109.75	c cleaning 547 clauses out of 1108 for limit 2.58670095592145E12
1113.84/1109.85	c cleaning 420 clauses out of 1057 for limit 4.4537807779724795E12
1113.94/1109.96	c cleaning 342 clauses out of 1137 for limit 6.828090147047554E12
1114.03/1110.07	c cleaning 428 clauses out of 1295 for limit 9.88657418491926E12
1800.06/1794.61	c starts		: 22
1800.06/1794.61	c conflicts		: 1210723
1800.06/1794.61	c decisions		: 9484088
1800.06/1794.61	c propagations		: 1505857789
1800.06/1794.61	c inspects		: 7203652239
1800.06/1794.61	c learnt literals	: 30
1800.06/1794.61	c learnt binary clauses	: 122397
1800.06/1794.61	c learnt ternary clauses	: 79513
1800.06/1794.61	c learnt clauses	: 1210693
1800.06/1794.61	c root simplifications	: 0
1800.06/1794.61	c removed literals (reason simplification)	: 0
1800.06/1794.61	c reason swapping (by a shorter reason)	: 0
1800.06/1794.61	c Calls to reduceDB	: 193
1800.06/1794.61	c speed (decisions/second)	: 5286.7747684270325
1800.06/1794.61	c non guided choices	21617
1800.06/1794.61	s UNKNOWN
1800.06/1794.61	c Total wall clock time (ms): 1794.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-3742244-1338765157/watcher-3742244-1338765157 -o /tmp/evaluation-result-3742244-1338765157/solver-3742244-1338765157 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742244-1338765157.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 18206
/proc/meminfo: memFree=23870580/32873844 swapFree=7628/7628
[pid=18206] ppid=18204 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/18206/stat : 18206 (java) R 18204 18206 16961 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 342640089 278528 33 33554432000 1073741824 1073778376 140735377454912 140735377452088 251035479335 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18206/statm: 68 33 25 9 0 25 0

[startup+0.075235 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 18206
/proc/meminfo: memFree=23870580/32873844 swapFree=7628/7628
[pid=18206] ppid=18204 vsize=2623916 CPUtime=0.03 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18204 18206 16961 0 -1 4202496 3954 0 1 0 3 0 0 0 20 0 13 0 342640089 2686889984 5162 33554432000 1073741824 1073778376 140735486540928 140735486532064 251048001597 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18206/statm: 655979 5162 1709 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916

[startup+0.100361 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 18206
/proc/meminfo: memFree=23870580/32873844 swapFree=7628/7628
[pid=18206] ppid=18204 vsize=2956804 CPUtime=0.05 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18204 18206 16961 0 -1 4202496 4115 0 1 0 5 0 0 0 20 0 18 0 342640089 3027767296 5834 33554432000 1073741824 1073778376 140735486540928 140735486532064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18206/statm: 739201 5834 1781 9 0 729885 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2956804

[startup+0.3003 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 18206
/proc/meminfo: memFree=23870580/32873844 swapFree=7628/7628
[pid=18206] ppid=18204 vsize=2957856 CPUtime=0.49 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18204 18206 16961 0 -1 4202496 8515 0 1 0 48 1 0 0 20 0 18 0 342640089 3028844544 10944 33554432000 1073741824 1073778376 140735486540928 140735486532064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18206/statm: 739464 10944 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2957856

[startup+0.700311 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 18206
/proc/meminfo: memFree=23870580/32873844 swapFree=7628/7628
[pid=18206] ppid=18204 vsize=3024420 CPUtime=1.32 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18204 18206 16961 0 -1 4202496 9631 0 1 0 128 4 0 0 20 0 19 0 342640089 3097006080 38371 33554432000 1073741824 1073778376 140735486540928 140735486532064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18206/statm: 756105 38371 2267 9 0 746526 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 3024420

[startup+1.50077 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 18225
/proc/meminfo: memFree=23725272/32873844 swapFree=7628/7628
[pid=18206] ppid=18204 vsize=3024420 CPUtime=2.35 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18204 18206 16961 0 -1 4202496 9694 0 1 0 231 4 0 0 20 0 19 0 342640089 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140735486532064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18206/statm: 756105 38381 2271 9 0 746526 0
[pid=18206/tid=18208] ppid=18204 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/18206/task/18208/stat : 18208 (java) R 18204 18206 16961 0 -1 4202560 3099 0 1 0 141 4 0 0 20 0 19 0 342640091 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221841027480 140221707194746 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18209] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18209/stat : 18209 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221706397992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18210] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18210/stat : 18210 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221705345192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18211] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18211/stat : 18211 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221704292904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18212] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18212/stat : 18212 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221703240104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18213] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18213/stat : 18213 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221702187816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18214] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18214/stat : 18214 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221701135016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18215] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18215/stat : 18215 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221700082728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18216] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18216/stat : 18216 (java) S 18204 18206 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221699029928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18217] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18217/stat : 18217 (java) S 18204 18206 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342640094 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221216700648 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18218] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18218/stat : 18218 (java) S 18204 18206 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342640095 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221215646712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18219] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18219/stat : 18219 (java) S 18204 18206 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342640095 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221214594312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18220] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18220/stat : 18220 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640097 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221213542800 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18221] ppid=18204 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18206/task/18221/stat : 18221 (java) S 18204 18206 16961 0 -1 4202560 2416 0 0 0 44 0 0 0 20 0 19 0 342640098 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221212490424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18222] ppid=18204 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/18206/task/18222/stat : 18222 (java) S 18204 18206 16961 0 -1 4202560 2979 0 0 0 43 0 0 0 20 0 19 0 342640098 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221211437624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18223] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18223/stat : 18223 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640098 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221210385528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18224] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18224/stat : 18224 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640098 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221209332936 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18225] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18225/stat : 18225 (java) S 18204 18206 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342640159 3097006080 38381 33554432000 1073741824 1073778376 140735486540928 140221207200680 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 3024420

[startup+3.10078 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 18225
/proc/meminfo: memFree=23724776/32873844 swapFree=7628/7628
[pid=18206] ppid=18204 vsize=3024420 CPUtime=3.95 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18204 18206 16961 0 -1 4202496 9697 0 1 0 391 4 0 0 20 0 19 0 342640089 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140735486532064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18206/statm: 756105 38894 2271 9 0 746526 0
[pid=18206/tid=18208] ppid=18204 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/18206/task/18208/stat : 18208 (java) R 18204 18206 16961 0 -1 4202560 3101 0 1 0 301 4 0 0 20 0 19 0 342640091 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221841027272 140221707303316 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18209] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18209/stat : 18209 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221706397992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18210] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18210/stat : 18210 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221705345192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18211] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18211/stat : 18211 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221704292904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18212] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18212/stat : 18212 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221703240104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18213] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18213/stat : 18213 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221702187816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18214] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18214/stat : 18214 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221701135016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18215] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18215/stat : 18215 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221700082728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18216] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18216/stat : 18216 (java) S 18204 18206 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221699029928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18217] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18217/stat : 18217 (java) S 18204 18206 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342640094 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221216700648 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18218] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18218/stat : 18218 (java) S 18204 18206 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342640095 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221215646712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18219] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18219/stat : 18219 (java) S 18204 18206 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342640095 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221214594312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18220] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18220/stat : 18220 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640097 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221213542800 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18221] ppid=18204 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18206/task/18221/stat : 18221 (java) S 18204 18206 16961 0 -1 4202560 2416 0 0 0 44 0 0 0 20 0 19 0 342640098 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221212490424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18222] ppid=18204 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/18206/task/18222/stat : 18222 (java) S 18204 18206 16961 0 -1 4202560 2979 0 0 0 43 0 0 0 20 0 19 0 342640098 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221211437624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18223] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18223/stat : 18223 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640098 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221210385528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18224] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18224/stat : 18224 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640098 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221209332936 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18225] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18225/stat : 18225 (java) S 18204 18206 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342640159 3097006080 38894 33554432000 1073741824 1073778376 140735486540928 140221207200680 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 3024420

[startup+6.30081 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 18225
/proc/meminfo: memFree=23720060/32873844 swapFree=7628/7628
[pid=18206] ppid=18204 vsize=3024420 CPUtime=7.17 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18204 18206 16961 0 -1 4202496 9700 0 1 0 713 4 0 0 20 0 19 0 342640089 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140735486532064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18206/statm: 756105 39375 2272 9 0 746526 0
[pid=18206/tid=18208] ppid=18204 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/18206/task/18208/stat : 18208 (java) R 18204 18206 16961 0 -1 4202560 3103 0 1 0 620 4 0 0 20 0 19 0 342640091 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221841027496 140221707195000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18209] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18209/stat : 18209 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221706397992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18210] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18210/stat : 18210 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221705345192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18211] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18211/stat : 18211 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221704292904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18212] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18212/stat : 18212 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221703240104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18213] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18213/stat : 18213 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221702187816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18214] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18214/stat : 18214 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221701135016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18215] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18215/stat : 18215 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221700082728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18216] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18216/stat : 18216 (java) S 18204 18206 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342640093 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221699029928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18217] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18217/stat : 18217 (java) S 18204 18206 16961 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342640094 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221216700648 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18218] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18218/stat : 18218 (java) S 18204 18206 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342640095 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221215646712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18219] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18219/stat : 18219 (java) S 18204 18206 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342640095 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221214594312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18220] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18220/stat : 18220 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640097 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221213542800 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18221] ppid=18204 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/18206/task/18221/stat : 18221 (java) S 18204 18206 16961 0 -1 4202560 2417 0 0 0 45 0 0 0 20 0 19 0 342640098 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221212490424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18222] ppid=18204 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/18206/task/18222/stat : 18222 (java) S 18204 18206 16961 0 -1 4202560 2979 0 0 0 43 0 0 0 20 0 19 0 342640098 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221211437624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18223] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18223/stat : 18223 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640098 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221210385528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18224] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18224/stat : 18224 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640098 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221209332936 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18225] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18225/stat : 18225 (java) S 18204 18206 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342640159 3097006080 39375 33554432000 1073741824 1073778376 140735486540928 140221207200680 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=18206/tid=18221] ppid=18204 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/18206/task/18221/stat : 18221 (java) S 18204 18206 16961 0 -1 4202560 2427 0 0 0 55 0 0 0 20 0 19 0 342640098 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221212490424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18222] ppid=18204 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18206/task/18222/stat : 18222 (java) S 18204 18206 16961 0 -1 4202560 2995 0 0 0 52 0 0 0 20 0 19 0 342640098 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221211437624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18223] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18223/stat : 18223 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640098 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221210385528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18224] ppid=18204 vsize=3024420 CPUtime=1 cores=1,3,5,7
/proc/18206/task/18224/stat : 18224 (java) S 18204 18206 16961 0 -1 4202560 97 0 0 0 56 44 0 0 20 0 19 0 342640098 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221209332936 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18225] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18225/stat : 18225 (java) S 18204 18206 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342640159 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221207200680 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1667.59
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.02 2.05 2.02 3/213 18299
/proc/meminfo: memFree=22604488/32873844 swapFree=7628/7628
[pid=18206] ppid=18204 vsize=3024420 CPUtime=1727.67 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18204 18206 16961 0 -1 4202496 11934 0 1 0 172527 240 0 0 20 0 19 0 342640089 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140735486532064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18206/statm: 756105 418435 2302 9 0 746526 0
[pid=18206/tid=18208] ppid=18204 vsize=3024420 CPUtime=1716.16 cores=1,3,5,7
/proc/18206/task/18208/stat : 18208 (java) R 18204 18206 16961 0 -1 4202560 3253 0 1 0 171583 33 0 0 20 0 19 0 342640091 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221841026352 140221707050558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18209] ppid=18204 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18206/task/18209/stat : 18209 (java) S 18204 18206 16961 0 -1 4202560 235 0 0 0 34 18 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221706397992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18210] ppid=18204 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/18206/task/18210/stat : 18210 (java) S 18204 18206 16961 0 -1 4202560 233 0 0 0 36 18 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221705345192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18211] ppid=18204 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/18206/task/18211/stat : 18211 (java) S 18204 18206 16961 0 -1 4202560 290 0 0 0 40 22 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221704292904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18212] ppid=18204 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/18206/task/18212/stat : 18212 (java) S 18204 18206 16961 0 -1 4202560 258 0 0 0 18 20 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221703240104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18213] ppid=18204 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/18206/task/18213/stat : 18213 (java) S 18204 18206 16961 0 -1 4202560 212 0 0 0 16 15 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221702187816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18214] ppid=18204 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/18206/task/18214/stat : 18214 (java) S 18204 18206 16961 0 -1 4202560 175 0 0 0 12 13 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221701135016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18215] ppid=18204 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/18206/task/18215/stat : 18215 (java) S 18204 18206 16961 0 -1 4202560 158 0 0 0 11 12 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221700082728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18216] ppid=18204 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/18206/task/18216/stat : 18216 (java) S 18204 18206 16961 0 -1 4202560 154 0 0 0 11 11 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221699029928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18217] ppid=18204 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/18206/task/18217/stat : 18217 (java) S 18204 18206 16961 0 -1 4202560 259 0 0 0 85 10 0 0 20 0 19 0 342640094 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221216700648 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18218] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18218/stat : 18218 (java) S 18204 18206 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342640095 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221215646712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18219] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18219/stat : 18219 (java) S 18204 18206 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342640095 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221214594312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18220] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18220/stat : 18220 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640097 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221213542800 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18221] ppid=18204 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/18206/task/18221/stat : 18221 (java) S 18204 18206 16961 0 -1 4202560 2427 0 0 0 55 0 0 0 20 0 19 0 342640098 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221212490424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18222] ppid=18204 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18206/task/18222/stat : 18222 (java) S 18204 18206 16961 0 -1 4202560 2995 0 0 0 52 0 0 0 20 0 19 0 342640098 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221211437624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18223] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18223/stat : 18223 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640098 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221210385528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18224] ppid=18204 vsize=3024420 CPUtime=1.03 cores=1,3,5,7
/proc/18206/task/18224/stat : 18224 (java) S 18204 18206 16961 0 -1 4202560 99 0 0 0 56 47 0 0 20 0 19 0 342640098 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221209332936 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18225] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18225/stat : 18225 (java) S 18204 18206 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342640159 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221207200680 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1727.67
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.02 3/213 18300
/proc/meminfo: memFree=22604364/32873844 swapFree=7628/7628
[pid=18206] ppid=18204 vsize=3024420 CPUtime=1787.75 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18204 18206 16961 0 -1 4202496 11938 0 1 0 178531 244 0 0 20 0 19 0 342640089 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140735486532064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18206/statm: 756105 418435 2302 9 0 746526 0
[pid=18206/tid=18208] ppid=18204 vsize=3024420 CPUtime=1776.01 cores=1,3,5,7
/proc/18206/task/18208/stat : 18208 (java) R 18204 18206 16961 0 -1 4202560 3253 0 1 0 177568 33 0 0 20 0 19 0 342640091 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221841026352 140221707194729 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18209] ppid=18204 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18206/task/18209/stat : 18209 (java) S 18204 18206 16961 0 -1 4202560 235 0 0 0 34 18 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221706397992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18210] ppid=18204 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/18206/task/18210/stat : 18210 (java) S 18204 18206 16961 0 -1 4202560 233 0 0 0 36 18 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221705345192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18211] ppid=18204 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/18206/task/18211/stat : 18211 (java) S 18204 18206 16961 0 -1 4202560 290 0 0 0 40 22 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221704292904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18212] ppid=18204 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/18206/task/18212/stat : 18212 (java) S 18204 18206 16961 0 -1 4202560 258 0 0 0 18 20 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221703240104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18213] ppid=18204 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/18206/task/18213/stat : 18213 (java) S 18204 18206 16961 0 -1 4202560 212 0 0 0 16 15 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221702187816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18214] ppid=18204 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/18206/task/18214/stat : 18214 (java) S 18204 18206 16961 0 -1 4202560 175 0 0 0 12 13 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221701135016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18215] ppid=18204 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/18206/task/18215/stat : 18215 (java) S 18204 18206 16961 0 -1 4202560 158 0 0 0 11 12 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221700082728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18216] ppid=18204 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/18206/task/18216/stat : 18216 (java) S 18204 18206 16961 0 -1 4202560 154 0 0 0 11 11 0 0 20 0 19 0 342640093 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221699029928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18217] ppid=18204 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/18206/task/18217/stat : 18217 (java) S 18204 18206 16961 0 -1 4202560 259 0 0 0 85 10 0 0 20 0 19 0 342640094 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221216700648 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18218] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18218/stat : 18218 (java) S 18204 18206 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342640095 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221215646712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18219] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18219/stat : 18219 (java) S 18204 18206 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342640095 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221214594312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18220] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18220/stat : 18220 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640097 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221213542800 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18221] ppid=18204 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/18206/task/18221/stat : 18221 (java) S 18204 18206 16961 0 -1 4202560 2427 0 0 0 55 0 0 0 20 0 19 0 342640098 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221212490424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18222] ppid=18204 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18206/task/18222/stat : 18222 (java) S 18204 18206 16961 0 -1 4202560 2995 0 0 0 52 0 0 0 20 0 19 0 342640098 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221211437624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18223] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18223/stat : 18223 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640098 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221210385528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18224] ppid=18204 vsize=3024420 CPUtime=1.07 cores=1,3,5,7
/proc/18206/task/18224/stat : 18224 (java) S 18204 18206 16961 0 -1 4202560 103 0 0 0 59 48 0 0 20 0 19 0 342640098 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221209332936 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18225] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18225/stat : 18225 (java) S 18204 18206 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342640159 3097006080 418435 33554432000 1073741824 1073778376 140735486540928 140221207200680 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1787.75
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.6 s]
/proc/loadavg: 2.04 2.05 2.02 3/213 18300
/proc/meminfo: memFree=22601564/32873844 swapFree=7628/7628
[pid=18206] ppid=18204 vsize=3024420 CPUtime=1800.06 cores=1,3,5,7
/proc/18206/stat : 18206 (java) S 18204 18206 16961 0 -1 4202496 11938 0 1 0 179762 244 0 0 20 0 19 0 342640089 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140735486532064 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18206/statm: 756105 419026 2302 9 0 746526 0
[pid=18206/tid=18208] ppid=18204 vsize=3024420 CPUtime=1788.28 cores=1,3,5,7
/proc/18206/task/18208/stat : 18208 (java) R 18204 18206 16961 0 -1 4202560 3253 0 1 0 178794 34 0 0 20 0 19 0 342640091 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221841026352 140221707194729 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18209] ppid=18204 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18206/task/18209/stat : 18209 (java) S 18204 18206 16961 0 -1 4202560 235 0 0 0 34 18 0 0 20 0 19 0 342640093 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221706397992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18210] ppid=18204 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/18206/task/18210/stat : 18210 (java) S 18204 18206 16961 0 -1 4202560 233 0 0 0 36 18 0 0 20 0 19 0 342640093 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221705345192 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18211] ppid=18204 vsize=3024420 CPUtime=0.62 cores=1,3,5,7
/proc/18206/task/18211/stat : 18211 (java) S 18204 18206 16961 0 -1 4202560 290 0 0 0 40 22 0 0 20 0 19 0 342640093 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221704292904 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18206/tid=18212] ppid=18204 vsize=3024420 CPUtime=0.38 cores=1,3,5,7
/proc/18206/task/18212/stat : 18212 (java) S 18204 18206 16961 0 -1 4202560 258 0 0 0 18 20 0 0 20 0 19 0 342640093 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221703240104 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18213] ppid=18204 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/18206/task/18213/stat : 18213 (java) S 18204 18206 16961 0 -1 4202560 212 0 0 0 16 15 0 0 20 0 19 0 342640093 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221702187816 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18214] ppid=18204 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/18206/task/18214/stat : 18214 (java) S 18204 18206 16961 0 -1 4202560 175 0 0 0 12 13 0 0 20 0 19 0 342640093 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221701135016 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18215] ppid=18204 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/18206/task/18215/stat : 18215 (java) S 18204 18206 16961 0 -1 4202560 158 0 0 0 11 12 0 0 20 0 19 0 342640093 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221700082728 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18216] ppid=18204 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/18206/task/18216/stat : 18216 (java) S 18204 18206 16961 0 -1 4202560 154 0 0 0 11 11 0 0 20 0 19 0 342640093 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221699029928 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18217] ppid=18204 vsize=3024420 CPUtime=0.95 cores=1,3,5,7
/proc/18206/task/18217/stat : 18217 (java) S 18204 18206 16961 0 -1 4202560 259 0 0 0 85 10 0 0 20 0 19 0 342640094 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221216700648 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18218] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18218/stat : 18218 (java) S 18204 18206 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342640095 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221215646712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18219] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18219/stat : 18219 (java) S 18204 18206 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342640095 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221214594312 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18220] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18220/stat : 18220 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640097 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221213542800 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18221] ppid=18204 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/18206/task/18221/stat : 18221 (java) S 18204 18206 16961 0 -1 4202560 2427 0 0 0 55 0 0 0 20 0 19 0 342640098 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221212490424 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18206/tid=18222] ppid=18204 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18206/task/18222/stat : 18222 (java) S 18204 18206 16961 0 -1 4202560 2995 0 0 0 52 0 0 0 20 0 19 0 342640098 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221211437624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18223] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18223/stat : 18223 (java) S 18204 18206 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342640098 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221210385528 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18206/tid=18224] ppid=18204 vsize=3024420 CPUtime=1.08 cores=1,3,5,7
/proc/18206/task/18224/stat : 18224 (java) S 18204 18206 16961 0 -1 4202560 103 0 0 0 59 49 0 0 20 0 19 0 342640098 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221209332936 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18206/tid=18225] ppid=18204 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18206/task/18225/stat : 18225 (java) S 18204 18206 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342640159 3097006080 419026 33554432000 1073741824 1073778376 140735486540928 140221207200680 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 18206 and gives
#  childrusage.ru_utime.tv_sec=1792
#  childrusage.ru_utime.tv_usec=369518
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=350642
# CPU time returned by wait4() is 1794.72
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1794.62
CPU time (s): 1800.06
CPU user time (s): 1797.62
CPU system time (s): 2.44
CPU usage (%): 100.303
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.37
system time used= 2.35064
maximum resident set size= 1676220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11969
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= 37963
involuntary context switches= 2819

runsolver used 6.35103 second user time and 16.2935 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-04 01:12:37
IDJOB=3742244
IDBENCH=90144
IDSOLVER=2319
FILE ID=node143/3742244-1338765157
RUNJOBID= node143-1338750755-16978
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/ShortestPathNG/normalized-NG_K183.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742244-1338765157/watcher-3742244-1338765157 -o /tmp/evaluation-result-3742244-1338765157/solver-3742244-1338765157 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742244-1338765157.opb           

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

MD5SUM BENCH= 0350ceeb14af28f3be070cadc324c0d3
RANDOM SEED=1844475845

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:        23870472 kB
Buffers:         2378332 kB
Cached:          3977028 kB
SwapCached:          188 kB
Active:          5845340 kB
Inactive:        2190556 kB
Active(anon):    1668212 kB
Inactive(anon):    10988 kB
Active(file):    4177128 kB
Inactive(file):  2179568 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              5112 kB
Writeback:             0 kB
AnonPages:       1683976 kB
Mapped:            18768 kB
Shmem:               160 kB
Slab:             822236 kB
SReclaimable:     263740 kB
SUnreclaim:       558496 kB
KernelStack:        1608 kB
PageTables:         7516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1644544 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 01:42:34