Trace number 3742764

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23? (TO) 1800.03 1794.92

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K68.opb
MD5SUM506a6fce450974b6f48fc0e3b77d8777
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark15.9726
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3740
Total number of constraints3878
Number of constraints which are clauses3810
Number of constraints which are cardinality constraints (but not clauses)68
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint68
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 69
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.09	c no version file found!!!
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version	1.6.0_24
0.00/0.09	c os.name	Linux
0.00/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch	amd64
0.00/0.09	c Free memory 1599470296
0.00/0.09	c Max memory 1607860224
0.00/0.09	c Total memory 1607860224
0.00/0.09	c Number of processors 8
0.07/0.12	--- Begin Solver configuration ---
0.07/0.12	c Stops conflict analysis at the first Unique Implication Point
0.07/0.12	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.07/0.12	c Learn all clauses as in MiniSAT
0.07/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.12	c VSIDS like heuristics from MiniSAT using a heap
0.07/0.12	c No reason simplification
0.07/0.12	c --- End Solver configuration ---
0.07/0.12	c solving HOME/instance-3742764-1338772345.opb
0.07/0.12	c reading problem ... 
0.81/0.41	c ... done. Wall clock time 0.29s.
0.81/0.41	c CPU time (experimental) 0.37s.
0.81/0.41	c #vars     3740
0.81/0.41	c #constraints  3876
1499.89/1495.65	c cleaning 325540 clauses out of 651441 for limit 0.0018644282899898889
1502.60/1498.31	c cleaning 163156 clauses out of 326402 for limit 0.006142686627875006
1503.30/1499.00	c cleaning 81589 clauses out of 163745 for limit 0.020172721788615806
1503.70/1499.42	c cleaning 41065 clauses out of 82660 for limit 0.06616542092970434
1504.00/1499.71	c cleaning 20736 clauses out of 42094 for limit 0.21405612496932036
1504.20/1499.92	c cleaning 10511 clauses out of 21855 for limit 0.6778746555578339
1504.30/1500.09	c cleaning 5472 clauses out of 11844 for limit 2.0628027223440655
1504.40/1500.19	c cleaning 2950 clauses out of 6872 for limit 5.863120645912202
1504.50/1500.28	c cleaning 1711 clauses out of 4423 for limit 15.03783935352454
1504.60/1500.35	c cleaning 1081 clauses out of 3211 for limit 34.1258478437176
1504.70/1500.44	c cleaning 760 clauses out of 2630 for limit 68.71062424006789
1504.80/1500.53	c cleaning 701 clauses out of 2371 for limit 125.81675718643379
1504.90/1500.61	c cleaning 764 clauses out of 2170 for limit 226.70766013746626
1504.90/1500.66	c cleaning 650 clauses out of 1906 for limit 425.6561564246816
1505.00/1500.71	c cleaning 575 clauses out of 1755 for limit 761.5984822127425
1505.00/1500.75	c cleaning 539 clauses out of 1683 for limit 1313.6464515376717
1505.10/1500.80	c cleaning 523 clauses out of 1641 for limit 2215.166544350613
1505.10/1500.84	c cleaning 498 clauses out of 1618 for limit 3705.03516620779
1505.20/1500.90	c cleaning 500 clauses out of 1620 for limit 6102.5553081595435
1505.20/1500.95	c cleaning 468 clauses out of 1621 for limit 10067.789407671455
1505.20/1500.99	c cleaning 499 clauses out of 1656 for limit 16301.074316687786
1505.30/1501.04	c cleaning 484 clauses out of 1653 for limit 26823.876826025058
1505.40/1501.10	c cleaning 478 clauses out of 1669 for limit 43812.08787430812
1505.40/1501.15	c cleaning 482 clauses out of 1691 for limit 71311.9916938344
1505.40/1501.19	c cleaning 481 clauses out of 1709 for limit 116364.36342770213
1505.50/1501.25	c cleaning 503 clauses out of 1728 for limit 189790.38624148307
1505.50/1501.29	c cleaning 484 clauses out of 1727 for limit 313798.25252275466
1505.60/1501.35	c cleaning 826 clauses out of 1741 for limit 512820.59997566073
1505.60/1501.40	c cleaning 640 clauses out of 1415 for limit 1040551.7422382857
1505.70/1501.44	c cleaning 603 clauses out of 1273 for limit 1905518.1604655578
1505.70/1501.49	c cleaning 536 clauses out of 1171 for limit 3419597.5678200596
1505.80/1501.54	c cleaning 543 clauses out of 1136 for limit 5818941.110215614
1505.80/1501.58	c cleaning 515 clauses out of 1093 for limit 9973739.443996113
1505.90/1501.63	c cleaning 499 clauses out of 1076 for limit 1.6674498174075358E7
1505.90/1501.68	c cleaning 517 clauses out of 1077 for limit 2.7472945686104197E7
1506.00/1501.73	c cleaning 499 clauses out of 1064 for limit 4.604402032962269E7
1506.00/1501.77	c cleaning 483 clauses out of 1061 for limit 7.584331741858728E7
1506.10/1501.82	c cleaning 512 clauses out of 1078 for limit 1.231033385259163E8
1506.10/1501.86	c cleaning 470 clauses out of 1066 for limit 2.0529920811235628E8
1506.20/1501.91	c cleaning 529 clauses out of 1098 for limit 3.293571146376447E8
1506.20/1501.96	c cleaning 529 clauses out of 1068 for limit 5.578526647884687E8
1506.20/1501.99	c cleaning 445 clauses out of 1038 for limit 9.456159443869473E8
1506.30/1502.03	c cleaning 488 clauses out of 1095 for limit 1.481231472969366E9
1506.30/1502.07	c cleaning 479 clauses out of 1105 for limit 2.4158036656348515E9
1506.40/1502.11	c cleaning 552 clauses out of 1126 for limit 3.9096817803695283E9
1506.40/1502.15	c cleaning 504 clauses out of 1074 for limit 6.759762018106931E9
1506.50/1502.20	c cleaning 449 clauses out of 1071 for limit 1.1190168236600721E10
1506.50/1502.24	c cleaning 549 clauses out of 1121 for limit 1.7613345303488834E10
1506.50/1502.28	c cleaning 502 clauses out of 1072 for limit 3.0374459851217255E10
1506.60/1502.33	c cleaning 499 clauses out of 1071 for limit 5.018850704377291E10
1506.60/1502.37	c cleaning 476 clauses out of 1071 for limit 8.268479465132031E10
1506.70/1502.43	c cleaning 485 clauses out of 1095 for limit 1.3336961295387303E11
1506.70/1502.47	c cleaning 503 clauses out of 1110 for limit 2.169721129038436E11
1506.80/1502.51	c cleaning 491 clauses out of 1111 for limit 3.5892753154190204E11
1506.80/1502.55	c cleaning 553 clauses out of 1116 for limit 5.869140098826218E11
1506.80/1502.58	c cleaning 513 clauses out of 1063 for limit 1.0161581237673966E12
1506.90/1502.62	c cleaning 453 clauses out of 1051 for limit 1.6966108529725884E12
1506.90/1502.67	c cleaning 500 clauses out of 1099 for limit 2.6784137336706357E12
1507.00/1502.73	c cleaning 455 clauses out of 1099 for limit 4.417062558601716E12
1507.00/1502.78	c cleaning 505 clauses out of 1142 for limit 6.996035461504517E12
1507.10/1502.82	c cleaning 465 clauses out of 1137 for limit 1.158813452957323E13
1507.10/1502.87	c cleaning 493 clauses out of 1172 for limit 1.8539681476157008E13
1507.20/1502.91	c cleaning 487 clauses out of 1179 for limit 3.03928874635478E13
1507.20/1502.96	c cleaning 584 clauses out of 1192 for limit 4.957530544844173E13
1507.30/1503.01	c cleaning 541 clauses out of 1109 for limit 8.796309602138453E13
1507.30/1503.06	c cleaning 533 clauses out of 1070 for limit 1.5065140480341484E14
1507.40/1503.11	c cleaning 410 clauses out of 1036 for limit 2.5634130048632972E14
1507.40/1503.15	c cleaning 472 clauses out of 1124 for limit 3.888650312581234E14
1507.40/1503.19	c cleaning 484 clauses out of 1152 for limit 6.257035371241995E14
1507.52/1503.25	c cleaning 470 clauses out of 1168 for limit 1.017733648280012E15
1507.62/1503.30	c cleaning 503 clauses out of 1201 for limit 1.6371685418277425E15
1507.62/1503.35	c cleaning 565 clauses out of 1195 for limit 2.705333714903545E-5
1507.62/1503.40	c cleaning 549 clauses out of 1130 for limit 4.718089703265312E-5
1507.72/1503.44	c cleaning 524 clauses out of 1081 for limit 8.13345054379196E-5
1507.72/1503.49	c cleaning 496 clauses out of 1057 for limit 1.3717703888269979E-4
1507.82/1503.55	c cleaning 513 clauses out of 1063 for limit 2.253969615350719E-4
1507.82/1503.60	c cleaning 441 clauses out of 1050 for limit 3.763118632605173E-4
1507.92/1503.66	c cleaning 442 clauses out of 1109 for limit 5.875726193398146E-4
1508.02/1503.71	c cleaning 471 clauses out of 1165 for limit 9.205640990110085E-4
1508.02/1503.79	c cleaning 484 clauses out of 1197 for limit 0.0014819898566636053
1508.12/1503.82	c cleaning 547 clauses out of 1210 for limit 0.0024104957102506273
1508.12/1503.85	c cleaning 516 clauses out of 1163 for limit 0.004135879771991159
1508.12/1503.89	c cleaning 473 clauses out of 1149 for limit 0.006917553109767045
1508.22/1503.93	c cleaning 489 clauses out of 1174 for limit 0.011142722049860918
1508.22/1503.98	c cleaning 531 clauses out of 1185 for limit 0.018205261895620033
1508.32/1504.03	c cleaning 504 clauses out of 1154 for limit 0.03082942036556023
1508.32/1504.07	c cleaning 471 clauses out of 1151 for limit 0.05102537950033979
1508.42/1504.13	c cleaning 478 clauses out of 1179 for limit 0.0820671094803934
1508.42/1504.18	c cleaning 505 clauses out of 1201 for limit 0.13286048146696172
1508.52/1504.22	c cleaning 494 clauses out of 1196 for limit 0.2200206972769151
1508.52/1504.28	c cleaning 507 clauses out of 1203 for limit 0.36109334781805863
1508.62/1504.32	c cleaning 506 clauses out of 1195 for limit 0.5988783111794401
1508.62/1504.37	c cleaning 496 clauses out of 1191 for limit 0.99293230216087
1508.72/1504.42	c cleaning 508 clauses out of 1193 for limit 1.631465223325164
1508.72/1504.47	c cleaning 499 clauses out of 1185 for limit 2.7086681496066234
1508.82/1504.50	c cleaning 491 clauses out of 1186 for limit 4.463189733005529
1508.82/1504.54	c cleaning 510 clauses out of 1197 for limit 7.30736496329336
1508.82/1504.59	c cleaning 480 clauses out of 1185 for limit 12.148522491478808
1508.92/1504.63	c cleaning 478 clauses out of 1205 for limit 19.702015323338664
1508.92/1504.68	c cleaning 498 clauses out of 1229 for limit 31.920576557805514
1509.02/1504.73	c cleaning 485 clauses out of 1231 for limit 52.55577492416633
1509.02/1504.78	c cleaning 485 clauses out of 1244 for limit 85.59432670921048
1509.12/1504.83	c cleaning 499 clauses out of 1259 for limit 139.47472614176638
1509.12/1504.87	c cleaning 489 clauses out of 1260 for limit 229.8299324139291
1509.22/1504.93	c cleaning 496 clauses out of 1271 for limit 375.74003450634257
1509.22/1504.98	c cleaning 494 clauses out of 1275 for limit 617.7015963622994
1509.32/1505.02	c cleaning 527 clauses out of 1281 for limit 1013.9012669627765
1509.32/1505.06	c cleaning 530 clauses out of 1254 for limit 1708.0600931058866
1509.42/1505.11	c cleaning 496 clauses out of 1224 for limit 2885.8592896474115
1509.42/1505.15	c cleaning 530 clauses out of 1228 for limit 4743.665855977482
1509.52/1505.21	c cleaning 515 clauses out of 1199 for limit 8020.171814786979
1509.52/1505.25	c cleaning 512 clauses out of 1183 for limit 13391.816379520273
1509.52/1505.29	c cleaning 520 clauses out of 1171 for limit 22311.215061889405
1509.62/1505.34	c cleaning 503 clauses out of 1153 for limit 37443.43822802799
1509.62/1505.38	c cleaning 466 clauses out of 1148 for limit 61894.20706433385
1509.72/1505.43	c cleaning 499 clauses out of 1182 for limit 99135.75125139688
1509.72/1505.48	c cleaning 505 clauses out of 1183 for limit 163349.9180568696
1509.82/1505.52	c cleaning 487 clauses out of 1178 for limit 270529.2709488989
1509.82/1505.56	c cleaning 506 clauses out of 1191 for limit 441269.2637914185
1509.92/1505.60	c cleaning 503 clauses out of 1187 for limit 731626.8431160032
1509.92/1505.64	c cleaning 486 clauses out of 1182 for limit 1209232.2941484384
1509.92/1505.68	c cleaning 589 clauses out of 1196 for limit 1970842.508964025
1510.02/1505.72	c cleaning 550 clauses out of 1107 for limit 3511489.4403280634
1510.02/1505.76	c cleaning 481 clauses out of 1057 for limit 6064847.53192968
1510.12/1505.81	c cleaning 421 clauses out of 1078 for limit 9826549.005630113
1510.12/1505.86	c cleaning 469 clauses out of 1156 for limit 1.509674524093462E7
1510.12/1505.90	c cleaning 489 clauses out of 1186 for limit 2.424252469259002E7
1510.22/1505.93	c cleaning 483 clauses out of 1197 for limit 3.961177214825829E7
1510.22/1505.97	c cleaning 554 clauses out of 1215 for limit 6.442175376556664E7
1510.32/1506.02	c cleaning 571 clauses out of 1160 for limit 1.1116605846519454E8
1510.32/1506.06	c cleaning 485 clauses out of 1090 for limit 1.9529633693186802E8
1510.42/1506.11	c cleaning 545 clauses out of 1104 for limit 3.176675820104424E8
1510.42/1506.15	c cleaning 453 clauses out of 1059 for limit 5.461373738022882E8
1510.42/1506.19	c cleaning 490 clauses out of 1108 for limit 8.625474744424037E8
1510.52/1506.23	c cleaning 549 clauses out of 1116 for limit 1.4094362499807343E9
1510.52/1506.27	c cleaning 525 clauses out of 1067 for limit 2.431090349376482E9
1510.62/1506.31	c cleaning 467 clauses out of 1042 for limit 4.1053830678939066E9
1510.62/1506.35	c cleaning 453 clauses out of 1076 for limit 6.562956613252492E9
1510.72/1506.40	c cleaning 463 clauses out of 1122 for limit 1.0369082332060373E10
1510.72/1506.45	c cleaning 571 clauses out of 1159 for limit 1.6554102152207212E10
1510.82/1506.50	c cleaning 531 clauses out of 1088 for limit 2.9081450120296978E10
1510.82/1506.55	c cleaning 466 clauses out of 1057 for limit 4.936576295585466E10
1510.82/1506.59	c cleaning 474 clauses out of 1091 for limit 7.887365695256424E10
1510.92/1506.63	c cleaning 465 clauses out of 1117 for limit 1.2704554531926538E11
1510.92/1506.67	c cleaning 494 clauses out of 1154 for limit 2.0320374917316476E11
1511.02/1506.71	c cleaning 571 clauses out of 1158 for limit 3.332850471427306E11
1511.02/1506.76	c cleaning 458 clauses out of 1088 for limit 5.855795374114482E11
1511.12/1506.81	c cleaning 488 clauses out of 1129 for limit 9.296986941018029E11
1511.12/1506.85	c cleaning 544 clauses out of 1142 for limit 1.5172615693169656E12
1511.12/1506.89	c cleaning 463 clauses out of 1099 for limit 2.6026709698883545E12
1511.22/1506.94	c cleaning 470 clauses out of 1137 for limit 4.152856213006799E12
1511.22/1506.97	c cleaning 477 clauses out of 1164 for limit 6.669706612708818E12
1511.32/1507.01	c cleaning 479 clauses out of 1187 for limit 1.0786110842013846E13
1511.32/1507.05	c cleaning 489 clauses out of 1209 for limit 1.748154030452901E13
1511.42/1507.10	c cleaning 517 clauses out of 1219 for limit 2.8564305303894316E13
1511.42/1507.15	c cleaning 472 clauses out of 1203 for limit 4.778065988359448E13
1511.52/1507.22	c cleaning 501 clauses out of 1232 for limit 7.701892660260458E13
1511.52/1507.27	c cleaning 607 clauses out of 1229 for limit 1.2707003515001448E14
1511.62/1507.33	c cleaning 560 clauses out of 1123 for limit 2.295650001119541E14
1511.62/1507.38	c cleaning 440 clauses out of 1063 for limit 3.9995216700782825E14
1511.72/1507.42	c cleaning 428 clauses out of 1122 for limit 6.242662226171654E14
1511.72/1507.47	c cleaning 517 clauses out of 1194 for limit 9.674182015386614E14
1511.82/1507.52	c cleaning 467 clauses out of 1177 for limit 1.6184452231735408E15
1511.82/1507.55	c cleaning 599 clauses out of 1210 for limit 2.596240884248622E15
1511.82/1507.59	c cleaning 534 clauses out of 1111 for limit 4.6630726640786725E-5
1511.92/1507.63	c cleaning 492 clauses out of 1077 for limit 7.932798550193401E-5
1511.92/1507.67	c cleaning 506 clauses out of 1085 for limit 1.2985787083095283E-4
1512.02/1507.71	c cleaning 510 clauses out of 1079 for limit 2.1534384260130785E-4
1512.02/1507.75	c cleaning 487 clauses out of 1070 for limit 3.5847636253025054E-4
1512.02/1507.79	c cleaning 376 clauses out of 1082 for limit 5.840343841177174E-4
1512.12/1507.83	c cleaning 436 clauses out of 1206 for limit 8.641203965199412E-4
1512.12/1507.88	c cleaning 456 clauses out of 1271 for limit 0.0013535254069071093
1512.22/1507.94	c cleaning 532 clauses out of 1314 for limit 0.002156939545221461
1512.22/1507.99	c cleaning 502 clauses out of 1282 for limit 0.003645870175045368
1512.32/1508.04	c cleaning 496 clauses out of 1282 for limit 0.006024570771407937
1512.32/1508.09	c cleaning 512 clauses out of 1287 for limit 0.009906631016672295
1512.42/1508.14	c cleaning 479 clauses out of 1272 for limit 0.016480476898457868
1512.52/1508.20	c cleaning 474 clauses out of 1293 for limit 0.02673709679050698
1512.52/1508.25	c cleaning 508 clauses out of 1319 for limit 0.043223891520883226
1512.62/1508.31	c cleaning 569 clauses out of 1311 for limit 0.0717169572611199
1512.62/1508.36	c cleaning 500 clauses out of 1244 for limit 0.12489040597261616
1512.72/1508.41	c cleaning 498 clauses out of 1245 for limit 0.20600155803484274
1512.72/1508.45	c cleaning 506 clauses out of 1244 for limit 0.33897824572804
1512.82/1508.51	c cleaning 510 clauses out of 1238 for limit 0.561729782536762
1512.82/1508.55	c cleaning 489 clauses out of 1229 for limit 0.9340854582304182
1512.82/1508.59	c cleaning 527 clauses out of 1239 for limit 1.5264710170747555
1512.92/1508.64	c cleaning 497 clauses out of 1212 for limit 2.573434603491459
1512.92/1508.69	c cleaning 468 clauses out of 1215 for limit 4.233459069995322
1513.02/1508.74	c cleaning 483 clauses out of 1247 for limit 6.802382937738531
1513.02/1508.79	c cleaning 511 clauses out of 1266 for limit 11.07181282250278
1513.12/1508.84	c cleaning 499 clauses out of 1254 for limit 18.415193198723202
1513.22/1508.90	c cleaning 527 clauses out of 1254 for limit 30.33874800804104
1513.22/1508.95	c cleaning 518 clauses out of 1228 for limit 51.143120526378645
1513.22/1508.99	c cleaning 494 clauses out of 1209 for limit 85.58165178277753
1513.32/1509.03	c cleaning 509 clauses out of 1215 for limit 140.43862680847826
1513.32/1509.07	c cleaning 489 clauses out of 1207 for limit 233.3705130382425
1513.42/1509.11	c cleaning 476 clauses out of 1218 for limit 381.3834558856691
1513.42/1509.16	c cleaning 512 clauses out of 1241 for limit 616.6783927027985
1513.52/1509.21	c cleaning 500 clauses out of 1230 for limit 1027.10726389153
1513.52/1509.26	c cleaning 491 clauses out of 1230 for limit 1693.8372821086375
1513.62/1509.30	c cleaning 484 clauses out of 1239 for limit 2773.073494031113
1513.62/1509.35	c cleaning 494 clauses out of 1254 for limit 4513.947720141966
1513.72/1509.41	c cleaning 486 clauses out of 1260 for limit 7408.6555429906375
1513.72/1509.46	c cleaning 465 clauses out of 1274 for limit 12083.601859712717
1513.82/1509.52	c cleaning 510 clauses out of 1309 for limit 19394.65576857995
1513.82/1509.57	c cleaning 529 clauses out of 1299 for limit 32230.60504258732
1513.92/1509.62	c cleaning 498 clauses out of 1270 for limit 54366.299766542805
1513.92/1509.66	c cleaning 523 clauses out of 1272 for limit 89516.33070895096
1514.02/1509.70	c cleaning 500 clauses out of 1249 for limit 150342.8684355887
1514.02/1509.75	c cleaning 480 clauses out of 1249 for limit 247935.50255939824
1514.12/1509.81	c cleaning 513 clauses out of 1269 for limit 402434.7014273312
1514.12/1509.86	c cleaning 487 clauses out of 1256 for limit 670537.8413891338
1514.22/1509.91	c cleaning 468 clauses out of 1269 for limit 1094478.4033634379
1514.22/1509.97	c cleaning 501 clauses out of 1301 for limit 1760546.1295792626
1514.32/1510.02	c cleaning 647 clauses out of 1303 for limit 2907633.822463756
1514.32/1510.06	c cleaning 519 clauses out of 1153 for limit 5402654.212469246
1514.42/1510.10	c cleaning 551 clauses out of 1134 for limit 9058980.230811318
1514.42/1510.16	c cleaning 417 clauses out of 1083 for limit 1.5642991050847668E7
1514.52/1510.20	c cleaning 432 clauses out of 1168 for limit 2.3967918610316876E7
1514.52/1510.25	c cleaning 472 clauses out of 1236 for limit 3.735171784623426E7
1514.62/1510.30	c cleaning 556 clauses out of 1263 for limit 6.0220876978122965E7
1514.62/1510.36	c cleaning 465 clauses out of 1209 for limit 1.0395587445771183E8
1514.72/1510.40	c cleaning 485 clauses out of 1241 for limit 1.6651597591321978E8
1514.72/1510.45	c cleaning 483 clauses out of 1256 for limit 2.71327576754395E8
1514.72/1510.49	c cleaning 481 clauses out of 1273 for limit 4.414800254179218E8
1514.82/1510.54	c cleaning 502 clauses out of 1294 for limit 7.176787657231828E8
1514.82/1510.59	c cleaning 638 clauses out of 1290 for limit 1.1848449620116856E9
1514.92/1510.65	c cleaning 564 clauses out of 1152 for limit 2.188036913215146E9
1514.92/1510.69	c cleaning 412 clauses out of 1089 for limit 3.8209349371673603E9
1515.02/1510.75	c cleaning 567 clauses out of 1176 for limit 5.829235161125623E9
1515.02/1510.80	c cleaning 406 clauses out of 1109 for limit 1.01939673541439E10
1515.12/1510.84	c cleaning 482 clauses out of 1205 for limit 1.5502889382693913E10
1515.12/1510.89	c cleaning 481 clauses out of 1221 for limit 2.518087949388536E10
1515.22/1510.93	c cleaning 468 clauses out of 1241 for limit 4.089829243041377E10
1515.22/1510.98	c cleaning 495 clauses out of 1274 for limit 6.57654699969552E10
1515.32/1511.03	c cleaning 486 clauses out of 1277 for limit 1.0798497258717969E11
1515.32/1511.07	c cleaning 510 clauses out of 1291 for limit 1.7615049355927597E11
1515.42/1511.12	c cleaning 475 clauses out of 1281 for limit 2.927634550913723E11
1515.42/1511.16	c cleaning 492 clauses out of 1306 for limit 4.7356402563693896E11
1515.52/1511.20	c cleaning 506 clauses out of 1315 for limit 7.764017875530605E11
1515.52/1511.25	c cleaning 631 clauses out of 1308 for limit 1.2859554124633896E12
1515.52/1511.29	c cleaning 487 clauses out of 1177 for limit 2.356747629060132E12
1515.62/1511.33	c cleaning 589 clauses out of 1190 for limit 3.8441335509951187E12
1515.62/1511.37	c cleaning 459 clauses out of 1101 for limit 6.85194702692693E12
1515.72/1511.41	c cleaning 536 clauses out of 1142 for limit 1.0894093511566209E13
1515.72/1511.45	c cleaning 348 clauses out of 1108 for limit 1.8554205093877684E13
1515.82/1511.50	c cleaning 457 clauses out of 1258 for limit 2.6896039606146918E13
1515.82/1511.55	c cleaning 637 clauses out of 1301 for limit 4.2889162634215805E13
1515.82/1511.60	c cleaning 578 clauses out of 1166 for limit 7.907718919326184E13
1515.92/1511.64	c cleaning 405 clauses out of 1086 for limit 1.3973551906409464E14
1515.92/1511.68	c cleaning 521 clauses out of 1181 for limit 2.1190569429306666E14
1516.02/1511.73	c cleaning 433 clauses out of 1160 for limit 3.557872843333314E14
1516.02/1511.78	c cleaning 421 clauses out of 1229 for limit 5.5490857938196006E14
1516.12/1511.83	c cleaning 442 clauses out of 1307 for limit 8.596449376032648E14
1516.12/1511.88	c cleaning 598 clauses out of 1365 for limit 1.3574315317791625E15
1516.22/1511.94	c cleaning 610 clauses out of 1266 for limit 2.411227866500562E-5
1516.22/1511.99	c cleaning 548 clauses out of 1157 for limit 4.355409555893825E-5
1516.32/1512.04	c cleaning 513 clauses out of 1109 for limit 7.493534298577997E-5
1516.32/1512.08	c cleaning 520 clauses out of 1095 for limit 1.2503324472665632E-4
1516.42/1512.13	c cleaning 483 clauses out of 1075 for limit 2.1003276203415818E-4
1516.42/1512.17	c cleaning 469 clauses out of 1092 for limit 3.409798822757643E-4
1516.52/1512.22	c cleaning 485 clauses out of 1125 for limit 5.469199720900382E-4
1516.52/1512.27	c cleaning 401 clauses out of 1138 for limit 8.89858404931546E-4
1516.62/1512.30	c cleaning 449 clauses out of 1237 for limit 0.0013500484552582163
1516.62/1512.35	c cleaning 459 clauses out of 1288 for limit 0.002138252949998703
1516.62/1512.40	c cleaning 471 clauses out of 1329 for limit 0.003417478955909629
1516.72/1512.45	c cleaning 512 clauses out of 1358 for limit 0.005515526136979797
1516.72/1512.49	c cleaning 517 clauses out of 1346 for limit 0.009176932642060662
1516.82/1512.53	c cleaning 476 clauses out of 1329 for limit 0.01532757712163936
1516.82/1512.58	c cleaning 491 clauses out of 1353 for limit 0.024828848660650816
1516.92/1512.63	c cleaning 524 clauses out of 1362 for limit 0.04067552408898321
1516.92/1512.67	c cleaning 461 clauses out of 1339 for limit 0.06829990297190847
1517.02/1512.70	c cleaning 466 clauses out of 1378 for limit 0.10944787481903391
1517.02/1512.75	c cleaning 546 clauses out of 1411 for limit 0.17609657621708058
1517.12/1512.80	c cleaning 503 clauses out of 1365 for limit 0.3001934151474129
1517.12/1512.85	c cleaning 492 clauses out of 1362 for limit 0.49614953928256056
1517.22/1512.90	c cleaning 511 clauses out of 1370 for limit 0.8134390546961506
1517.22/1512.96	c cleaning 521 clauses out of 1359 for limit 1.3523279285795715
1517.32/1513.00	c cleaning 497 clauses out of 1340 for limit 2.266321851491311
1517.32/1513.05	c cleaning 456 clauses out of 1341 for limit 3.727215213966754
1517.42/1513.11	c cleaning 523 clauses out of 1385 for limit 5.951403028322505
1800.03/1794.91	c starts		: 22
1800.03/1794.91	c conflicts		: 1088875
1800.03/1794.91	c decisions		: 2552358
1800.03/1794.91	c propagations		: 294427552
1800.03/1794.91	c inspects		: 9794032517
1800.03/1794.91	c learnt literals	: 62
1800.03/1794.91	c learnt binary clauses	: 44159
1800.03/1794.91	c learnt ternary clauses	: 35387
1800.03/1794.91	c learnt clauses	: 1088813
1800.03/1794.91	c root simplifications	: 0
1800.03/1794.91	c removed literals (reason simplification)	: 0
1800.03/1794.91	c reason swapping (by a shorter reason)	: 0
1800.03/1794.91	c Calls to reduceDB	: 281
1800.03/1794.91	c speed (decisions/second)	: 1422.3245596681859
1800.03/1794.91	c non guided choices	63
1800.03/1794.91	s UNKNOWN
1800.03/1794.91	c Total wall clock time (ms): 1794.794

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

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

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


[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/195 19014
/proc/meminfo: memFree=24703008/32873844 swapFree=7628/7628
[pid=19014] ppid=19012 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/19014/stat : 19014 (java) D 19012 19014 16961 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 343358893 9515008 176 33554432000 1073741824 1073778376 140736924897616 140736924880344 251044643728 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/19014/statm: 2323 176 133 9 0 71 0

[startup+0.0109329 s]
/proc/loadavg: 2.02 2.01 2.00 3/195 19014
/proc/meminfo: memFree=24703008/32873844 swapFree=7628/7628
[pid=19014] ppid=19012 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/19014/stat : 19014 (java) R 19012 19014 16961 0 -1 4202496 979 0 0 0 0 0 0 0 20 0 1 0 343358893 23793664 705 33554432000 1073741824 1073778376 140733558872208 140733558862200 251035423568 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/19014/statm: 5809 705 520 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.100266 s]
/proc/loadavg: 2.02 2.01 2.00 3/195 19014
/proc/meminfo: memFree=24703008/32873844 swapFree=7628/7628
[pid=19014] ppid=19012 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/19014/stat : 19014 (java) S 19012 19014 16961 0 -1 4202496 4129 0 1 0 6 1 0 0 20 0 18 0 343358893 3028844544 5846 33554432000 1073741824 1073778376 140733558872208 140733558863344 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19014/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300313 s]
/proc/loadavg: 2.02 2.01 2.00 3/195 19014
/proc/meminfo: memFree=24703008/32873844 swapFree=7628/7628
[pid=19014] ppid=19012 vsize=2957856 CPUtime=0.51 cores=1,3,5,7
/proc/19014/stat : 19014 (java) S 19012 19014 16961 0 -1 4202496 8939 0 1 0 50 1 0 0 20 0 18 0 343358893 3028844544 11102 33554432000 1073741824 1073778376 140733558872208 140733558863344 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19014/statm: 739464 11121 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2957856

[startup+0.700306 s]
/proc/loadavg: 2.02 2.01 2.00 3/195 19014
/proc/meminfo: memFree=24703008/32873844 swapFree=7628/7628
[pid=19014] ppid=19012 vsize=3024420 CPUtime=1.38 cores=1,3,5,7
/proc/19014/stat : 19014 (java) S 19012 19014 16961 0 -1 4202496 11902 0 1 0 136 2 0 0 20 0 19 0 343358893 3097006080 14454 33554432000 1073741824 1073778376 140733558872208 140733558863344 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19014/statm: 756105 14454 2266 9 0 746526 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 3024420

[startup+1.50068 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 19033
/proc/meminfo: memFree=24651520/32873844 swapFree=7628/7628
[pid=19014] ppid=19012 vsize=3024420 CPUtime=2.23 cores=1,3,5,7
/proc/19014/stat : 19014 (java) S 19012 19014 16961 0 -1 4202496 11912 0 1 0 221 2 0 0 20 0 19 0 343358893 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140733558863344 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19014/statm: 756105 15485 2272 9 0 746526 0
[pid=19014/tid=19016] ppid=19012 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/19014/task/19016/stat : 19016 (java) R 19012 19014 16961 0 -1 4202560 3033 0 1 0 144 2 0 0 20 0 19 0 343358894 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020289086024 140020112017760 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19017] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19017/stat : 19017 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020272511272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19018] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19018/stat : 19018 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020271458472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19019] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19019/stat : 19019 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020270406184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19014/tid=19020] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19020/stat : 19020 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020269353384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19021] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19021/stat : 19021 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020268301096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19022] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19022/stat : 19022 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020267248296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19023] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19023/stat : 19023 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020266196008 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19024] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19024/stat : 19024 (java) S 19012 19014 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020265143208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19025] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19025/stat : 19025 (java) S 19012 19014 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343358897 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020252731624 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19026] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19026/stat : 19026 (java) S 19012 19014 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343358897 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020251677688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19027] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19027/stat : 19027 (java) S 19012 19014 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343358897 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020250625288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19028] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19028/stat : 19028 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020249573776 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19029] ppid=19012 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/19014/task/19029/stat : 19029 (java) S 19012 19014 16961 0 -1 4202560 3264 0 0 0 39 0 0 0 20 0 19 0 343358900 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020248521400 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19030] ppid=19012 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/19014/task/19030/stat : 19030 (java) S 19012 19014 16961 0 -1 4202560 4414 0 0 0 35 0 0 0 20 0 19 0 343358900 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020247468600 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19031] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19031/stat : 19031 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020246416504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19032] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19032/stat : 19032 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020245363912 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19033] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19033/stat : 19033 (java) S 19012 19014 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343358935 3097006080 15485 33554432000 1073741824 1073778376 140733558872208 140020243162024 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 3024420

[startup+3.10071 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 19033
/proc/meminfo: memFree=24645004/32873844 swapFree=7628/7628
[pid=19014] ppid=19012 vsize=3024420 CPUtime=3.86 cores=1,3,5,7
/proc/19014/stat : 19014 (java) S 19012 19014 16961 0 -1 4202496 11917 0 1 0 383 3 0 0 20 0 19 0 343358893 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140733558863344 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19014/statm: 756105 17533 2272 9 0 746526 0
[pid=19014/tid=19016] ppid=19012 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/19014/task/19016/stat : 19016 (java) R 19012 19014 16961 0 -1 4202560 3038 0 1 0 304 2 0 0 20 0 19 0 343358894 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020289085864 140020112017900 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19017] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19017/stat : 19017 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020272511272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19018] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19018/stat : 19018 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020271458472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19019] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19019/stat : 19019 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020270406184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19014/tid=19020] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19020/stat : 19020 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020269353384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19021] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19021/stat : 19021 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020268301096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19022] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19022/stat : 19022 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020267248296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19023] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19023/stat : 19023 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020266196008 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19024] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19024/stat : 19024 (java) S 19012 19014 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020265143208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19025] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19025/stat : 19025 (java) S 19012 19014 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343358897 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020252731624 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19026] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19026/stat : 19026 (java) S 19012 19014 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343358897 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020251677688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19027] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19027/stat : 19027 (java) S 19012 19014 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343358897 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020250625288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19028] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19028/stat : 19028 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020249573776 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19029] ppid=19012 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/19014/task/19029/stat : 19029 (java) S 19012 19014 16961 0 -1 4202560 3264 0 0 0 40 0 0 0 20 0 19 0 343358900 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020248521400 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19030] ppid=19012 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/19014/task/19030/stat : 19030 (java) S 19012 19014 16961 0 -1 4202560 4414 0 0 0 36 0 0 0 20 0 19 0 343358900 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020247468600 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19031] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19031/stat : 19031 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020246416504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19032] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19032/stat : 19032 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020245363912 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19033] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19033/stat : 19033 (java) S 19012 19014 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343358935 3097006080 17533 33554432000 1073741824 1073778376 140733558872208 140020243162024 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 3024420

[startup+6.3008 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 19033
/proc/meminfo: memFree=24628124/32873844 swapFree=7628/7628
[pid=19014] ppid=19012 vsize=3024420 CPUtime=7.06 cores=1,3,5,7
/proc/19014/stat : 19014 (java) S 19012 19014 16961 0 -1 4202496 11928 0 1 0 703 3 0 0 20 0 19 0 343358893 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140733558863344 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19014/statm: 756105 22131 2273 9 0 746526 0
[pid=19014/tid=19016] ppid=19012 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/19014/task/19016/stat : 19016 (java) R 19012 19014 16961 0 -1 4202560 3048 0 1 0 622 2 0 0 20 0 19 0 343358894 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020289083936 140020112076013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19017] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19017/stat : 19017 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020272511272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19018] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19018/stat : 19018 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020271458472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19019] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19019/stat : 19019 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020270406184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19014/tid=19020] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19020/stat : 19020 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020269353384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19021] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19021/stat : 19021 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020268301096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19022] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19022/stat : 19022 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020267248296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19023] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19023/stat : 19023 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020266196008 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19024] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19024/stat : 19024 (java) S 19012 19014 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343358896 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020265143208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19025] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19025/stat : 19025 (java) S 19012 19014 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343358897 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020252731624 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19026] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19026/stat : 19026 (java) S 19012 19014 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343358897 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020251677688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19027] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19027/stat : 19027 (java) S 19012 19014 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343358897 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020250625288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19028] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19028/stat : 19028 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020249573776 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19029] ppid=19012 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/19014/task/19029/stat : 19029 (java) S 19012 19014 16961 0 -1 4202560 3264 0 0 0 40 0 0 0 20 0 19 0 343358900 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020248521400 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19030] ppid=19012 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/19014/task/19030/stat : 19030 (java) S 19012 19014 16961 0 -1 4202560 4414 0 0 0 36 0 0 0 20 0 19 0 343358900 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020247468600 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19031] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19031/stat : 19031 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020246416504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19032] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19032/stat : 19032 (java) S 19012 19014 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020245363912 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19033] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19033/stat : 19033 (java) S 19012 19014 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343358935 3097006080 22131 33554432000 1073741824 1073778376 140733558872208 140020243162024 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=19014/tid=19029] ppid=19012 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/19014/task/19029/stat : 19029 (java) S 19012 19014 16961 0 -1 4202560 3276 0 0 0 50 0 0 0 20 0 19 0 343358900 3097006080 421156 33554432000 1073741824 1073778376 140733558872208 140020248521400 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19030] ppid=19012 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/19014/task/19030/stat : 19030 (java) S 19012 19014 16961 0 -1 4202560 4414 0 0 0 37 0 0 0 20 0 19 0 343358900 3097006080 421156 33554432000 1073741824 1073778376 140733558872208 140020247468600 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19031] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19031/stat : 19031 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 421156 33554432000 1073741824 1073778376 140733558872208 140020246416504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19032] ppid=19012 vsize=3024420 CPUtime=1.06 cores=1,3,5,7
/proc/19014/task/19032/stat : 19032 (java) S 19012 19014 16961 0 -1 4202560 100 0 0 0 52 54 0 0 20 0 19 0 343358900 3097006080 421156 33554432000 1073741824 1073778376 140733558872208 140020245363912 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19033] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19033/stat : 19033 (java) S 19012 19014 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343358935 3097006080 421156 33554432000 1073741824 1073778376 140733558872208 140020243162024 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.83
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/214 19108
/proc/meminfo: memFree=23208296/32873844 swapFree=7628/7628
[pid=19014] ppid=19012 vsize=3024420 CPUtime=1787.42 cores=1,3,5,7
/proc/19014/stat : 19014 (java) S 19012 19014 16961 0 -1 4202496 14248 0 1 0 178481 261 0 0 20 0 19 0 343358893 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140733558863344 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19014/statm: 756105 421157 2302 9 0 746526 0
[pid=19014/tid=19016] ppid=19012 vsize=3024420 CPUtime=1775.6 cores=1,3,5,7
/proc/19014/task/19016/stat : 19016 (java) R 19012 19014 16961 0 -1 4202560 3233 0 1 0 177525 35 0 0 20 0 19 0 343358894 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020289084720 140020112017803 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19017] ppid=19012 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/19014/task/19017/stat : 19017 (java) S 19012 19014 16961 0 -1 4202560 259 0 0 0 21 20 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020272511272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19018] ppid=19012 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/19014/task/19018/stat : 19018 (java) S 19012 19014 16961 0 -1 4202560 187 0 0 0 22 14 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020271458472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19019] ppid=19012 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/19014/task/19019/stat : 19019 (java) S 19012 19014 16961 0 -1 4202560 182 0 0 0 19 14 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020270406184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19020] ppid=19012 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/19014/task/19020/stat : 19020 (java) S 19012 19014 16961 0 -1 4202560 338 0 0 0 29 26 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020269353384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19021] ppid=19012 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/19014/task/19021/stat : 19021 (java) S 19012 19014 16961 0 -1 4202560 281 0 0 0 20 21 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020268301096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19022] ppid=19012 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/19014/task/19022/stat : 19022 (java) S 19012 19014 16961 0 -1 4202560 256 0 0 0 25 20 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020267248296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19023] ppid=19012 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/19014/task/19023/stat : 19023 (java) S 19012 19014 16961 0 -1 4202560 181 0 0 0 26 15 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020266196008 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19014/tid=19024] ppid=19012 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/19014/task/19024/stat : 19024 (java) S 19012 19014 16961 0 -1 4202560 154 0 0 0 12 12 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020265143208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19025] ppid=19012 vsize=3024420 CPUtime=1.31 cores=1,3,5,7
/proc/19014/task/19025/stat : 19025 (java) S 19012 19014 16961 0 -1 4202560 196 0 0 0 123 8 0 0 20 0 19 0 343358897 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020252731624 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19026] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19026/stat : 19026 (java) S 19012 19014 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343358897 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020251677688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19027] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19027/stat : 19027 (java) S 19012 19014 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343358897 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020250625288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19028] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19028/stat : 19028 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020249573776 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19029] ppid=19012 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/19014/task/19029/stat : 19029 (java) S 19012 19014 16961 0 -1 4202560 3276 0 0 0 50 0 0 0 20 0 19 0 343358900 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020248521400 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19030] ppid=19012 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/19014/task/19030/stat : 19030 (java) S 19012 19014 16961 0 -1 4202560 4414 0 0 0 37 0 0 0 20 0 19 0 343358900 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020247468600 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19031] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19031/stat : 19031 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020246416504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19032] ppid=19012 vsize=3024420 CPUtime=1.1 cores=1,3,5,7
/proc/19014/task/19032/stat : 19032 (java) S 19012 19014 16961 0 -1 4202560 104 0 0 0 54 56 0 0 20 0 19 0 343358900 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020245363912 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19033] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19033/stat : 19033 (java) S 19012 19014 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343358935 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020243162024 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.42
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.9 s]
/proc/loadavg: 2.04 2.02 2.00 3/214 19108
/proc/meminfo: memFree=23208544/32873844 swapFree=7628/7628
[pid=19014] ppid=19012 vsize=3024420 CPUtime=1800.03 cores=1,3,5,7
/proc/19014/stat : 19014 (java) S 19012 19014 16961 0 -1 4202496 14248 0 1 0 179742 261 0 0 20 0 19 0 343358893 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140733558863344 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19014/statm: 756105 421157 2302 9 0 746526 0
[pid=19014/tid=19016] ppid=19012 vsize=3024420 CPUtime=1788.18 cores=1,3,5,7
/proc/19014/task/19016/stat : 19016 (java) R 19012 19014 16961 0 -1 4202560 3233 0 1 0 178782 36 0 0 20 0 19 0 343358894 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020289084720 140020112017801 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19017] ppid=19012 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/19014/task/19017/stat : 19017 (java) S 19012 19014 16961 0 -1 4202560 259 0 0 0 21 20 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020272511272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19018] ppid=19012 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/19014/task/19018/stat : 19018 (java) S 19012 19014 16961 0 -1 4202560 187 0 0 0 22 14 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020271458472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19019] ppid=19012 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/19014/task/19019/stat : 19019 (java) S 19012 19014 16961 0 -1 4202560 182 0 0 0 19 14 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020270406184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19020] ppid=19012 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/19014/task/19020/stat : 19020 (java) S 19012 19014 16961 0 -1 4202560 338 0 0 0 29 26 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020269353384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19021] ppid=19012 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/19014/task/19021/stat : 19021 (java) S 19012 19014 16961 0 -1 4202560 281 0 0 0 20 21 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020268301096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19022] ppid=19012 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/19014/task/19022/stat : 19022 (java) S 19012 19014 16961 0 -1 4202560 256 0 0 0 25 20 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020267248296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19023] ppid=19012 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/19014/task/19023/stat : 19023 (java) S 19012 19014 16961 0 -1 4202560 181 0 0 0 26 15 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020266196008 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19014/tid=19024] ppid=19012 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/19014/task/19024/stat : 19024 (java) S 19012 19014 16961 0 -1 4202560 154 0 0 0 12 12 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020265143208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19025] ppid=19012 vsize=3024420 CPUtime=1.31 cores=1,3,5,7
/proc/19014/task/19025/stat : 19025 (java) S 19012 19014 16961 0 -1 4202560 196 0 0 0 123 8 0 0 20 0 19 0 343358897 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020252731624 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19026] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19026/stat : 19026 (java) S 19012 19014 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343358897 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020251677688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19027] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19027/stat : 19027 (java) S 19012 19014 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343358897 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020250625288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19028] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19028/stat : 19028 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020249573776 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19029] ppid=19012 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/19014/task/19029/stat : 19029 (java) S 19012 19014 16961 0 -1 4202560 3276 0 0 0 50 0 0 0 20 0 19 0 343358900 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020248521400 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19030] ppid=19012 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/19014/task/19030/stat : 19030 (java) S 19012 19014 16961 0 -1 4202560 4414 0 0 0 37 0 0 0 20 0 19 0 343358900 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020247468600 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19031] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19031/stat : 19031 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020246416504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19032] ppid=19012 vsize=3024420 CPUtime=1.11 cores=1,3,5,7
/proc/19014/task/19032/stat : 19032 (java) S 19012 19014 16961 0 -1 4202560 104 0 0 0 55 56 0 0 20 0 19 0 343358900 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020245363912 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19033] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19033/stat : 19033 (java) S 19012 19014 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343358935 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020243162024 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1794.9 s]
/proc/loadavg: 2.04 2.02 2.00 3/214 19108
/proc/meminfo: memFree=23208544/32873844 swapFree=7628/7628
[pid=19014] ppid=19012 vsize=3024420 CPUtime=1800.03 cores=1,3,5,7
/proc/19014/stat : 19014 (java) S 19012 19014 16961 0 -1 4202496 14248 0 1 0 179742 261 0 0 20 0 19 0 343358893 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140733558863344 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19014/statm: 756105 421157 2302 9 0 746526 0
[pid=19014/tid=19016] ppid=19012 vsize=3024420 CPUtime=1788.18 cores=1,3,5,7
/proc/19014/task/19016/stat : 19016 (java) R 19012 19014 16961 0 -1 4202560 3233 0 1 0 178782 36 0 0 20 0 19 0 343358894 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020289084720 140020112017801 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19017] ppid=19012 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/19014/task/19017/stat : 19017 (java) S 19012 19014 16961 0 -1 4202560 259 0 0 0 21 20 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020272511272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19018] ppid=19012 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/19014/task/19018/stat : 19018 (java) S 19012 19014 16961 0 -1 4202560 187 0 0 0 22 14 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020271458472 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19019] ppid=19012 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/19014/task/19019/stat : 19019 (java) S 19012 19014 16961 0 -1 4202560 182 0 0 0 19 14 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020270406184 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19020] ppid=19012 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/19014/task/19020/stat : 19020 (java) S 19012 19014 16961 0 -1 4202560 338 0 0 0 29 26 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020269353384 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19021] ppid=19012 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/19014/task/19021/stat : 19021 (java) S 19012 19014 16961 0 -1 4202560 281 0 0 0 20 21 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020268301096 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19022] ppid=19012 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/19014/task/19022/stat : 19022 (java) S 19012 19014 16961 0 -1 4202560 256 0 0 0 25 20 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020267248296 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19023] ppid=19012 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/19014/task/19023/stat : 19023 (java) S 19012 19014 16961 0 -1 4202560 181 0 0 0 26 15 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020266196008 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19014/tid=19024] ppid=19012 vsize=3024420 CPUtime=0.24 cores=1,3,5,7
/proc/19014/task/19024/stat : 19024 (java) S 19012 19014 16961 0 -1 4202560 154 0 0 0 12 12 0 0 20 0 19 0 343358896 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020265143208 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19025] ppid=19012 vsize=3024420 CPUtime=1.31 cores=1,3,5,7
/proc/19014/task/19025/stat : 19025 (java) S 19012 19014 16961 0 -1 4202560 196 0 0 0 123 8 0 0 20 0 19 0 343358897 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020252731624 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19026] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19026/stat : 19026 (java) S 19012 19014 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343358897 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020251677688 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19027] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19027/stat : 19027 (java) S 19012 19014 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343358897 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020250625288 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19028] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19028/stat : 19028 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020249573776 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19029] ppid=19012 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/19014/task/19029/stat : 19029 (java) S 19012 19014 16961 0 -1 4202560 3276 0 0 0 50 0 0 0 20 0 19 0 343358900 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020248521400 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19014/tid=19030] ppid=19012 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/19014/task/19030/stat : 19030 (java) S 19012 19014 16961 0 -1 4202560 4414 0 0 0 37 0 0 0 20 0 19 0 343358900 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020247468600 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19031] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19031/stat : 19031 (java) S 19012 19014 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343358900 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020246416504 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19014/tid=19032] ppid=19012 vsize=3024420 CPUtime=1.11 cores=1,3,5,7
/proc/19014/task/19032/stat : 19032 (java) S 19012 19014 16961 0 -1 4202560 104 0 0 0 55 56 0 0 20 0 19 0 343358900 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020245363912 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19014/tid=19033] ppid=19012 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/19014/task/19033/stat : 19033 (java) S 19012 19014 16961 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343358935 3097006080 421157 33554432000 1073741824 1073778376 140733558872208 140020243162024 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420

Child status: 143

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

Real time (s): 1794.92
CPU time (s): 1800.03
CPU user time (s): 1797.42
CPU system time (s): 2.61
CPU usage (%): 100.284
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.35
system time used= 2.56061
maximum resident set size= 1684744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14280
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= 37932
involuntary context switches= 3430

runsolver used 7.16091 second user time and 15.9836 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-04 03:12:25
IDJOB=3742764
IDBENCH=90229
IDSOLVER=2319
FILE ID=node143/3742764-1338772345
RUNJOBID= node143-1338750755-16978
PBS_JOBID= 14636808
Free space on /tmp= 68464 MiB

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

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

MD5SUM BENCH= 506a6fce450974b6f48fc0e3b77d8777
RANDOM SEED=1332472593

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24703272 kB
Buffers:         2380108 kB
Cached:          3977380 kB
SwapCached:          188 kB
Active:          5005556 kB
Inactive:        2191544 kB
Active(anon):     827428 kB
Inactive(anon):    10988 kB
Active(file):    4178128 kB
Inactive(file):  2180556 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              3540 kB
Writeback:             0 kB
AnonPages:        850996 kB
Mapped:            18728 kB
Shmem:               160 kB
Slab:             822288 kB
SReclaimable:     263840 kB
SUnreclaim:       558448 kB
KernelStack:        1608 kB
PageTables:         5908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1827876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    811008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 68460 MiB
End job on node143 at 2012-06-04 03:42:22