Trace number 3742023

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.52 1796.23

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K81.opb
MD5SUM07ddcd712bd0834d3fad6b8ca9adfb4d
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 variables5508
Total number of constraints5672
Number of constraints which are clauses5591
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint81
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 82
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.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.07	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.07	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/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-3742023-1338760185.opb
0.09/0.10	c reading problem ... 
0.82/0.41	c ... done. Wall clock time 0.307s.
0.82/0.41	c CPU time (experimental) 0.37s.
0.82/0.41	c #vars     5508
0.82/0.41	c #constraints  5670
864.23/861.54	c cleaning 283401 clauses out of 566954 for limit 4.129824341204306
865.24/862.52	c cleaning 141958 clauses out of 284050 for limit 13.553047532016318
865.65/862.98	c cleaning 71180 clauses out of 142592 for limit 44.52382648534059
866.05/863.34	c cleaning 35597 clauses out of 71915 for limit 146.02512262518928
866.25/863.54	c cleaning 17942 clauses out of 36815 for limit 469.0019098941738
866.35/863.66	c cleaning 9160 clauses out of 19375 for limit 1472.5926058180662
866.45/863.78	c cleaning 4787 clauses out of 10715 for limit 4391.248740909844
866.55/863.89	c cleaning 2602 clauses out of 6426 for limit 12051.090722463638
866.75/864.00	c cleaning 1457 clauses out of 4324 for limit 29535.02065018943
866.85/864.11	c cleaning 1246 clauses out of 3369 for limit 62639.29537066351
866.85/864.17	c cleaning 887 clauses out of 2623 for limit 132680.00252092103
866.95/864.23	c cleaning 667 clauses out of 2234 for limit 256393.76299066524
866.95/864.28	c cleaning 597 clauses out of 2067 for limit 456989.3041709676
867.05/864.32	c cleaning 590 clauses out of 1970 for limit 790744.48749237
867.05/864.37	c cleaning 570 clauses out of 1880 for limit 1366471.0554502192
867.15/864.41	c cleaning 882 clauses out of 1810 for limit 2340645.2588340873
867.15/864.46	c cleaning 633 clauses out of 1428 for limit 4892624.1285055615
867.15/864.49	c cleaning 356 clauses out of 1295 for limit 8897257.887222396
867.25/864.53	c cleaning 335 clauses out of 1440 for limit 1.3208510747076612E7
867.25/864.57	c cleaning 396 clauses out of 1604 for limit 1.9535897018746417E7
867.35/864.62	c cleaning 454 clauses out of 1708 for limit 3.0255598050194748E7
867.35/864.66	c cleaning 457 clauses out of 1754 for limit 4.858698006288533E7
867.45/864.70	c cleaning 549 clauses out of 1799 for limit 7.827863472940151E7
867.45/864.74	c cleaning 464 clauses out of 1748 for limit 1.3259276920393127E8
867.45/864.79	c cleaning 696 clauses out of 1784 for limit 2.1425072797216016E8
867.55/864.84	c cleaning 734 clauses out of 1587 for limit 3.9718799778087217E8
867.55/864.88	c cleaning 597 clauses out of 1353 for limit 7.683005316031086E8
867.65/864.92	c cleaning 624 clauses out of 1256 for limit 1.3648822248414056E9
867.65/864.96	c cleaning 470 clauses out of 1132 for limit 2.4974354810757008E9
867.75/865.00	c cleaning 571 clauses out of 1164 for limit 4.0134017392642717E9
867.75/865.04	c cleaning 460 clauses out of 1094 for limit 7.049181481502829E9
867.75/865.09	c cleaning 484 clauses out of 1133 for limit 1.1213662451120691E10
867.85/865.14	c cleaning 558 clauses out of 1149 for limit 1.8235314051197178E10
867.85/865.19	c cleaning 470 clauses out of 1089 for limit 3.1665930889465626E10
867.95/865.24	c cleaning 411 clauses out of 1119 for limit 5.082131986914322E10
867.95/865.29	c cleaning 511 clauses out of 1208 for limit 7.763632672995573E10
868.05/865.34	c cleaning 589 clauses out of 1197 for limit 1.2920926319619543E11
868.05/865.39	c cleaning 470 clauses out of 1110 for limit 2.3024474780840262E11
868.15/865.43	c cleaning 501 clauses out of 1138 for limit 3.696215741931665E11
868.15/865.48	c cleaning 556 clauses out of 1137 for limit 6.100915314854763E11
868.25/865.52	c cleaning 496 clauses out of 1081 for limit 1.0582436092775791E12
868.25/865.56	c cleaning 442 clauses out of 1086 for limit 1.738889247218377E12
868.35/865.61	c cleaning 459 clauses out of 1143 for limit 2.721929622636295E12
868.35/865.66	c cleaning 479 clauses out of 1184 for limit 4.333385312951439E12
868.45/865.70	c cleaning 503 clauses out of 1205 for limit 7.021790203910067E12
868.45/865.74	c cleaning 589 clauses out of 1202 for limit 1.1608772913864516E13
868.45/865.78	c cleaning 508 clauses out of 1118 for limit 2.0686043126933816E13
868.55/865.83	c cleaning 414 clauses out of 1105 for limit 3.4343162076897535E13
868.55/865.88	c cleaning 460 clauses out of 1191 for limit 5.254684955077065E13
868.65/865.93	c cleaning 513 clauses out of 1231 for limit 8.384096697049403E13
868.65/865.97	c cleaning 508 clauses out of 1218 for limit 1.3974070507538328E14
868.75/866.01	c cleaning 485 clauses out of 1210 for limit 2.319747605941242E14
868.75/866.06	c cleaning 589 clauses out of 1225 for limit 3.7787303675922894E14
868.85/866.11	c cleaning 460 clauses out of 1136 for limit 6.719849524594029E14
868.85/866.15	c cleaning 439 clauses out of 1177 for limit 1.0706605862036971E15
868.85/866.20	c cleaning 607 clauses out of 1238 for limit 1.678663009790269E15
868.95/866.24	c cleaning 522 clauses out of 1130 for limit 3.0298916417009437E-5
868.95/866.29	c cleaning 499 clauses out of 1108 for limit 5.095909037150915E-5
869.04/866.34	c cleaning 480 clauses out of 1109 for limit 8.396257870712613E-5
869.04/866.39	c cleaning 506 clauses out of 1129 for limit 1.3601263665400536E-4
869.14/866.44	c cleaning 503 clauses out of 1123 for limit 2.25501446644291E-4
869.14/866.48	c cleaning 502 clauses out of 1120 for limit 3.7287816520104446E-4
869.24/866.54	c cleaning 420 clauses out of 1118 for limit 6.160260236358029E-4
869.24/866.59	c cleaning 435 clauses out of 1198 for limit 9.480689679725158E-4
869.34/866.63	c cleaning 504 clauses out of 1263 for limit 0.0014830277792429007
869.34/866.68	c cleaning 499 clauses out of 1259 for limit 0.0024534815333585613
869.45/866.72	c cleaning 467 clauses out of 1261 for limit 0.004043745696663495
869.45/866.76	c cleaning 568 clauses out of 1293 for limit 0.00649713323420751
869.57/866.82	c cleaning 528 clauses out of 1225 for limit 0.011309413831237408
869.57/866.87	c cleaning 508 clauses out of 1197 for limit 0.019087010888622215
869.66/866.91	c cleaning 498 clauses out of 1189 for limit 0.031688822658416195
869.66/866.97	c cleaning 514 clauses out of 1191 for limit 0.05217135113038788
869.76/867.02	c cleaning 497 clauses out of 1177 for limit 0.08706092354345386
869.76/867.06	c cleaning 487 clauses out of 1181 for limit 0.1432320586009266
869.86/867.11	c cleaning 488 clauses out of 1196 for limit 0.23371353395494388
869.86/867.15	c cleaning 505 clauses out of 1207 for limit 0.38153039938852895
869.86/867.19	c cleaning 499 clauses out of 1200 for limit 0.6315998739729943
869.96/867.23	c cleaning 486 clauses out of 1201 for limit 1.0407254149218494
869.96/867.26	c cleaning 513 clauses out of 1221 for limit 1.6983471291330166
870.06/867.31	c cleaning 477 clauses out of 1202 for limit 2.8280460314061595
870.06/867.37	c cleaning 512 clauses out of 1225 for limit 4.5762605179526155
870.16/867.41	c cleaning 513 clauses out of 1213 for limit 7.6215256382703735
870.16/867.46	c cleaning 506 clauses out of 1202 for limit 12.709344698963745
870.26/867.50	c cleaning 485 clauses out of 1194 for limit 21.057662607107424
870.26/867.53	c cleaning 481 clauses out of 1209 for limit 34.29604781082945
870.26/867.57	c cleaning 515 clauses out of 1228 for limit 55.68367589401461
870.36/867.62	c cleaning 542 clauses out of 1211 for limit 93.11893657764676
870.36/867.67	c cleaning 514 clauses out of 1169 for limit 159.08291000350948
870.46/867.72	c cleaning 491 clauses out of 1155 for limit 265.5289882094907
870.46/867.77	c cleaning 496 clauses out of 1164 for limit 434.50705413696727
870.57/867.81	c cleaning 481 clauses out of 1168 for limit 714.1062860938911
870.57/867.85	c cleaning 490 clauses out of 1188 for limit 1158.9899151070529
870.57/867.90	c cleaning 486 clauses out of 1197 for limit 1895.0615605179453
870.67/867.95	c cleaning 531 clauses out of 1210 for limit 3091.633393407111
870.67/867.99	c cleaning 494 clauses out of 1179 for limit 5232.57475744151
870.76/868.03	c cleaning 475 clauses out of 1185 for limit 8585.523544569596
870.76/868.06	c cleaning 498 clauses out of 1210 for limit 13866.14222959273
870.86/868.11	c cleaning 497 clauses out of 1212 for limit 22829.38898866497
870.86/868.15	c cleaning 493 clauses out of 1217 for limit 37569.13883674631
870.86/868.19	c cleaning 498 clauses out of 1222 for limit 61579.68684438542
870.96/868.24	c cleaning 520 clauses out of 1224 for limit 101387.20508364902
870.96/868.29	c cleaning 505 clauses out of 1204 for limit 169978.49084151522
871.06/868.32	c cleaning 491 clauses out of 1199 for limit 281486.23347694956
871.06/868.37	c cleaning 473 clauses out of 1208 for limit 460749.948852784
871.16/868.42	c cleaning 483 clauses out of 1237 for limit 743511.0731784113
871.16/868.46	c cleaning 551 clauses out of 1252 for limit 1210247.4796248523
871.26/868.52	c cleaning 509 clauses out of 1200 for limit 2080264.9172243532
871.26/868.57	c cleaning 521 clauses out of 1191 for limit 3456559.33638764
871.36/868.63	c cleaning 477 clauses out of 1170 for limit 5802642.348993702
871.36/868.68	c cleaning 561 clauses out of 1193 for limit 9384845.089356681
871.46/868.72	c cleaning 428 clauses out of 1134 for limit 1.631471186220059E7
871.46/868.78	c cleaning 485 clauses out of 1204 for limit 2.529023349954578E7
871.56/868.82	c cleaning 460 clauses out of 1222 for limit 4.12161614420515E7
871.56/868.86	c cleaning 623 clauses out of 1259 for limit 6.577568353744073E7
871.67/868.91	c cleaning 396 clauses out of 1136 for limit 1.2021776667838706E8
871.67/868.95	c cleaning 454 clauses out of 1240 for limit 1.8162732591665772E8
871.67/869.00	c cleaning 608 clauses out of 1286 for limit 2.888137014392329E8
871.77/869.05	c cleaning 576 clauses out of 1179 for limit 5.200383297598175E8
871.77/869.09	c cleaning 542 clauses out of 1103 for limit 9.167048613128356E8
871.86/869.13	c cleaning 506 clauses out of 1060 for limit 1.5715223317695684E9
871.86/869.18	c cleaning 366 clauses out of 1055 for limit 2.6065398034616385E9
871.96/869.23	c cleaning 401 clauses out of 1189 for limit 3.814089266909822E9
871.96/869.28	c cleaning 453 clauses out of 1287 for limit 5.805177939736362E9
872.06/869.33	c cleaning 474 clauses out of 1334 for limit 9.236217269667316E9
872.06/869.38	c cleaning 492 clauses out of 1361 for limit 1.494452939901484E10
872.16/869.43	c cleaning 679 clauses out of 1372 for limit 2.4521423610542233E10
872.16/869.48	c cleaning 586 clauses out of 1191 for limit 4.6491642887665955E10
872.26/869.52	c cleaning 369 clauses out of 1103 for limit 8.262243797479732E10
872.26/869.57	c cleaning 418 clauses out of 1235 for limit 1.2181393128954735E11
872.36/869.62	c cleaning 464 clauses out of 1318 for limit 1.8842516553785693E11
872.36/869.67	c cleaning 468 clauses out of 1352 for limit 3.023183353721846E11
872.46/869.72	c cleaning 658 clauses out of 1385 for limit 4.87171422445701E11
872.46/869.76	c cleaning 598 clauses out of 1227 for limit 9.068655458942316E11
872.56/869.80	c cleaning 531 clauses out of 1128 for limit 1.6251735316469475E12
872.56/869.84	c cleaning 362 clauses out of 1097 for limit 2.7558660181373467E12
872.56/869.90	c cleaning 480 clauses out of 1235 for limit 4.036952660375878E12
872.66/869.95	c cleaning 584 clauses out of 1257 for limit 6.554057498623605E12
872.66/870.00	c cleaning 376 clauses out of 1172 for limit 1.1580819384197777E13
872.77/870.05	c cleaning 636 clauses out of 1295 for limit 1.7267064323823967E13
872.77/870.09	c cleaning 442 clauses out of 1159 for limit 3.181710977256174E13
872.87/870.14	c cleaning 603 clauses out of 1217 for limit 4.9970013993752984E13
872.87/870.18	c cleaning 542 clauses out of 1115 for limit 9.003587316333919E13
872.96/870.23	c cleaning 436 clauses out of 1075 for limit 1.543145562746577E14
872.96/870.28	c cleaning 432 clauses out of 1136 for limit 2.4009846246546375E14
873.06/870.34	c cleaning 548 clauses out of 1208 for limit 3.738476974453436E14
873.06/870.38	c cleaning 444 clauses out of 1156 for limit 6.416846496652582E14
873.16/870.43	c cleaning 453 clauses out of 1212 for limit 1.0093289998901456E15
873.16/870.48	c cleaning 619 clauses out of 1262 for limit 1.6033762221072308E15
873.26/870.53	c cleaning 530 clauses out of 1142 for limit 2.9191073403706065E15
873.26/870.58	c cleaning 535 clauses out of 1110 for limit 4.942879846520326E-5
873.36/870.63	c cleaning 481 clauses out of 1075 for limit 8.416866814919032E-5
873.36/870.67	c cleaning 500 clauses out of 1095 for limit 1.364065418711561E-4
873.46/870.71	c cleaning 503 clauses out of 1094 for limit 2.249331014079996E-4
873.46/870.76	c cleaning 464 clauses out of 1093 for limit 3.7202784111616726E-4
873.56/870.80	c cleaning 463 clauses out of 1127 for limit 5.938251011183246E-4
873.56/870.85	c cleaning 419 clauses out of 1164 for limit 9.481681746907195E-4
873.66/870.90	c cleaning 444 clauses out of 1245 for limit 0.0014619243169369254
873.66/870.96	c cleaning 480 clauses out of 1301 for limit 0.0023071340663717425
873.76/871.03	c cleaning 476 clauses out of 1321 for limit 0.0037471682865518907
873.76/871.10	c cleaning 497 clauses out of 1345 for limit 0.006069314161244671
873.87/871.16	c cleaning 506 clauses out of 1348 for limit 0.009986835520652014
873.97/871.21	c cleaning 496 clauses out of 1342 for limit 0.016543262488010402
873.97/871.27	c cleaning 513 clauses out of 1348 for limit 0.02721502232025683
874.06/871.31	c cleaning 521 clauses out of 1333 for limit 0.04529552534932044
874.06/871.36	c cleaning 501 clauses out of 1312 for limit 0.0758940103991814
874.16/871.40	c cleaning 488 clauses out of 1313 for limit 0.12531455665505345
874.16/871.45	c cleaning 505 clauses out of 1323 for limit 0.2046884170141359
874.26/871.50	c cleaning 501 clauses out of 1321 for limit 0.339085888356255
874.26/871.55	c cleaning 493 clauses out of 1317 for limit 0.5592153843204823
874.36/871.61	c cleaning 479 clauses out of 1327 for limit 0.918022625698841
874.36/871.66	c cleaning 478 clauses out of 1345 for limit 1.48920462119774
874.46/871.70	c cleaning 513 clauses out of 1368 for limit 2.4170239898355352
874.46/871.75	c cleaning 536 clauses out of 1354 for limit 4.023182830726655
874.56/871.80	c cleaning 503 clauses out of 1319 for limit 6.817639558671883
874.56/871.86	c cleaning 492 clauses out of 1315 for limit 11.266122127160855
874.66/871.91	c cleaning 511 clauses out of 1323 for limit 18.46699580003266
874.66/871.95	c cleaning 503 clauses out of 1312 for limit 30.70988191974762
874.66/871.99	c cleaning 487 clauses out of 1310 for limit 50.77279653483926
874.76/872.04	c cleaning 476 clauses out of 1322 for limit 82.88812210754749
874.76/872.09	c cleaning 509 clauses out of 1346 for limit 134.25627173207982
874.86/872.13	c cleaning 491 clauses out of 1337 for limit 222.8969482107309
874.86/872.17	c cleaning 470 clauses out of 1346 for limit 365.12902442481874
874.97/872.24	c cleaning 504 clauses out of 1376 for limit 589.018410982051
874.97/872.29	c cleaning 504 clauses out of 1372 for limit 974.2021401482288
875.07/872.34	c cleaning 500 clauses out of 1368 for limit 1611.2872861068463
875.07/872.38	c cleaning 486 clauses out of 1368 for limit 2657.228288946912
875.16/872.44	c cleaning 498 clauses out of 1382 for limit 4337.7329225211515
875.16/872.49	c cleaning 497 clauses out of 1385 for limit 7145.152082926616
875.26/872.55	c cleaning 484 clauses out of 1387 for limit 11754.55424888656
875.26/872.59	c cleaning 497 clauses out of 1404 for limit 19169.28510539345
875.36/872.65	c cleaning 491 clauses out of 1406 for limit 31536.179511678296
875.46/872.72	c cleaning 497 clauses out of 1415 for limit 51676.589867293784
875.46/872.77	c cleaning 495 clauses out of 1420 for limit 85091.63194286985
875.56/872.82	c cleaning 505 clauses out of 1423 for limit 139751.71967529462
875.56/872.87	c cleaning 474 clauses out of 1418 for limit 231281.93753546162
875.66/872.92	c cleaning 498 clauses out of 1444 for limit 374547.2748422222
875.66/872.97	c cleaning 652 clauses out of 1446 for limit 616824.23505745
875.76/873.02	c cleaning 575 clauses out of 1295 for limit 1136973.5253028437
875.76/873.06	c cleaning 542 clauses out of 1219 for limit 1989929.9575657642
875.86/873.11	c cleaning 495 clauses out of 1179 for limit 3399793.985603339
875.86/873.15	c cleaning 587 clauses out of 1182 for limit 5581305.479965869
875.86/873.19	c cleaning 472 clauses out of 1095 for limit 9935621.478685332
875.96/873.24	c cleaning 548 clauses out of 1122 for limit 1.5990873471751507E7
875.96/873.28	c cleaning 441 clauses out of 1074 for limit 2.754968575785324E7
876.07/873.33	c cleaning 480 clauses out of 1133 for limit 4.30672268572881E7
876.07/873.37	c cleaning 571 clauses out of 1153 for limit 6.979163901224777E7
876.17/873.41	c cleaning 538 clauses out of 1083 for limit 1.2265765204811333E8
876.17/873.45	c cleaning 462 clauses out of 1045 for limit 2.0963447260444474E8
876.17/873.49	c cleaning 539 clauses out of 1082 for limit 3.3355933944778526E8
876.26/873.54	c cleaning 503 clauses out of 1043 for limit 5.706527894037343E8
876.26/873.59	c cleaning 462 clauses out of 1040 for limit 9.437974521862097E8
876.36/873.64	c cleaning 502 clauses out of 1078 for limit 1.5015827346234958E9
876.36/873.69	c cleaning 455 clauses out of 1076 for limit 2.48091361573098E9
876.46/873.74	c cleaning 450 clauses out of 1121 for limit 3.927120146918935E9
876.46/873.78	c cleaning 491 clauses out of 1171 for limit 6.199815890219398E9
876.56/873.83	c cleaning 490 clauses out of 1180 for limit 1.014634365357465E10
876.56/873.87	c cleaning 485 clauses out of 1190 for limit 1.6592067298496782E10
876.66/873.92	c cleaning 484 clauses out of 1205 for limit 2.7021926108303093E10
876.66/873.97	c cleaning 500 clauses out of 1221 for limit 4.39788199449938E10
876.76/874.02	c cleaning 497 clauses out of 1225 for limit 7.258001964099141E10
876.76/874.05	c cleaning 455 clauses out of 1225 for limit 1.1933543844619484E11
876.76/874.09	c cleaning 471 clauses out of 1269 for limit 1.897864817362243E11
876.86/874.13	c cleaning 643 clauses out of 1299 for limit 3.06061106995475E11
876.86/874.17	c cleaning 531 clauses out of 1156 for limit 5.671727393734677E11
876.96/874.21	c cleaning 409 clauses out of 1124 for limit 9.610107522818108E11
876.96/874.25	c cleaning 461 clauses out of 1215 for limit 1.4661356942121304E12
877.06/874.30	c cleaning 482 clauses out of 1254 for limit 2.3426574828501953E12
877.06/874.35	c cleaning 488 clauses out of 1273 for limit 3.809503063748178E12
1800.02/1796.22	c starts		: 22
1800.02/1796.22	c conflicts		: 1174031
1800.02/1796.22	c decisions		: 3131858
1800.02/1796.22	c propagations		: 367941072
1800.02/1796.22	c inspects		: 11225494073
1800.02/1796.22	c learnt literals	: 64
1800.02/1796.22	c learnt binary clauses	: 44204
1800.02/1796.22	c learnt ternary clauses	: 33365
1800.02/1796.22	c learnt clauses	: 1173967
1800.02/1796.22	c root simplifications	: 0
1800.02/1796.22	c removed literals (reason simplification)	: 0
1800.02/1796.22	c reason swapping (by a shorter reason)	: 0
1800.02/1796.22	c Calls to reduceDB	: 228
1800.02/1796.22	c speed (decisions/second)	: 1743.987508652118
1800.02/1796.22	c non guided choices	616
1800.02/1796.22	s UNKNOWN
1800.02/1796.22	c Total wall clock time (ms): 1796.116

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-3742023-1338760185/watcher-3742023-1338760185 -o /tmp/evaluation-result-3742023-1338760185/solver-3742023-1338760185 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742023-1338760185.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.01 2.01 2.00 3/194 12204
/proc/meminfo: memFree=25393884/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/12204/stat : 12204 (java) D 12202 12204 11123 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 342145828 9515008 183 33554432000 1073741824 1073778376 140737407419824 140737407410856 219513962165 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/12204/statm: 2323 183 140 9 0 71 0

[startup+0.0925169 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 12204
/proc/meminfo: memFree=25393884/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 3970 0 1 0 6 1 0 0 20 0 18 0 342145828 3028844544 6199 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 739464 6207 1967 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.100292 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 12204
/proc/meminfo: memFree=25393884/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 4449 0 1 0 8 1 0 0 20 0 18 0 342145828 3028844544 6665 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 739464 6665 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856

[startup+0.300165 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 12204
/proc/meminfo: memFree=25393884/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=2957856 CPUtime=0.55 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 8074 0 1 0 53 2 0 0 20 0 18 0 342145828 3028844544 11404 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 739464 11404 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 2957856

[startup+0.700169 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 12204
/proc/meminfo: memFree=25393884/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 13145 0 1 0 141 4 0 0 20 0 19 0 342145828 3097006080 18909 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 756105 18909 2266 9 0 746526 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 3024420

[startup+1.50069 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 12223
/proc/meminfo: memFree=25326800/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=3024420 CPUtime=2.31 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 13669 0 1 0 227 4 0 0 20 0 19 0 342145828 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 756105 19940 2272 9 0 746526 0
[pid=12204/tid=12206] ppid=12202 vsize=3024420 CPUtime=1.47 cores=0,2,4,6
/proc/12204/task/12206/stat : 12206 (java) R 12202 12204 11123 0 -1 4202560 2598 0 1 0 145 2 0 0 20 0 19 0 342145829 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068277879208 140068218293612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12207] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12207/stat : 12207 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068213160488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12208] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12208/stat : 12208 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068142352808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12209] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12209/stat : 12209 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068141300008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12210] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12210/stat : 12210 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068140247208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12211] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12211/stat : 12211 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068139195432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12212] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12212/stat : 12212 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068138142632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12213] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12213/stat : 12213 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068137089832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12214] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12214/stat : 12214 (java) S 12202 12204 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068136037032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12215] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12215/stat : 12215 (java) S 12202 12204 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068123838952 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12216] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12216/stat : 12216 (java) S 12202 12204 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068122785016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12217] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12217/stat : 12217 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068121732104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12218] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12218/stat : 12218 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068120680592 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12219] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12219/stat : 12219 (java) S 12202 12204 11123 0 -1 4202560 6500 0 0 0 40 2 0 0 20 0 19 0 342145834 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068119628728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12220] ppid=12202 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/12204/task/12220/stat : 12220 (java) S 12202 12204 11123 0 -1 4202560 3377 0 0 0 39 0 0 0 20 0 19 0 342145834 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068118575928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12221] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12221/stat : 12221 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068117523320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12222] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12222/stat : 12222 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068116470728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12223] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12223/stat : 12223 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145870 3097006080 19940 33554432000 1073741824 1073778376 140736108737104 140068114338984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 3024420

[startup+3.10068 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 12223
/proc/meminfo: memFree=25318608/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=3024420 CPUtime=3.93 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 13675 0 1 0 389 4 0 0 20 0 19 0 342145828 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 756105 22500 2272 9 0 746526 0
[pid=12204/tid=12206] ppid=12202 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/12204/task/12206/stat : 12206 (java) R 12202 12204 11123 0 -1 4202560 2604 0 1 0 305 2 0 0 20 0 19 0 342145829 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068277879192 140068218214520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12207] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12207/stat : 12207 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068213160488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12208] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12208/stat : 12208 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068142352808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12209] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12209/stat : 12209 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068141300008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12210] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12210/stat : 12210 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068140247208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12211] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12211/stat : 12211 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068139195432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12212] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12212/stat : 12212 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068138142632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12213] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12213/stat : 12213 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068137089832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12214] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12214/stat : 12214 (java) S 12202 12204 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068136037032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12215] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12215/stat : 12215 (java) S 12202 12204 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068123838952 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12216] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12216/stat : 12216 (java) S 12202 12204 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068122785016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12217] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12217/stat : 12217 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068121732104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12218] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12218/stat : 12218 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068120680592 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12219] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12219/stat : 12219 (java) S 12202 12204 11123 0 -1 4202560 6500 0 0 0 40 2 0 0 20 0 19 0 342145834 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068119628728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12220] ppid=12202 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/12204/task/12220/stat : 12220 (java) S 12202 12204 11123 0 -1 4202560 3377 0 0 0 41 0 0 0 20 0 19 0 342145834 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068118575928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12221] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12221/stat : 12221 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068117523320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12222] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12222/stat : 12222 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068116470728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12223] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12223/stat : 12223 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145870 3097006080 22500 33554432000 1073741824 1073778376 140736108737104 140068114338984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 3024420

[startup+6.30072 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 12223
/proc/meminfo: memFree=25305948/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=3024420 CPUtime=7.13 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 13685 0 1 0 708 5 0 0 20 0 19 0 342145828 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 756105 25356 2273 9 0 746526 0
[pid=12204/tid=12206] ppid=12202 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/12204/task/12206/stat : 12206 (java) R 12202 12204 11123 0 -1 4202560 2613 0 1 0 624 2 0 0 20 0 19 0 342145829 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068277877264 140068218214580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12207] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12207/stat : 12207 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068213160488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12208] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12208/stat : 12208 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068142352808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12209] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12209/stat : 12209 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068141300008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12210] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12210/stat : 12210 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068140247208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12211] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12211/stat : 12211 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068139195432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12212] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12212/stat : 12212 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068138142632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12213] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12213/stat : 12213 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068137089832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12214] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12214/stat : 12214 (java) S 12202 12204 11123 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342145830 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068136037032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12215] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12215/stat : 12215 (java) S 12202 12204 11123 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068123838952 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12216] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12216/stat : 12216 (java) S 12202 12204 11123 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068122785016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12217] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12217/stat : 12217 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068121732104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12218] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12218/stat : 12218 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068120680592 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12219] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12219/stat : 12219 (java) S 12202 12204 11123 0 -1 4202560 6500 0 0 0 40 2 0 0 20 0 19 0 342145834 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068119628728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12220] ppid=12202 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/12204/task/12220/stat : 12220 (java) S 12202 12204 11123 0 -1 4202560 3377 0 0 0 41 0 0 0 20 0 19 0 342145834 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068118575928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12221] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12221/stat : 12221 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068117523320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12222] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12222/stat : 12222 (java) S 12202 12204 11123 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068116470728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12223] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12223/stat : 12223 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145870 3097006080 25356 33554432000 1073741824 1073778376 140736108737104 140068114338984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 3024420

[startup+12.7007 s]

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

[pid=12204/tid=12212] ppid=12202 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/12204/task/12212/stat : 12212 (java) S 12202 12204 11123 0 -1 4202560 279 0 0 0 24 14 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068138142632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12213] ppid=12202 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12204/task/12213/stat : 12213 (java) S 12202 12204 11123 0 -1 4202560 281 0 0 0 27 16 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068137089832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12214] ppid=12202 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/12204/task/12214/stat : 12214 (java) S 12202 12204 11123 0 -1 4202560 176 0 0 0 20 10 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068136037032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12215] ppid=12202 vsize=3024420 CPUtime=1.44 cores=0,2,4,6
/proc/12204/task/12215/stat : 12215 (java) S 12202 12204 11123 0 -1 4202560 205 0 0 0 138 6 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068123838952 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12216] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12216/stat : 12216 (java) S 12202 12204 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068122785016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12217] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12217/stat : 12217 (java) S 12202 12204 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068121732104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12218] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12218/stat : 12218 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068120680592 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12219] ppid=12202 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12204/task/12219/stat : 12219 (java) S 12202 12204 11123 0 -1 4202560 6510 0 0 0 46 2 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068119628728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12220] ppid=12202 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12204/task/12220/stat : 12220 (java) S 12202 12204 11123 0 -1 4202560 3382 0 0 0 47 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068118575928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12221] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12221/stat : 12221 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068117523320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12222] ppid=12202 vsize=3024420 CPUtime=0.72 cores=0,2,4,6
/proc/12204/task/12222/stat : 12222 (java) S 12202 12204 11123 0 -1 4202560 96 0 0 0 42 30 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068116470728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12223] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12223/stat : 12223 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145870 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068114338984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1666.09
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/213 12330
/proc/meminfo: memFree=24020340/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=3024420 CPUtime=1726.1 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 16080 0 1 0 172464 146 0 0 20 0 19 0 342145828 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 756105 418544 2302 9 0 746526 0
[pid=12204/tid=12206] ppid=12202 vsize=3024420 CPUtime=1719.94 cores=0,2,4,6
/proc/12204/task/12206/stat : 12206 (java) R 12202 12204 11123 0 -1 4202560 2793 0 1 0 171960 34 0 0 20 0 19 0 342145829 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068277878048 140068218214586 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12207] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12207/stat : 12207 (java) S 12202 12204 11123 0 -1 4202560 213 0 0 0 30 12 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068213160488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12208] ppid=12202 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12204/task/12208/stat : 12208 (java) S 12202 12204 11123 0 -1 4202560 343 0 0 0 27 21 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068142352808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12209] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12209/stat : 12209 (java) S 12202 12204 11123 0 -1 4202560 208 0 0 0 31 11 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068141300008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12210] ppid=12202 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12204/task/12210/stat : 12210 (java) S 12202 12204 11123 0 -1 4202560 199 0 0 0 24 12 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068140247208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12211] ppid=12202 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12204/task/12211/stat : 12211 (java) S 12202 12204 11123 0 -1 4202560 211 0 0 0 32 11 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068139195432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12212] ppid=12202 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/12204/task/12212/stat : 12212 (java) S 12202 12204 11123 0 -1 4202560 279 0 0 0 24 14 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068138142632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12213] ppid=12202 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12204/task/12213/stat : 12213 (java) S 12202 12204 11123 0 -1 4202560 281 0 0 0 27 16 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068137089832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12214] ppid=12202 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/12204/task/12214/stat : 12214 (java) S 12202 12204 11123 0 -1 4202560 176 0 0 0 20 10 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068136037032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12215] ppid=12202 vsize=3024420 CPUtime=1.44 cores=0,2,4,6
/proc/12204/task/12215/stat : 12215 (java) S 12202 12204 11123 0 -1 4202560 205 0 0 0 138 6 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068123838952 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12216] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12216/stat : 12216 (java) S 12202 12204 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068122785016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12217] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12217/stat : 12217 (java) S 12202 12204 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068121732104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12218] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12218/stat : 12218 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068120680592 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12219] ppid=12202 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12204/task/12219/stat : 12219 (java) S 12202 12204 11123 0 -1 4202560 6510 0 0 0 46 2 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068119628728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12220] ppid=12202 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12204/task/12220/stat : 12220 (java) S 12202 12204 11123 0 -1 4202560 3382 0 0 0 47 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068118575928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12221] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12221/stat : 12221 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068117523320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12222] ppid=12202 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/12204/task/12222/stat : 12222 (java) S 12202 12204 11123 0 -1 4202560 100 0 0 0 43 31 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068116470728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12223] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12223/stat : 12223 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145870 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068114338984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1726.1
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/213 12330
/proc/meminfo: memFree=24020220/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=3024420 CPUtime=1786.11 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 16084 0 1 0 178464 147 0 0 20 0 19 0 342145828 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 756105 418544 2302 9 0 746526 0
[pid=12204/tid=12206] ppid=12202 vsize=3024420 CPUtime=1779.94 cores=0,2,4,6
/proc/12204/task/12206/stat : 12206 (java) R 12202 12204 11123 0 -1 4202560 2793 0 1 0 177959 35 0 0 20 0 19 0 342145829 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068277878048 140068218214591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12207] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12207/stat : 12207 (java) S 12202 12204 11123 0 -1 4202560 213 0 0 0 30 12 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068213160488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12208] ppid=12202 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12204/task/12208/stat : 12208 (java) S 12202 12204 11123 0 -1 4202560 343 0 0 0 27 21 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068142352808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12209] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12209/stat : 12209 (java) S 12202 12204 11123 0 -1 4202560 208 0 0 0 31 11 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068141300008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12210] ppid=12202 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12204/task/12210/stat : 12210 (java) S 12202 12204 11123 0 -1 4202560 199 0 0 0 24 12 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068140247208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12211] ppid=12202 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12204/task/12211/stat : 12211 (java) S 12202 12204 11123 0 -1 4202560 211 0 0 0 32 11 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068139195432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12212] ppid=12202 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/12204/task/12212/stat : 12212 (java) S 12202 12204 11123 0 -1 4202560 279 0 0 0 24 14 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068138142632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12213] ppid=12202 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12204/task/12213/stat : 12213 (java) S 12202 12204 11123 0 -1 4202560 281 0 0 0 27 16 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068137089832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12214] ppid=12202 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/12204/task/12214/stat : 12214 (java) S 12202 12204 11123 0 -1 4202560 176 0 0 0 20 10 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068136037032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12215] ppid=12202 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/12204/task/12215/stat : 12215 (java) S 12202 12204 11123 0 -1 4202560 205 0 0 0 139 6 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068123838952 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12216] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12216/stat : 12216 (java) S 12202 12204 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068122785016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12217] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12217/stat : 12217 (java) S 12202 12204 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068121732104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12218] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12218/stat : 12218 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068120680592 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12219] ppid=12202 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12204/task/12219/stat : 12219 (java) S 12202 12204 11123 0 -1 4202560 6510 0 0 0 46 2 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068119628728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12220] ppid=12202 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12204/task/12220/stat : 12220 (java) S 12202 12204 11123 0 -1 4202560 3382 0 0 0 47 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068118575928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12221] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12221/stat : 12221 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068117523320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12222] ppid=12202 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/12204/task/12222/stat : 12222 (java) S 12202 12204 11123 0 -1 4202560 104 0 0 0 45 33 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068116470728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12223] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12223/stat : 12223 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145870 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068114338984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786.11
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 12330
/proc/meminfo: memFree=24020224/32873648 swapFree=7120/7120
[pid=12204] ppid=12202 vsize=3024420 CPUtime=1800.02 cores=0,2,4,6
/proc/12204/stat : 12204 (java) S 12202 12204 11123 0 -1 4202496 16084 0 1 0 179855 147 0 0 20 0 19 0 342145828 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140736108728240 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12204/statm: 756105 418544 2302 9 0 746526 0
[pid=12204/tid=12206] ppid=12202 vsize=3024420 CPUtime=1793.86 cores=0,2,4,6
/proc/12204/task/12206/stat : 12206 (java) R 12202 12204 11123 0 -1 4202560 2793 0 1 0 179351 35 0 0 20 0 19 0 342145829 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068277878048 140068218214360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12207] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12207/stat : 12207 (java) S 12202 12204 11123 0 -1 4202560 213 0 0 0 30 12 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068213160488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12208] ppid=12202 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12204/task/12208/stat : 12208 (java) S 12202 12204 11123 0 -1 4202560 343 0 0 0 27 21 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068142352808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12209] ppid=12202 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/12204/task/12209/stat : 12209 (java) S 12202 12204 11123 0 -1 4202560 208 0 0 0 31 11 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068141300008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12210] ppid=12202 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/12204/task/12210/stat : 12210 (java) S 12202 12204 11123 0 -1 4202560 199 0 0 0 24 12 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068140247208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12211] ppid=12202 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12204/task/12211/stat : 12211 (java) S 12202 12204 11123 0 -1 4202560 211 0 0 0 32 11 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068139195432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12212] ppid=12202 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/12204/task/12212/stat : 12212 (java) S 12202 12204 11123 0 -1 4202560 279 0 0 0 24 14 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068138142632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12213] ppid=12202 vsize=3024420 CPUtime=0.43 cores=0,2,4,6
/proc/12204/task/12213/stat : 12213 (java) S 12202 12204 11123 0 -1 4202560 281 0 0 0 27 16 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068137089832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=12204/tid=12214] ppid=12202 vsize=3024420 CPUtime=0.3 cores=0,2,4,6
/proc/12204/task/12214/stat : 12214 (java) S 12202 12204 11123 0 -1 4202560 176 0 0 0 20 10 0 0 20 0 19 0 342145830 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068136037032 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12215] ppid=12202 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/12204/task/12215/stat : 12215 (java) S 12202 12204 11123 0 -1 4202560 205 0 0 0 139 6 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068123838952 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12216] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12216/stat : 12216 (java) S 12202 12204 11123 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068122785016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12217] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12217/stat : 12217 (java) S 12202 12204 11123 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342145832 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068121732104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12218] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12218/stat : 12218 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068120680592 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12219] ppid=12202 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/12204/task/12219/stat : 12219 (java) S 12202 12204 11123 0 -1 4202560 6510 0 0 0 46 2 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068119628728 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=12204/tid=12220] ppid=12202 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/12204/task/12220/stat : 12220 (java) S 12202 12204 11123 0 -1 4202560 3382 0 0 0 47 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068118575928 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12221] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12221/stat : 12221 (java) S 12202 12204 11123 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068117523320 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=12204/tid=12222] ppid=12202 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/12204/task/12222/stat : 12222 (java) S 12202 12204 11123 0 -1 4202560 104 0 0 0 45 33 0 0 20 0 19 0 342145834 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068116470728 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=12204/tid=12223] ppid=12202 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/12204/task/12223/stat : 12223 (java) S 12202 12204 11123 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342145870 3097006080 418544 33554432000 1073741824 1073778376 140736108737104 140068114338984 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3024420

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

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

Child status: 143
Real time (s): 1796.23
CPU time (s): 1800.52
CPU user time (s): 1798.56
CPU system time (s): 1.9617
CPU usage (%): 100.239
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.56
system time used= 1.9617
maximum resident set size= 1674296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16117
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38117
involuntary context switches= 4561

runsolver used 5.63114 second user time and 15.1017 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-03 23:49:45
IDJOB=3742023
IDBENCH=90126
IDSOLVER=2319
FILE ID=node114/3742023-1338760185
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/ShortestPathTate/normalized-TateBritain_K81.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742023-1338760185/watcher-3742023-1338760185 -o /tmp/evaluation-result-3742023-1338760185/solver-3742023-1338760185 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742023-1338760185.opb           

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

MD5SUM BENCH= 07ddcd712bd0834d3fad6b8ca9adfb4d
RANDOM SEED=65996760

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:        25393884 kB
Buffers:         1062908 kB
Cached:          3726920 kB
SwapCached:         2244 kB
Active:          4586580 kB
Inactive:        1872604 kB
Active(anon):    1656004 kB
Inactive(anon):     8360 kB
Active(file):    2930576 kB
Inactive(file):  1864244 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103576 kB
Dirty:              3952 kB
Writeback:             0 kB
AnonPages:       1681356 kB
Mapped:            19168 kB
Shmem:               100 kB
Slab:             865500 kB
SReclaimable:     309288 kB
SUnreclaim:       556212 kB
KernelStack:        1600 kB
PageTables:         7344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1829100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1642496 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 00:19:43