Trace number 3742608

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.54 1797.12

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K65.opb
MD5SUMa4b90b74bc3d4958439bc17b9ac2ee03
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark312.531
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3575
Total number of constraints3707
Number of constraints which are clauses3642
Number of constraints which are cardinality constraints (but not clauses)65
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint65
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 66
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.02/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.02/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.02/0.08	c no version file found!!!
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version	1.6.0_24
0.02/0.08	c os.name	Linux
0.02/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.02/0.08	c os.arch	amd64
0.02/0.08	c Free memory 1599470296
0.02/0.08	c Max memory 1607860224
0.02/0.08	c Total memory 1607860224
0.02/0.08	c Number of processors 8
0.09/0.10	--- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap
0.09/0.10	c No reason simplification
0.09/0.10	c --- End Solver configuration ---
0.09/0.10	c solving HOME/instance-3742608-1338770991.opb
0.09/0.10	c reading problem ... 
0.54/0.39	c ... done. Wall clock time 0.295s.
0.54/0.39	c CPU time (experimental) 0.37s.
0.54/0.39	c #vars     3575
0.54/0.39	c #constraints  3705
1528.40/1525.95	c cleaning 341329 clauses out of 683446 for limit 1.4273413479296893E11
1530.11/1527.69	c cleaning 171004 clauses out of 342616 for limit 4.6907878079262866E11
1531.11/1528.64	c cleaning 85693 clauses out of 172112 for limit 1.5399200154481802E12
1531.52/1529.08	c cleaning 43220 clauses out of 86919 for limit 5.028639251879689E12
1531.81/1529.33	c cleaning 21907 clauses out of 44199 for limit 1.6308298259396768E13
1531.91/1529.49	c cleaning 11231 clauses out of 22792 for limit 5.2154830694588195E13
1532.01/1529.58	c cleaning 5710 clauses out of 12061 for limit 1.6253599181087222E14
1532.11/1529.64	c cleaning 3371 clauses out of 6851 for limit 4.718834899007059E-6
1532.11/1529.69	c cleaning 1952 clauses out of 3980 for limit 1.3395581318316087E-5
1532.21/1529.74	c cleaning 1177 clauses out of 2528 for limit 3.4779509643350905E-5
1532.21/1529.79	c cleaning 891 clauses out of 1857 for limit 7.85509746561278E-5
1532.31/1529.84	c cleaning 693 clauses out of 1460 for limit 1.6377946285515613E-4
1532.31/1529.89	c cleaning 561 clauses out of 1268 for limit 3.1130309855451077E-4
1532.41/1529.93	c cleaning 500 clauses out of 1206 for limit 5.392333751212217E-4
1532.41/1529.98	c cleaning 490 clauses out of 1206 for limit 8.892679729252279E-4
1532.52/1530.02	c cleaning 483 clauses out of 1216 for limit 0.0014544616389002383
1532.52/1530.06	c cleaning 486 clauses out of 1233 for limit 0.002365531070075636
1532.62/1530.11	c cleaning 496 clauses out of 1248 for limit 0.003858047289938751
1532.62/1530.16	c cleaning 526 clauses out of 1250 for limit 0.00634590394747569
1532.71/1530.20	c cleaning 505 clauses out of 1224 for limit 0.010687545495536533
1532.71/1530.25	c cleaning 499 clauses out of 1224 for limit 0.017713583233780705
1532.71/1530.30	c cleaning 472 clauses out of 1221 for limit 0.029166882772909283
1532.81/1530.34	c cleaning 472 clauses out of 1250 for limit 0.047031200644557444
1532.81/1530.38	c cleaning 510 clauses out of 1276 for limit 0.07582846557788701
1532.91/1530.43	c cleaning 479 clauses out of 1266 for limit 0.12603905074393446
1532.91/1530.48	c cleaning 517 clauses out of 1287 for limit 0.20446367827753725
1533.01/1530.54	c cleaning 500 clauses out of 1271 for limit 0.34177442755713966
1533.01/1530.59	c cleaning 506 clauses out of 1272 for limit 0.5637523984812236
1533.11/1530.63	c cleaning 516 clauses out of 1264 for limit 0.933717080468529
1533.11/1530.67	c cleaning 503 clauses out of 1248 for limit 1.5595657142843915
1533.21/1530.72	c cleaning 485 clauses out of 1245 for limit 2.5781299255291956
1533.21/1530.77	c cleaning 489 clauses out of 1260 for limit 4.2010658915433
1533.31/1530.82	c cleaning 476 clauses out of 1271 for limit 6.868159540720604
1533.31/1530.89	c cleaning 497 clauses out of 1296 for limit 11.119143180528049
1533.41/1530.94	c cleaning 496 clauses out of 1299 for limit 18.294605972117687
1533.51/1531.00	c cleaning 478 clauses out of 1302 for limit 30.07063520948731
1533.51/1531.06	c cleaning 505 clauses out of 1324 for limit 48.76648890479182
1533.62/1531.12	c cleaning 501 clauses out of 1319 for limit 80.72732556956622
1533.62/1531.17	c cleaning 489 clauses out of 1318 for limit 133.23116859824268
1533.72/1531.23	c cleaning 493 clauses out of 1332 for limit 218.06021951994856
1533.72/1531.28	c cleaning 536 clauses out of 1337 for limit 357.5494595998852
1533.81/1531.33	c cleaning 515 clauses out of 1300 for limit 605.8227195091782
1533.81/1531.37	c cleaning 520 clauses out of 1289 for limit 1011.6491599442559
1533.91/1531.42	c cleaning 492 clauses out of 1267 for limit 1693.9207622483927
1533.91/1531.46	c cleaning 461 clauses out of 1275 for limit 2775.974090267961
1534.01/1531.51	c cleaning 482 clauses out of 1312 for limit 4439.955542027705
1534.01/1531.55	c cleaning 537 clauses out of 1330 for limit 7222.9848270102675
1534.01/1531.60	c cleaning 504 clauses out of 1293 for limit 12252.528056436568
1534.11/1531.64	c cleaning 507 clauses out of 1289 for limit 20268.760928993397
1534.11/1531.69	c cleaning 462 clauses out of 1282 for limit 33608.41098334377
1534.21/1531.73	c cleaning 477 clauses out of 1320 for limit 53829.20432564792
1534.21/1531.78	c cleaning 512 clauses out of 1344 for limit 87273.62628934822
1534.31/1531.83	c cleaning 515 clauses out of 1331 for limit 145186.29080486606
1534.31/1531.87	c cleaning 485 clauses out of 1316 for limit 242160.69998313292
1534.41/1531.92	c cleaning 500 clauses out of 1332 for limit 394953.28149138595
1534.41/1531.96	c cleaning 489 clauses out of 1331 for limit 651168.3314006018
1534.51/1532.01	c cleaning 466 clauses out of 1342 for limit 1065061.5288252267
1534.51/1532.05	c cleaning 476 clauses out of 1377 for limit 1713498.2773048824
1534.61/1532.10	c cleaning 690 clauses out of 1400 for limit 2776584.8646022617
1534.61/1532.14	c cleaning 550 clauses out of 1210 for limit 5297970.1167352665
1534.61/1532.18	c cleaning 370 clauses out of 1160 for limit 9113658.949511163
1534.72/1532.22	c cleaning 445 clauses out of 1290 for limit 1.351502764420302E7
1534.72/1532.25	c cleaning 444 clauses out of 1345 for limit 2.1376679766105402E7
1534.72/1532.29	c cleaning 461 clauses out of 1401 for limit 3.384389097891875E7
1534.82/1532.33	c cleaning 696 clauses out of 1440 for limit 5.430149888495716E7
1534.82/1532.38	c cleaning 600 clauses out of 1246 for limit 1.0370057820995541E8
1534.91/1532.41	c cleaning 388 clauses out of 1144 for limit 1.8589172574167866E8
1534.91/1532.45	c cleaning 606 clauses out of 1256 for limit 2.7922373450599396E8
1534.91/1532.49	c cleaning 435 clauses out of 1150 for limit 5.02921285962281E8
1535.03/1532.52	c cleaning 381 clauses out of 1215 for limit 7.850141170217452E8
1535.03/1532.57	c cleaning 470 clauses out of 1336 for limit 1.1797016779795053E9
1535.13/1532.61	c cleaning 491 clauses out of 1368 for limit 1.9037831053364594E9
1535.13/1532.66	c cleaning 684 clauses out of 1373 for limit 3.11566580971992E9
1535.13/1532.70	c cleaning 420 clauses out of 1189 for limit 5.933288119885468E9
1535.23/1532.74	c cleaning 406 clauses out of 1270 for limit 9.169886718664915E9
1535.23/1532.79	c cleaning 467 clauses out of 1363 for limit 1.4076452233608335E10
1535.33/1532.83	c cleaning 451 clauses out of 1396 for limit 2.266519894762401E10
1535.33/1532.87	c cleaning 509 clauses out of 1445 for limit 3.6110457746946976E10
1535.43/1532.91	c cleaning 475 clauses out of 1436 for limit 5.9924205943765724E10
1535.43/1532.95	c cleaning 721 clauses out of 1461 for limit 9.71320151414233E10
1535.53/1533.00	c cleaning 588 clauses out of 1241 for limit 1.8876924207839346E11
1535.53/1533.04	c cleaning 427 clauses out of 1152 for limit 3.350209067632656E11
1535.53/1533.09	c cleaning 465 clauses out of 1225 for limit 5.1957014380975665E11
1535.63/1533.13	c cleaning 422 clauses out of 1260 for limit 8.330395441594725E11
1535.63/1533.17	c cleaning 421 clauses out of 1338 for limit 1.2937070249983667E12
1535.73/1533.22	c cleaning 481 clauses out of 1423 for limit 2.0181345032690586E12
1535.73/1533.26	c cleaning 462 clauses out of 1436 for limit 3.2783052105270947E12
1535.83/1533.31	c cleaning 504 clauses out of 1474 for limit 5.266986768787696E12
1535.83/1533.36	c cleaning 709 clauses out of 1470 for limit 8.709601067666963E12
1535.93/1533.41	c cleaning 386 clauses out of 1261 for limit 1.6743891392503883E13
1535.93/1533.45	c cleaning 671 clauses out of 1376 for limit 2.5330481764793266E13
1536.03/1533.50	c cleaning 417 clauses out of 1204 for limit 4.76932339751862E13
1536.03/1533.55	c cleaning 408 clauses out of 1287 for limit 7.358013817138894E13
1536.03/1533.59	c cleaning 436 clauses out of 1380 for limit 1.1327927434635202E14
1536.13/1533.64	c cleaning 688 clauses out of 1444 for limit 1.7853289136130503E14
1536.13/1533.68	c cleaning 372 clauses out of 1255 for limit 3.38425501494655E14
1536.23/1533.73	c cleaning 494 clauses out of 1383 for limit 5.064545927523207E14
1536.23/1533.77	c cleaning 427 clauses out of 1389 for limit 8.316035512146592E14
1536.33/1533.82	c cleaning 697 clauses out of 1463 for limit 1.303360795980709E15
1536.33/1533.87	c cleaning 569 clauses out of 1265 for limit 2.4833608458030282E-5
1536.43/1533.91	c cleaning 521 clauses out of 1196 for limit 4.331666998153348E-5
1536.43/1533.95	c cleaning 507 clauses out of 1175 for limit 7.271169394517695E-5
1536.43/1533.99	c cleaning 510 clauses out of 1168 for limit 1.2062995706471215E-4
1536.53/1534.03	c cleaning 505 clauses out of 1158 for limit 2.0065285506633084E-4
1536.53/1534.07	c cleaning 391 clauses out of 1154 for limit 3.32382762484721E-4
1536.63/1534.11	c cleaning 361 clauses out of 1263 for limit 5.008374991106469E-4
1536.63/1534.15	c cleaning 449 clauses out of 1401 for limit 7.43846679659564E-4
1536.73/1534.20	c cleaning 474 clauses out of 1453 for limit 0.0011839854041148905
1536.73/1534.24	c cleaning 482 clauses out of 1480 for limit 0.0019188483199679674
1536.73/1534.28	c cleaning 483 clauses out of 1496 for limit 0.003124335270326311
1536.83/1534.33	c cleaning 492 clauses out of 1514 for limit 0.005096285488253652
1536.83/1534.38	c cleaning 503 clauses out of 1521 for limit 0.008357411474591972
1536.93/1534.44	c cleaning 499 clauses out of 1518 for limit 0.013809727677759162
1536.93/1534.50	c cleaning 493 clauses out of 1520 for limit 0.02276688935654439
1537.04/1534.55	c cleaning 630 clauses out of 1526 for limit 0.037360624453502606
1537.13/1534.60	c cleaning 555 clauses out of 1396 for limit 0.06735023708404599
1537.13/1534.65	c cleaning 535 clauses out of 1343 for limit 0.1156840394861761
1537.13/1534.69	c cleaning 503 clauses out of 1307 for limit 0.19583722444209042
1537.23/1534.74	c cleaning 479 clauses out of 1305 for limit 0.3237805228480712
1537.23/1534.78	c cleaning 495 clauses out of 1324 for limit 0.5252428027043137
1537.33/1534.84	c cleaning 502 clauses out of 1331 for limit 0.8633660167795023
1537.33/1534.89	c cleaning 492 clauses out of 1327 for limit 1.4252430973290295
1537.43/1534.95	c cleaning 485 clauses out of 1335 for limit 2.3363316400237064
1537.53/1535.00	c cleaning 534 clauses out of 1351 for limit 3.8111040500488036
1537.53/1535.05	c cleaning 499 clauses out of 1316 for limit 6.445723042066829
1537.63/1535.10	c cleaning 511 clauses out of 1317 for limit 10.621788322047816
1537.63/1535.15	c cleaning 489 clauses out of 1308 for limit 17.672605534585728
1537.63/1535.19	c cleaning 492 clauses out of 1317 for limit 28.88746393476345
1537.73/1535.23	c cleaning 486 clauses out of 1325 for limit 47.351659059914404
1537.73/1535.27	c cleaning 478 clauses out of 1339 for limit 77.2727535514399
1537.83/1535.33	c cleaning 494 clauses out of 1365 for limit 125.50708648098637
1537.83/1535.38	c cleaning 473 clauses out of 1367 for limit 205.84969350981825
1537.93/1535.42	c cleaning 507 clauses out of 1394 for limit 332.89851091784516
1537.93/1535.46	c cleaning 507 clauses out of 1387 for limit 551.7648776814513
1538.03/1535.51	c cleaning 514 clauses out of 1382 for limit 915.0553843181692
1538.03/1535.55	c cleaning 496 clauses out of 1366 for limit 1523.6723551512666
1538.13/1535.60	c cleaning 500 clauses out of 1370 for limit 2505.403081055069
1538.13/1535.65	c cleaning 496 clauses out of 1370 for limit 4131.74484748761
1538.13/1535.69	c cleaning 501 clauses out of 1375 for limit 6795.818352292805
1538.23/1535.75	c cleaning 511 clauses out of 1373 for limit 11212.315199762565
1538.23/1535.79	c cleaning 478 clauses out of 1363 for limit 18644.91373330128
1538.33/1535.84	c cleaning 455 clauses out of 1385 for limit 30259.541816416368
1538.33/1535.89	c cleaning 461 clauses out of 1429 for limit 48317.1453488519
1538.43/1535.94	c cleaning 532 clauses out of 1470 for limit 77614.17976697707
1538.43/1535.99	c cleaning 499 clauses out of 1439 for limit 130884.43777215955
1538.53/1536.03	c cleaning 471 clauses out of 1437 for limit 215498.56833450828
1538.53/1536.08	c cleaning 507 clauses out of 1466 for limit 348355.82272256707
1538.63/1536.12	c cleaning 471 clauses out of 1459 for limit 577241.6235673421
1538.63/1536.17	c cleaning 463 clauses out of 1488 for limit 933395.8964168029
1538.73/1536.21	c cleaning 711 clauses out of 1526 for limit 1502466.1060684675
1538.73/1536.25	c cleaning 509 clauses out of 1314 for limit 2874651.668348727
1538.73/1536.29	c cleaning 388 clauses out of 1306 for limit 4774499.0832923595
1538.83/1536.33	c cleaning 469 clauses out of 1418 for limit 7251880.640683022
1538.83/1536.37	c cleaning 473 clauses out of 1448 for limit 1.1699833776290072E7
1538.93/1536.42	c cleaning 518 clauses out of 1480 for limit 1.8972081602162223E7
1538.93/1536.46	c cleaning 484 clauses out of 1458 for limit 3.1632754824888613E7
1539.03/1536.50	c cleaning 474 clauses out of 1475 for limit 5.161701879735282E7
1539.03/1536.55	c cleaning 501 clauses out of 1500 for limit 8.36209417317247E7
1539.03/1536.60	c cleaning 724 clauses out of 1498 for limit 1.3794814826989704E8
1539.13/1536.64	c cleaning 591 clauses out of 1275 for limit 2.6755181566155973E8
1539.13/1536.67	c cleaning 507 clauses out of 1183 for limit 4.750668405384737E8
1539.24/1536.72	c cleaning 517 clauses out of 1176 for limit 7.881121589085287E8
1539.24/1536.75	c cleaning 307 clauses out of 1159 for limit 1.3187661785979936E9
1539.33/1536.80	c cleaning 421 clauses out of 1352 for limit 1.8643628136271067E9
1539.33/1536.84	c cleaning 450 clauses out of 1432 for limit 2.9057249626922174E9
1539.43/1536.90	c cleaning 471 clauses out of 1482 for limit 4.630258159295418E9
1539.43/1536.95	c cleaning 727 clauses out of 1510 for limit 7.486827679301713E9
1539.43/1536.99	c cleaning 585 clauses out of 1285 for limit 1.453772895419935E10
1539.53/1537.04	c cleaning 393 clauses out of 1199 for limit 2.5668582562574272E10
1539.53/1537.09	c cleaning 385 clauses out of 1305 for limit 3.885365986608225E10
1539.63/1537.14	c cleaning 520 clauses out of 1422 for limit 5.892068127715958E10
1539.63/1537.20	c cleaning 422 clauses out of 1402 for limit 9.855422101035925E10
1539.73/1537.25	c cleaning 459 clauses out of 1479 for limit 1.539134044017143E11
1539.73/1537.29	c cleaning 740 clauses out of 1519 for limit 2.4689268332590384E11
1539.83/1537.32	c cleaning 572 clauses out of 1279 for limit 4.835610769990948E11
1539.83/1537.36	c cleaning 572 clauses out of 1208 for limit 8.451724756889691E11
1539.83/1537.40	c cleaning 539 clauses out of 1135 for limit 1.4819644753322588E12
1539.93/1537.44	c cleaning 424 clauses out of 1097 for limit 2.531147336400918E12
1539.93/1537.48	c cleaning 508 clauses out of 1171 for limit 3.9065063413186943E12
1540.03/1537.52	c cleaning 462 clauses out of 1164 for limit 6.487581805728882E12
1540.03/1537.57	c cleaning 488 clauses out of 1201 for limit 1.035891323081483E13
1540.13/1537.62	c cleaning 496 clauses out of 1214 for limit 1.6917216791410586E13
1540.13/1537.67	c cleaning 481 clauses out of 1217 for limit 2.78021510472743E13
1540.23/1537.71	c cleaning 488 clauses out of 1236 for limit 4.5144660669186695E13
1540.23/1537.76	c cleaning 613 clauses out of 1248 for limit 7.37337233959513E13
1540.33/1537.81	c cleaning 454 clauses out of 1135 for limit 1.337028843203584E14
1540.33/1537.87	c cleaning 493 clauses out of 1181 for limit 2.1190569429306666E14
1540.43/1537.91	c cleaning 384 clauses out of 1188 for limit 3.474017254433202E14
1540.43/1537.96	c cleaning 464 clauses out of 1304 for limit 5.2194736254214106E14
1540.53/1538.02	c cleaning 487 clauses out of 1340 for limit 8.376361026224026E14
1540.53/1538.06	c cleaning 670 clauses out of 1357 for limit 1.3695385843199788E15
1540.63/1538.11	c cleaning 591 clauses out of 1184 for limit 2.580802490826732E15
1540.63/1538.15	c cleaning 446 clauses out of 1094 for limit 4.610834651991248E15
1540.73/1538.20	c cleaning 552 clauses out of 1147 for limit 7.245274225913673E-5
1540.73/1538.25	c cleaning 487 clauses out of 1095 for limit 1.2515840312978582E-4
1540.83/1538.30	c cleaning 522 clauses out of 1107 for limit 2.0396135427887927E-4
1540.83/1538.34	c cleaning 511 clauses out of 1084 for limit 3.4349633897152543E-4
1540.83/1538.39	c cleaning 466 clauses out of 1077 for limit 5.724395421147819E-4
1540.93/1538.44	c cleaning 469 clauses out of 1107 for limit 9.14777655656817E-4
1540.93/1538.49	c cleaning 479 clauses out of 1139 for limit 0.001467674820698142
1541.03/1538.54	c cleaning 495 clauses out of 1160 for limit 0.0023765746777797787
1541.03/1538.59	c cleaning 475 clauses out of 1165 for limit 0.0039024685908259165
1541.13/1538.63	c cleaning 471 clauses out of 1189 for limit 0.0062994823330685765
1541.13/1538.69	c cleaning 485 clauses out of 1218 for limit 0.010141339356497222
1541.23/1538.75	c cleaning 543 clauses out of 1233 for limit 0.016520965121377656
1541.33/1538.80	c cleaning 500 clauses out of 1192 for limit 0.028238859074811065
1541.33/1538.86	c cleaning 525 clauses out of 1194 for limit 0.04658477317840305
1541.33/1538.90	c cleaning 484 clauses out of 1165 for limit 0.07842241760455425
1541.43/1538.95	c cleaning 494 clauses out of 1181 for limit 0.12757692830578116
1541.53/1539.00	c cleaning 508 clauses out of 1187 for limit 0.20932794359081702
1541.53/1539.05	c cleaning 519 clauses out of 1179 for limit 0.34755217275336503
1541.53/1539.09	c cleaning 500 clauses out of 1160 for limit 0.5825479935369359
1541.63/1539.13	c cleaning 506 clauses out of 1160 for limit 0.9606995732187272
1541.63/1539.16	c cleaning 493 clauses out of 1154 for limit 1.5925594930152809
1541.73/1539.21	c cleaning 497 clauses out of 1161 for limit 2.6105086781288827
1541.73/1539.26	c cleaning 472 clauses out of 1165 for limit 4.29459124526192
1541.83/1539.31	c cleaning 508 clauses out of 1193 for limit 6.916130878763628
1541.83/1539.37	c cleaning 484 clauses out of 1184 for limit 11.480830882641364
1541.93/1539.41	c cleaning 478 clauses out of 1201 for limit 18.684109911916018
1541.93/1539.45	c cleaning 494 clauses out of 1222 for limit 30.25280096592282
1542.03/1539.50	c cleaning 500 clauses out of 1230 for limit 49.6657039200376
1542.03/1539.54	c cleaning 485 clauses out of 1228 for limit 81.87479078980888
1542.03/1539.58	c cleaning 490 clauses out of 1243 for limit 133.39308862097013
1542.13/1539.62	c cleaning 498 clauses out of 1253 for limit 218.22739732093808
1542.13/1539.67	c cleaning 486 clauses out of 1255 for limit 359.31264834086755
1542.23/1539.71	c cleaning 492 clauses out of 1269 for limit 586.0173794332304
1542.23/1539.76	c cleaning 501 clauses out of 1277 for limit 960.366733280259
1542.33/1539.80	c cleaning 496 clauses out of 1276 for limit 1585.0144203242912
1542.33/1539.84	c cleaning 501 clauses out of 1280 for limit 2605.7323784924
1542.33/1539.89	c cleaning 507 clauses out of 1279 for limit 4300.5610941298555
1542.43/1539.94	c cleaning 561 clauses out of 1272 for limit 7131.229968604384
1542.43/1539.99	c cleaning 515 clauses out of 1218 for limit 12368.0642961602
1542.53/1540.03	c cleaning 499 clauses out of 1196 for limit 20626.81376834193
1542.53/1540.08	c cleaning 471 clauses out of 1197 for limit 33987.957285287994
1542.63/1540.13	c cleaning 485 clauses out of 1226 for limit 54724.85644702312
1542.63/1540.18	c cleaning 504 clauses out of 1241 for limit 89157.77190171581
1542.73/1540.23	c cleaning 490 clauses out of 1239 for limit 147565.41800462632
1542.73/1540.28	c cleaning 495 clauses out of 1247 for limit 241310.54957609976
1542.83/1540.32	c cleaning 503 clauses out of 1252 for limit 396364.1075190563
1542.83/1540.36	c cleaning 622 clauses out of 1254 for limit 655887.8088121648
1542.93/1540.41	c cleaning 441 clauses out of 1128 for limit 1197666.3161249007
1542.93/1540.45	c cleaning 493 clauses out of 1186 for limit 1876642.8186093285
1542.93/1540.50	c cleaning 515 clauses out of 1193 for limit 3076675.9278763216
1543.03/1540.54	c cleaning 460 clauses out of 1178 for limit 5138457.79552138
1543.03/1540.59	c cleaning 504 clauses out of 1219 for limit 8197185.7694787625
1543.13/1540.63	c cleaning 591 clauses out of 1214 for limit 1.3560358508463554E7
1543.13/1540.66	c cleaning 434 clauses out of 1129 for limit 2.4191281438259594E7
1543.23/1540.70	c cleaning 586 clauses out of 1189 for limit 3.765475079246514E7
1543.23/1540.74	c cleaning 515 clauses out of 1104 for limit 6.694574172673174E7
1543.23/1540.78	c cleaning 442 clauses out of 1088 for limit 1.1191402383901234E8
1543.33/1540.82	c cleaning 456 clauses out of 1146 for limit 1.752204033403643E8
1543.33/1540.86	c cleaning 568 clauses out of 1192 for limit 2.7836712785411817E8
1543.43/1540.91	c cleaning 550 clauses out of 1122 for limit 4.8673010677202344E8
1543.43/1540.95	c cleaning 519 clauses out of 1072 for limit 8.401216351994706E8
1543.43/1540.99	c cleaning 429 clauses out of 1054 for limit 1.4105443388841932E9
1800.01/1797.11	c starts		: 22
1800.01/1797.11	c conflicts		: 1125318
1800.01/1797.11	c decisions		: 2488677
1800.01/1797.11	c propagations		: 307021678
1800.01/1797.11	c inspects		: 11912280603
1800.01/1797.11	c learnt literals	: 63
1800.01/1797.11	c learnt binary clauses	: 39208
1800.01/1797.11	c learnt ternary clauses	: 31612
1800.01/1797.11	c learnt clauses	: 1125255
1800.01/1797.11	c root simplifications	: 0
1800.01/1797.11	c removed literals (reason simplification)	: 0
1800.01/1797.11	c reason swapping (by a shorter reason)	: 0
1800.01/1797.11	c Calls to reduceDB	: 255
1800.01/1797.11	c speed (decisions/second)	: 1385.13004324571
1800.01/1797.11	c non guided choices	77
1800.01/1797.11	s UNKNOWN
1800.01/1797.11	c Total wall clock time (ms): 1797.011

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

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.04 2.01 3/194 13142
/proc/meminfo: memFree=25386068/32873648 swapFree=7120/7120
[pid=13142] ppid=13140 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/13142/stat : 13142 (runsolver) D 13140 13142 11123 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 343226433 12095488 51 33554432000 4194304 5436572 140733546530320 140733546526616 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/13142/statm: 2953 51 31 304 0 2645 0

[startup+0.0402551 s]
/proc/loadavg: 2.16 2.04 2.01 3/194 13142
/proc/meminfo: memFree=25386068/32873648 swapFree=7120/7120
[pid=13142] ppid=13140 vsize=2623916 CPUtime=0.02 cores=0,2,4,6
/proc/13142/stat : 13142 (java) S 13140 13142 11123 0 -1 4202496 3949 0 1 0 2 0 0 0 20 0 13 0 343226433 2686889984 4646 33554432000 1073741824 1073778376 140733346140736 140733346131872 219517321277 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13142/statm: 655979 4646 1679 9 0 646680 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916

[startup+0.100258 s]
/proc/loadavg: 2.16 2.04 2.01 3/194 13142
/proc/meminfo: memFree=25386068/32873648 swapFree=7120/7120
[pid=13142] ppid=13140 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/13142/stat : 13142 (java) S 13140 13142 11123 0 -1 4202496 4972 0 1 0 9 0 0 0 20 0 18 0 343226433 3028844544 6168 33554432000 1073741824 1073778376 140733346140736 140733346131872 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13142/statm: 739464 6168 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300229 s]
/proc/loadavg: 2.16 2.04 2.01 3/194 13142
/proc/meminfo: memFree=25386068/32873648 swapFree=7120/7120
[pid=13142] ppid=13140 vsize=2957856 CPUtime=0.54 cores=0,2,4,6
/proc/13142/stat : 13142 (java) S 13140 13142 11123 0 -1 4202496 9061 0 1 0 53 1 0 0 20 0 18 0 343226433 3028844544 10583 33554432000 1073741824 1073778376 140733346140736 140733346131872 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13142/statm: 739464 10583 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2957856

[startup+0.700226 s]
/proc/loadavg: 2.16 2.04 2.01 3/194 13142
/proc/meminfo: memFree=25386068/32873648 swapFree=7120/7120
[pid=13142] ppid=13140 vsize=3024420 CPUtime=1.41 cores=0,2,4,6
/proc/13142/stat : 13142 (java) S 13140 13142 11123 0 -1 4202496 12928 0 1 0 139 2 0 0 20 0 19 0 343226433 3097006080 13955 33554432000 1073741824 1073778376 140733346140736 140733346131872 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13142/statm: 756105 13955 2267 9 0 746526 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 3024420

[startup+1.50061 s]
/proc/loadavg: 2.16 2.04 2.01 3/213 13161
/proc/meminfo: memFree=25338724/32873648 swapFree=7120/7120
[pid=13142] ppid=13140 vsize=3024420 CPUtime=2.27 cores=0,2,4,6
/proc/13142/stat : 13142 (java) S 13140 13142 11123 0 -1 4202496 12945 0 1 0 225 2 0 0 20 0 19 0 343226433 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 140733346131872 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13142/statm: 756105 14993 2272 9 0 746526 0
[pid=13142/tid=13144] ppid=13140 vsize=3024420 CPUtime=1.48 cores=0,2,4,6
/proc/13142/task/13144/stat : 13144 (java) R 13140 13142 11123 0 -1 4202560 3093 0 1 0 146 2 0 0 20 0 19 0 343226434 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684691644600 139684564324222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13145] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13145/stat : 13145 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684557355304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13146] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13146/stat : 13146 (java) S 13140 13142 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684556302504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13147] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13147/stat : 13147 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684555250216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13142/tid=13148] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13148/stat : 13148 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684554197416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13149] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13149/stat : 13149 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684553145128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13150] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13150/stat : 13150 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684552092328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13151] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13151/stat : 13151 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684214729768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13152] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13152/stat : 13152 (java) S 13140 13142 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684213676968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13153] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13153/stat : 13153 (java) S 13140 13142 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343226436 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684201478376 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13154] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13154/stat : 13154 (java) S 13140 13142 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343226437 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684200424440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13155] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13155/stat : 13155 (java) S 13140 13142 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343226437 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684199372040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13156] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13156/stat : 13156 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684198320528 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13157] ppid=13140 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/13142/task/13157/stat : 13157 (java) S 13140 13142 11123 0 -1 4202560 5350 0 0 0 36 0 0 0 20 0 19 0 343226439 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684197268152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13158] ppid=13140 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/13142/task/13158/stat : 13158 (java) S 13140 13142 11123 0 -1 4202560 3307 0 0 0 41 0 0 0 20 0 19 0 343226439 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684196215352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13159] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13159/stat : 13159 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684195163256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13160] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13160/stat : 13160 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684194110664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13161] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13161/stat : 13161 (java) S 13140 13142 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343226473 3097006080 14993 33554432000 1073741824 1073778376 140733346140736 139684191978408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 3024420

[startup+3.10061 s]
/proc/loadavg: 2.15 2.04 2.01 3/213 13161
/proc/meminfo: memFree=25332208/32873648 swapFree=7120/7120
[pid=13142] ppid=13140 vsize=3024420 CPUtime=3.89 cores=0,2,4,6
/proc/13142/stat : 13142 (java) S 13140 13142 11123 0 -1 4202496 12952 0 1 0 387 2 0 0 20 0 19 0 343226433 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 140733346131872 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13142/statm: 756105 16532 2272 9 0 746526 0
[pid=13142/tid=13144] ppid=13140 vsize=3024420 CPUtime=3.08 cores=0,2,4,6
/proc/13142/task/13144/stat : 13144 (java) R 13140 13142 11123 0 -1 4202560 3097 0 1 0 306 2 0 0 20 0 19 0 343226434 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684691644824 139684564424657 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13145] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13145/stat : 13145 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684557355304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13146] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13146/stat : 13146 (java) S 13140 13142 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684556302504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13147] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13147/stat : 13147 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684555250216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13142/tid=13148] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13148/stat : 13148 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684554197416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13149] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13149/stat : 13149 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684553145128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13150] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13150/stat : 13150 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684552092328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13151] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13151/stat : 13151 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684214729768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13152] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13152/stat : 13152 (java) S 13140 13142 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684213676968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13153] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13153/stat : 13153 (java) S 13140 13142 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343226436 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684201478376 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13154] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13154/stat : 13154 (java) S 13140 13142 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343226437 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684200424440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13155] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13155/stat : 13155 (java) S 13140 13142 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343226437 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684199372040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13156] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13156/stat : 13156 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684198320528 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13157] ppid=13140 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/13142/task/13157/stat : 13157 (java) S 13140 13142 11123 0 -1 4202560 5352 0 0 0 37 0 0 0 20 0 19 0 343226439 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684197268152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13158] ppid=13140 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/13142/task/13158/stat : 13158 (java) S 13140 13142 11123 0 -1 4202560 3308 0 0 0 42 0 0 0 20 0 19 0 343226439 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684196215352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13159] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13159/stat : 13159 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684195163256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13160] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13160/stat : 13160 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684194110664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13161] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13161/stat : 13161 (java) S 13140 13142 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343226473 3097006080 16532 33554432000 1073741824 1073778376 140733346140736 139684191978408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 3024420

[startup+6.3007 s]
/proc/loadavg: 2.15 2.04 2.01 3/213 13161
/proc/meminfo: memFree=25317376/32873648 swapFree=7120/7120
[pid=13142] ppid=13140 vsize=3024420 CPUtime=7.1 cores=0,2,4,6
/proc/13142/stat : 13142 (java) S 13140 13142 11123 0 -1 4202496 12961 0 1 0 707 3 0 0 20 0 19 0 343226433 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 140733346131872 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13142/statm: 756105 20117 2273 9 0 746526 0
[pid=13142/tid=13144] ppid=13140 vsize=3024420 CPUtime=6.27 cores=0,2,4,6
/proc/13142/task/13144/stat : 13144 (java) R 13140 13142 11123 0 -1 4202560 3105 0 1 0 625 2 0 0 20 0 19 0 343226434 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684691642880 139684564474155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13145] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13145/stat : 13145 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684557355304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13146] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13146/stat : 13146 (java) S 13140 13142 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684556302504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13147] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13147/stat : 13147 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684555250216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13142/tid=13148] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13148/stat : 13148 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684554197416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13149] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13149/stat : 13149 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684553145128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13150] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13150/stat : 13150 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684552092328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13151] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13151/stat : 13151 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684214729768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13152] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13152/stat : 13152 (java) S 13140 13142 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343226435 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684213676968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13153] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13153/stat : 13153 (java) S 13140 13142 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343226436 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684201478376 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13154] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13154/stat : 13154 (java) S 13140 13142 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343226437 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684200424440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13155] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13155/stat : 13155 (java) S 13140 13142 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343226437 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684199372040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13156] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13156/stat : 13156 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684198320528 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13157] ppid=13140 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/13142/task/13157/stat : 13157 (java) S 13140 13142 11123 0 -1 4202560 5352 0 0 0 37 0 0 0 20 0 19 0 343226439 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684197268152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13158] ppid=13140 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/13142/task/13158/stat : 13158 (java) S 13140 13142 11123 0 -1 4202560 3308 0 0 0 42 0 0 0 20 0 19 0 343226439 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684196215352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13159] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13159/stat : 13159 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684195163256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13160] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13160/stat : 13160 (java) S 13140 13142 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684194110664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13161] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13161/stat : 13161 (java) S 13140 13142 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343226473 3097006080 20117 33554432000 1073741824 1073778376 140733346140736 139684191978408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=13142/tid=13150] ppid=13140 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/13142/task/13150/stat : 13150 (java) S 13140 13142 11123 0 -1 4202560 181 0 0 0 9 11 0 0 20 0 19 0 343226435 3097006080 418045 33554432000 1073741824 1073778376 140733346140736 139684552092328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13151] ppid=13140 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/13142/task/13151/stat : 13151 (java) S 13140 13142 11123 0 -1 4202560 199 0 0 0 10 12 0 0 20 0 19 0 343226435 3097006080 418045 33554432000 1073741824 1073778376 140733346140736 139684214729768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13142/tid=13152] ppid=13140 vsize=3024420 CPUtime=0.16 cores=0,2,4,6
/proc/13142/task/13152/stat : 13152 (java) S 13140 13142 11123 0 -1 4202560 145 0 0 0 8 8 0 0 20 0 19 0 343226435 3097006080 418045 33554432000 1073741824 1073778376 140733346140736 139684213676968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13153] ppid=13140 vsize=3024420 CPUtime=1.08 cores=0,2,4,6
/proc/13142/task/13153/stat : 13153 (java) S 13140 13142 11123 0 -1 4202560 192 0 0 0 102 6 0 0 20 0 19 0 343226436 3097006080 418045 33554432000 1073741824 1073778376 140733346140736 139684201478376 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13154] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13154/stat : 13154 (java) S 13140 13142 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343226437 3097006080 418045 33554432000 1073741824 1073778376 140733346140736 139684200424440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13155] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13155/stat : 13155 (java) S 13140 13142 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343226437 3097006080 418045 33554432000 1073741824 1073778376 140733346140736 139684199372040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13156] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13156/stat : 13156 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 418045 33554432000 1073741824 1073778376 140733346140736 139684198320528 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13157] ppid=13140 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/13142/task/13157/stat : 13157 (java) S 13140 13142 11123 0 -1 4202560 5401 0 0 0 46 0 0 0 20 0 19 0 343226439 3097006080 418045 33554432000 1073741824 1073778376 140733346140736 139684197268152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13158] ppid=13140 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/13142/task/13158/stat : 13158 (java) S 13140 13142 11123 0 -1 4202560 3315 0 0 0 44 0 0 0 20 0 19 0 343226439 3097006080 418045 33554432000 1073741824 1073778376 140733346140736 139684196215352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13159] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13159/stat : 13159 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 418045 33554432000 1073741824 1073778376 140733346140736 139684195163256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13160] ppid=13140 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/13142/task/13160/stat : 13160 (java) S 13140 13142 11123 0 -1 4202560 100 0 0 0 34 30 0 0 20 0 19 0 343226439 3097006080 418045 33554432000 1073741824 1073778376 140733346140736 139684194110664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13161] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13161/stat : 13161 (java) S 13140 13142 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343226473 3097006080 418045 33554432000 1073741824 1073778376 140733346140736 139684191978408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.84
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 13374
/proc/meminfo: memFree=24607280/32873648 swapFree=7120/7120
[pid=13142] ppid=13140 vsize=3024420 CPUtime=1785.2 cores=0,2,4,6
/proc/13142/stat : 13142 (java) S 13140 13142 11123 0 -1 4202496 15619 0 1 0 178366 154 0 0 20 0 19 0 343226433 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 140733346131872 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13142/statm: 756105 418343 2302 9 0 746526 0
[pid=13142/tid=13144] ppid=13140 vsize=3024420 CPUtime=1780.22 cores=0,2,4,6
/proc/13142/task/13144/stat : 13144 (java) R 13140 13142 11123 0 -1 4202560 3292 0 1 0 177985 37 0 0 20 0 19 0 343226434 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684691643680 139684564511799 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13145] ppid=13140 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/13142/task/13145/stat : 13145 (java) S 13140 13142 11123 0 -1 4202560 189 0 0 0 13 12 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684557355304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13146] ppid=13140 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/13142/task/13146/stat : 13146 (java) S 13140 13142 11123 0 -1 4202560 357 0 0 0 29 21 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684556302504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13147] ppid=13140 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/13142/task/13147/stat : 13147 (java) S 13140 13142 11123 0 -1 4202560 467 0 0 0 17 13 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684555250216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13148] ppid=13140 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/13142/task/13148/stat : 13148 (java) S 13140 13142 11123 0 -1 4202560 319 0 0 0 21 20 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684554197416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13142/tid=13149] ppid=13140 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/13142/task/13149/stat : 13149 (java) S 13140 13142 11123 0 -1 4202560 236 0 0 0 15 15 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684553145128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13142/tid=13150] ppid=13140 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/13142/task/13150/stat : 13150 (java) S 13140 13142 11123 0 -1 4202560 197 0 0 0 22 11 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684552092328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13151] ppid=13140 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/13142/task/13151/stat : 13151 (java) S 13140 13142 11123 0 -1 4202560 200 0 0 0 14 12 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684214729768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13152] ppid=13140 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/13142/task/13152/stat : 13152 (java) S 13140 13142 11123 0 -1 4202560 168 0 0 0 16 8 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684213676968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13153] ppid=13140 vsize=3024420 CPUtime=1.08 cores=0,2,4,6
/proc/13142/task/13153/stat : 13153 (java) S 13140 13142 11123 0 -1 4202560 194 0 0 0 102 6 0 0 20 0 19 0 343226436 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684201478376 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13154] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13154/stat : 13154 (java) S 13140 13142 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343226437 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684200424440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13155] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13155/stat : 13155 (java) S 13140 13142 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343226437 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684199372040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13156] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13156/stat : 13156 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684198320528 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13157] ppid=13140 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/13142/task/13157/stat : 13157 (java) S 13140 13142 11123 0 -1 4202560 5401 0 0 0 46 0 0 0 20 0 19 0 343226439 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684197268152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13158] ppid=13140 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/13142/task/13158/stat : 13158 (java) S 13140 13142 11123 0 -1 4202560 3315 0 0 0 44 0 0 0 20 0 19 0 343226439 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684196215352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13159] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13159/stat : 13159 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684195163256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13160] ppid=13140 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/13142/task/13160/stat : 13160 (java) S 13140 13142 11123 0 -1 4202560 104 0 0 0 35 31 0 0 20 0 19 0 343226439 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684194110664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13161] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13161/stat : 13161 (java) S 13140 13142 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343226473 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684191978408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 13374
/proc/meminfo: memFree=24601136/32873648 swapFree=7120/7120
[pid=13142] ppid=13140 vsize=3024420 CPUtime=1800.01 cores=0,2,4,6
/proc/13142/stat : 13142 (java) S 13140 13142 11123 0 -1 4202496 15619 0 1 0 179847 154 0 0 20 0 19 0 343226433 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 140733346131872 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13142/statm: 756105 418343 2302 9 0 746526 0
[pid=13142/tid=13144] ppid=13140 vsize=3024420 CPUtime=1795.01 cores=0,2,4,6
/proc/13142/task/13144/stat : 13144 (java) R 13140 13142 11123 0 -1 4202560 3292 0 1 0 179464 37 0 0 20 0 19 0 343226434 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684691643680 139684564424210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13145] ppid=13140 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/13142/task/13145/stat : 13145 (java) S 13140 13142 11123 0 -1 4202560 189 0 0 0 13 12 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684557355304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13146] ppid=13140 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/13142/task/13146/stat : 13146 (java) S 13140 13142 11123 0 -1 4202560 357 0 0 0 29 21 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684556302504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13147] ppid=13140 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/13142/task/13147/stat : 13147 (java) S 13140 13142 11123 0 -1 4202560 467 0 0 0 17 13 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684555250216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13148] ppid=13140 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/13142/task/13148/stat : 13148 (java) S 13140 13142 11123 0 -1 4202560 319 0 0 0 21 20 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684554197416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13142/tid=13149] ppid=13140 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/13142/task/13149/stat : 13149 (java) S 13140 13142 11123 0 -1 4202560 236 0 0 0 15 15 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684553145128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13142/tid=13150] ppid=13140 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/13142/task/13150/stat : 13150 (java) S 13140 13142 11123 0 -1 4202560 197 0 0 0 22 11 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684552092328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13151] ppid=13140 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/13142/task/13151/stat : 13151 (java) S 13140 13142 11123 0 -1 4202560 200 0 0 0 14 12 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684214729768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13152] ppid=13140 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/13142/task/13152/stat : 13152 (java) S 13140 13142 11123 0 -1 4202560 168 0 0 0 16 8 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684213676968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13153] ppid=13140 vsize=3024420 CPUtime=1.08 cores=0,2,4,6
/proc/13142/task/13153/stat : 13153 (java) S 13140 13142 11123 0 -1 4202560 194 0 0 0 102 6 0 0 20 0 19 0 343226436 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684201478376 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13154] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13154/stat : 13154 (java) S 13140 13142 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343226437 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684200424440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13155] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13155/stat : 13155 (java) S 13140 13142 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343226437 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684199372040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13156] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13156/stat : 13156 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684198320528 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13157] ppid=13140 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/13142/task/13157/stat : 13157 (java) S 13140 13142 11123 0 -1 4202560 5401 0 0 0 46 0 0 0 20 0 19 0 343226439 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684197268152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13158] ppid=13140 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/13142/task/13158/stat : 13158 (java) S 13140 13142 11123 0 -1 4202560 3315 0 0 0 44 0 0 0 20 0 19 0 343226439 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684196215352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13159] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13159/stat : 13159 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684195163256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13160] ppid=13140 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/13142/task/13160/stat : 13160 (java) S 13140 13142 11123 0 -1 4202560 104 0 0 0 35 32 0 0 20 0 19 0 343226439 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684194110664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13161] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13161/stat : 13161 (java) S 13140 13142 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343226473 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684191978408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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+1797.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 13374
/proc/meminfo: memFree=24601136/32873648 swapFree=7120/7120
[pid=13142] ppid=13140 vsize=3024420 CPUtime=1800.01 cores=0,2,4,6
/proc/13142/stat : 13142 (java) S 13140 13142 11123 0 -1 4202496 15619 0 1 0 179847 154 0 0 20 0 19 0 343226433 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 140733346131872 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13142/statm: 756105 418343 2302 9 0 746526 0
[pid=13142/tid=13144] ppid=13140 vsize=3024420 CPUtime=1795.01 cores=0,2,4,6
/proc/13142/task/13144/stat : 13144 (java) R 13140 13142 11123 0 -1 4202560 3292 0 1 0 179464 37 0 0 20 0 19 0 343226434 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684691643680 139684564424210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13145] ppid=13140 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/13142/task/13145/stat : 13145 (java) S 13140 13142 11123 0 -1 4202560 189 0 0 0 13 12 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684557355304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13146] ppid=13140 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/13142/task/13146/stat : 13146 (java) S 13140 13142 11123 0 -1 4202560 357 0 0 0 29 21 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684556302504 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13147] ppid=13140 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/13142/task/13147/stat : 13147 (java) S 13140 13142 11123 0 -1 4202560 467 0 0 0 17 13 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684555250216 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13148] ppid=13140 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/13142/task/13148/stat : 13148 (java) S 13140 13142 11123 0 -1 4202560 319 0 0 0 21 20 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684554197416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13142/tid=13149] ppid=13140 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/13142/task/13149/stat : 13149 (java) S 13140 13142 11123 0 -1 4202560 236 0 0 0 15 15 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684553145128 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13142/tid=13150] ppid=13140 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/13142/task/13150/stat : 13150 (java) S 13140 13142 11123 0 -1 4202560 197 0 0 0 22 11 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684552092328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13151] ppid=13140 vsize=3024420 CPUtime=0.26 cores=0,2,4,6
/proc/13142/task/13151/stat : 13151 (java) S 13140 13142 11123 0 -1 4202560 200 0 0 0 14 12 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684214729768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13152] ppid=13140 vsize=3024420 CPUtime=0.24 cores=0,2,4,6
/proc/13142/task/13152/stat : 13152 (java) S 13140 13142 11123 0 -1 4202560 168 0 0 0 16 8 0 0 20 0 19 0 343226435 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684213676968 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13153] ppid=13140 vsize=3024420 CPUtime=1.08 cores=0,2,4,6
/proc/13142/task/13153/stat : 13153 (java) S 13140 13142 11123 0 -1 4202560 194 0 0 0 102 6 0 0 20 0 19 0 343226436 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684201478376 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13154] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13154/stat : 13154 (java) S 13140 13142 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343226437 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684200424440 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13155] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13155/stat : 13155 (java) S 13140 13142 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343226437 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684199372040 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13156] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13156/stat : 13156 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684198320528 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13142/tid=13157] ppid=13140 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/13142/task/13157/stat : 13157 (java) S 13140 13142 11123 0 -1 4202560 5401 0 0 0 46 0 0 0 20 0 19 0 343226439 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684197268152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13158] ppid=13140 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/13142/task/13158/stat : 13158 (java) S 13140 13142 11123 0 -1 4202560 3315 0 0 0 44 0 0 0 20 0 19 0 343226439 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684196215352 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13159] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13159/stat : 13159 (java) S 13140 13142 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343226439 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684195163256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13142/tid=13160] ppid=13140 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/13142/task/13160/stat : 13160 (java) S 13140 13142 11123 0 -1 4202560 104 0 0 0 35 32 0 0 20 0 19 0 343226439 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684194110664 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13142/tid=13161] ppid=13140 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/13142/task/13161/stat : 13161 (java) S 13140 13142 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343226473 3097006080 418343 33554432000 1073741824 1073778376 140733346140736 139684191978408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420

Child status: 143
Real time (s): 1797.12
CPU time (s): 1800.54
CPU user time (s): 1798.52
CPU system time (s): 2.01969
CPU usage (%): 100.19
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.52
system time used= 2.01969
maximum resident set size= 1673488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15651
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= 38038
involuntary context switches= 20551

runsolver used 6.43002 second user time and 15.1847 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-04 02:49:51
IDJOB=3742608
IDBENCH=90217
IDSOLVER=2319
FILE ID=node114/3742608-1338770991
RUNJOBID= node114-1338749374-11139
PBS_JOBID= 14636799
Free space on /tmp= 70136 MiB

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

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

MD5SUM BENCH= a4b90b74bc3d4958439bc17b9ac2ee03
RANDOM SEED=2033883736

node114.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.242
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	: 5332.48
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.242
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.242
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	: 5451.90
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.242
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.242
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		: 2666.242
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		: 2666.242
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.242
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25386496 kB
Buffers:         1065964 kB
Cached:          3728548 kB
SwapCached:         2244 kB
Active:          4588332 kB
Inactive:        1873956 kB
Active(anon):    1654448 kB
Inactive(anon):     8360 kB
Active(file):    2933884 kB
Inactive(file):  1865596 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              3684 kB
Writeback:             0 kB
AnonPages:       1767736 kB
Mapped:            19232 kB
Shmem:               100 kB
Slab:             865764 kB
SReclaimable:     309436 kB
SUnreclaim:       556328 kB
KernelStack:        1760 kB
PageTables:         7568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1828824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1728512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70132 MiB
End job on node114 at 2012-06-04 03:19:50