Trace number 3742309

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.03 1796.12

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K131.opb
MD5SUMe9be7f2de41339e64a2918d1bf7ead92
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 variables15589
Total number of constraints15853
Number of constraints which are clauses15722
Number of constraints which are cardinality constraints (but not clauses)131
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint131
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 132
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.05/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.05/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.05/0.09	c no version file found!!!
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version	1.6.0_24
0.05/0.09	c os.name	Linux
0.05/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.05/0.09	c os.arch	amd64
0.05/0.09	c Free memory 1599470296
0.05/0.09	c Max memory 1607860224
0.05/0.09	c Total memory 1607860224
0.05/0.09	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3742309-1338766245.opb
0.07/0.12	c reading problem ... 
0.93/0.59	c ... done. Wall clock time 0.475s.
0.93/0.59	c CPU time (experimental) 0.55s.
0.93/0.59	c #vars     15589
0.93/0.59	c #constraints  15851
1325.88/1323.07	c cleaning 286019 clauses out of 572977 for limit 1648.57732809762
1326.89/1324.03	c cleaning 143338 clauses out of 287459 for limit 5424.516074731685
1327.40/1324.58	c cleaning 71440 clauses out of 144620 for limit 17763.556798827358
1327.81/1324.91	c cleaning 35898 clauses out of 73680 for limit 57499.56458319351
1328.01/1325.18	c cleaning 18252 clauses out of 38284 for limit 182861.28873681868
1328.31/1325.41	c cleaning 9262 clauses out of 20532 for limit 562294.3441395519
1328.41/1325.56	c cleaning 5752 clauses out of 11767 for limit 1614790.1096553523
1328.61/1325.75	c cleaning 3040 clauses out of 6515 for limit 4809758.836234729
1328.81/1325.93	c cleaning 1884 clauses out of 3977 for limit 1.3019881777551282E7
1329.01/1326.11	c cleaning 1268 clauses out of 2591 for limit 3.289137901594013E7
1329.11/1326.29	c cleaning 816 clauses out of 1823 for limit 7.709366877328624E7
1329.21/1326.38	c cleaning 640 clauses out of 1507 for limit 1.537970541263914E8
1329.31/1326.50	c cleaning 615 clauses out of 1367 for limit 2.7960738749256307E8
1329.51/1326.67	c cleaning 601 clauses out of 1252 for limit 5.034643390401311E8
1329.71/1326.86	c cleaning 540 clauses out of 1151 for limit 9.031369411459652E8
1329.91/1327.03	c cleaning 488 clauses out of 1111 for limit 1.5430171686775928E9
1330.01/1327.18	c cleaning 515 clauses out of 1124 for limit 2.517728551129148E9
1330.21/1327.30	c cleaning 495 clauses out of 1108 for limit 4.207816874417174E9
1330.31/1327.43	c cleaning 493 clauses out of 1113 for limit 6.908079294558508E9
1330.41/1327.56	c cleaning 471 clauses out of 1120 for limit 1.1321144734897371E10
1330.51/1327.70	c cleaning 483 clauses out of 1149 for limit 1.819886165840883E10
1330.71/1327.81	c cleaning 488 clauses out of 1166 for limit 2.9574784509972614E10
1330.81/1327.91	c cleaning 475 clauses out of 1178 for limit 4.827593967196203E10
1330.91/1328.01	c cleaning 482 clauses out of 1203 for limit 7.795900472966461E10
1330.91/1328.09	c cleaning 476 clauses out of 1221 for limit 1.266695233790712E11
1331.01/1328.19	c cleaning 469 clauses out of 1247 for limit 2.049492141678644E11
1331.11/1328.29	c cleaning 456 clauses out of 1277 for limit 3.297184039417832E11
1331.31/1328.40	c cleaning 516 clauses out of 1321 for limit 5.256384857976725E11
1331.31/1328.49	c cleaning 496 clauses out of 1304 for limit 8.772709675069502E11
1331.51/1328.60	c cleaning 501 clauses out of 1309 for limit 1.4426537222911821E12
1331.61/1328.71	c cleaning 602 clauses out of 1307 for limit 2.3803868084722915E12
1331.71/1328.81	c cleaning 560 clauses out of 1205 for limit 4.257865734883406E12
1331.81/1328.91	c cleaning 556 clauses out of 1146 for limit 7.390686668965328E12
1331.91/1329.00	c cleaning 490 clauses out of 1089 for limit 1.2813356329169098E13
1332.01/1329.10	c cleaning 451 clauses out of 1099 for limit 2.093866448920859E13
1332.11/1329.21	c cleaning 446 clauses out of 1148 for limit 3.30567892813343E13
1332.21/1329.30	c cleaning 466 clauses out of 1204 for limit 5.208359834812103E13
1332.31/1329.40	c cleaning 503 clauses out of 1236 for limit 8.350180448274931E13
1332.41/1329.50	c cleaning 459 clauses out of 1233 for limit 1.3804069649782388E14
1332.51/1329.61	c cleaning 482 clauses out of 1277 for limit 2.2046453848685966E14
1332.61/1329.71	c cleaning 466 clauses out of 1292 for limit 3.5827745358363425E14
1332.71/1329.82	c cleaning 624 clauses out of 1326 for limit 5.756975158324899E14
1332.81/1329.94	c cleaning 568 clauses out of 1202 for limit 1.0473438789116386E15
1332.91/1330.09	c cleaning 467 clauses out of 1134 for limit 1.830781853010787E15
1333.01/1330.19	c cleaning 418 clauses out of 1169 for limit 2.9346752739753845E15
1333.21/1330.30	c cleaning 596 clauses out of 1249 for limit 4.520630274750372E-5
1333.30/1330.42	c cleaning 523 clauses out of 1153 for limit 8.075845601578742E-5
1333.40/1330.54	c cleaning 511 clauses out of 1131 for limit 1.359080271981726E-4
1333.50/1330.66	c cleaning 473 clauses out of 1119 for limit 2.263075286698291E-4
1333.60/1330.75	c cleaning 485 clauses out of 1147 for limit 3.6446520192831875E-4
1333.70/1330.86	c cleaning 386 clauses out of 1161 for limit 5.932102449826251E-4
1333.81/1330.98	c cleaning 432 clauses out of 1275 for limit 8.908130381420187E-4
1334.00/1331.14	c cleaning 490 clauses out of 1343 for limit 0.0013946865861383347
1334.20/1331.31	c cleaning 487 clauses out of 1353 for limit 0.002283025314485165
1334.30/1331.48	c cleaning 505 clauses out of 1366 for limit 0.0037291831333595713
1334.50/1331.64	c cleaning 503 clauses out of 1361 for limit 0.006172515262182447
1334.60/1331.78	c cleaning 489 clauses out of 1358 for limit 0.010201790827147146
1334.80/1331.93	c cleaning 502 clauses out of 1369 for limit 0.016688935013645576
1334.91/1332.09	c cleaning 498 clauses out of 1369 for limit 0.0275774136932576
1335.10/1332.24	c cleaning 503 clauses out of 1369 for limit 0.045387932210585805
1335.20/1332.35	c cleaning 534 clauses out of 1366 for limit 0.07501515886577248
1335.30/1332.49	c cleaning 491 clauses out of 1332 for limit 0.12686779590577074
1335.50/1332.62	c cleaning 509 clauses out of 1341 for limit 0.2078177932400603
1335.60/1332.71	c cleaning 502 clauses out of 1332 for limit 0.3450350136524193
1335.70/1332.84	c cleaning 501 clauses out of 1333 for limit 0.5702911953665206
1335.80/1332.97	c cleaning 496 clauses out of 1329 for limit 0.9404900100234321
1335.90/1333.08	c cleaning 512 clauses out of 1334 for limit 1.5467272500300226
1336.03/1333.19	c cleaning 567 clauses out of 1324 for limit 2.575173484631124
1336.22/1333.32	c cleaning 539 clauses out of 1254 for limit 4.470429931811765
1336.32/1333.44	c cleaning 481 clauses out of 1216 for limit 7.610332865120024
1336.42/1333.54	c cleaning 510 clauses out of 1238 for limit 12.364484235776027
1336.52/1333.64	c cleaning 474 clauses out of 1224 for limit 20.541543425560675
1336.62/1333.73	c cleaning 470 clauses out of 1250 for limit 33.17113744263424
1336.72/1333.85	c cleaning 453 clauses out of 1281 for limit 53.43325683048384
1336.82/1333.94	c cleaning 490 clauses out of 1327 for limit 84.97892403581781
1336.92/1334.05	c cleaning 500 clauses out of 1339 for limit 139.16386578510745
1337.02/1334.17	c cleaning 487 clauses out of 1340 for limit 229.5581212787034
1337.13/1334.28	c cleaning 526 clauses out of 1351 for limit 374.7390699473937
1337.23/1334.38	c cleaning 537 clauses out of 1325 for limit 630.1215495931137
1337.32/1334.47	c cleaning 515 clauses out of 1289 for limit 1069.2461422999252
1337.42/1334.58	c cleaning 500 clauses out of 1272 for limit 1783.3244402043872
1337.62/1334.70	c cleaning 505 clauses out of 1272 for limit 2940.9405707724877
1337.72/1334.83	c cleaning 498 clauses out of 1267 for limit 4869.144150768382
1337.82/1334.94	c cleaning 509 clauses out of 1269 for limit 8017.214657458607
1337.92/1335.02	c cleaning 510 clauses out of 1260 for limit 13315.898490323176
1338.02/1335.14	c cleaning 488 clauses out of 1250 for limit 22135.375563409554
1338.12/1335.24	c cleaning 486 clauses out of 1262 for limit 36157.087481801565
1338.23/1335.36	c cleaning 483 clauses out of 1276 for limit 58973.64994031268
1338.33/1335.48	c cleaning 513 clauses out of 1293 for limit 95976.75098405754
1338.42/1335.57	c cleaning 507 clauses out of 1281 for limit 159921.12563241174
1338.52/1335.68	c cleaning 502 clauses out of 1273 for limit 265123.3259535448
1338.72/1335.80	c cleaning 472 clauses out of 1272 for limit 438005.5670561781
1338.82/1335.93	c cleaning 566 clauses out of 1299 for limit 706608.676558775
1338.92/1336.04	c cleaning 454 clauses out of 1235 for limit 1228134.891563884
1339.02/1336.12	c cleaning 499 clauses out of 1281 for limit 1952629.2235925314
1339.12/1336.23	c cleaning 477 clauses out of 1280 for limit 3216220.4450294366
1339.22/1336.34	c cleaning 463 clauses out of 1303 for limit 5210354.219741083
1339.33/1336.46	c cleaning 502 clauses out of 1340 for limit 8355313.575822777
1339.43/1336.57	c cleaning 660 clauses out of 1339 for limit 1.3803123501481505E7
1339.52/1336.68	c cleaning 414 clauses out of 1179 for limit 2.5852350343093835E7
1339.72/1336.80	c cleaning 606 clauses out of 1264 for limit 3.9727216679131374E7
1339.72/1336.89	c cleaning 578 clauses out of 1158 for limit 7.151259548673391E7
1339.82/1337.00	c cleaning 482 clauses out of 1080 for limit 1.2645128050615528E8
1340.02/1337.10	c cleaning 385 clauses out of 1098 for limit 2.0511647006981382E8
1340.12/1337.20	c cleaning 425 clauses out of 1213 for limit 3.061949052356583E8
1340.22/1337.35	c cleaning 451 clauses out of 1288 for limit 4.755528459596568E8
1340.32/1337.46	c cleaning 479 clauses out of 1337 for limit 7.555081051353997E8
1340.43/1337.56	c cleaning 470 clauses out of 1360 for limit 1.2273163993615463E9
1340.53/1337.67	c cleaning 677 clauses out of 1389 for limit 1.979769253169207E9
1340.62/1337.76	c cleaning 579 clauses out of 1211 for limit 3.7410546541844935E9
1340.72/1337.88	c cleaning 528 clauses out of 1135 for limit 6.602398857158537E9
1340.82/1337.99	c cleaning 356 clauses out of 1104 for limit 1.1160429200848007E10
1340.92/1338.08	c cleaning 413 clauses out of 1248 for limit 1.6281382217585844E10
1341.12/1338.21	c cleaning 453 clauses out of 1340 for limit 2.513214198800588E10
1341.22/1338.32	c cleaning 492 clauses out of 1386 for limit 4.003063211325541E10
1341.32/1338.43	c cleaning 479 clauses out of 1390 for limit 6.556298495410175E10
1341.42/1338.56	c cleaning 676 clauses out of 1415 for limit 1.0663775965082083E11
1341.53/1338.66	c cleaning 392 clauses out of 1239 for limit 2.0084084176188742E11
1341.63/1338.77	c cleaning 442 clauses out of 1344 for limit 3.044222715447543E11
1341.72/1338.89	c cleaning 691 clauses out of 1402 for limit 4.8126420833615967E11
1341.92/1339.00	c cleaning 570 clauses out of 1211 for limit 9.188472541802E11
1342.02/1339.10	c cleaning 376 clauses out of 1142 for limit 1.6084655360020522E12
1342.12/1339.21	c cleaning 418 clauses out of 1265 for limit 2.392261844371383E12
1342.22/1339.34	c cleaning 447 clauses out of 1346 for limit 3.704039030879799E12
1342.32/1339.46	c cleaning 683 clauses out of 1399 for limit 5.877041896832456E12
1342.42/1339.58	c cleaning 597 clauses out of 1216 for limit 1.1150614800955193E13
1342.52/1339.69	c cleaning 389 clauses out of 1119 for limit 1.9982884986016117E13
1342.73/1339.85	c cleaning 388 clauses out of 1230 for limit 2.9980512379186223E13
1342.82/1339.96	c cleaning 511 clauses out of 1342 for limit 4.531557900923799E13
1342.92/1340.08	c cleaning 438 clauses out of 1333 for limit 7.538671347801155E13
1343.02/1340.19	c cleaning 497 clauses out of 1393 for limit 1.1873006536240278E14
1343.12/1340.29	c cleaning 487 clauses out of 1396 for limit 1.9538098378278425E14
1343.32/1340.40	c cleaning 485 clauses out of 1411 for limit 3.1942257553860075E14
1343.42/1340.54	c cleaning 701 clauses out of 1424 for limit 5.2091815661027994E14
1343.52/1340.63	c cleaning 543 clauses out of 1223 for limit 1.0002508159172989E15
1343.62/1340.73	c cleaning 535 clauses out of 1180 for limit 1.7096580324418158E15
1343.73/1340.82	c cleaning 467 clauses out of 1147 for limit 2.906382373760447E15
1343.73/1340.90	c cleaning 548 clauses out of 1178 for limit 4.657552317179598E-5
1343.92/1341.01	c cleaning 545 clauses out of 1130 for limit 8.007196306228286E-5
1344.02/1341.11	c cleaning 500 clauses out of 1086 for limit 1.3753698282588945E-4
1344.12/1341.21	c cleaning 491 clauses out of 1088 for limit 2.2685342123576733E-4
1344.22/1341.33	c cleaning 426 clauses out of 1094 for limit 3.709447752337489E-4
1344.32/1341.46	c cleaning 328 clauses out of 1168 for limit 5.729802131509863E-4
1344.52/1341.61	c cleaning 445 clauses out of 1341 for limit 8.238423026606006E-4
1344.62/1341.72	c cleaning 450 clauses out of 1396 for limit 0.0013050986334375008
1344.72/1341.83	c cleaning 469 clauses out of 1445 for limit 0.0020772189760205097
1344.83/1341.94	c cleaning 466 clauses out of 1476 for limit 0.003353664841825913
1344.93/1342.06	c cleaning 530 clauses out of 1510 for limit 0.005406110958194757
1345.02/1342.18	c cleaning 514 clauses out of 1480 for limit 0.009096117757999267
1345.12/1342.30	c cleaning 547 clauses out of 1466 for limit 0.015143968798710751
1345.22/1342.40	c cleaning 474 clauses out of 1419 for limit 0.02580163148229801
1345.32/1342.49	c cleaning 529 clauses out of 1445 for limit 0.04178473030494404
1345.52/1342.61	c cleaning 503 clauses out of 1416 for limit 0.07031987404217938
1345.62/1342.70	c cleaning 472 clauses out of 1413 for limit 0.11621309370157244
1345.72/1342.80	c cleaning 474 clauses out of 1441 for limit 0.18792697828570562
1345.82/1342.90	c cleaning 483 clauses out of 1469 for limit 0.304618465663781
1345.93/1343.00	c cleaning 477 clauses out of 1484 for limit 0.496284812095738
1346.03/1343.12	c cleaning 485 clauses out of 1507 for limit 0.8059489247905187
1346.12/1343.24	c cleaning 488 clauses out of 1525 for limit 1.3173778321958531
1346.22/1343.37	c cleaning 493 clauses out of 1536 for limit 2.154816807755029
1346.42/1343.51	c cleaning 486 clauses out of 1542 for limit 3.5362142640720435
1346.52/1343.67	c cleaning 495 clauses out of 1556 for limit 5.779220165737926
1346.62/1343.79	c cleaning 477 clauses out of 1562 for limit 9.50360115403119
1346.82/1343.90	c cleaning 515 clauses out of 1583 for limit 15.433882149995709
1346.92/1344.01	c cleaning 503 clauses out of 1568 for limit 25.696023647135764
1347.03/1344.16	c cleaning 501 clauses out of 1568 for limit 42.50356376979179
1347.13/1344.27	c cleaning 565 clauses out of 1564 for limit 70.06272213949987
1347.22/1344.39	c cleaning 557 clauses out of 1500 for limit 120.5932210553083
1347.42/1344.50	c cleaning 533 clauses out of 1442 for limit 206.66658790412427
1347.52/1344.60	c cleaning 500 clauses out of 1409 for limit 348.8031702454266
1347.52/1344.70	c cleaning 481 clauses out of 1409 for limit 575.2230897880073
1347.62/1344.78	c cleaning 504 clauses out of 1428 for limit 935.9981346522198
1347.72/1344.89	c cleaning 512 clauses out of 1425 for limit 1548.384178841414
1347.82/1344.99	c cleaning 498 clauses out of 1412 for limit 2574.4251411327027
1348.02/1345.11	c cleaning 496 clauses out of 1417 for limit 4243.307810966771
1348.13/1345.26	c cleaning 505 clauses out of 1418 for limit 6971.889703257058
1348.32/1345.40	c cleaning 513 clauses out of 1414 for limit 11541.645424211805
1348.42/1345.51	c cleaning 515 clauses out of 1400 for limit 19204.83043691745
1348.52/1345.66	c cleaning 482 clauses out of 1385 for limit 32014.345410411323
1348.62/1345.78	c cleaning 502 clauses out of 1403 for limit 52118.58493387078
1348.72/1345.89	c cleaning 504 clauses out of 1401 for limit 86073.21766900411
1348.92/1346.01	c cleaning 525 clauses out of 1397 for limit 142352.68224620202
1349.02/1346.13	c cleaning 504 clauses out of 1374 for limit 239166.43972850827
1349.12/1346.23	c cleaning 470 clauses out of 1369 for limit 395462.12748334085
1349.23/1346.39	c cleaning 676 clauses out of 1398 for limit 638002.7495658604
1349.42/1346.58	c cleaning 571 clauses out of 1222 for limit 1203689.3081439568
1349.62/1346.75	c cleaning 508 clauses out of 1151 for limit 2107493.152278598
1349.82/1346.92	c cleaning 558 clauses out of 1143 for limit 3499863.8697859948
1349.92/1347.06	c cleaning 520 clauses out of 1085 for limit 6080279.333935168
1350.12/1347.23	c cleaning 458 clauses out of 1066 for limit 1.0216131252416056E7
1350.22/1347.40	c cleaning 541 clauses out of 1107 for limit 1.6207551974078763E7
1350.43/1347.51	c cleaning 485 clauses out of 1066 for limit 2.7756437620951574E7
1350.62/1347.72	c cleaning 508 clauses out of 1081 for limit 4.51389158457978E7
1350.72/1347.88	c cleaning 459 clauses out of 1073 for limit 7.499511629181889E7
1800.03/1796.11	c starts		: 22
1800.03/1796.11	c conflicts		: 1136493
1800.03/1796.11	c decisions		: 4725921
1800.03/1796.11	c propagations		: 913622882
1800.03/1796.11	c inspects		: 7400252954
1800.03/1796.11	c learnt literals	: 25
1800.03/1796.11	c learnt binary clauses	: 68296
1800.03/1796.11	c learnt ternary clauses	: 51620
1800.03/1796.11	c learnt clauses	: 1136468
1800.03/1796.11	c root simplifications	: 0
1800.03/1796.11	c removed literals (reason simplification)	: 0
1800.03/1796.11	c reason swapping (by a shorter reason)	: 0
1800.03/1796.11	c Calls to reduceDB	: 194
1800.03/1796.11	c speed (decisions/second)	: 2632.0787030307283
1800.03/1796.11	c non guided choices	926
1800.03/1796.11	s UNKNOWN
1800.03/1796.11	c Total wall clock time (ms): 1795.996

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 2/175 14536
/proc/meminfo: memFree=26663348/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/14536/stat : 14536 (java) D 14534 14536 14240 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 342748870 9515008 182 33554432000 1073741824 1073778376 140736623155088 140736623146120 254750310069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/14536/statm: 2323 182 140 9 0 71 0

[startup+0.072556 s]
/proc/loadavg: 2.01 2.00 2.00 2/175 14536
/proc/meminfo: memFree=26663348/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=2623916 CPUtime=0.05 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 3965 0 1 0 4 1 0 0 20 0 13 0 342748870 2686889984 5685 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 655979 5685 1715 9 0 646680 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2623916

[startup+0.100368 s]
/proc/loadavg: 2.01 2.00 2.00 2/175 14536
/proc/meminfo: memFree=26663348/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 4134 0 1 0 6 1 0 0 20 0 18 0 342748870 3028844544 5853 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 739464 5854 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300311 s]
/proc/loadavg: 2.01 2.00 2.00 2/175 14536
/proc/meminfo: memFree=26663348/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=2957856 CPUtime=0.52 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 8469 0 1 0 50 2 0 0 20 0 18 0 342748870 3028844544 11351 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 739464 11351 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2957856

[startup+0.700249 s]
/proc/loadavg: 2.01 2.00 2.00 2/175 14536
/proc/meminfo: memFree=26663348/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 9898 0 1 0 141 4 0 0 20 0 19 0 342748870 3097006080 29962 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 756105 29962 2269 9 0 746526 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 3024420

[startup+1.50067 s]
/proc/loadavg: 2.01 2.00 2.00 3/193 14565
/proc/meminfo: memFree=26551000/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=3024420 CPUtime=2.41 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 10242 0 1 0 236 5 0 0 20 0 19 0 342748870 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 756105 29966 2273 9 0 746526 0
[pid=14536/tid=14538] ppid=14534 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/14536/task/14538/stat : 14538 (java) R 14534 14536 14240 0 -1 4202560 3079 0 1 0 143 3 0 0 20 0 19 0 342748872 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866175910440 139866030166245 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14539] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14539/stat : 14539 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866159336488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14540] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14540/stat : 14540 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866158283688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14541] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14541/stat : 14541 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866157230888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14542] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14542/stat : 14542 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866156178088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14543] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14543/stat : 14543 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866155125288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14544] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14544/stat : 14544 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866154072488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14545] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14545/stat : 14545 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866153019688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14546] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14546/stat : 14546 (java) S 14534 14536 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866151966888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14547] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14547/stat : 14547 (java) S 14534 14536 14240 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866022050792 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14548] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14548/stat : 14548 (java) S 14534 14536 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866020996856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14549] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14549/stat : 14549 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866019943944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14550] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14550/stat : 14550 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866018892432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14551] ppid=14534 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/14536/task/14551/stat : 14551 (java) S 14534 14536 14240 0 -1 4202560 2931 0 0 0 47 0 0 0 20 0 19 0 342748878 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866017839544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14552] ppid=14534 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/14536/task/14552/stat : 14552 (java) S 14534 14536 14240 0 -1 4202560 3038 0 0 0 41 1 0 0 20 0 19 0 342748878 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866016786744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14553] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14553/stat : 14553 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866015734136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14554] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14554/stat : 14554 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139866014681544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14555] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14555/stat : 14555 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748932 3097006080 29966 33554432000 1073741824 1073778376 140734112142688 139865004930728 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 3024420

[startup+3.10071 s]
/proc/loadavg: 2.01 2.00 2.00 3/214 14611
/proc/meminfo: memFree=26436564/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=3024420 CPUtime=4.02 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 10245 0 1 0 397 5 0 0 20 0 19 0 342748870 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 756105 30479 2273 9 0 746526 0
[pid=14536/tid=14538] ppid=14534 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/14536/task/14538/stat : 14538 (java) R 14534 14536 14240 0 -1 4202560 3081 0 1 0 303 3 0 0 20 0 19 0 342748872 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866175910312 139866030261140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14539] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14539/stat : 14539 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866159336488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14540] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14540/stat : 14540 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866158283688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14541] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14541/stat : 14541 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866157230888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14542] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14542/stat : 14542 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866156178088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14543] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14543/stat : 14543 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866155125288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14544] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14544/stat : 14544 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866154072488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14545] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14545/stat : 14545 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866153019688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14546] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14546/stat : 14546 (java) S 14534 14536 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866151966888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14547] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14547/stat : 14547 (java) S 14534 14536 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866022050792 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14548] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14548/stat : 14548 (java) S 14534 14536 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866020996856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14549] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14549/stat : 14549 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866019943944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14550] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14550/stat : 14550 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866018892432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14551] ppid=14534 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/14536/task/14551/stat : 14551 (java) S 14534 14536 14240 0 -1 4202560 2931 0 0 0 47 0 0 0 20 0 19 0 342748878 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866017839544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14552] ppid=14534 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/14536/task/14552/stat : 14552 (java) S 14534 14536 14240 0 -1 4202560 3038 0 0 0 42 1 0 0 20 0 19 0 342748878 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866016786744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14553] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14553/stat : 14553 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866015734136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14554] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14554/stat : 14554 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139866014681544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14555] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14555/stat : 14555 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748932 3097006080 30479 33554432000 1073741824 1073778376 140734112142688 139865004930728 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 3024420

[startup+6.30076 s]
/proc/loadavg: 2.01 2.00 2.00 3/214 14611
/proc/meminfo: memFree=26422416/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=3024420 CPUtime=7.29 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 10643 0 1 0 724 5 0 0 20 0 19 0 342748870 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 756105 32448 2273 9 0 746526 0
[pid=14536/tid=14538] ppid=14534 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/14536/task/14538/stat : 14538 (java) R 14534 14536 14240 0 -1 4202560 3087 0 1 0 621 3 0 0 20 0 19 0 342748872 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866175910368 139866030191095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14539] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14539/stat : 14539 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866159336488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14540] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14540/stat : 14540 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866158283688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14541] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14541/stat : 14541 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866157230888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14542] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14542/stat : 14542 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866156178088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14543] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14543/stat : 14543 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866155125288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14544] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14544/stat : 14544 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866154072488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14545] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14545/stat : 14545 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866153019688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14546] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14546/stat : 14546 (java) S 14534 14536 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342748873 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866151966888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14547] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14547/stat : 14547 (java) S 14534 14536 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866022050792 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14548] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14548/stat : 14548 (java) S 14534 14536 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866020996856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14549] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14549/stat : 14549 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866019943944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14550] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14550/stat : 14550 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866018892432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14551] ppid=14534 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/14536/task/14551/stat : 14551 (java) S 14534 14536 14240 0 -1 4202560 2931 0 0 0 50 0 0 0 20 0 19 0 342748878 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866017839544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14552] ppid=14534 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/14536/task/14552/stat : 14552 (java) S 14534 14536 14240 0 -1 4202560 3430 0 0 0 47 2 0 0 20 0 19 0 342748878 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866016786744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14553] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14553/stat : 14553 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866015734136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14554] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14554/stat : 14554 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139866014681544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14555] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14555/stat : 14555 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748932 3097006080 32448 33554432000 1073741824 1073778376 140734112142688 139865004930728 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=14536/tid=14551] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14551/stat : 14551 (java) S 14534 14536 14240 0 -1 4202560 2936 0 0 0 55 0 0 0 20 0 19 0 342748878 3097006080 420227 33554432000 1073741824 1073778376 140734112142688 139866017839544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14552] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14552/stat : 14552 (java) S 14534 14536 14240 0 -1 4202560 3440 0 0 0 53 2 0 0 20 0 19 0 342748878 3097006080 420227 33554432000 1073741824 1073778376 140734112142688 139866016786744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14553] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14553/stat : 14553 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 420227 33554432000 1073741824 1073778376 140734112142688 139866015734136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14554] ppid=14534 vsize=3024420 CPUtime=0.79 cores=1,3,5,7
/proc/14536/task/14554/stat : 14554 (java) S 14534 14536 14240 0 -1 4202560 99 0 0 0 45 34 0 0 20 0 19 0 342748878 3097006080 420227 33554432000 1073741824 1073778376 140734112142688 139866014681544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14555] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14555/stat : 14555 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748932 3097006080 420227 33554432000 1073741824 1073778376 140734112142688 139865004930728 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.77
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/214 14627
/proc/meminfo: memFree=23319248/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=3024420 CPUtime=1786.22 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 12845 0 1 0 178413 209 0 0 20 0 19 0 342748870 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 756105 420233 2302 9 0 746526 0
[pid=14536/tid=14538] ppid=14534 vsize=3024420 CPUtime=1774.29 cores=1,3,5,7
/proc/14536/task/14538/stat : 14538 (java) R 14534 14536 14240 0 -1 4202560 3251 0 1 0 177392 37 0 0 20 0 19 0 342748872 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866175909168 139866030191129 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14539] ppid=14534 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/14536/task/14539/stat : 14539 (java) S 14534 14536 14240 0 -1 4202560 229 0 0 0 27 17 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866159336488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14540] ppid=14534 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/14536/task/14540/stat : 14540 (java) S 14534 14536 14240 0 -1 4202560 212 0 0 0 34 16 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866158283688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14541] ppid=14534 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/14536/task/14541/stat : 14541 (java) S 14534 14536 14240 0 -1 4202560 177 0 0 0 23 14 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866157230888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14542] ppid=14534 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/14536/task/14542/stat : 14542 (java) S 14534 14536 14240 0 -1 4202560 290 0 0 0 27 23 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866156178088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14543] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14543/stat : 14543 (java) S 14534 14536 14240 0 -1 4202560 294 0 0 0 32 23 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866155125288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14544] ppid=14534 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/14536/task/14544/stat : 14544 (java) S 14534 14536 14240 0 -1 4202560 167 0 0 0 21 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866154072488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14545] ppid=14534 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/14536/task/14545/stat : 14545 (java) S 14534 14536 14240 0 -1 4202560 166 0 0 0 26 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866153019688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14546] ppid=14534 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/14536/task/14546/stat : 14546 (java) S 14534 14536 14240 0 -1 4202560 161 0 0 0 41 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866151966888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14547] ppid=14534 vsize=3024420 CPUtime=1.9 cores=1,3,5,7
/proc/14536/task/14547/stat : 14547 (java) S 14534 14536 14240 0 -1 4202560 239 0 0 0 182 8 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866022050792 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14548] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14548/stat : 14548 (java) S 14534 14536 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866020996856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14549] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14549/stat : 14549 (java) S 14534 14536 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866019943944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14550] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14550/stat : 14550 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866018892432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14551] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14551/stat : 14551 (java) S 14534 14536 14240 0 -1 4202560 2936 0 0 0 55 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866017839544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14552] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14552/stat : 14552 (java) S 14534 14536 14240 0 -1 4202560 3440 0 0 0 53 2 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866016786744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14553] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14553/stat : 14553 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866015734136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14554] ppid=14534 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/14536/task/14554/stat : 14554 (java) S 14534 14536 14240 0 -1 4202560 103 0 0 0 47 36 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866014681544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14555] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14555/stat : 14555 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748932 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139865004930728 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.22
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.1 s]
/proc/loadavg: 2.05 2.02 2.00 4/214 14627
/proc/meminfo: memFree=23319372/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=3024420 CPUtime=1800.03 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 12845 0 1 0 179793 210 0 0 20 0 19 0 342748870 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 756105 420233 2302 9 0 746526 0
[pid=14536/tid=14538] ppid=14534 vsize=3024420 CPUtime=1788.06 cores=1,3,5,7
/proc/14536/task/14538/stat : 14538 (java) R 14534 14536 14240 0 -1 4202560 3251 0 1 0 178768 38 0 0 20 0 19 0 342748872 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866175909168 139866030261140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14539] ppid=14534 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/14536/task/14539/stat : 14539 (java) S 14534 14536 14240 0 -1 4202560 229 0 0 0 27 17 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866159336488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14540] ppid=14534 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/14536/task/14540/stat : 14540 (java) S 14534 14536 14240 0 -1 4202560 212 0 0 0 34 16 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866158283688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14541] ppid=14534 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/14536/task/14541/stat : 14541 (java) S 14534 14536 14240 0 -1 4202560 177 0 0 0 23 14 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866157230888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14542] ppid=14534 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/14536/task/14542/stat : 14542 (java) S 14534 14536 14240 0 -1 4202560 290 0 0 0 27 23 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866156178088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14543] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14543/stat : 14543 (java) S 14534 14536 14240 0 -1 4202560 294 0 0 0 32 23 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866155125288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14544] ppid=14534 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/14536/task/14544/stat : 14544 (java) S 14534 14536 14240 0 -1 4202560 167 0 0 0 21 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866154072488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14545] ppid=14534 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/14536/task/14545/stat : 14545 (java) S 14534 14536 14240 0 -1 4202560 166 0 0 0 26 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866153019688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14546] ppid=14534 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/14536/task/14546/stat : 14546 (java) S 14534 14536 14240 0 -1 4202560 161 0 0 0 41 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866151966888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14547] ppid=14534 vsize=3024420 CPUtime=1.9 cores=1,3,5,7
/proc/14536/task/14547/stat : 14547 (java) S 14534 14536 14240 0 -1 4202560 239 0 0 0 182 8 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866022050792 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14548] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14548/stat : 14548 (java) S 14534 14536 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866020996856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14549] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14549/stat : 14549 (java) S 14534 14536 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866019943944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14550] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14550/stat : 14550 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866018892432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14551] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14551/stat : 14551 (java) S 14534 14536 14240 0 -1 4202560 2936 0 0 0 55 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866017839544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14552] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14552/stat : 14552 (java) S 14534 14536 14240 0 -1 4202560 3440 0 0 0 53 2 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866016786744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14553] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14553/stat : 14553 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866015734136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14554] ppid=14534 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/14536/task/14554/stat : 14554 (java) S 14534 14536 14240 0 -1 4202560 103 0 0 0 47 36 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866014681544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14555] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14555/stat : 14555 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748932 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139865004930728 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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

[startup+1796.1 s]
/proc/loadavg: 2.05 2.02 2.00 4/214 14627
/proc/meminfo: memFree=23319372/32873844 swapFree=7628/7628
[pid=14536] ppid=14534 vsize=3024420 CPUtime=1800.03 cores=1,3,5,7
/proc/14536/stat : 14536 (java) S 14534 14536 14240 0 -1 4202496 12845 0 1 0 179793 210 0 0 20 0 19 0 342748870 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 140734112133824 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14536/statm: 756105 420233 2302 9 0 746526 0
[pid=14536/tid=14538] ppid=14534 vsize=3024420 CPUtime=1788.06 cores=1,3,5,7
/proc/14536/task/14538/stat : 14538 (java) R 14534 14536 14240 0 -1 4202560 3251 0 1 0 178768 38 0 0 20 0 19 0 342748872 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866175909168 139866030261140 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14539] ppid=14534 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/14536/task/14539/stat : 14539 (java) S 14534 14536 14240 0 -1 4202560 229 0 0 0 27 17 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866159336488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14540] ppid=14534 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/14536/task/14540/stat : 14540 (java) S 14534 14536 14240 0 -1 4202560 212 0 0 0 34 16 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866158283688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14541] ppid=14534 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/14536/task/14541/stat : 14541 (java) S 14534 14536 14240 0 -1 4202560 177 0 0 0 23 14 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866157230888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14542] ppid=14534 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/14536/task/14542/stat : 14542 (java) S 14534 14536 14240 0 -1 4202560 290 0 0 0 27 23 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866156178088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14543] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14543/stat : 14543 (java) S 14534 14536 14240 0 -1 4202560 294 0 0 0 32 23 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866155125288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14544] ppid=14534 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/14536/task/14544/stat : 14544 (java) S 14534 14536 14240 0 -1 4202560 167 0 0 0 21 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866154072488 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14545] ppid=14534 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/14536/task/14545/stat : 14545 (java) S 14534 14536 14240 0 -1 4202560 166 0 0 0 26 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866153019688 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14546] ppid=14534 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/14536/task/14546/stat : 14546 (java) S 14534 14536 14240 0 -1 4202560 161 0 0 0 41 13 0 0 20 0 19 0 342748873 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866151966888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14547] ppid=14534 vsize=3024420 CPUtime=1.9 cores=1,3,5,7
/proc/14536/task/14547/stat : 14547 (java) S 14534 14536 14240 0 -1 4202560 239 0 0 0 182 8 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866022050792 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14536/tid=14548] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14548/stat : 14548 (java) S 14534 14536 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866020996856 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14549] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14549/stat : 14549 (java) S 14534 14536 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342748875 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866019943944 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14536/tid=14550] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14550/stat : 14550 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866018892432 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14551] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14551/stat : 14551 (java) S 14534 14536 14240 0 -1 4202560 2936 0 0 0 55 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866017839544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14552] ppid=14534 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/14536/task/14552/stat : 14552 (java) S 14534 14536 14240 0 -1 4202560 3440 0 0 0 53 2 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866016786744 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14553] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14553/stat : 14553 (java) S 14534 14536 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866015734136 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14536/tid=14554] ppid=14534 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/14536/task/14554/stat : 14554 (java) S 14534 14536 14240 0 -1 4202560 103 0 0 0 47 36 0 0 20 0 19 0 342748878 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139866014681544 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14536/tid=14555] ppid=14534 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14536/task/14555/stat : 14555 (java) S 14534 14536 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342748932 3097006080 420233 33554432000 1073741824 1073778376 140734112142688 139865004930728 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14536 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=499346
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=293651
# CPU time returned by wait4() is 1795.79
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1796.12
CPU time (s): 1800.03
CPU user time (s): 1797.93
CPU system time (s): 2.1
CPU usage (%): 100.218
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.5
system time used= 2.29365
maximum resident set size= 1681048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12875
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38110
involuntary context switches= 29311

runsolver used 6.68098 second user time and 16.9424 second system time

The end

Launcher Data

Begin job on node145 at 2012-06-04 01:30:45
IDJOB=3742309
IDBENCH=90158
IDSOLVER=2319
FILE ID=node145/3742309-1338766245
RUNJOBID= node145-1338762649-14257
PBS_JOBID= 14636810
Free space on /tmp= 70920 MiB

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

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

MD5SUM BENCH= e9be7f2de41339e64a2918d1bf7ead92
RANDOM SEED=1842309380

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26663760 kB
Buffers:          452000 kB
Cached:          4878168 kB
SwapCached:            0 kB
Active:          1700696 kB
Inactive:        3643064 kB
Active(anon):       4860 kB
Inactive(anon):    10916 kB
Active(file):    1695836 kB
Inactive(file):  3632148 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              4740 kB
Writeback:             0 kB
AnonPages:         20752 kB
Mapped:            14096 kB
Shmem:               200 kB
Slab:             726428 kB
SReclaimable:     167684 kB
SUnreclaim:       558744 kB
KernelStack:        1456 kB
PageTables:         3984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     136872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70916 MiB
End job on node145 at 2012-06-04 02:00:43