Trace number 210925

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
Abscon 109 ESAC? (TO) 1800.14 1808.53

General information on the benchmark

NamepseudoSeries/uclid/
dlx1c-ucl.xml
MD5SUM2223c05bcff693a714e1d3bc9eac2823
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark8.6
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables6392
Number of constraints18057
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension18057
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=esac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/210925-1168203957/unknown.xml
0.40	   
0.40	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.65	     nbVariables=6392  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.65	       =>  wckTime=0.329  cpuTime=0.21  mem=17M615
0.65	   
0.65	   predicates being loaded...
0.66	   
0.66	   constraints being loaded...
3.15	     nbConstraints=17382  nbMergedConstraints=675  nbSingletonDomainVariables=4  nbConvertedConstraints=11423
3.16	     nbConvertConstraintsChecks=22577  nbExtensionStructures=5  nbSharedExtensionStructures=11418
3.16	     nbConflictsStructures=37  nbSharedConflictsStructures=17345  nbSharedBinaryRepresentations=12
3.16	     nbEvaluationManagers=32  nbSharedEvaluationManagers=5927  maxDegree=92  maxArity=11
3.16	       =>  wckTime=2.838  cpuTime=2.39  mem=60M637
3.32	   
3.32	   solver IterativeSystematicSolver being built... 
3.86	       =>  wckTime=3.546  cpuTime=2.82  mem=59M555
30.29	   
30.29	   preprocessing
30.29	     nbConstraintChecks=187352  nbValidityChecks=123356  nbPropagations=30125  nbRevisions=166390
30.29	     nbUselessRevisions=149018  nbSingletonTests=6562  nbEffectiveSingletonTests=0  nbESACBranches=6  nbRemovedValues=0
30.29	     detectedInconsistency=no
30.29	       =>  wckTime=26.414  cpuTime=26.24  mem=59M555
34.09	   
34.09	   search
34.09	     run=0  nbConstraintChecks=40800  nbValidityChecks=43966  nbPropagations=36548  nbRevisions=216522
34.09	     nbUselessRevisions=192659  nbAssignments=307  nbFailedAssignments=3  nbBacktracks=38  nbVisitedNodes=317
34.09	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=0
34.09	       =>  wckTime=30.218  cpuTime=30.0  mem=61M572
38.28	   
38.28	   search
38.28	     run=1  nbConstraintChecks=182321  nbValidityChecks=157307  nbPropagations=96674  nbRevisions=592465
38.28	     nbUselessRevisions=521292  nbAssignments=871  nbFailedAssignments=4  nbBacktracks=82  nbVisitedNodes=634
38.28	     nbRestartNogoods=3  mapSize=12  nbInferences=0  nbTooLargeKeys=0
38.28	       =>  wckTime=34.414  cpuTime=34.17  mem=62M580
42.00	   
42.00	   search
42.00	     run=2  nbConstraintChecks=219065  nbValidityChecks=199637  nbPropagations=163226  nbRevisions=1017512
42.00	     nbUselessRevisions=892538  nbAssignments=1176  nbFailedAssignments=5  nbBacktracks=120  nbVisitedNodes=946
42.00	     nbRestartNogoods=4  mapSize=18  nbInferences=0  nbTooLargeKeys=0
42.00	       =>  wckTime=38.13  cpuTime=37.87  mem=62M580
45.83	   
45.83	   search
45.83	     run=3  nbConstraintChecks=255739  nbValidityChecks=242111  nbPropagations=236195  nbRevisions=1491724
45.83	     nbUselessRevisions=1306477  nbAssignments=1486  nbFailedAssignments=6  nbBacktracks=195  nbVisitedNodes=1263
45.83	     nbRestartNogoods=5  mapSize=24  nbInferences=0  nbTooLargeKeys=0
45.83	       =>  wckTime=41.961  cpuTime=41.68  mem=63M589
48.93	   
48.93	   search
48.93	     run=4  nbConstraintChecks=285149  nbValidityChecks=281720  nbPropagations=314194  nbRevisions=2007392
48.93	     nbUselessRevisions=1756901  nbAssignments=1747  nbFailedAssignments=8  nbBacktracks=246  nbVisitedNodes=1528
48.93	     nbRestartNogoods=6  mapSize=27  nbInferences=0  nbTooLargeKeys=0
48.93	       =>  wckTime=45.059  cpuTime=44.76  mem=64M597
52.68	   
52.68	   search
52.68	     run=5  nbConstraintChecks=314938  nbValidityChecks=322085  nbPropagations=397256  nbRevisions=2565097
52.68	     nbUselessRevisions=2244333  nbAssignments=2058  nbFailedAssignments=12  nbBacktracks=345  nbVisitedNodes=1847
52.68	     nbRestartNogoods=7  mapSize=33  nbInferences=0  nbTooLargeKeys=0
52.68	       =>  wckTime=48.808  cpuTime=48.48  mem=64M597
56.77	   
56.77	   search
56.77	     run=6  nbConstraintChecks=345217  nbValidityChecks=363237  nbPropagations=485422  nbRevisions=3165470
56.77	     nbUselessRevisions=2769352  nbAssignments=2396  nbFailedAssignments=17  nbBacktracks=469  nbVisitedNodes=2195
56.77	     nbRestartNogoods=9  mapSize=40  nbInferences=0  nbTooLargeKeys=0
56.77	       =>  wckTime=52.903  cpuTime=52.55  mem=65M605
61.53	   
61.53	   search
61.53	     run=7  nbConstraintChecks=379331  nbValidityChecks=405801  nbPropagations=578878  nbRevisions=3810113
61.53	     nbUselessRevisions=3333334  nbAssignments=2788  nbFailedAssignments=25  nbBacktracks=645  nbVisitedNodes=2602
61.53	     nbRestartNogoods=12  mapSize=52  nbInferences=0  nbTooLargeKeys=0
61.53	       =>  wckTime=57.659  cpuTime=57.29  mem=66M613
74.96	   
74.96	   search
74.96	     run=8  nbConstraintChecks=488566  nbValidityChecks=489559  nbPropagations=686815  nbRevisions=4561072
74.96	     nbUselessRevisions=3988474  nbAssignments=3745  nbFailedAssignments=35  nbBacktracks=942  nbVisitedNodes=3597
74.96	     nbRestartNogoods=15  mapSize=88  nbInferences=0  nbTooLargeKeys=0
74.96	       =>  wckTime=71.09  cpuTime=70.66  mem=67M622
88.30	   
88.31	   search
88.31	     run=9  nbConstraintChecks=647602  nbValidityChecks=613668  nbPropagations=821492  nbRevisions=5488427
88.31	     nbUselessRevisions=4793459  nbAssignments=5046  nbFailedAssignments=38  nbBacktracks=1518  nbVisitedNodes=4521
88.31	     nbRestartNogoods=19  mapSize=95  nbInferences=1  nbTooLargeKeys=0
88.31	       =>  wckTime=84.435  cpuTime=83.93  mem=68M630
108.49	   
108.49	   search
108.49	     run=10  nbConstraintChecks=769805  nbValidityChecks=717936  nbPropagations=975783  nbRevisions=6553936
108.49	     nbUselessRevisions=5717085  nbAssignments=6628  nbFailedAssignments=42  nbBacktracks=2492  nbVisitedNodes=6024
108.49	     nbRestartNogoods=21  mapSize=196  nbInferences=88  nbTooLargeKeys=0
108.49	       =>  wckTime=104.62  cpuTime=104.01  mem=69M638
128.27	   
128.27	   search
128.27	     run=11  nbConstraintChecks=851779  nbValidityChecks=811299  nbPropagations=1142093  nbRevisions=7722715
128.27	     nbUselessRevisions=6732321  nbAssignments=8013  nbFailedAssignments=44  nbBacktracks=3356  nbVisitedNodes=7609
128.27	     nbRestartNogoods=23  mapSize=391  nbInferences=280  nbTooLargeKeys=0
128.27	       =>  wckTime=124.402  cpuTime=123.7  mem=71M655
155.36	   
155.36	   search
155.36	     run=12  nbConstraintChecks=931070  nbValidityChecks=897443  nbPropagations=1320415  nbRevisions=8991556
155.36	     nbUselessRevisions=7835802  nbAssignments=9892  nbFailedAssignments=48  nbBacktracks=4747  nbVisitedNodes=9650
155.36	     nbRestartNogoods=28  mapSize=551  nbInferences=427  nbTooLargeKeys=0
155.36	       =>  wckTime=151.487  cpuTime=150.66  mem=73M672
197.74	   
197.74	   search
197.74	     run=13  nbConstraintChecks=1076477  nbValidityChecks=1046254  nbPropagations=1520385  nbRevisions=10438258
197.74	     nbUselessRevisions=9095936  nbAssignments=12798  nbFailedAssignments=61  nbBacktracks=6957  nbVisitedNodes=12931
197.74	     nbRestartNogoods=30  mapSize=922  nbInferences=775  nbTooLargeKeys=0
197.74	       =>  wckTime=193.874  cpuTime=192.85  mem=75M688
252.23	   
252.23	   search
252.23	     run=14  nbConstraintChecks=1260656  nbValidityChecks=1200551  nbPropagations=1748125  nbRevisions=12084395
252.23	     nbUselessRevisions=10527832  nbAssignments=16730  nbFailedAssignments=77  nbBacktracks=9984  nbVisitedNodes=16960
252.23	     nbRestartNogoods=34  mapSize=1242  nbInferences=1057  nbTooLargeKeys=0
252.23	       =>  wckTime=248.356  cpuTime=247.09  mem=78M713
331.58	   
331.58	   search
331.58	     run=15  nbConstraintChecks=1465116  nbValidityChecks=1407179  nbPropagations=2005087  nbRevisions=13970278
331.58	     nbUselessRevisions=12170751  nbAssignments=22410  nbFailedAssignments=97  nbBacktracks=14473  nbVisitedNodes=22856
331.58	     nbRestartNogoods=38  mapSize=1795  nbInferences=1554  nbTooLargeKeys=0
331.58	       =>  wckTime=327.709  cpuTime=326.02  mem=38M402
457.40	   
457.40	   search
457.40	     run=16  nbConstraintChecks=1927434  nbValidityChecks=1843251  nbPropagations=2330782  nbRevisions=16413309
457.40	     nbUselessRevisions=14303274  nbAssignments=30734  nbFailedAssignments=153  nbBacktracks=21111  nbVisitedNodes=32579
457.40	     nbRestartNogoods=41  mapSize=3191  nbInferences=2822  nbTooLargeKeys=0
457.40	       =>  wckTime=453.527  cpuTime=451.25  mem=44M452
605.43	   
605.43	   search
605.43	     run=17  nbConstraintChecks=3687766  nbValidityChecks=2859315  nbPropagations=2930347  nbRevisions=20739842
605.43	     nbUselessRevisions=18027954  nbAssignments=42012  nbFailedAssignments=836  nbBacktracks=30976  nbVisitedNodes=45563
605.43	     nbRestartNogoods=44  mapSize=5057  nbInferences=3128  nbTooLargeKeys=0
605.43	       =>  wckTime=601.564  cpuTime=598.59  mem=57M560
818.33	   
818.33	   search
818.33	     run=18  nbConstraintChecks=8427785  nbValidityChecks=6599059  nbPropagations=3983870  nbRevisions=29210511
818.33	     nbUselessRevisions=25411308  nbAssignments=58745  nbFailedAssignments=2150  nbBacktracks=45755
818.33	     nbVisitedNodes=65240  nbRestartNogoods=54  mapSize=8558  nbInferences=3129  nbTooLargeKeys=0
818.33	       =>  wckTime=814.462  cpuTime=810.49  mem=79M742
1136.27	   
1136.27	   search
1136.27	     run=19  nbConstraintChecks=17967931  nbValidityChecks=12706773  nbPropagations=6271191  nbRevisions=47217203
1136.27	     nbUselessRevisions=41009715  nbAssignments=83107  nbFailedAssignments=4044  nbBacktracks=67968
1136.27	     nbVisitedNodes=94748  nbRestartNogoods=60  mapSize=13695  nbInferences=3194  nbTooLargeKeys=0
1136.27	       =>  wckTime=1132.396  cpuTime=1126.89  mem=83M266
1586.90	   
1586.90	   search
1586.90	     run=20  nbConstraintChecks=28834962  nbValidityChecks=20748039  nbPropagations=9856954  nbRevisions=76102519
1586.90	     nbUselessRevisions=66069503  nbAssignments=120129  nbFailedAssignments=7442  nbBacktracks=101237
1586.90	     nbVisitedNodes=139866  nbRestartNogoods=69  mapSize=22035  nbInferences=3194  nbTooLargeKeys=0
1586.90	       =>  wckTime=1583.034  cpuTime=1575.35  mem=81M628

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node56/watcher-210925-1168203957 -o ROOT/results/node56/solver-210925-1168203957 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210925-1168203957/unknown.xml 

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

/proc/loadavg: 1.52 1.90 1.89 4/70 14528
/proc/meminfo: memFree=1487728/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=1784 CPUtime=0
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 135 0 0 0 0 0 0 0 20 0 1 0 168793892 1826816 107 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14527/statm: 446 115 86 14 0 91 0

[startup+0.105442 s]
/proc/loadavg: 1.52 1.90 1.89 4/70 14528
/proc/meminfo: memFree=1487728/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=914988 CPUtime=0.09
/proc/14527/stat : 14527 (java) D 14518 14527 14382 0 -1 0 2989 0 1 0 7 2 0 0 17 0 8 0 168793892 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14527/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.513483 s]
/proc/loadavg: 1.52 1.90 1.89 4/70 14528
/proc/meminfo: memFree=1487728/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915328 CPUtime=0.46
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 6327 0 1 0 42 4 0 0 18 0 8 0 168793892 937295872 6066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155081411 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228832 6066 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328

[startup+1.33657 s]
/proc/loadavg: 1.52 1.90 1.89 3/88 14547
/proc/meminfo: memFree=1413216/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915624 CPUtime=1.28
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 17821 0 1 0 117 11 0 0 24 0 8 0 168793892 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073540676 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228906 17559 2158 14 0 215376 0
[pid=14527/tid=14534] ppid=14518 vsize=915624 CPUtime=0.05
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 1278 0 0 0 5 0 0 0 17 0 8 0 168793896 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915624 CPUtime=0.15
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 412 0 0 0 15 0 0 0 15 0 8 0 168793900 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915624

[startup+2.98973 s]
/proc/loadavg: 1.52 1.90 1.89 3/88 14547
/proc/meminfo: memFree=1400672/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915624 CPUtime=2.92
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 21374 0 1 0 213 79 0 0 25 0 8 0 168793892 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3228535777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228906 21109 2178 14 0 215376 0
[pid=14527/tid=14534] ppid=14518 vsize=915624 CPUtime=0.21
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 4740 0 0 0 19 2 0 0 16 0 8 0 168793896 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915624 CPUtime=0.2
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 439 0 0 0 19 1 0 0 15 0 8 0 168793900 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915624

[startup+6.29105 s]
/proc/loadavg: 1.64 1.91 1.90 3/88 14547
/proc/meminfo: memFree=1367336/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=6.2
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 26361 0 1 0 535 85 0 0 25 0 8 0 168793892 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074225081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 26077 2539 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.4
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 9191 0 0 0 36 4 0 0 17 0 8 0 168793896 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.34
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 524 0 0 0 32 2 0 0 16 0 8 0 168793900 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915868

[startup+12.7787 s]
/proc/loadavg: 1.67 1.92 1.90 3/88 14547
/proc/meminfo: memFree=1356712/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=12.66
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 26367 0 1 0 1181 85 0 0 25 0 8 0 168793892 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074225064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 26080 2540 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.4
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 9191 0 0 0 36 4 0 0 17 0 8 0 168793896 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.34
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 527 0 0 0 32 2 0 0 16 0 8 0 168793900 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915868

[startup+25.6329 s]
/proc/loadavg: 1.74 1.92 1.90 3/88 14547
/proc/meminfo: memFree=1343912/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=25.46
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 26373 0 1 0 2461 85 0 0 25 0 8 0 168793892 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074191076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 26084 2540 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.4
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 9191 0 0 0 36 4 0 0 16 0 8 0 168793896 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.35
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 531 0 0 0 33 2 0 0 16 0 8 0 168793900 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915868

[startup+51.2664 s]
/proc/loadavg: 1.83 1.92 1.90 3/88 14547
/proc/meminfo: memFree=1324328/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=50.97
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 26401 0 1 0 5011 86 0 0 25 0 8 0 168793892 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074176483 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 26105 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.4
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 9191 0 0 0 36 4 0 0 16 0 8 0 168793896 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.39
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 551 0 0 0 37 2 0 0 16 0 8 0 168793900 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915868

[startup+102.528 s]
/proc/loadavg: 1.92 1.93 1.91 3/88 14547
/proc/meminfo: memFree=1294632/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=101.99
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 26409 0 1 0 10113 86 0 0 25 0 8 0 168793892 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074280417 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 26110 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.4
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 9191 0 0 0 36 4 0 0 16 0 8 0 168793896 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.4
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 557 0 0 0 38 2 0 0 16 0 8 0 168793900 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 915868

[startup+162.537 s]
/proc/loadavg: 2.05 1.96 1.91 3/88 14547
/proc/meminfo: memFree=1293032/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=161.71
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 26409 0 1 0 16085 86 0 0 25 0 8 0 168793892 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1416.03
Current children cumulated vsize (KiB) 915868

[startup+1482.75 s]
/proc/loadavg: 2.03 2.01 1.95 3/88 14549
/proc/meminfo: memFree=1257832/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=1475.76
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 33547 0 1 0 147485 91 0 0 25 0 8 0 168793892 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074258887 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 33244 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.53
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 16321 0 0 0 46 7 0 0 16 0 8 0 168793896 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.41
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 561 0 0 0 39 2 0 0 17 0 8 0 168793900 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.76
Current children cumulated vsize (KiB) 915868

[startup+1542.75 s]
/proc/loadavg: 2.01 2.01 1.95 3/88 14549
/proc/meminfo: memFree=1247016/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=1535.49
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 36244 0 1 0 153457 92 0 0 25 0 8 0 168793892 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 35940 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.57
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 19017 0 0 0 49 8 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.41
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 561 0 0 0 39 2 0 0 17 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.49
Current children cumulated vsize (KiB) 915868

[startup+1602.76 s]
/proc/loadavg: 2.05 2.02 1.95 3/88 14549
/proc/meminfo: memFree=1246952/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=1595.21
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 36244 0 1 0 159429 92 0 0 25 0 8 0 168793892 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074191076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 35940 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.57
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 19017 0 0 0 49 8 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.41
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 561 0 0 0 39 2 0 0 17 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.21
Current children cumulated vsize (KiB) 915868

[startup+1662.77 s]
/proc/loadavg: 2.02 2.01 1.95 3/88 14549
/proc/meminfo: memFree=1246952/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=1654.93
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 36244 0 1 0 165401 92 0 0 25 0 8 0 168793892 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074185150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 35940 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.57
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 19017 0 0 0 49 8 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.41
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 561 0 0 0 39 2 0 0 17 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.93
Current children cumulated vsize (KiB) 915868

[startup+1722.77 s]
/proc/loadavg: 2.04 2.02 1.96 3/88 14549
/proc/meminfo: memFree=1246888/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=1714.66
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 36244 0 1 0 171374 92 0 0 25 0 8 0 168793892 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 35940 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.57
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 19017 0 0 0 49 8 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.41
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 561 0 0 0 39 2 0 0 17 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.66
Current children cumulated vsize (KiB) 915868

[startup+1782.78 s]
/proc/loadavg: 2.01 2.02 1.96 3/88 14549
/proc/meminfo: memFree=1246888/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=1774.39
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 36244 0 1 0 177347 92 0 0 25 0 8 0 168793892 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074185114 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 35940 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.57
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 19017 0 0 0 49 8 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.41
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 561 0 0 0 39 2 0 0 17 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.39
Current children cumulated vsize (KiB) 915868



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.48 s]
/proc/loadavg: 2.01 2.02 1.96 3/88 14549
/proc/meminfo: memFree=1246888/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=1800.09
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 36244 0 1 0 179917 92 0 0 25 0 8 0 168793892 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074275626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 35940 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.57
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 19017 0 0 0 49 8 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.41
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 561 0 0 0 39 2 0 0 17 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915868

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

Child status: 143
Real time (s): 1808.53
CPU time (s): 1800.14
CPU user time (s): 1799.19
CPU system time (s): 0.948855
CPU usage (%): 99.5361
Max. virtual memory (cumulated for all children) (KiB): 915976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 0.948855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36261
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= 38460
involuntary context switches= 56344

runsolver used 2.25566 s user time and 5.75312 s system time

The end

Launcher Data (download as text)

Begin job on node56 on Sun Jan  7 21:05:57 UTC 2007


IDJOB= 210925
IDBENCH= 4656
FILE ID= node56/210925-1168203957

PBS_JOBID= 3480766

Free space on /tmp= 66550 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/dlx1c-ucl.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210925-1168203957/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node56/watcher-210925-1168203957 -o ROOT/results/node56/solver-210925-1168203957 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210925-1168203957/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  2223c05bcff693a714e1d3bc9eac2823

RANDOM SEED= 749847231

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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:       1488536 kB
Buffers:         46908 kB
Cached:         436236 kB
SwapCached:       2104 kB
Active:         133032 kB
Inactive:       364208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1488536 kB
SwapTotal:     4192956 kB
SwapFree:      4184772 kB
Dirty:            7456 kB
Writeback:           0 kB
Mapped:          20944 kB
Slab:            55744 kB
Committed_AS:  3267168 kB
PageTables:       1692 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= 66550 MiB



End job on node56 on Sun Jan  7 21:36:06 UTC 2007