Trace number 3742413

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.04 1796.43

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K177.opb
MD5SUM8e674dc671e8e6c3e0a48d5fff5f7edd
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 variables21063
Total number of constraints21419
Number of constraints which are clauses21242
Number of constraints which are cardinality constraints (but not clauses)177
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint177
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 178
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.04/0.09	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.04/0.09	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.04/0.09	c no version file found!!!
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version	1.6.0_24
0.04/0.09	c os.name	Linux
0.04/0.09	c os.version	2.6.32-71.29.1.el6.x86_64
0.04/0.09	c os.arch	amd64
0.04/0.09	c Free memory 1599470296
0.04/0.09	c Max memory 1607860224
0.04/0.09	c Total memory 1607860224
0.04/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-3742413-1338768043.opb
0.07/0.12	c reading problem ... 
1.17/0.65	c ... done. Wall clock time 0.532s.
1.17/0.65	c CPU time (experimental) 0.61s.
1.17/0.65	c #vars     21063
1.17/0.65	c #constraints  21417
1070.75/1067.81	c cleaning 307968 clauses out of 616945 for limit 201.1491121937716
1071.76/1068.80	c cleaning 154535 clauses out of 309477 for limit 661.2901862599946
1072.87/1069.96	c cleaning 77421 clauses out of 155445 for limit 2177.725422578613
1073.57/1070.67	c cleaning 38594 clauses out of 78521 for limit 7088.370476868138
1074.07/1071.13	c cleaning 19297 clauses out of 40427 for limit 22704.743632964324
1074.38/1071.42	c cleaning 10230 clauses out of 21631 for limit 70048.99655542117
1074.57/1071.61	c cleaning 5471 clauses out of 11900 for limit 209774.61350161544
1074.77/1071.81	c cleaning 2910 clauses out of 6929 for limit 594135.1089100417
1074.97/1072.09	c cleaning 1824 clauses out of 4519 for limit 1502343.7814389535
1075.37/1072.40	c cleaning 1208 clauses out of 3195 for limit 3504262.9707676126
1075.67/1072.70	c cleaning 992 clauses out of 2489 for limit 7433058.759234821
1075.87/1072.99	c cleaning 870 clauses out of 1995 for limit 1.5262877761129383E7
1076.17/1073.21	c cleaning 673 clauses out of 1625 for limit 3.0901662696875114E7
1076.37/1073.42	c cleaning 659 clauses out of 1452 for limit 5.70327724336349E7
1076.68/1073.74	c cleaning 601 clauses out of 1293 for limit 1.0562055912347077E8
1076.97/1074.01	c cleaning 534 clauses out of 1192 for limit 1.8894117796699294E8
1077.17/1074.30	c cleaning 509 clauses out of 1158 for limit 3.20737841149269E8
1077.47/1074.52	c cleaning 461 clauses out of 1149 for limit 5.330827376814952E8
1077.68/1074.79	c cleaning 549 clauses out of 1188 for limit 8.502645930690483E8
1077.97/1075.01	c cleaning 537 clauses out of 1139 for limit 1.4625229777662356E9
1078.17/1075.23	c cleaning 515 clauses out of 1102 for limit 2.4928762188379097E9
1078.37/1075.40	c cleaning 499 clauses out of 1087 for limit 4.1678170986360826E9
1078.47/1075.54	c cleaning 453 clauses out of 1088 for limit 6.866970595993289E9
1078.67/1075.75	c cleaning 447 clauses out of 1135 for limit 1.0855606905494448E10
1078.88/1075.94	c cleaning 490 clauses out of 1188 for limit 1.7103674248777048E10
1079.07/1076.18	c cleaning 465 clauses out of 1198 for limit 2.797080245968991E10
1079.37/1076.41	c cleaning 486 clauses out of 1233 for limit 4.481821488840097E10
1079.57/1076.60	c cleaning 482 clauses out of 1247 for limit 7.30814347122706E10
1079.77/1076.86	c cleaning 511 clauses out of 1265 for limit 1.1880613829047302E11
1079.98/1077.08	c cleaning 613 clauses out of 1255 for limit 1.9768607474957492E11
1080.07/1077.19	c cleaning 496 clauses out of 1141 for limit 3.5822470589236945E11
1080.27/1077.39	c cleaning 490 clauses out of 1145 for limit 5.886966704517104E11
1080.57/1077.60	c cleaning 471 clauses out of 1155 for limit 9.62434026655766E11
1080.77/1077.81	c cleaning 464 clauses out of 1184 for limit 1.548307215960943E12
1080.87/1077.99	c cleaning 473 clauses out of 1220 for limit 2.4780205097513687E12
1081.08/1078.19	c cleaning 498 clauses out of 1247 for limit 3.9981046796826055E12
1081.27/1078.39	c cleaning 473 clauses out of 1249 for limit 6.582851572192639E12
1081.57/1078.61	c cleaning 472 clauses out of 1276 for limit 1.0626291220972973E13
1081.77/1078.84	c cleaning 473 clauses out of 1304 for limit 1.7147889800116592E13
1081.97/1079.06	c cleaning 478 clauses out of 1331 for limit 2.770550730758757E13
1082.18/1079.28	c cleaning 501 clauses out of 1353 for limit 4.494715966769947E13
1082.47/1079.54	c cleaning 492 clauses out of 1352 for limit 7.417870456993052E13
1082.57/1079.67	c cleaning 476 clauses out of 1360 for limit 1.2161101547781403E14
1082.67/1079.78	c cleaning 514 clauses out of 1384 for limit 1.9707503855546734E14
1082.87/1079.94	c cleaning 496 clauses out of 1371 for limit 3.284132376592857E14
1082.97/1080.07	c cleaning 529 clauses out of 1377 for limit 5.40317556667992E14
1083.17/1080.27	c cleaning 497 clauses out of 1345 for limit 9.095217456259156E14
1083.37/1080.46	c cleaning 512 clauses out of 1348 for limit 1.4965849245410555E15
1083.57/1080.62	c cleaning 468 clauses out of 1336 for limit 2.4902370323041975E15
1083.77/1080.87	c cleaning 531 clauses out of 1370 for limit 4.0128367187303515E15
1083.97/1081.06	c cleaning 639 clauses out of 1337 for limit 6.767488276767362E-5
1084.07/1081.17	c cleaning 569 clauses out of 1199 for limit 1.2457478177557626E-4
1084.27/1081.33	c cleaning 503 clauses out of 1129 for limit 2.1795997603219806E-4
1084.37/1081.50	c cleaning 497 clauses out of 1126 for limit 3.604028278025944E-4
1084.57/1081.65	c cleaning 463 clauses out of 1129 for limit 5.927731523120921E-4
1084.77/1081.81	c cleaning 418 clauses out of 1166 for limit 9.465418141852465E-4
1084.87/1082.00	c cleaning 431 clauses out of 1252 for limit 0.0014595801877861703
1085.07/1082.13	c cleaning 455 clauses out of 1317 for limit 0.0022791051027711744
1085.17/1082.20	c cleaning 465 clauses out of 1362 for limit 0.003634368066472135
1085.17/1082.30	c cleaning 481 clauses out of 1398 for limit 0.005845063623619388
1085.37/1082.40	c cleaning 463 clauses out of 1416 for limit 0.00950724172446251
1085.47/1082.52	c cleaning 489 clauses out of 1457 for limit 0.015298616985125356
1085.57/1082.63	c cleaning 513 clauses out of 1465 for limit 0.025016494360149147
1085.67/1082.74	c cleaning 503 clauses out of 1451 for limit 0.041611947133455646
1085.87/1082.91	c cleaning 541 clauses out of 1448 for limit 0.06876584367660635
1085.97/1083.08	c cleaning 504 clauses out of 1408 for limit 0.11674252476931611
1086.17/1083.22	c cleaning 505 clauses out of 1403 for limit 0.1930169463362094
1086.39/1083.44	c cleaning 500 clauses out of 1398 for limit 0.31944921637517887
1086.59/1083.63	c cleaning 477 clauses out of 1398 for limit 0.5268144929542741
1086.79/1083.83	c cleaning 479 clauses out of 1421 for limit 0.8547255662627106
1086.89/1083.92	c cleaning 514 clauses out of 1442 for limit 1.3890292756664082
1087.09/1084.16	c cleaning 499 clauses out of 1428 for limit 2.3131528916505024
1087.28/1084.30	c cleaning 497 clauses out of 1429 for limit 3.812029078239252
1087.38/1084.47	c cleaning 494 clauses out of 1432 for limit 6.273375776054696
1087.59/1084.67	c cleaning 492 clauses out of 1438 for limit 10.302469121847375
1087.78/1084.83	c cleaning 485 clauses out of 1446 for limit 16.896151758951042
1087.88/1084.99	c cleaning 481 clauses out of 1462 for limit 27.586659901152096
1088.08/1085.10	c cleaning 481 clauses out of 1480 for limit 44.89584533593162
1088.18/1085.22	c cleaning 476 clauses out of 1499 for limit 73.10079881666297
1088.28/1085.39	c cleaning 521 clauses out of 1523 for limit 118.65327757805612
1088.48/1085.52	c cleaning 513 clauses out of 1502 for limit 198.4109319292591
1088.58/1085.68	c cleaning 552 clauses out of 1489 for limit 330.0629058937583
1088.79/1085.85	c cleaning 521 clauses out of 1437 for limit 564.0148458672945
1088.98/1086.04	c cleaning 517 clauses out of 1418 for limit 944.4869972673189
1089.18/1086.29	c cleaning 501 clauses out of 1399 for limit 1575.5832790522986
1089.48/1086.51	c cleaning 502 clauses out of 1398 for limit 2600.2062226604976
1089.58/1086.67	c cleaning 498 clauses out of 1396 for limit 4294.23130295432
1089.79/1086.81	c cleaning 491 clauses out of 1398 for limit 7071.630614605514
1089.89/1086.99	c cleaning 520 clauses out of 1407 for limit 11587.467479179571
1090.08/1087.16	c cleaning 494 clauses out of 1388 for limit 19390.25669162277
1090.28/1087.30	c cleaning 482 clauses out of 1395 for limit 31848.517080568563
1090.38/1087.49	c cleaning 490 clauses out of 1411 for limit 51823.08622411106
1090.58/1087.65	c cleaning 514 clauses out of 1421 for limit 84861.77195937703
1090.78/1087.83	c cleaning 483 clauses out of 1407 for limit 141340.93610372723
1090.99/1088.01	c cleaning 498 clauses out of 1424 for limit 230307.43498966613
1091.08/1088.17	c cleaning 484 clauses out of 1426 for limit 379275.08055551816
1091.28/1088.34	c cleaning 654 clauses out of 1442 for limit 618535.2592878451
1091.38/1088.45	c cleaning 554 clauses out of 1289 for limit 1142265.8768558437
1091.58/1088.66	c cleaning 553 clauses out of 1233 for limit 1967335.4568310352
1091.89/1088.92	c cleaning 524 clauses out of 1181 for limit 3390642.465637011
1092.09/1089.15	c cleaning 524 clauses out of 1156 for limit 5706836.572075828
1092.29/1089.34	c cleaning 502 clauses out of 1132 for limit 9610870.59996505
1092.59/1089.62	c cleaning 535 clauses out of 1130 for limit 1.5877663748057691E7
1092.89/1089.90	c cleaning 461 clauses out of 1098 for limit 2.702851130960773E7
1093.09/1090.16	c cleaning 476 clauses out of 1134 for limit 4.302924870309296E7
1093.29/1090.39	c cleaning 487 clauses out of 1158 for limit 6.949029342065775E7
1093.59/1090.70	c cleaning 474 clauses out of 1171 for limit 1.1332655758406372E8
1093.88/1090.92	c cleaning 510 clauses out of 1197 for limit 1.8283120789287642E8
1094.08/1091.17	c cleaning 556 clauses out of 1187 for limit 3.0405324792123306E8
1094.38/1091.41	c cleaning 503 clauses out of 1130 for limit 5.2671757464433175E8
1094.48/1091.58	c cleaning 475 clauses out of 1127 for limit 8.709399736234765E8
1094.78/1091.80	c cleaning 497 clauses out of 1152 for limit 1.4051268992396948E9
1094.98/1092.03	c cleaning 490 clauses out of 1156 for limit 2.31153562777876E9
1095.18/1092.21	c cleaning 501 clauses out of 1165 for limit 3.7787997293528976E9
1095.48/1092.51	c cleaning 484 clauses out of 1164 for limit 6.237100006397693E9
1095.68/1092.76	c cleaning 467 clauses out of 1180 for limit 1.014634365357465E10
1095.88/1092.99	c cleaning 499 clauses out of 1213 for limit 1.6277460911138641E10
1096.08/1093.12	c cleaning 500 clauses out of 1214 for limit 2.682159881425472E10
1096.28/1093.37	c cleaning 515 clauses out of 1214 for limit 4.4232404574001175E10
1096.49/1093.54	c cleaning 504 clauses out of 1200 for limit 7.387004927557957E10
1096.68/1093.73	c cleaning 481 clauses out of 1195 for limit 1.2220897588660426E11
1096.88/1093.99	c cleaning 502 clauses out of 1214 for limit 1.9838471608176987E11
1097.18/1094.23	c cleaning 482 clauses out of 1214 for limit 3.278182449229477E11
1097.28/1094.34	c cleaning 480 clauses out of 1230 for limit 5.3251710164960394E11
1097.59/1094.62	c cleaning 509 clauses out of 1250 for limit 8.641408684518043E11
1097.88/1094.93	c cleaning 587 clauses out of 1241 for limit 1.4354189109329077E12
1098.08/1095.16	c cleaning 525 clauses out of 1154 for limit 2.545660730930802E12
1098.38/1095.45	c cleaning 527 clauses out of 1129 for limit 4.2910964594785464E12
1098.78/1095.80	c cleaning 519 clauses out of 1101 for limit 7.256559942814022E12
1098.98/1096.05	c cleaning 454 clauses out of 1083 for limit 1.217811436563517E13
1099.28/1096.31	c cleaning 481 clauses out of 1128 for limit 1.926286054083002E13
1099.58/1096.64	c cleaning 525 clauses out of 1147 for limit 3.124081457674212E13
1099.88/1096.96	c cleaning 469 clauses out of 1122 for limit 5.266823894344306E13
1100.08/1097.18	c cleaning 491 clauses out of 1153 for limit 8.452170200713664E13
1100.38/1097.43	c cleaning 481 clauses out of 1162 for limit 1.3830799962138438E14
1100.68/1097.73	c cleaning 541 clauses out of 1181 for limit 2.24418893902472E14
1100.89/1097.97	c cleaning 467 clauses out of 1140 for limit 3.83407276433451E14
1101.18/1098.26	c cleaning 501 clauses out of 1173 for limit 6.145016835184E14
1101.58/1098.60	c cleaning 474 clauses out of 1172 for limit 1.0142601545998831E15
1101.78/1098.84	c cleaning 508 clauses out of 1198 for limit 1.6363494133814222E15
1102.08/1099.13	c cleaning 504 clauses out of 1191 for limit 2.717136775154464E15
1102.38/1099.40	c cleaning 483 clauses out of 1186 for limit 4.4953131236845145E15
1102.68/1099.71	c cleaning 502 clauses out of 1203 for limit 7.308611835277771E15
1102.99/1100.08	c cleaning 513 clauses out of 1203 for limit 1.2077020609169802E16
1103.28/1100.37	c cleaning 568 clauses out of 1188 for limit 2.0127779105095004E-4
1103.58/1100.60	c cleaning 524 clauses out of 1120 for limit 3.520871398554943E-4
1103.78/1100.89	c cleaning 530 clauses out of 1096 for limit 5.933535131352147E-4
1104.09/1101.12	c cleaning 435 clauses out of 1067 for limit 0.0010061206242304424
1104.19/1101.29	c cleaning 393 clauses out of 1133 for limit 0.001564137613916959
1104.38/1101.48	c cleaning 467 clauses out of 1238 for limit 0.0023559772289202512
1104.68/1101.72	c cleaning 516 clauses out of 1271 for limit 0.003784443882632365
1104.88/1101.95	c cleaning 518 clauses out of 1256 for limit 0.006321911030731884
1105.08/1102.19	c cleaning 505 clauses out of 1237 for limit 0.010575226909083892
1105.38/1102.43	c cleaning 498 clauses out of 1232 for limit 0.017510742975900835
1105.58/1102.67	c cleaning 493 clauses out of 1234 for limit 0.028830754539592083
1105.88/1102.91	c cleaning 496 clauses out of 1241 for limit 0.04727758387839355
1106.18/1103.24	c cleaning 495 clauses out of 1245 for limit 0.07771656391757761
1106.48/1103.51	c cleaning 500 clauses out of 1250 for limit 0.12765235059345717
1106.68/1103.76	c cleaning 510 clauses out of 1252 for limit 0.2106005063412425
1106.88/1103.97	c cleaning 500 clauses out of 1240 for limit 0.34996846945782273
1107.18/1104.22	c cleaning 508 clauses out of 1240 for limit 0.5771448240801872
1107.49/1104.50	c cleaning 515 clauses out of 1232 for limit 0.9579694721690125
1107.68/1104.71	c cleaning 488 clauses out of 1217 for limit 1.599291710293283
1107.88/1104.97	c cleaning 474 clauses out of 1229 for limit 2.611693862720797
1108.18/1105.28	c cleaning 477 clauses out of 1255 for limit 4.2178032058522525
1108.49/1105.57	c cleaning 520 clauses out of 1282 for limit 6.83653351682008
1108.78/1105.84	c cleaning 519 clauses out of 1258 for limit 11.443560534501142
1109.08/1106.13	c cleaning 478 clauses out of 1239 for limit 19.16136276402192
1109.38/1106.42	c cleaning 517 clauses out of 1261 for limit 31.0483481703034
1109.59/1106.62	c cleaning 498 clauses out of 1244 for limit 51.90259751603257
1109.69/1106.76	c cleaning 521 clauses out of 1246 for limit 85.45693613664369
1109.78/1106.89	c cleaning 488 clauses out of 1225 for limit 143.3458613979462
1109.98/1107.00	c cleaning 468 clauses out of 1237 for limit 234.10324562776958
1110.08/1107.12	c cleaning 452 clauses out of 1269 for limit 376.33221738184545
1110.18/1107.23	c cleaning 486 clauses out of 1318 for limit 598.1471117262428
1110.38/1107.42	c cleaning 574 clauses out of 1330 for limit 976.5470097588858
1110.58/1107.68	c cleaning 534 clauses out of 1256 for limit 1705.3402521932994
1110.79/1107.88	c cleaning 520 clauses out of 1222 for limit 2890.5824636075577
1110.98/1108.07	c cleaning 515 clauses out of 1202 for limit 4846.27426883557
1111.28/1108.33	c cleaning 515 clauses out of 1187 for limit 8093.150648629881
1111.58/1108.60	c cleaning 489 clauses out of 1172 for limit 13517.507488884388
1111.79/1108.88	c cleaning 484 clauses out of 1183 for limit 22084.89673497255
1111.98/1109.09	c cleaning 478 clauses out of 1199 for limit 35934.931510130744
1112.38/1109.41	c cleaning 495 clauses out of 1221 for limit 58193.73440610591
1112.58/1109.63	c cleaning 506 clauses out of 1226 for limit 95577.86132067798
1112.78/1109.90	c cleaning 469 clauses out of 1220 for limit 158395.86316498104
1113.08/1110.18	c cleaning 500 clauses out of 1251 for limit 254742.9905498027
1113.38/1110.44	c cleaning 519 clauses out of 1251 for limit 420105.27032420464
1113.68/1110.70	c cleaning 507 clauses out of 1232 for limit 703494.358031008
1113.88/1110.96	c cleaning 511 clauses out of 1225 for limit 1166785.772802821
1114.18/1111.28	c cleaning 445 clauses out of 1215 for limit 1941964.7142788684
1114.38/1111.46	c cleaning 502 clauses out of 1269 for limit 3063214.1926266113
1114.68/1111.71	c cleaning 508 clauses out of 1267 for limit 5059624.1840960365
1114.88/1111.93	c cleaning 496 clauses out of 1261 for limit 8400491.536930427
1115.09/1112.14	c cleaning 511 clauses out of 1263 for limit 1.3803947475076726E7
1115.19/1112.29	c cleaning 485 clauses out of 1253 for limit 2.2969205666489936E7
1115.38/1112.48	c cleaning 499 clauses out of 1269 for limit 3.743913654827458E7
1115.58/1112.63	c cleaning 614 clauses out of 1271 for limit 6.170669615860576E7
1115.88/1112.90	c cleaning 550 clauses out of 1155 for limit 1.117590558693983E8
1116.08/1113.15	c cleaning 516 clauses out of 1104 for limit 1.9262693319608748E8
1116.38/1113.41	c cleaning 513 clauses out of 1087 for limit 3.226357042681956E8
1116.58/1113.67	c cleaning 482 clauses out of 1074 for limit 5.385097568497425E8
1116.88/1113.92	c cleaning 449 clauses out of 1094 for limit 8.735855591244829E8
1116.98/1114.08	c cleaning 553 clauses out of 1143 for limit 1.3761424802961519E9
1117.29/1114.36	c cleaning 509 clauses out of 1088 for limit 2.3841667305006523E9
1117.58/1114.61	c cleaning 504 clauses out of 1079 for limit 3.964605335259921E9
1117.78/1114.89	c cleaning 477 clauses out of 1075 for limit 6.562492627482631E9
1118.08/1115.16	c cleaning 512 clauses out of 1098 for limit 1.0595728940411427E10
1118.39/1115.44	c cleaning 495 clauses out of 1086 for limit 1.766685487514566E10
1118.68/1115.74	c cleaning 501 clauses out of 1091 for limit 2.900148279640986E10
1118.88/1115.98	c cleaning 464 clauses out of 1092 for limit 4.7879237559561455E10
1119.18/1116.30	c cleaning 538 clauses out of 1128 for limit 7.64392912702418E10
1119.49/1116.59	c cleaning 456 clauses out of 1088 for limit 1.3043186959707675E11
1119.78/1116.89	c cleaning 484 clauses out of 1132 for limit 2.0673883992037723E11
1120.08/1117.15	c cleaning 474 clauses out of 1147 for limit 3.3648132919902545E11
1120.38/1117.43	c cleaning 484 clauses out of 1173 for limit 5.4260309136142554E11
1120.59/1117.60	c cleaning 475 clauses out of 1189 for limit 8.82783705332999E11
1120.78/1117.83	c cleaning 591 clauses out of 1215 for limit 1.4261009976625317E12
1120.98/1118.04	c cleaning 524 clauses out of 1123 for limit 2.5419568882020347E12
1121.18/1118.28	c cleaning 508 clauses out of 1099 for limit 4.283572595374805E12
1121.38/1118.45	c cleaning 511 clauses out of 1091 for limit 7.115983957097222E12
1121.58/1118.68	c cleaning 493 clauses out of 1080 for limit 1.1854734786546705E13
1121.88/1118.92	c cleaning 478 clauses out of 1087 for limit 1.9424146316418953E13
1122.08/1119.13	c cleaning 501 clauses out of 1109 for limit 3.1397554702837855E13
1122.28/1119.34	c cleaning 522 clauses out of 1108 for limit 5.1825499734769125E13
1122.48/1119.56	c cleaning 450 clauses out of 1086 for limit 8.719856153460183E13
1122.68/1119.76	c cleaning 468 clauses out of 1136 for limit 1.3747277570366888E14
1122.89/1119.97	c cleaning 463 clauses out of 1168 for limit 2.2049973769743047E14
1123.08/1120.15	c cleaning 489 clauses out of 1205 for limit 3.524680534238941E14
1123.28/1120.30	c cleaning 535 clauses out of 1217 for limit 5.761116101939739E14
1123.48/1120.56	c cleaning 551 clauses out of 1181 for limit 9.780671741212216E14
1123.68/1120.78	c cleaning 465 clauses out of 1130 for limit 1.6857610864382822E15
1123.99/1121.01	c cleaning 553 clauses out of 1165 for limit 2.6965248669020045E15
1124.08/1121.19	c cleaning 534 clauses out of 1112 for limit 4.658879253409537E-5
1124.28/1121.35	c cleaning 482 clauses out of 1078 for limit 7.925439738922351E-5
1124.48/1121.55	c cleaning 495 clauses out of 1096 for limit 1.285545527842918E-4
1124.68/1121.74	c cleaning 499 clauses out of 1101 for limit 2.1104087753570498E-4
1124.88/1121.97	c cleaning 505 clauses out of 1102 for limit 3.4771881869279553E-4
1125.18/1122.22	c cleaning 506 clauses out of 1097 for limit 5.760484991935919E-4
1125.38/1122.44	c cleaning 455 clauses out of 1091 for limit 9.552054978946372E-4
1125.58/1122.63	c cleaning 460 clauses out of 1136 for limit 0.0015128613216432718
1125.78/1122.82	c cleaning 407 clauses out of 1176 for limit 0.0024100497979770404
1125.98/1123.01	c cleaning 453 clauses out of 1269 for limit 0.003683219514900048
1126.18/1123.26	c cleaning 465 clauses out of 1316 for limit 0.0058571887940629275
1126.28/1123.36	c cleaning 475 clauses out of 1351 for limit 0.009409047263400732
1126.38/1123.48	c cleaning 479 clauses out of 1376 for limit 0.015234859458458145
1126.58/1123.67	c cleaning 498 clauses out of 1397 for limit 0.02474664720839336
1126.78/1123.87	c cleaning 502 clauses out of 1399 for limit 0.04075218936100427
1126.98/1124.04	c cleaning 570 clauses out of 1398 for limit 0.06732120601955904
1127.18/1124.30	c cleaning 535 clauses out of 1328 for limit 0.11687372090730766
1127.38/1124.43	c cleaning 546 clauses out of 1292 for limit 0.19791276555221854
1127.58/1124.62	c cleaning 459 clauses out of 1246 for limit 0.3384341393946081
1127.78/1124.89	c cleaning 537 clauses out of 1287 for limit 0.5403430231394805
1127.98/1125.02	c cleaning 495 clauses out of 1250 for limit 0.9174744297096149
1128.18/1125.28	c cleaning 481 clauses out of 1255 for limit 1.5070100319965116
1128.49/1125.51	c cleaning 491 clauses out of 1275 for limit 2.4487253837615253
1128.69/1125.74	c cleaning 495 clauses out of 1283 for limit 4.009082439629242
1128.89/1125.95	c cleaning 495 clauses out of 1288 for limit 6.585847456024804
1129.19/1126.20	c cleaning 509 clauses out of 1293 for limit 10.818944485798124
1129.39/1126.46	c cleaning 500 clauses out of 1284 for limit 17.96694674371316
1129.69/1126.70	c cleaning 469 clauses out of 1284 for limit 29.629898755516717
1129.89/1126.93	c cleaning 494 clauses out of 1315 for limit 47.71174772196698
1130.09/1127.20	c cleaning 504 clauses out of 1321 for limit 78.32567525009692
1130.39/1127.42	c cleaning 502 clauses out of 1317 for limit 129.56183111032732
1130.59/1127.63	c cleaning 488 clauses out of 1318 for limit 214.14447027191483
1130.79/1127.82	c cleaning 483 clauses out of 1327 for limit 349.70649903502346
1130.99/1128.05	c cleaning 511 clauses out of 1344 for limit 569.4180694525096
1131.19/1128.26	c cleaning 493 clauses out of 1333 for limit 946.7956433998465
1131.39/1128.46	c cleaning 515 clauses out of 1340 for limit 1553.2361471168883
1131.59/1128.67	c cleaning 481 clauses out of 1325 for limit 2590.4922422984487
1131.79/1128.88	c cleaning 494 clauses out of 1344 for limit 4211.674435311031
1131.99/1129.09	c cleaning 503 clauses out of 1350 for limit 6914.745173457928
1132.19/1129.26	c cleaning 493 clauses out of 1347 for limit 11428.737022475132
1132.39/1129.44	c cleaning 508 clauses out of 1354 for limit 18750.07710566555
1132.59/1129.63	c cleaning 490 clauses out of 1349 for limit 31129.288541743557
1132.79/1129.81	c cleaning 488 clauses out of 1356 for limit 50918.28960435794
1132.99/1130.01	c cleaning 487 clauses out of 1368 for limit 83234.48293990178
1133.09/1130.17	c cleaning 486 clauses out of 1381 for limit 135972.65943233186
1133.28/1130.34	c cleaning 497 clauses out of 1395 for limit 221986.69727361176
1133.48/1130.51	c cleaning 474 clauses out of 1398 for limit 365300.1688921912
1133.58/1130.68	c cleaning 496 clauses out of 1424 for limit 591429.4443713147
1133.79/1130.89	c cleaning 486 clauses out of 1428 for limit 972614.2113922988
1134.08/1131.12	c cleaning 495 clauses out of 1442 for limit 1588398.4151058395
1134.28/1131.36	c cleaning 493 clauses out of 1447 for limit 2610430.056814255
1134.48/1131.59	c cleaning 565 clauses out of 1454 for limit 4284223.044688474
1134.68/1131.71	c cleaning 457 clauses out of 1389 for limit 7395884.508092179
1134.78/1131.84	c cleaning 462 clauses out of 1433 for limit 1.1834136514789756E7
1134.99/1132.05	c cleaning 510 clauses out of 1470 for limit 1.9005828485377785E7
1135.08/1132.19	c cleaning 486 clauses out of 1460 for limit 3.155783286174857E7
1135.28/1132.37	c cleaning 502 clauses out of 1474 for limit 5.154878470539072E7
1135.48/1132.55	c cleaning 666 clauses out of 1472 for limit 8.512634591371565E7
1135.68/1132.72	c cleaning 617 clauses out of 1306 for limit 1.582284273417349E8
1135.88/1132.95	c cleaning 466 clauses out of 1189 for limit 2.866168514747856E8
1136.09/1133.13	c cleaning 519 clauses out of 1223 for limit 4.595290861463732E8
1136.18/1133.26	c cleaning 344 clauses out of 1204 for limit 7.697839691664698E8
1136.28/1133.38	c cleaning 662 clauses out of 1360 for limit 1.1238602948493195E9
1136.38/1133.49	c cleaning 470 clauses out of 1198 for limit 2.1040221402536294E9
1136.58/1133.65	c cleaning 422 clauses out of 1228 for limit 3.385046537808371E9
1136.78/1133.82	c cleaning 421 clauses out of 1306 for limit 5.24898970098295E9
1136.98/1134.04	c cleaning 491 clauses out of 1385 for limit 8.16253414855277E9
1137.19/1134.25	c cleaning 462 clauses out of 1394 for limit 1.337420259950902E10
1137.38/1134.49	c cleaning 707 clauses out of 1432 for limit 2.1470568339409233E10
1137.58/1134.66	c cleaning 515 clauses out of 1226 for limit 4.139867936879567E10
1137.78/1134.85	c cleaning 510 clauses out of 1210 for limit 6.910555549072516E10
1137.98/1135.00	c cleaning 415 clauses out of 1200 for limit 1.1491400832819038E11
1138.08/1135.19	c cleaning 536 clauses out of 1285 for limit 1.7697298613620645E11
1138.29/1135.36	c cleaning 370 clauses out of 1250 for limit 3.003243130907291E11
1138.48/1135.58	c cleaning 455 clauses out of 1379 for limit 4.484950090513722E11
1138.68/1135.74	c cleaning 686 clauses out of 1425 for limit 7.164690179875612E11
1138.78/1135.89	c cleaning 473 clauses out of 1240 for limit 1.3591925739408838E12
1138.98/1136.05	c cleaning 469 clauses out of 1265 for limit 2.1927999679081226E12
1139.18/1136.24	c cleaning 427 clauses out of 1296 for limit 3.529721393274839E12
1139.29/1136.37	c cleaning 389 clauses out of 1369 for limit 5.510587053795873E12
1139.48/1136.52	c cleaning 451 clauses out of 1483 for limit 8.414330900543091E12
1139.58/1136.66	c cleaning 471 clauses out of 1529 for limit 1.3418550479782652E13
1139.78/1136.82	c cleaning 688 clauses out of 1558 for limit 2.1717084611381785E13
1139.88/1137.00	c cleaning 525 clauses out of 1370 for limit 4.072905152344143E13
1140.18/1137.25	c cleaning 503 clauses out of 1346 for limit 6.8433728526555695E13
1140.49/1137.51	c cleaning 622 clauses out of 1342 for limit 1.1307956311744172E14
1140.58/1137.68	c cleaning 406 clauses out of 1220 for limit 2.0513165980337025E14
1140.78/1137.85	c cleaning 475 clauses out of 1314 for limit 3.140892312227278E14
1140.98/1138.05	c cleaning 465 clauses out of 1339 for limit 5.0830422759891856E14
1141.18/1138.26	c cleaning 506 clauses out of 1374 for limit 8.169085716987041E14
1141.38/1138.46	c cleaning 496 clauses out of 1368 for limit 1.3531002535363142E15
1141.68/1138.71	c cleaning 502 clauses out of 1372 for limit 2.2249376669021222E15
1141.88/1138.95	c cleaning 541 clauses out of 1370 for limit 3.674576384899983E15
1142.08/1139.17	c cleaning 542 clauses out of 1330 for limit 6.248368073024794E15
1142.28/1139.35	c cleaning 605 clauses out of 1287 for limit 1.0638026649237604E-4
1142.48/1139.54	c cleaning 548 clauses out of 1182 for limit 1.910196439819955E-4
1142.59/1139.65	c cleaning 457 clauses out of 1134 for limit 3.2835099774703043E-4
1142.78/1139.80	c cleaning 433 clauses out of 1177 for limit 5.217119914605404E-4
1142.98/1140.02	c cleaning 443 clauses out of 1246 for limit 8.143557179566752E-4
1143.08/1140.12	c cleaning 421 clauses out of 1301 for limit 0.0012836356181048449
1143.28/1140.31	c cleaning 477 clauses out of 1380 for limit 0.001995702753332109
1143.38/1140.47	c cleaning 479 clauses out of 1405 for limit 0.003239093832845073
1143.58/1140.67	c cleaning 490 clauses out of 1424 for limit 0.005259890796361317
1143.79/1140.87	c cleaning 485 clauses out of 1434 for limit 0.008613773595685896
1143.98/1141.05	c cleaning 465 clauses out of 1449 for limit 0.014058212556700197
1144.18/1141.21	c cleaning 503 clauses out of 1485 for limit 0.022644484375190222
1144.38/1141.40	c cleaning 491 clauses out of 1481 for limit 0.037407200411340144
1144.48/1141.57	c cleaning 496 clauses out of 1490 for limit 0.061316856717654626
1144.68/1141.78	c cleaning 493 clauses out of 1494 for limit 0.10084896407572094
1144.89/1141.98	c cleaning 490 clauses out of 1502 for limit 0.16559320241832995
1145.08/1142.13	c cleaning 555 clauses out of 1511 for limit 0.27118730091079835
1145.28/1142.33	c cleaning 507 clauses out of 1459 for limit 0.464555860741669
1145.38/1142.47	c cleaning 529 clauses out of 1449 for limit 0.7690900655167152
1145.58/1142.68	c cleaning 494 clauses out of 1422 for limit 1.295003377672945
1145.68/1142.79	c cleaning 472 clauses out of 1426 for limit 2.1253860976911807
1145.89/1142.95	c cleaning 514 clauses out of 1454 for limit 3.437548557035344
1146.08/1143.17	c cleaning 511 clauses out of 1440 for limit 5.724092495990707
1146.38/1143.43	c cleaning 506 clauses out of 1429 for limit 9.512458897863782
1146.48/1143.57	c cleaning 496 clauses out of 1423 for limit 15.753461973441237
1146.58/1143.68	c cleaning 479 clauses out of 1427 for limit 25.906743363950664
1146.68/1143.78	c cleaning 472 clauses out of 1448 for limit 42.10407408758192
1146.88/1143.91	c cleaning 480 clauses out of 1477 for limit 68.14007175075218
1146.99/1144.05	c cleaning 486 clauses out of 1496 for limit 110.83396333948241
1147.09/1144.18	c cleaning 510 clauses out of 1511 for limit 181.14668529756432
1147.28/1144.35	c cleaning 526 clauses out of 1500 for limit 300.6249157785253
1147.38/1144.48	c cleaning 500 clauses out of 1475 for limit 504.6782745462533
1147.58/1144.69	c cleaning 510 clauses out of 1474 for limit 832.0137845311316
1147.78/1144.87	c cleaning 520 clauses out of 1464 for limit 1381.47431716789
1147.98/1145.00	c cleaning 467 clauses out of 1444 for limit 2309.7904740098797
1147.98/1145.09	c cleaning 483 clauses out of 1478 for limit 3725.2527489546865
1148.19/1145.23	c cleaning 528 clauses out of 1494 for limit 6071.569290538652
1148.38/1145.44	c cleaning 494 clauses out of 1466 for limit 10204.070955087946
1148.58/1145.65	c cleaning 502 clauses out of 1472 for limit 16759.286186777765
1148.68/1145.75	c cleaning 483 clauses out of 1472 for limit 27693.664574676077
1148.78/1145.87	c cleaning 483 clauses out of 1488 for limit 45134.29693406452
1148.98/1146.06	c cleaning 479 clauses out of 1504 for limit 73567.0179056043
1149.19/1146.20	c cleaning 494 clauses out of 1525 for limit 119651.19254784817
1149.29/1146.31	c cleaning 504 clauses out of 1532 for limit 196615.84255364691
1149.38/1146.46	c cleaning 502 clauses out of 1527 for limit 324982.2282998401
1149.58/1146.64	c cleaning 506 clauses out of 1525 for limit 536642.0408535078
1149.68/1146.77	c cleaning 489 clauses out of 1520 for limit 888794.4767032121
1149.78/1146.88	c cleaning 508 clauses out of 1530 for limit 1454704.8254056568
1149.98/1147.05	c cleaning 478 clauses out of 1522 for limit 2411612.6031251247
1150.18/1147.22	c cleaning 478 clauses out of 1544 for limit 3920403.6807798985
1150.29/1147.40	c cleaning 585 clauses out of 1566 for limit 6374442.58208274
1150.39/1147.46	c cleaning 577 clauses out of 1481 for limit 1.111564836547919E7
1150.48/1147.52	c cleaning 656 clauses out of 1404 for limit 1.9336534285508353E7
1150.58/1147.64	c cleaning 511 clauses out of 1248 for limit 3.5874598311090454E7
1150.78/1147.81	c cleaning 364 clauses out of 1237 for limit 5.968810894700504E7
1150.88/1147.98	c cleaning 652 clauses out of 1373 for limit 8.868350905815363E7
1151.08/1148.13	c cleaning 441 clauses out of 1221 for limit 1.6445747930225787E8
1800.04/1796.42	c starts		: 22
1800.04/1796.42	c conflicts		: 1319417
1800.04/1796.42	c decisions		: 10403803
1800.04/1796.42	c propagations		: 1582869227
1800.04/1796.42	c inspects		: 7427144706
1800.04/1796.42	c learnt literals	: 66
1800.04/1796.42	c learnt binary clauses	: 136600
1800.04/1796.42	c learnt ternary clauses	: 89851
1800.04/1796.42	c learnt clauses	: 1319351
1800.04/1796.42	c root simplifications	: 0
1800.04/1796.42	c removed literals (reason simplification)	: 0
1800.04/1796.42	c reason swapping (by a shorter reason)	: 0
1800.04/1796.42	c Calls to reduceDB	: 384
1800.04/1796.42	c speed (decisions/second)	: 5793.550460084777
1800.04/1796.42	c non guided choices	18503
1800.04/1796.42	s UNKNOWN
1800.04/1796.42	c Total wall clock time (ms): 1796.302

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

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

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


[startup+0 s]
/proc/loadavg: 1.96 2.01 2.00 2/175 14670
/proc/meminfo: memFree=26661484/32873844 swapFree=7628/7628
[pid=14670] ppid=14668 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/14670/stat : 14670 (java) D 14668 14670 14240 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 342928710 9515008 182 33554432000 1073741824 1073778376 140735311542880 140735311533912 254750310069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 2323 182 140 9 0 71 0

[startup+0.0635329 s]
/proc/loadavg: 1.96 2.01 2.00 2/175 14670
/proc/meminfo: memFree=26661484/32873844 swapFree=7628/7628
[pid=14670] ppid=14668 vsize=2623916 CPUtime=0.04 cores=1,3,5,7
/proc/14670/stat : 14670 (java) S 14668 14670 14240 0 -1 4202496 3948 0 1 0 3 1 0 0 20 0 13 0 342928710 2686889984 5156 33554432000 1073741824 1073778376 140734530533488 140734530524624 254753669181 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14670/statm: 655979 5156 1708 9 0 646680 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2623916

[startup+0.100293 s]
/proc/loadavg: 1.96 2.01 2.00 2/175 14670
/proc/meminfo: memFree=26661484/32873844 swapFree=7628/7628
[pid=14670] ppid=14668 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/14670/stat : 14670 (java) S 14668 14670 14240 0 -1 4202496 4130 0 1 0 5 2 0 0 20 0 18 0 342928710 3028844544 5848 33554432000 1073741824 1073778376 140734530533488 140734530524624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14670/statm: 739464 5848 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.300271 s]
/proc/loadavg: 1.96 2.01 2.00 2/175 14670
/proc/meminfo: memFree=26661484/32873844 swapFree=7628/7628
[pid=14670] ppid=14668 vsize=2957856 CPUtime=0.51 cores=1,3,5,7
/proc/14670/stat : 14670 (java) S 14668 14670 14240 0 -1 4202496 7853 0 1 0 48 3 0 0 20 0 18 0 342928710 3028844544 10742 33554432000 1073741824 1073778376 140734530533488 140734530524624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14670/statm: 739464 10742 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 2957856

[startup+0.700286 s]
/proc/loadavg: 1.96 2.01 2.00 2/175 14670
/proc/meminfo: memFree=26661484/32873844 swapFree=7628/7628
[pid=14670] ppid=14668 vsize=3024420 CPUtime=1.36 cores=1,3,5,7
/proc/14670/stat : 14670 (java) S 14668 14670 14240 0 -1 4202496 10047 0 1 0 131 5 0 0 20 0 19 0 342928710 3097006080 37197 33554432000 1073741824 1073778376 140734530533488 140734530524624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14670/statm: 756105 37197 2267 9 0 746526 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 3024420

[startup+1.50083 s]
/proc/loadavg: 1.96 2.01 2.00 2/194 14689
/proc/meminfo: memFree=26522116/32873844 swapFree=7628/7628
[pid=14670] ppid=14668 vsize=3024420 CPUtime=2.36 cores=1,3,5,7
/proc/14670/stat : 14670 (java) S 14668 14670 14240 0 -1 4202496 10148 0 1 0 230 6 0 0 20 0 19 0 342928710 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140734530524624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14670/statm: 756105 37153 2271 9 0 746526 0
[pid=14670/tid=14672] ppid=14668 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (java) R 14668 14670 14240 0 -1 4202560 3100 0 1 0 141 5 0 0 20 0 19 0 342928711 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218902585896 140218754395406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218886011176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14674] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14674/stat : 14674 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218884958376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14675] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14675/stat : 14675 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218883906088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14676] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14676/stat : 14676 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218882853288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14677] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14677/stat : 14677 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218881801000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14678] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14678/stat : 14678 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218880748200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14679] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14679/stat : 14679 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218879695912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14680] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14680/stat : 14680 (java) S 14668 14670 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218878643112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14681] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14681/stat : 14681 (java) S 14668 14670 14240 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342928714 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218748344552 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14682] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14682/stat : 14682 (java) S 14668 14670 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342928714 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218747290616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14683] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14683/stat : 14683 (java) S 14668 14670 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342928714 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218746238216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14684] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14684/stat : 14684 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218745186704 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14685] ppid=14668 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/14670/task/14685/stat : 14685 (java) S 14668 14670 14240 0 -1 4202560 2514 0 0 0 46 0 0 0 20 0 19 0 342928717 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218744134328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14686] ppid=14668 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/14670/task/14686/stat : 14686 (java) S 14668 14670 14240 0 -1 4202560 3334 0 0 0 40 0 0 0 20 0 19 0 342928717 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218743081528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14687] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14687/stat : 14687 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218742029432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14688] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14688/stat : 14688 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218740976840 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14689] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14689/stat : 14689 (java) S 14668 14670 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342928777 3097006080 37153 33554432000 1073741824 1073778376 140734530533488 140218738844584 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 3024420

[startup+3.10073 s]
/proc/loadavg: 1.96 2.01 2.00 5/213 14744
/proc/meminfo: memFree=26439468/32873844 swapFree=7628/7628
[pid=14670] ppid=14668 vsize=3024420 CPUtime=3.97 cores=1,3,5,7
/proc/14670/stat : 14670 (java) S 14668 14670 14240 0 -1 4202496 10151 0 1 0 391 6 0 0 20 0 19 0 342928710 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140734530524624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14670/statm: 756105 37666 2271 9 0 746526 0
[pid=14670/tid=14672] ppid=14668 vsize=3024420 CPUtime=3.06 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (java) R 14668 14670 14240 0 -1 4202560 3102 0 1 0 301 5 0 0 20 0 19 0 342928711 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218902585528 140218754517652 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218886011176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14674] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14674/stat : 14674 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218884958376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14675] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14675/stat : 14675 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218883906088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14676] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14676/stat : 14676 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218882853288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14677] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14677/stat : 14677 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218881801000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14678] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14678/stat : 14678 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218880748200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14679] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14679/stat : 14679 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218879695912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14680] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14680/stat : 14680 (java) S 14668 14670 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218878643112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14681] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14681/stat : 14681 (java) S 14668 14670 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342928714 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218748344552 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14682] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14682/stat : 14682 (java) S 14668 14670 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342928714 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218747290616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14683] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14683/stat : 14683 (java) S 14668 14670 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342928714 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218746238216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14684] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14684/stat : 14684 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218745186704 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14685] ppid=14668 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/14670/task/14685/stat : 14685 (java) S 14668 14670 14240 0 -1 4202560 2514 0 0 0 47 0 0 0 20 0 19 0 342928717 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218744134328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14686] ppid=14668 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/14670/task/14686/stat : 14686 (java) S 14668 14670 14240 0 -1 4202560 3334 0 0 0 40 0 0 0 20 0 19 0 342928717 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218743081528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14687] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14687/stat : 14687 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218742029432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14688] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14688/stat : 14688 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218740976840 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14689] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14689/stat : 14689 (java) S 14668 14670 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342928777 3097006080 37666 33554432000 1073741824 1073778376 140734530533488 140218738844584 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 3024420

[startup+6.30082 s]
/proc/loadavg: 1.97 2.01 2.00 3/214 14745
/proc/meminfo: memFree=26373980/32873844 swapFree=7628/7628
[pid=14670] ppid=14668 vsize=3024420 CPUtime=7.24 cores=1,3,5,7
/proc/14670/stat : 14670 (java) S 14668 14670 14240 0 -1 4202496 10157 0 1 0 718 6 0 0 20 0 19 0 342928710 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140734530524624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14670/statm: 756105 38564 2272 9 0 746526 0
[pid=14670/tid=14672] ppid=14668 vsize=3024420 CPUtime=6.25 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (java) R 14668 14670 14240 0 -1 4202560 3105 0 1 0 620 5 0 0 20 0 19 0 342928711 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218902585752 140218754434875 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14673] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218886011176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14674] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14674/stat : 14674 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218884958376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14675] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14675/stat : 14675 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218883906088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14676] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14676/stat : 14676 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218882853288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14677] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14677/stat : 14677 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218881801000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14678] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14678/stat : 14678 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218880748200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14679] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14679/stat : 14679 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218879695912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14680] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14680/stat : 14680 (java) S 14668 14670 14240 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342928712 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218878643112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14681] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14681/stat : 14681 (java) S 14668 14670 14240 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 342928714 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218748344552 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14682] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14682/stat : 14682 (java) S 14668 14670 14240 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342928714 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218747290616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14683] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14683/stat : 14683 (java) S 14668 14670 14240 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342928714 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218746238216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14684] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14684/stat : 14684 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218745186704 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14685] ppid=14668 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/14670/task/14685/stat : 14685 (java) S 14668 14670 14240 0 -1 4202560 2517 0 0 0 51 0 0 0 20 0 19 0 342928717 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218744134328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14686] ppid=14668 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/14670/task/14686/stat : 14686 (java) S 14668 14670 14240 0 -1 4202560 3334 0 0 0 43 0 0 0 20 0 19 0 342928717 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218743081528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14687] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14687/stat : 14687 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218742029432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14688] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14688/stat : 14688 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218740976840 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14689] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14689/stat : 14689 (java) S 14668 14670 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342928777 3097006080 38564 33554432000 1073741824 1073778376 140734530533488 140218738844584 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 3024420

[startup+12.7008 s]

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

[pid=14670/tid=14685] ppid=14668 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/14670/task/14685/stat : 14685 (java) S 14668 14670 14240 0 -1 4202560 2528 0 0 0 56 0 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218744134328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14686] ppid=14668 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/14670/task/14686/stat : 14686 (java) S 14668 14670 14240 0 -1 4202560 3435 0 0 0 48 0 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218743081528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14687] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14687/stat : 14687 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218742029432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14688] ppid=14668 vsize=3024420 CPUtime=0.84 cores=1,3,5,7
/proc/14670/task/14688/stat : 14688 (java) S 14668 14670 14240 0 -1 4202560 99 0 0 0 47 37 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218740976840 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14689] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14689/stat : 14689 (java) S 14668 14670 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342928777 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218738844584 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.89
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14783
/proc/meminfo: memFree=23331696/32873844 swapFree=7628/7628
[pid=14670] ppid=14668 vsize=3024420 CPUtime=1785.91 cores=1,3,5,7
/proc/14670/stat : 14670 (java) S 14668 14670 14240 0 -1 4202496 12381 0 1 0 178397 194 0 0 20 0 19 0 342928710 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140734530524624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14670/statm: 756105 420273 2302 9 0 746526 0
[pid=14670/tid=14672] ppid=14668 vsize=3024420 CPUtime=1775.36 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (java) R 14668 14670 14240 0 -1 4202560 3257 0 1 0 177498 38 0 0 20 0 19 0 342928711 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218902584608 140218754395301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14668 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (java) S 14668 14670 14240 0 -1 4202560 178 0 0 0 18 13 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218886011176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14674] ppid=14668 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/14670/task/14674/stat : 14674 (java) S 14668 14670 14240 0 -1 4202560 198 0 0 0 19 16 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218884958376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14675] ppid=14668 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/14670/task/14675/stat : 14675 (java) S 14668 14670 14240 0 -1 4202560 168 0 0 0 16 13 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218883906088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14676] ppid=14668 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/14670/task/14676/stat : 14676 (java) S 14668 14670 14240 0 -1 4202560 253 0 0 0 31 20 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218882853288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14677] ppid=14668 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/14670/task/14677/stat : 14677 (java) S 14668 14670 14240 0 -1 4202560 249 0 0 0 20 21 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218881801000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14678] ppid=14668 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/14670/task/14678/stat : 14678 (java) S 14668 14670 14240 0 -1 4202560 192 0 0 0 19 16 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218880748200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14679] ppid=14668 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/14670/task/14679/stat : 14679 (java) S 14668 14670 14240 0 -1 4202560 199 0 0 0 33 16 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218879695912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14680] ppid=14668 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/14670/task/14680/stat : 14680 (java) S 14668 14670 14240 0 -1 4202560 176 0 0 0 17 14 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218878643112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14681] ppid=14668 vsize=3024420 CPUtime=1.09 cores=1,3,5,7
/proc/14670/task/14681/stat : 14681 (java) S 14668 14670 14240 0 -1 4202560 259 0 0 0 99 10 0 0 20 0 19 0 342928714 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218748344552 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14682] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14682/stat : 14682 (java) S 14668 14670 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342928714 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218747290616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14683] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14683/stat : 14683 (java) S 14668 14670 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342928714 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218746238216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14684] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14684/stat : 14684 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218745186704 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14685] ppid=14668 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/14670/task/14685/stat : 14685 (java) S 14668 14670 14240 0 -1 4202560 2528 0 0 0 56 0 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218744134328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14686] ppid=14668 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/14670/task/14686/stat : 14686 (java) S 14668 14670 14240 0 -1 4202560 3435 0 0 0 48 0 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218743081528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14687] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14687/stat : 14687 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218742029432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14688] ppid=14668 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/14670/task/14688/stat : 14688 (java) S 14668 14670 14240 0 -1 4202560 103 0 0 0 49 39 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218740976840 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14689] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14689/stat : 14689 (java) S 14668 14670 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342928777 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218738844584 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.91
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14783
/proc/meminfo: memFree=23331820/32873844 swapFree=7628/7628
[pid=14670] ppid=14668 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/14670/stat : 14670 (java) S 14668 14670 14240 0 -1 4202496 12381 0 1 0 179809 195 0 0 20 0 19 0 342928710 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140734530524624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14670/statm: 756105 420273 2302 9 0 746526 0
[pid=14670/tid=14672] ppid=14668 vsize=3024420 CPUtime=1789.44 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (java) R 14668 14670 14240 0 -1 4202560 3257 0 1 0 178905 39 0 0 20 0 19 0 342928711 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218902584608 140218754395337 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14668 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (java) S 14668 14670 14240 0 -1 4202560 178 0 0 0 18 13 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218886011176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14674] ppid=14668 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/14670/task/14674/stat : 14674 (java) S 14668 14670 14240 0 -1 4202560 198 0 0 0 19 16 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218884958376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14675] ppid=14668 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/14670/task/14675/stat : 14675 (java) S 14668 14670 14240 0 -1 4202560 168 0 0 0 16 13 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218883906088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14676] ppid=14668 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/14670/task/14676/stat : 14676 (java) S 14668 14670 14240 0 -1 4202560 253 0 0 0 31 20 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218882853288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14677] ppid=14668 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/14670/task/14677/stat : 14677 (java) S 14668 14670 14240 0 -1 4202560 249 0 0 0 20 21 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218881801000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14678] ppid=14668 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/14670/task/14678/stat : 14678 (java) S 14668 14670 14240 0 -1 4202560 192 0 0 0 19 16 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218880748200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14679] ppid=14668 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/14670/task/14679/stat : 14679 (java) S 14668 14670 14240 0 -1 4202560 199 0 0 0 33 16 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218879695912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14680] ppid=14668 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/14670/task/14680/stat : 14680 (java) S 14668 14670 14240 0 -1 4202560 176 0 0 0 17 14 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218878643112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14681] ppid=14668 vsize=3024420 CPUtime=1.09 cores=1,3,5,7
/proc/14670/task/14681/stat : 14681 (java) S 14668 14670 14240 0 -1 4202560 259 0 0 0 99 10 0 0 20 0 19 0 342928714 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218748344552 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14682] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14682/stat : 14682 (java) S 14668 14670 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342928714 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218747290616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14683] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14683/stat : 14683 (java) S 14668 14670 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342928714 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218746238216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14684] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14684/stat : 14684 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218745186704 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14685] ppid=14668 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/14670/task/14685/stat : 14685 (java) S 14668 14670 14240 0 -1 4202560 2528 0 0 0 56 0 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218744134328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14686] ppid=14668 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/14670/task/14686/stat : 14686 (java) S 14668 14670 14240 0 -1 4202560 3435 0 0 0 48 0 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218743081528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14687] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14687/stat : 14687 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218742029432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14688] ppid=14668 vsize=3024420 CPUtime=0.89 cores=1,3,5,7
/proc/14670/task/14688/stat : 14688 (java) S 14668 14670 14240 0 -1 4202560 103 0 0 0 49 40 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218740976840 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14689] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14689/stat : 14689 (java) S 14668 14670 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342928777 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218738844584 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1796.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 14783
/proc/meminfo: memFree=23331820/32873844 swapFree=7628/7628
[pid=14670] ppid=14668 vsize=3024420 CPUtime=1800.04 cores=1,3,5,7
/proc/14670/stat : 14670 (java) S 14668 14670 14240 0 -1 4202496 12381 0 1 0 179809 195 0 0 20 0 19 0 342928710 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140734530524624 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/14670/statm: 756105 420273 2302 9 0 746526 0
[pid=14670/tid=14672] ppid=14668 vsize=3024420 CPUtime=1789.44 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (java) R 14668 14670 14240 0 -1 4202560 3257 0 1 0 178905 39 0 0 20 0 19 0 342928711 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218902584608 140218754395337 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14673] ppid=14668 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/14670/task/14673/stat : 14673 (java) S 14668 14670 14240 0 -1 4202560 178 0 0 0 18 13 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218886011176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14674] ppid=14668 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/14670/task/14674/stat : 14674 (java) S 14668 14670 14240 0 -1 4202560 198 0 0 0 19 16 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218884958376 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14675] ppid=14668 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/14670/task/14675/stat : 14675 (java) S 14668 14670 14240 0 -1 4202560 168 0 0 0 16 13 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218883906088 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14676] ppid=14668 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/14670/task/14676/stat : 14676 (java) S 14668 14670 14240 0 -1 4202560 253 0 0 0 31 20 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218882853288 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14677] ppid=14668 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/14670/task/14677/stat : 14677 (java) S 14668 14670 14240 0 -1 4202560 249 0 0 0 20 21 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218881801000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14678] ppid=14668 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/14670/task/14678/stat : 14678 (java) S 14668 14670 14240 0 -1 4202560 192 0 0 0 19 16 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218880748200 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14679] ppid=14668 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/14670/task/14679/stat : 14679 (java) S 14668 14670 14240 0 -1 4202560 199 0 0 0 33 16 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218879695912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14680] ppid=14668 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/14670/task/14680/stat : 14680 (java) S 14668 14670 14240 0 -1 4202560 176 0 0 0 17 14 0 0 20 0 19 0 342928712 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218878643112 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14681] ppid=14668 vsize=3024420 CPUtime=1.09 cores=1,3,5,7
/proc/14670/task/14681/stat : 14681 (java) S 14668 14670 14240 0 -1 4202560 259 0 0 0 99 10 0 0 20 0 19 0 342928714 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218748344552 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14682] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14682/stat : 14682 (java) S 14668 14670 14240 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342928714 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218747290616 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14683] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14683/stat : 14683 (java) S 14668 14670 14240 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342928714 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218746238216 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14684] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14684/stat : 14684 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218745186704 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14685] ppid=14668 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/14670/task/14685/stat : 14685 (java) S 14668 14670 14240 0 -1 4202560 2528 0 0 0 56 0 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218744134328 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14686] ppid=14668 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/14670/task/14686/stat : 14686 (java) S 14668 14670 14240 0 -1 4202560 3435 0 0 0 48 0 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218743081528 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14670/tid=14687] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14687/stat : 14687 (java) S 14668 14670 14240 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218742029432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14670/tid=14688] ppid=14668 vsize=3024420 CPUtime=0.89 cores=1,3,5,7
/proc/14670/task/14688/stat : 14688 (java) S 14668 14670 14240 0 -1 4202560 103 0 0 0 49 40 0 0 20 0 19 0 342928717 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218740976840 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14670/tid=14689] ppid=14668 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/14670/task/14689/stat : 14689 (java) S 14668 14670 14240 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 342928777 3097006080 420273 33554432000 1073741824 1073778376 140734530533488 140218738844584 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

Child status: 143

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

Real time (s): 1796.43
CPU time (s): 1800.04
CPU user time (s): 1798.09
CPU system time (s): 1.95
CPU usage (%): 100.201
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.44
system time used= 2.31465
maximum resident set size= 1681380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12411
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38057
involuntary context switches= 23374

runsolver used 6.47401 second user time and 16.6195 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-04 02:00:43
IDJOB=3742413
IDBENCH=90182
IDSOLVER=2319
FILE ID=node145/3742413-1338768043
RUNJOBID= node145-1338762649-14257
PBS_JOBID= 14636810
Free space on /tmp= 70920 MiB

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

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

MD5SUM BENCH= 8e674dc671e8e6c3e0a48d5fff5f7edd
RANDOM SEED=1987444406

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26662392 kB
Buffers:          452108 kB
Cached:          4878788 kB
SwapCached:            0 kB
Active:          1701668 kB
Inactive:        3643340 kB
Active(anon):       4988 kB
Inactive(anon):    10916 kB
Active(file):    1696680 kB
Inactive(file):  3632424 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5120 kB
Writeback:             0 kB
AnonPages:         20540 kB
Mapped:            14072 kB
Shmem:               200 kB
Slab:             726520 kB
SReclaimable:     167688 kB
SUnreclaim:       558832 kB
KernelStack:        1544 kB
PageTables:         3976 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     136872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70916 MiB
End job on node145 at 2012-06-04 02:30:42