Trace number 350257

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, and are wall clock time (not CPU 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
SAT4JPseudoResolution 2007-03-23? (TO) 1800.21 1788.43

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin16.opb
MD5SUMd761333f7ff9a755d3cd90e52b11f227
Bench CategorySATUNSAT-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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables14400
Total number of constraints1088
Number of constraints which are clauses480
Number of constraints which are cardinality constraints (but not clauses)608
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint120
Maximum length of a constraint225
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 227
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 (download as text)

0.09/0.22	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.09/0.22	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.09/0.22	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.09/0.29	c no version file found!!!
0.09/0.29	c sun.arch.data.model	32
0.09/0.29	c java.version	1.6.0
0.09/0.29	c os.name	Linux
0.09/0.29	c os.version	2.6.9-22.EL.rootsmp
0.09/0.29	c os.arch	i386
0.09/0.29	c Free memory 1651659224
0.09/0.29	c Max memory 1654456320
0.09/0.29	c Total memory 1654456320
0.09/0.29	c Number of processors 2
0.13/0.35	--- Begin Solver configuration ---
0.13/0.35	c Stops conflict analysis at the first Unique Implication Point
0.13/0.35	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.13/0.35	c Learn all clauses as in MiniSAT
0.13/0.35	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.35	c VSIDS like heuristics from MiniSAT using a heap
0.13/0.35	c No reason simplification
0.13/0.35	c --- End Solver configuration ---
0.13/0.35	c solving /tmp/evaluation/350257-1176492931/instance-350257-1176492931.opb
0.13/0.35	c reading problem ... 
1.98/1.75	c ... done. Wall clock time 1.401s.
1.98/1.75	c CPU time (experimental) 1.24s.
1.98/1.75	c #vars     14400
1.98/1.75	c #constraints  1088
608.07/604.19	c cleaning 109209 clauses out of 218500 for limit 3.9936608560612035E9
609.60/605.63	c cleaning 54865 clauses out of 109792 for limit 1.3120256491981335E10
610.40/606.40	c cleaning 27696 clauses out of 55426 for limit 4.281745593606998E10
610.90/606.91	c cleaning 14075 clauses out of 28230 for limit 1.386370810032226E11
611.40/607.40	c cleaning 7289 clauses out of 14655 for limit 4.404132213257706E11
611.70/607.79	c cleaning 3892 clauses out of 7866 for limit 1.3531567735446863E12
612.00/608.07	c cleaning 2195 clauses out of 4474 for limit 3.923394375640779E12
612.31/608.36	c cleaning 1356 clauses out of 2779 for limit 1.0416583155075016E13
612.50/608.58	c cleaning 954 clauses out of 1923 for limit 2.4825067310190676E13
612.80/608.80	c cleaning 682 clauses out of 1469 for limit 5.359247452258487E13
612.90/609.00	c cleaning 591 clauses out of 1287 for limit 1.0087950581374773E14
613.10/609.16	c cleaning 526 clauses out of 1196 for limit 1.7902191576158447E14
613.31/609.34	c cleaning 511 clauses out of 1171 for limit 3.018358935402314E14
613.50/609.60	c cleaning 498 clauses out of 1159 for limit 5.0241861043086744E14
692.62/688.21	c cleaning 13513 clauses out of 27162 for limit 70175.2441614134
694.32/689.94	c cleaning 7013 clauses out of 14149 for limit 222165.09037154296
695.32/690.95	c cleaning 3738 clauses out of 7635 for limit 678287.6319044606
695.92/691.51	c cleaning 2135 clauses out of 4399 for limit 1945332.704238942
696.22/691.88	c cleaning 1313 clauses out of 2762 for limit 5099305.592415957
696.52/692.20	c cleaning 919 clauses out of 1950 for limit 1.192313608778734E7
696.82/692.45	c cleaning 711 clauses out of 1532 for limit 2.505282736514109E7
697.02/692.69	c cleaning 648 clauses out of 1319 for limit 4.789140508365997E7
697.22/692.89	c cleaning 561 clauses out of 1171 for limit 8.896135034712744E7
697.52/693.15	c cleaning 499 clauses out of 1110 for limit 1.547715634646163E8
746.92/742.11	c cleaning 13028 clauses out of 26111 for limit 0.007911172991610309
747.62/742.88	c cleaning 6751 clauses out of 13583 for limit 0.025079829072627863
748.32/743.52	c cleaning 3618 clauses out of 7333 for limit 0.07668827813962388
748.72/743.98	c cleaning 2044 clauses out of 4214 for limit 0.21985559170757946
749.22/744.41	c cleaning 1269 clauses out of 2670 for limit 0.5722379716754686
749.42/744.69	c cleaning 884 clauses out of 1901 for limit 1.3254449786133855
749.72/744.99	c cleaning 685 clauses out of 1517 for limit 2.7391393518829226
750.02/745.25	c cleaning 594 clauses out of 1333 for limit 5.145883590265001
750.32/745.55	c cleaning 522 clauses out of 1238 for limit 9.128319604571727
750.63/745.82	c cleaning 523 clauses out of 1216 for limit 15.326175492226731
750.82/746.08	c cleaning 514 clauses out of 1193 for limit 25.76219198816567
751.12/746.33	c cleaning 510 clauses out of 1179 for limit 42.989791420266926
791.40/786.23	c cleaning 14247 clauses out of 28671 for limit 2.5979751843117373E12
792.40/787.27	c cleaning 7421 clauses out of 14922 for limit 8.215569367681894E12
793.00/787.90	c cleaning 3980 clauses out of 8002 for limit 2.5290449848485004E13
793.60/788.41	c cleaning 2235 clauses out of 4522 for limit 7.380409010133023E13
794.00/788.85	c cleaning 1377 clauses out of 2786 for limit 1.9735641681040134E14
794.40/789.25	c cleaning 936 clauses out of 1910 for limit 4.752141843758894E14
794.70/789.54	c cleaning 689 clauses out of 1473 for limit 1.0151761141629382E15
794.91/789.76	c cleaning 578 clauses out of 1284 for limit 1.9205914931355142E15
795.10/789.97	c cleaning 520 clauses out of 1206 for limit 3.3721633488713155E15
795.40/790.26	c cleaning 579 clauses out of 1187 for limit 5.655820158465361E-5
795.60/790.41	c cleaning 530 clauses out of 1109 for limit 9.993213432773003E-5
795.80/790.63	c cleaning 501 clauses out of 1077 for limit 1.6935883961118793E-4
796.00/790.88	c cleaning 512 clauses out of 1076 for limit 2.795549511388298E-4
796.19/791.08	c cleaning 471 clauses out of 1064 for limit 4.662230259204408E-4
841.36/835.87	c cleaning 11690 clauses out of 23594 for limit 207462.25102319111
842.46/836.96	c cleaning 6062 clauses out of 12403 for limit 650182.5244946724
843.06/837.58	c cleaning 3299 clauses out of 6841 for limit 1944009.2752571632
843.67/838.15	c cleaning 1891 clauses out of 4042 for limit 5425971.408322802
844.17/838.67	c cleaning 1212 clauses out of 2653 for limit 1.3660338799263073E7
844.47/838.97	c cleaning 943 clauses out of 1939 for limit 3.0761518858822845E7
844.77/839.26	c cleaning 714 clauses out of 1496 for limit 6.5752137803008705E7
845.07/839.51	c cleaning 535 clauses out of 1283 for limit 1.2656254915521716E8
845.26/839.77	c cleaning 569 clauses out of 1247 for limit 2.1452938694988585E8
845.56/840.03	c cleaning 483 clauses out of 1178 for limit 3.7451036494944626E8
845.76/840.24	c cleaning 463 clauses out of 1195 for limit 6.088314997811357E8
845.97/840.47	c cleaning 602 clauses out of 1234 for limit 9.74259770919154E8
846.26/840.72	c cleaning 544 clauses out of 1130 for limit 1.751049203680216E9
846.46/840.96	c cleaning 466 clauses out of 1086 for limit 3.0047120243880754E9
846.66/841.19	c cleaning 442 clauses out of 1120 for limit 4.804747224338816E9
973.67/967.41	c cleaning 20898 clauses out of 42179 for limit 1375515.288037906
975.18/968.91	c cleaning 10771 clauses out of 21780 for limit 4388591.93392312
975.98/969.79	c cleaning 5657 clauses out of 11509 for limit 1.3696240484252397E7
976.77/970.50	c cleaning 3096 clauses out of 6355 for limit 4.102823462582327E7
977.17/970.94	c cleaning 1873 clauses out of 3756 for limit 1.1413665838153361E8
977.37/971.10	c cleaning 1136 clauses out of 2383 for limit 2.966761139161173E8
977.48/971.24	c cleaning 803 clauses out of 1749 for limit 6.679465716321284E8
977.58/971.36	c cleaning 658 clauses out of 1444 for limit 1.331530763581334E9
977.77/971.54	c cleaning 604 clauses out of 1287 for limit 2.466211110224751E9
977.87/971.68	c cleaning 592 clauses out of 1184 for limit 4.4253486606327E9
978.07/971.80	c cleaning 509 clauses out of 1090 for limit 7.911513274619552E9
978.17/971.92	c cleaning 489 clauses out of 1081 for limit 1.3155769391991236E10
978.27/972.08	c cleaning 478 clauses out of 1095 for limit 2.14826201394192E10
978.50/972.25	c cleaning 483 clauses out of 1114 for limit 3.471910563764577E10
978.70/972.42	c cleaning 559 clauses out of 1132 for limit 5.640241400107024E10
978.79/972.54	c cleaning 526 clauses out of 1073 for limit 9.812965769679054E10
1024.20/1017.58	c cleaning 17159 clauses out of 34548 for limit 18105.558388947946
1025.20/1018.57	c cleaning 8811 clauses out of 17887 for limit 57555.15008089392
1026.00/1019.35	c cleaning 4633 clauses out of 9576 for limit 177293.75869578647
1026.70/1020.03	c cleaning 2582 clauses out of 5443 for limit 514393.1035837569
1027.00/1020.38	c cleaning 1518 clauses out of 3361 for limit 1373791.567415742
1027.40/1020.72	c cleaning 1005 clauses out of 2343 for limit 3249922.1449101446
1027.70/1021.00	c cleaning 751 clauses out of 1838 for limit 6832122.201935201
1027.90/1021.23	c cleaning 793 clauses out of 1589 for limit 1.3058766188873647E7
1028.10/1021.49	c cleaning 627 clauses out of 1295 for limit 2.639840273145779E7
1067.97/1060.92	c cleaning 14510 clauses out of 29168 for limit 0.02834825474170164
1068.97/1061.92	c cleaning 7490 clauses out of 15159 for limit 0.0900435945752301
1069.77/1062.79	c cleaning 3955 clauses out of 8167 for limit 0.2750728231183611
1070.68/1063.62	c cleaning 2253 clauses out of 4717 for limit 0.789355810036588
1071.17/1064.10	c cleaning 1378 clauses out of 2961 for limit 2.0675338588137215
1071.57/1064.51	c cleaning 928 clauses out of 2084 for limit 4.84935214088922
1071.88/1064.86	c cleaning 712 clauses out of 1655 for limit 10.0601582820411
1072.17/1065.17	c cleaning 604 clauses out of 1441 for limit 19.016285740889167
1072.47/1065.48	c cleaning 546 clauses out of 1337 for limit 33.79980191520117
1072.77/1065.72	c cleaning 521 clauses out of 1291 for limit 57.7264973932992
1121.14/1113.73	c cleaning 9560 clauses out of 19272 for limit 4.2336164037379146E8
1122.04/1114.60	c cleaning 5004 clauses out of 10210 for limit 1.3152230563583803E9
1122.75/1115.33	c cleaning 2753 clauses out of 5706 for limit 3.881050335509117E9
1123.14/1115.79	c cleaning 1627 clauses out of 3453 for limit 1.0576460490072102E10
1123.54/1116.14	c cleaning 1047 clauses out of 2327 for limit 2.5907824424591927E10
1123.74/1116.40	c cleaning 795 clauses out of 1780 for limit 5.585514880924715E10
1124.04/1116.65	c cleaning 703 clauses out of 1484 for limit 1.1037499319190979E11
1124.34/1116.92	c cleaning 617 clauses out of 1281 for limit 2.1086832485730273E11
1124.54/1117.15	c cleaning 532 clauses out of 1164 for limit 3.8270433748154205E11
1124.74/1117.33	c cleaning 481 clauses out of 1132 for limit 6.489717988876892E11
1124.95/1117.54	c cleaning 497 clauses out of 1152 for limit 1.0527134493365916E12
1125.14/1117.74	c cleaning 486 clauses out of 1155 for limit 1.731556046902942E12
1125.44/1118.00	c cleaning 485 clauses out of 1168 for limit 2.82096092189055E12
1125.64/1118.26	c cleaning 496 clauses out of 1187 for limit 4.596032890328589E12
1125.94/1118.50	c cleaning 579 clauses out of 1187 for limit 7.549200636630327E12
1126.15/1118.77	c cleaning 458 clauses out of 1108 for limit 1.3337296727099672E13
1126.34/1118.98	c cleaning 564 clauses out of 1150 for limit 2.1191691374227438E13
1126.54/1119.17	c cleaning 519 clauses out of 1087 for limit 3.701044573306646E13
1126.74/1119.39	c cleaning 503 clauses out of 1067 for limit 6.211704899162058E13
1126.94/1119.55	c cleaning 471 clauses out of 1064 for limit 1.0272815633681197E14
1127.15/1119.74	c cleaning 461 clauses out of 1094 for limit 1.6493172401649653E14
1127.34/1119.94	c cleaning 557 clauses out of 1132 for limit 2.6260105650316353E14
1127.64/1120.23	c cleaning 525 clauses out of 1075 for limit 4.5602675000937056E14
1171.62/1163.88	c cleaning 13483 clauses out of 27050 for limit 59264.3499187998
1172.51/1164.72	c cleaning 6965 clauses out of 14069 for limit 188287.92755265694
1173.11/1165.37	c cleaning 3757 clauses out of 7602 for limit 573514.896943895
1173.51/1165.80	c cleaning 2105 clauses out of 4345 for limit 1654773.9466648542
1173.91/1166.11	c cleaning 1311 clauses out of 2740 for limit 4327467.147575525
1174.21/1166.40	c cleaning 894 clauses out of 1930 for limit 1.0141855819584562E7
1174.41/1166.61	c cleaning 753 clauses out of 1535 for limit 2.100814646566679E7
1174.61/1166.85	c cleaning 642 clauses out of 1284 for limit 4.1500755532199666E7
1174.82/1167.04	c cleaning 529 clauses out of 1140 for limit 7.693129429515281E7
1175.01/1167.25	c cleaning 553 clauses out of 1111 for limit 1.3018163403594144E8
1175.21/1167.47	c cleaning 467 clauses out of 1058 for limit 2.2544156817864278E8
1175.41/1167.69	c cleaning 527 clauses out of 1091 for limit 3.605377971106201E8
1175.61/1167.89	c cleaning 490 clauses out of 1066 for limit 6.097379935634259E8
1175.92/1168.16	c cleaning 491 clauses out of 1074 for limit 9.960543674927093E8
1176.11/1168.39	c cleaning 493 clauses out of 1084 for limit 1.6291026196818829E9
1176.41/1168.62	c cleaning 486 clauses out of 1091 for limit 2.669370524764836E9
1176.61/1168.88	c cleaning 487 clauses out of 1104 for limit 4.345961884537774E9
1216.37/1208.28	c cleaning 14968 clauses out of 30117 for limit 10.479501184022523
1217.47/1209.34	c cleaning 7726 clauses out of 15649 for limit 33.25995187411874
1218.37/1210.28	c cleaning 4102 clauses out of 8425 for limit 102.085299682943
1219.07/1210.99	c cleaning 2303 clauses out of 4821 for limit 293.61811726580873
1219.77/1211.67	c cleaning 1379 clauses out of 3018 for limit 773.4934361081459
1220.27/1212.19	c cleaning 925 clauses out of 2139 for limit 1799.78641957421
1220.77/1212.69	c cleaning 714 clauses out of 1714 for limit 3704.049863592582
1221.07/1212.95	c cleaning 636 clauses out of 1500 for limit 6979.949331465598
1221.37/1213.22	c cleaning 565 clauses out of 1364 for limit 12658.581607590915
1221.67/1213.50	c cleaning 532 clauses out of 1301 for limit 21930.424087413554
1221.97/1213.82	c cleaning 519 clauses out of 1268 for limit 37070.329675544264
1265.31/1256.98	c cleaning 9095 clauses out of 18251 for limit 1.0367740193898811E11
1266.21/1257.86	c cleaning 4782 clauses out of 9653 for limit 3.2230037901929816E11
1266.71/1258.36	c cleaning 2551 clauses out of 5371 for limit 9.552649805500845E11
1313.22/1304.42	c cleaning 10526 clauses out of 21320 for limit 0.2629417980530938
1314.42/1305.67	c cleaning 5502 clauses out of 11295 for limit 0.8193151628141621
1315.42/1306.64	c cleaning 2997 clauses out of 6292 for limit 2.423091916740377
1316.22/1307.47	c cleaning 1750 clauses out of 3797 for limit 6.635030387262783
1316.72/1307.99	c cleaning 1124 clauses out of 2547 for limit 16.312121792197917
1317.12/1308.39	c cleaning 807 clauses out of 1921 for limit 35.595811555361784
1317.52/1308.77	c cleaning 644 clauses out of 1614 for limit 69.86804968744133
1317.92/1309.19	c cleaning 577 clauses out of 1470 for limit 126.50879033612429
1318.32/1309.54	c cleaning 524 clauses out of 1393 for limit 220.1622264048542
1318.72/1309.93	c cleaning 519 clauses out of 1370 for limit 369.54195875834233
1319.02/1310.21	c cleaning 508 clauses out of 1350 for limit 617.8341793760483
1319.22/1310.49	c cleaning 535 clauses out of 1342 for limit 1024.9650813174605
1319.52/1310.77	c cleaning 504 clauses out of 1309 for limit 1736.388296078561
1319.82/1311.10	c cleaning 506 clauses out of 1303 for limit 2870.971915596781
1354.23/1345.29	c cleaning 8710 clauses out of 17797 for limit 5.120669162566806E9
1355.61/1346.56	c cleaning 4608 clauses out of 9588 for limit 1.5690467787087084E10
1356.31/1347.27	c cleaning 2552 clauses out of 5479 for limit 4.523597878936043E10
1357.01/1347.91	c cleaning 1538 clauses out of 3427 for limit 1.1926886181009442E11
1357.31/1348.24	c cleaning 1025 clauses out of 2389 for limit 2.8215055992767206E11
1357.81/1348.76	c cleaning 757 clauses out of 1864 for limit 5.963579939846619E11
1358.11/1349.07	c cleaning 781 clauses out of 1608 for limit 1.1411882925822322E12
1358.41/1349.32	c cleaning 506 clauses out of 1326 for limit 2.2799283724710933E12
1358.61/1349.57	c cleaning 510 clauses out of 1320 for limit 3.776997375427431E12
1358.91/1349.82	c cleaning 651 clauses out of 1310 for limit 6.276321842495119E12
1359.11/1350.02	c cleaning 426 clauses out of 1159 for limit 1.1699005692805447E13
1359.31/1350.21	c cleaning 449 clauses out of 1234 for limit 1.8138761370245477E13
1359.61/1350.51	c cleaning 633 clauses out of 1284 for limit 2.871964970903353E13
1359.81/1350.75	c cleaning 404 clauses out of 1151 for limit 5.283536666411588E13
1360.01/1350.97	c cleaning 619 clauses out of 1248 for limit 8.044070398807948E13
1360.21/1351.18	c cleaning 416 clauses out of 1128 for limit 1.466232101505559E14
1360.41/1351.34	c cleaning 590 clauses out of 1213 for limit 2.25082339850788E14
1394.30/1384.97	c cleaning 9634 clauses out of 19623 for limit 25.070357361173283
1395.89/1386.51	c cleaning 5063 clauses out of 10490 for limit 77.41780237295883
1396.99/1387.65	c cleaning 2776 clauses out of 5926 for limit 225.77510623741648
1397.89/1388.53	c cleaning 1646 clauses out of 3649 for limit 604.0671437090053
1398.19/1388.89	c cleaning 1077 clauses out of 2504 for limit 1453.1657453297419
1398.60/1389.21	c cleaning 761 clauses out of 1926 for limit 3112.5373306979327
1398.89/1389.52	c cleaning 653 clauses out of 1667 for limit 5942.376470563748
1399.19/1389.81	c cleaning 565 clauses out of 1512 for limit 10782.782237569856
1399.39/1390.07	c cleaning 546 clauses out of 1448 for limit 18586.793016555483
1399.70/1390.34	c cleaning 510 clauses out of 1401 for limit 31648.72833220525
1399.99/1390.61	c cleaning 507 clauses out of 1391 for limit 52568.20608355179
1400.29/1390.90	c cleaning 507 clauses out of 1384 for limit 87130.47540048737
1400.49/1391.19	c cleaning 500 clauses out of 1377 for limit 144420.25933038763
1400.90/1391.52	c cleaning 479 clauses out of 1378 for limit 238233.72532567696
1433.18/1423.64	c cleaning 10644 clauses out of 21398 for limit 1.2386144205010723E13
1434.37/1424.71	c cleaning 5546 clauses out of 11254 for limit 3.883812823299575E13
1434.87/1425.26	c cleaning 3014 clauses out of 6208 for limit 1.1610993472407911E14
1435.37/1425.74	c cleaning 1756 clauses out of 3694 for limit 3.217955877615222E14
1435.67/1426.00	c cleaning 1121 clauses out of 2438 for limit 8.040798183884101E14
1435.87/1426.24	c cleaning 803 clauses out of 1817 for limit 1.7792370882277145E15
1436.07/1426.46	c cleaning 736 clauses out of 1515 for limit 3.522625836853245E-5
1436.47/1426.83	c cleaning 620 clauses out of 1279 for limit 6.881204924892959E-5
1436.67/1427.05	c cleaning 554 clauses out of 1158 for limit 1.2521254758118675E-4
1437.06/1427.43	c cleaning 484 clauses out of 1104 for limit 2.1659240558743572E-4
1437.37/1427.78	c cleaning 511 clauses out of 1121 for limit 3.5212518195104517E-4
1437.86/1428.25	c cleaning 423 clauses out of 1109 for limit 5.863980616737573E-4
1438.26/1428.67	c cleaning 495 clauses out of 1187 for limit 9.044066605340226E-4
1470.15/1460.40	c cleaning 8266 clauses out of 16691 for limit 575.5538805298471
1471.44/1461.50	c cleaning 4378 clauses out of 8925 for limit 1775.0721318736712
1472.44/1462.59	c cleaning 2431 clauses out of 5047 for limit 5176.626280458201
1473.15/1463.21	c cleaning 1455 clauses out of 3118 for limit 13846.146336406782
1473.85/1463.96	c cleaning 974 clauses out of 2161 for limit 32880.4024571288
1474.25/1464.36	c cleaning 720 clauses out of 1687 for limit 69459.6668518976
1474.45/1464.59	c cleaning 690 clauses out of 1470 for limit 131852.95463504177
1474.65/1464.76	c cleaning 589 clauses out of 1277 for limit 249556.3674062672
1474.85/1464.90	c cleaning 533 clauses out of 1188 for limit 442383.58011412463
1474.95/1465.06	c cleaning 517 clauses out of 1158 for limit 750699.8041034963
1475.15/1465.25	c cleaning 508 clauses out of 1140 for limit 1256294.2899025816
1475.35/1465.41	c cleaning 508 clauses out of 1130 for limit 2085953.6643548459
1475.55/1465.61	c cleaning 557 clauses out of 1122 for limit 3464544.394334376
1475.75/1465.85	c cleaning 530 clauses out of 1066 for limit 6019663.041324325
1475.95/1466.01	c cleaning 486 clauses out of 1036 for limit 1.0214697691352507E7
1476.05/1466.16	c cleaning 484 clauses out of 1049 for limit 1.662000539658904E7
1476.15/1466.29	c cleaning 483 clauses out of 1066 for limit 2.6998512851887327E7
1476.34/1466.43	c cleaning 539 clauses out of 1083 for limit 4.382525763202278E7
1476.44/1466.54	c cleaning 515 clauses out of 1043 for limit 7.497042990828224E7
1476.54/1466.68	c cleaning 475 clauses out of 1028 for limit 1.2544029943543373E8
1476.84/1466.91	c cleaning 447 clauses out of 1053 for limit 2.019564427810832E8
1477.04/1467.10	c cleaning 541 clauses out of 1106 for limit 3.170931379200078E8
1477.25/1467.38	c cleaning 447 clauses out of 1065 for limit 5.43060543527346E8
1514.30/1504.16	c cleaning 12749 clauses out of 25619 for limit 0.01647648420057056
1515.10/1504.94	c cleaning 6618 clauses out of 13370 for limit 0.052065638621457126
1515.50/1505.35	c cleaning 3564 clauses out of 7253 for limit 0.15843653223955875
1515.80/1505.63	c cleaning 2023 clauses out of 4188 for limit 0.45205128484636165
1516.11/1505.93	c cleaning 1273 clauses out of 2664 for limit 1.1707968241109818
1516.40/1506.24	c cleaning 872 clauses out of 1891 for limit 2.720070211551733
1516.70/1506.51	c cleaning 688 clauses out of 1519 for limit 5.584313050269889
1516.90/1506.72	c cleaning 590 clauses out of 1333 for limit 10.51531510374234
1517.11/1506.96	c cleaning 549 clauses out of 1241 for limit 18.589492037814445
1517.30/1507.16	c cleaning 504 clauses out of 1192 for limit 31.916770135976098
1517.60/1507.44	c cleaning 533 clauses out of 1188 for limit 52.81224600537595
1517.80/1507.63	c cleaning 498 clauses out of 1155 for limit 89.5828718661282
1518.00/1507.84	c cleaning 507 clauses out of 1159 for limit 147.51916308682172
1563.93/1553.53	c cleaning 12959 clauses out of 26150 for limit 7.845875213609054E11
1565.33/1554.94	c cleaning 6699 clauses out of 13691 for limit 2.471347441715932E12
1619.59/1608.95	c cleaning 14405 clauses out of 28993 for limit 42.34180437806451
1681.68/1670.78	c cleaning 17162 clauses out of 34587 for limit 1.737603135419935E10
1687.00/1675.97	c cleaning 9579 clauses out of 19426 for limit 2.2905414797527585E11
1687.80/1676.71	c cleaning 5036 clauses out of 10348 for limit 7.098319184456012E11
1688.30/1677.24	c cleaning 2868 clauses out of 5811 for limit 2.0824876946973152E12
1688.60/1677.59	c cleaning 1576 clauses out of 3442 for limit 5.792203724503985E12
1688.90/1677.90	c cleaning 1016 clauses out of 2366 for limit 1.389619312767989E13
1689.20/1678.12	c cleaning 893 clauses out of 1851 for limit 2.9322065637180418E13
1689.40/1678.34	c cleaning 714 clauses out of 1457 for limit 6.1370944027916836E13
1689.60/1678.54	c cleaning 573 clauses out of 1246 for limit 1.1870355771438616E14
1689.80/1678.73	c cleaning 444 clauses out of 1171 for limit 2.078795395921607E14
1690.00/1678.94	c cleaning 467 clauses out of 1226 for limit 3.2711431236958525E14
1690.20/1679.14	c cleaning 493 clauses out of 1260 for limit 5.2542395634050344E14
1690.40/1679.37	c cleaning 482 clauses out of 1266 for limit 8.615253976771655E14
1690.70/1679.63	c cleaning 503 clauses out of 1284 for limit 1.4008532882448988E15
1690.90/1679.87	c cleaning 618 clauses out of 1281 for limit 2.3156047666267795E15
1691.20/1680.13	c cleaning 556 clauses out of 1164 for limit 4.2067914550392875E15
1691.50/1680.40	c cleaning 528 clauses out of 1107 for limit 7.287485736920667E-5
1735.23/1723.96	c cleaning 10693 clauses out of 21580 for limit 4987.1871329393325
1736.04/1724.75	c cleaning 5587 clauses out of 11389 for limit 15615.15941860137
1736.63/1725.37	c cleaning 3047 clauses out of 6299 for limit 46420.81475263438
1742.21/1730.86	c cleaning 3738 clauses out of 7752 for limit 3403091.1850408316
1742.71/1731.35	c cleaning 2240 clauses out of 4514 for limit 9637883.722213326
1743.01/1731.63	c cleaning 1268 clauses out of 2774 for limit 2.5863819896732137E7
1743.21/1731.86	c cleaning 905 clauses out of 2009 for limit 5.907158306525934E7
1743.41/1732.10	c cleaning 776 clauses out of 1601 for limit 1.218763856132191E8
1743.71/1732.31	c cleaning 527 clauses out of 1326 for limit 2.429169238590011E8
1743.91/1732.55	c cleaning 607 clauses out of 1298 for limit 4.088349166143558E8
1744.21/1732.81	c cleaning 556 clauses out of 1192 for limit 7.349144989359583E8
1744.31/1732.95	c cleaning 562 clauses out of 1138 for limit 1.2720252125184352E9
1744.61/1733.20	c cleaning 485 clauses out of 1073 for limit 2.218148466360113E9
1772.49/1760.90	c cleaning 10277 clauses out of 20588 for limit 5.665153137344899E-4
1773.09/1761.60	c cleaning 5325 clauses out of 10812 for limit 0.0017807796140010606
1773.80/1762.24	c cleaning 2913 clauses out of 5988 for limit 0.005307925509762495
1774.09/1762.53	c cleaning 1705 clauses out of 3575 for limit 0.014661771673300433
1774.29/1762.78	c cleaning 1102 clauses out of 2368 for limit 0.036430712367347524
1774.59/1763.04	c cleaning 803 clauses out of 1766 for limit 0.08055908955356836
1774.80/1763.26	c cleaning 664 clauses out of 1465 for limit 0.16046951294809852
1783.88/1772.21	c cleaning 4068 clauses out of 8299 for limit 51.30665203807868
1784.48/1772.86	c cleaning 2260 clauses out of 4732 for limit 148.54057596690583
1785.08/1773.42	c cleaning 1393 clauses out of 2973 for limit 390.28811741667494
1785.48/1773.80	c cleaning 958 clauses out of 2078 for limit 919.0127963256493
1785.78/1774.11	c cleaning 730 clauses out of 1620 for limit 1944.0524335898835
1785.98/1774.37	c cleaning 608 clauses out of 1391 for limit 3737.5435137133745
1786.19/1774.55	c cleaning 566 clauses out of 1282 for limit 6681.081008096237
1786.39/1774.75	c cleaning 527 clauses out of 1219 for limit 11622.257129764474
1786.59/1774.92	c cleaning 494 clauses out of 1189 for limit 19591.36438193733
1786.69/1775.06	c cleaning 520 clauses out of 1195 for limit 32146.560931978616
1786.89/1775.21	c cleaning 503 clauses out of 1175 for limit 53916.34507476123
1787.09/1775.50	c cleaning 509 clauses out of 1172 for limit 89142.86463119696
1787.29/1775.69	c cleaning 499 clauses out of 1163 for limit 148146.15018092896
1787.69/1776.01	c cleaning 483 clauses out of 1164 for limit 244102.92954667608
1787.99/1776.35	c cleaning 499 clauses out of 1182 for limit 396824.88045233884
1793.82/1782.16	c cleaning 3232 clauses out of 6682 for limit 2.8375663915564585E7
1794.32/1782.66	c cleaning 1869 clauses out of 3951 for limit 7.922018861275654E7
1794.75/1783.08	c cleaning 1266 clauses out of 2582 for limit 1.999136970883362E8
1795.15/1783.44	c cleaning 882 clauses out of 1815 for limit 4.685366139316338E8
1795.55/1783.81	c cleaning 687 clauses out of 1436 for limit 9.79546701249157E8
1795.85/1784.12	c cleaning 581 clauses out of 1246 for limit 1.8561535302439399E9
1796.15/1784.42	c cleaning 479 clauses out of 1168 for limit 3.27528063578227E9
1796.45/1784.77	c cleaning 485 clauses out of 1186 for limit 5.303456646129784E9
1796.95/1785.20	c cleaning 579 clauses out of 1201 for limit 8.63687415398926E9
1797.24/1785.53	c cleaning 557 clauses out of 1125 for limit 1.5251287181813293E10
1797.44/1785.71	c cleaning 440 clauses out of 1065 for limit 2.6488768345842068E10
1797.64/1785.92	c cleaning 449 clauses out of 1125 for limit 4.135373473398792E10
1797.84/1786.14	c cleaning 477 clauses out of 1177 for limit 6.525010216461515E10
1798.05/1786.38	c cleaning 582 clauses out of 1199 for limit 1.0552609102494612E11
1798.34/1786.60	c cleaning 557 clauses out of 1119 for limit 1.868417206500779E11
1800.07/1788.31	c starts		: 21
1800.07/1788.31	c conflicts		: 910442
1800.07/1788.31	c decisions		: 1555399
1800.07/1788.31	c propagations		: 107212156
1800.07/1788.31	c inspects		: 1369269463
1800.07/1788.31	c learnt literals	: 0
1800.07/1788.31	c learnt binary clauses	: 0
1800.07/1788.31	c learnt ternary clauses	: 0
1800.07/1788.31	c learnt clauses	: 910443
1800.07/1788.31	c root simplifications	: 0
1800.07/1788.31	c removed literals (reason simplification)	: 0
1800.07/1788.31	c reason swapping (by a shorter reason)	: 0
1800.07/1788.31	c Calls to reduceDB	: 318
1800.07/1788.31	c speed (decisions/second)	: 870.6258829956587
1800.07/1788.31	c non guided choices	12822
1800.07/1788.31	s UNKNOWN
1800.07/1788.31	c Total wall clock time (ms): 1787.962

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node16/watcher-350257-1176492931 -o ROOT/results/node16/solver-350257-1176492931 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350257-1176492931/sat4jPseudoResolution.jar /tmp/evaluation/350257-1176492931/instance-350257-1176492931.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.01 0.24 0.20 2/77 24730
/proc/meminfo: memFree=1762000/2055920 swapFree=4192812/4192956
[pid=24730] ppid=24728 vsize=18568 CPUtime=0
/proc/24730/stat : 24730 (runsolver) D 24728 24730 24667 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 97210791 19013632 292 18446744073709551615 4194304 4296420 548682068864 18446744073709551615 231962373415 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/24730/statm: 4642 292 257 24 0 2626 0

[startup+0.0640521 s]
/proc/loadavg: 0.01 0.24 0.20 2/77 24730
/proc/meminfo: memFree=1762000/2055920 swapFree=4192812/4192956
[pid=24730] ppid=24728 vsize=18568 CPUtime=0
/proc/24730/stat : 24730 (runsolver) D 24728 24730 24667 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 97210791 19013632 292 18446744073709551615 4194304 4296420 548682068864 18446744073709551615 231962373415 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/24730/statm: 4642 292 257 24 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18568

[startup+0.101054 s]
/proc/loadavg: 0.01 0.24 0.20 2/77 24730
/proc/meminfo: memFree=1762000/2055920 swapFree=4192812/4192956
[pid=24730] ppid=24728 vsize=12056 CPUtime=0
/proc/24730/stat : 24730 (java) R 24728 24730 24667 0 -1 0 609 0 0 0 0 0 0 0 18 0 1 0 97210791 12345344 417 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 7169219 0 0 4096 0 0 0 0 17 0 0 0
/proc/24730/statm: 3014 417 141 9 0 1148 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12056

[startup+0.301009 s]
/proc/loadavg: 0.01 0.24 0.20 2/77 24730
/proc/meminfo: memFree=1762000/2055920 swapFree=4192812/4192956
[pid=24730] ppid=24728 vsize=1781448 CPUtime=0.13
/proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 4427 0 1 0 10 3 0 0 18 0 12 0 97210791 1824202752 4166 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24730/statm: 445362 4166 1233 9 0 442974 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 1781448

[startup+0.701926 s]
/proc/loadavg: 0.01 0.24 0.20 2/77 24730
/proc/meminfo: memFree=1762000/2055920 swapFree=4192812/4192956
[pid=24730] ppid=24728 vsize=1785440 CPUtime=0.7
/proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 6848 0 1 0 67 3 0 0 18 0 12 0 97210791 1828290560 6384 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24730/statm: 446360 6384 1295 9 0 443972 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 1785440

[startup+1.50276 s]
/proc/loadavg: 0.01 0.24 0.20 4/89 24742
/proc/meminfo: memFree=1737584/2055920 swapFree=4192812/4192956
[pid=24730] ppid=24728 vsize=1785024 CPUtime=1.78
/proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 21740 0 1 0 168 10 0 0 18 0 12 0 97210791 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24730/statm: 446256 20652 1309 9 0 443868 0
[pid=24730/tid=24732] ppid=24728 vsize=1785024 CPUtime=0.99
/proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 18984 0 1 0 90 9 0 0 19 0 12 0 97210801 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109615104 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24733] ppid=24728 vsize=1785024 CPUtime=0
/proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 97210803 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24734] ppid=24728 vsize=1785024 CPUtime=0
/proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 97210803 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24735] ppid=24728 vsize=1785024 CPUtime=0
/proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 16 0 12 0 97210805 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24736] ppid=24728 vsize=1785024 CPUtime=0
/proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 10 0 0 0 0 0 0 0 20 0 12 0 97210805 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24737] ppid=24728 vsize=1785024 CPUtime=0
/proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 97210805 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24738] ppid=24728 vsize=1785024 CPUtime=0
/proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 12 0 97210809 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24739] ppid=24728 vsize=1785024 CPUtime=0.37
/proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 713 0 0 0 37 0 0 0 17 0 12 0 97210809 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24740] ppid=24728 vsize=1785024 CPUtime=0.39
/proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1323 0 0 0 39 0 0 0 16 0 12 0 97210809 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24741] ppid=24728 vsize=1785024 CPUtime=0
/proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 12 0 97210809 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24742] ppid=24728 vsize=1785024 CPUtime=0
/proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 97210809 1827864576 20652 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 1785024

[startup+3.10243 s]
/proc/loadavg: 0.01 0.24 0.20 4/90 24743
/proc/meminfo: memFree=1648360/2055920 swapFree=4192812/4192956
[pid=24730] ppid=24728 vsize=1788472 CPUtime=3.76
/proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 33801 0 1 0 361 15 0 0 18 0 13 0 97210791 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24730/statm: 447118 31676 1322 9 0 444730 0
[pid=24730/tid=24732] ppid=24728 vsize=1788472 CPUtime=2.32
/proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 29045 0 1 0 219 13 0 0 18 0 13 0 97210801 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109774495 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24733] ppid=24728 vsize=1788472 CPUtime=0
/proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 97210803 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24734] ppid=24728 vsize=1788472 CPUtime=0
/proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 97210803 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24735] ppid=24728 vsize=1788472 CPUtime=0
/proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 97210805 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24736] ppid=24728 vsize=1788472 CPUtime=0
/proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 97210805 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24737] ppid=24728 vsize=1788472 CPUtime=0
/proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 97210805 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24738] ppid=24728 vsize=1788472 CPUtime=0
/proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24739] ppid=24728 vsize=1788472 CPUtime=0.68
/proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2287 0 0 0 68 0 0 0 16 0 13 0 97210809 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24740] ppid=24728 vsize=1788472 CPUtime=0.73
/proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1746 0 0 0 73 0 0 0 16 0 13 0 97210809 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24741] ppid=24728 vsize=1788472 CPUtime=0
/proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24742] ppid=24728 vsize=1788472 CPUtime=0
/proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24743] ppid=24728 vsize=1788472 CPUtime=0
/proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1831395328 31676 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 1788472

[startup+6.30177 s]
/proc/loadavg: 0.08 0.26 0.20 2/90 24743
/proc/meminfo: memFree=1621480/2055920 swapFree=4192812/4192956
[pid=24730] ppid=24728 vsize=1786820 CPUtime=6.97
/proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 40383 0 1 0 678 19 0 0 18 0 13 0 97210791 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24730/statm: 446705 37663 1322 9 0 444317 0
[pid=24730/tid=24732] ppid=24728 vsize=1786820 CPUtime=5.49
/proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 35625 0 1 0 532 17 0 0 25 0 13 0 97210801 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109722322 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24733] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 97210803 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24734] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 97210803 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24736] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 10 0 0 0 0 0 0 0 20 0 13 0 97210805 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24737] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 97210805 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24738] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24739] ppid=24728 vsize=1786820 CPUtime=0.69
/proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2287 0 0 0 69 0 0 0 16 0 13 0 97210809 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24740] ppid=24728 vsize=1786820 CPUtime=0.75
/proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1748 0 0 0 75 0 0 0 16 0 13 0 97210809 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24741] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24742] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24743] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1829703680 37663 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 1786820

[startup+12.7024 s]
/proc/loadavg: 0.16 0.27 0.20 2/90 24743
/proc/meminfo: memFree=1560552/2055920 swapFree=4192812/4192956
[pid=24730] ppid=24728 vsize=1786820 CPUtime=13.45
/proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 55449 0 1 0 1318 27 0 0 18 0 13 0 97210791 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24730/statm: 446705 51402 1331 9 0 444317 0
[pid=24730/tid=24732] ppid=24728 vsize=1786820 CPUtime=11.79
/proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 37684 0 1 0 1161 18 0 0 25 0 13 0 97210801 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109702723 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24733] ppid=24728 vsize=1786820 CPUtime=0.07
/proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 5536 0 0 0 5 2 0 0 16 0 13 0 97210803 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24734] ppid=24728 vsize=1786820 CPUtime=0.07
/proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 7466 0 0 0 3 4 0 0 16 0 13 0 97210803 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24736] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24737] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24738] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24739] ppid=24728 vsize=1786820 CPUtime=0.7
/proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2287 0 0 0 70 0 0 0 15 0 13 0 97210809 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24740] ppid=24728 vsize=1786820 CPUtime=0.76
/proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1748 0 0 0 76 0 0 0 17 0 13 0 97210809 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24741] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24742] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24743] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1829703680 51402 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.45
Current children cumulated vsize (KiB) 1786820

[startup+25.5018 s]
/proc/loadavg: 0.34 0.30 0.22 2/90 24743
/proc/meminfo: memFree=1560552/2055920 swapFree=4192812/4192956
[pid=24730] ppid=24728 vsize=1786820 CPUtime=26.24
/proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 55450 0 1 0 2597 27 0 0 18 0 13 0 97210791 1829703680 51403 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24730/statm: 446705 51403 1331 9 0 444317 0
[pid=24730/tid=24732] ppid=24728 vsize=1786820 CPUtime=24.6
/proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 37685 0 1 0 2441 19 0 0 25 0 13 0 97210801 1829703680 51403 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109759191 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24733] ppid=24728 vsize=1786820 CPUtime=0.07
/proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 5536 0 0 0 5 2 0 0 16 0 13 0 97210803 1829703680 51403 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24734] ppid=24728 vsize=1786820 CPUtime=0.07
/proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 7466 0 0 0 3 4 0 0 16 0 13 0 97210803 1829703680 51403 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 51403 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0

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

[pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=2.79
/proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 13625 0 0 0 253 26 0 0 16 0 13 0 97210805 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24736] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24737] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24738] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24739] ppid=24728 vsize=1786820 CPUtime=0.77
/proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2298 0 0 0 77 0 0 0 16 0 13 0 97210809 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24740] ppid=24728 vsize=1786820 CPUtime=0.86
/proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1754 0 0 0 86 0 0 0 17 0 13 0 97210809 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24741] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24742] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24743] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1829703680 107328 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1612.99
Current children cumulated vsize (KiB) 1786820

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.84 2/90 24941
/proc/meminfo: memFree=1337000/2055920 swapFree=4192812/4192956
[pid=24730] ppid=24728 vsize=1786820 CPUtime=1673.28
/proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 483791 0 1 0 167029 299 0 0 18 0 13 0 97210791 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24730/statm: 446705 106474 1335 9 0 444317 0
[pid=24730/tid=24732] ppid=24728 vsize=1786820 CPUtime=1647.81
/proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 37808 0 1 0 164749 32 0 0 25 0 13 0 97210801 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109776408 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24733] ppid=24728 vsize=1786820 CPUtime=10.4
/proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 212697 0 0 0 922 118 0 0 16 0 13 0 97210803 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24734] ppid=24728 vsize=1786820 CPUtime=10.4
/proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 214844 0 0 0 920 120 0 0 16 0 13 0 97210803 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=2.98
/proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 13669 0 0 0 272 26 0 0 16 0 13 0 97210805 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24736] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24737] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24738] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24739] ppid=24728 vsize=1786820 CPUtime=0.77
/proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2298 0 0 0 77 0 0 0 16 0 13 0 97210809 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24740] ppid=24728 vsize=1786820 CPUtime=0.86
/proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1754 0 0 0 86 0 0 0 17 0 13 0 97210809 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24741] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24742] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24743] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1829703680 106474 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1673.28
Current children cumulated vsize (KiB) 1786820

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.85 2/90 24941
/proc/meminfo: memFree=1313768/2055920 swapFree=4192812/4192956
[pid=24730] ppid=24728 vsize=1786820 CPUtime=1733.63
/proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 499295 0 1 0 173052 311 0 0 18 0 13 0 97210791 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24730/statm: 446705 112301 1335 9 0 444317 0
[pid=24730/tid=24732] ppid=24728 vsize=1786820 CPUtime=1707.37
/proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 37812 0 1 0 170704 33 0 0 25 0 13 0 97210801 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109759281 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24733] ppid=24728 vsize=1786820 CPUtime=10.74
/proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 220630 0 0 0 951 123 0 0 16 0 13 0 97210803 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24734] ppid=24728 vsize=1786820 CPUtime=10.74
/proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 222411 0 0 0 949 125 0 0 16 0 13 0 97210803 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=3.08
/proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 13669 0 0 0 282 26 0 0 16 0 13 0 97210805 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24736] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24737] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24738] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24739] ppid=24728 vsize=1786820 CPUtime=0.77
/proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2298 0 0 0 77 0 0 0 16 0 13 0 97210809 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24740] ppid=24728 vsize=1786820 CPUtime=0.86
/proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1754 0 0 0 86 0 0 0 17 0 13 0 97210809 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24741] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24742] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24743] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1829703680 112301 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1733.63
Current children cumulated vsize (KiB) 1786820

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.85 2/90 24941
/proc/meminfo: memFree=1348200/2055920 swapFree=4192812/4192956
[pid=24730] ppid=24728 vsize=1786820 CPUtime=1794.02
/proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 499302 0 1 0 179090 312 0 0 18 0 13 0 97210791 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24730/statm: 446705 103678 1335 9 0 444317 0
[pid=24730/tid=24732] ppid=24728 vsize=1786820 CPUtime=1766.85
/proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 37819 0 1 0 176652 33 0 0 25 0 13 0 97210801 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109759181 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24733] ppid=24728 vsize=1786820 CPUtime=11.13
/proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 220630 0 0 0 990 123 0 0 16 0 13 0 97210803 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24734] ppid=24728 vsize=1786820 CPUtime=11.13
/proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 222411 0 0 0 988 125 0 0 17 0 13 0 97210803 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=3.2
/proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 13669 0 0 0 293 27 0 0 16 0 13 0 97210805 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24736] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24737] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24738] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24739] ppid=24728 vsize=1786820 CPUtime=0.77
/proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2298 0 0 0 77 0 0 0 16 0 13 0 97210809 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24740] ppid=24728 vsize=1786820 CPUtime=0.86
/proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1754 0 0 0 86 0 0 0 17 0 13 0 97210809 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24741] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24742] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24743] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1829703680 103678 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1794.02
Current children cumulated vsize (KiB) 1786820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1788.3 s]
/proc/loadavg: 1.00 1.00 0.85 2/90 24941
/proc/meminfo: memFree=1349480/2055920 swapFree=4192812/4192956
[pid=24730] ppid=24728 vsize=1786820 CPUtime=1800.07
/proc/24730/stat : 24730 (java) S 24728 24730 24667 0 -1 0 499304 0 1 0 179695 312 0 0 18 0 13 0 97210791 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24730/statm: 446705 103358 1335 9 0 444317 0
[pid=24730/tid=24732] ppid=24728 vsize=1786820 CPUtime=1772.79
/proc/24730/task/24732/stat : 24732 (java) R 24728 24730 24667 0 -1 64 37821 0 1 0 177246 33 0 0 25 0 13 0 97210801 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109779800 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24733] ppid=24728 vsize=1786820 CPUtime=11.19
/proc/24730/task/24733/stat : 24733 (java) S 24728 24730 24667 0 -1 64 220630 0 0 0 996 123 0 0 16 0 13 0 97210803 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24734] ppid=24728 vsize=1786820 CPUtime=11.19
/proc/24730/task/24734/stat : 24734 (java) S 24728 24730 24667 0 -1 64 222411 0 0 0 994 125 0 0 16 0 13 0 97210803 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24735] ppid=24728 vsize=1786820 CPUtime=3.2
/proc/24730/task/24735/stat : 24735 (java) S 24728 24730 24667 0 -1 64 13669 0 0 0 293 27 0 0 16 0 13 0 97210805 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24736] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24736/stat : 24736 (java) S 24728 24730 24667 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24737] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24737/stat : 24737 (java) S 24728 24730 24667 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 97210805 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24738] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24738/stat : 24738 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 97210809 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24739] ppid=24728 vsize=1786820 CPUtime=0.77
/proc/24730/task/24739/stat : 24739 (java) S 24728 24730 24667 0 -1 64 2298 0 0 0 77 0 0 0 16 0 13 0 97210809 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24740] ppid=24728 vsize=1786820 CPUtime=0.86
/proc/24730/task/24740/stat : 24740 (java) S 24728 24730 24667 0 -1 64 1754 0 0 0 86 0 0 0 17 0 13 0 97210809 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24741] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24741/stat : 24741 (java) S 24728 24730 24667 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 97210809 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24730/tid=24742] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24742/stat : 24742 (java) S 24728 24730 24667 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 97210809 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24730/tid=24743] ppid=24728 vsize=1786820 CPUtime=0
/proc/24730/task/24743/stat : 24743 (java) S 24728 24730 24667 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 97210969 1829703680 103358 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1786820

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

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

[startup+1788.41 s]
/proc/loadavg: 1.00 1.00 0.85 2/90 24941
/proc/meminfo: memFree=1349480/2055920 swapFree=4192812/4192956
[pid=24730] ppid=24728 vsize=0 CPUtime=1800.18
/proc/24730/stat : 24730 (java) Z 24728 24730 24667 0 -1 1036 499324 0 1 0 179701 317 0 0 15 0 2 0 97210791 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24730/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1788.43
CPU time (s): 1800.21
CPU user time (s): 1797.02
CPU system time (s): 3.18951
CPU usage (%): 100.659
Max. virtual memory (cumulated for all children) (KiB): 1788616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.02
system time used= 3.18952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 499324
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37907
involuntary context switches= 48990

runsolver used 1.59476 second user time and 5.02224 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Fri Apr 13 19:35:32 UTC 2007

IDJOB= 350257
IDBENCH= 1153
IDSOLVER= 159
FILE ID= node16/350257-1176492931

PBS_JOBID= 4556677

Free space on /tmp= 66516 MiB

SOLVER NAME= SAT4JPseudoResolution 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/robin/normalized-robin16.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350257-1176492931/sat4jPseudoResolution.jar /tmp/evaluation/350257-1176492931/instance-350257-1176492931.opb           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-350257-1176492931 -o ROOT/results/node16/solver-350257-1176492931 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/350257-1176492931/sat4jPseudoResolution.jar /tmp/evaluation/350257-1176492931/instance-350257-1176492931.opb           

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  d761333f7ff9a755d3cd90e52b11f227

RANDOM SEED= 236158655

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node16.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1762536 kB
Buffers:         39668 kB
Cached:         137668 kB
SwapCached:        144 kB
Active:         176364 kB
Inactive:        56076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1762536 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5132 kB
Writeback:           0 kB
Mapped:          73868 kB
Slab:            46464 kB
Committed_AS:  2575632 kB
PageTables:       1836 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66516 MiB

End job on node16 on Fri Apr 13 20:05:22 UTC 2007