Trace number 210776

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 AC? (TO) 1800.15 1808.55

General information on the benchmark

NamepseudoSeries/uclid/
ooo-rf9.xml
MD5SUM1fdc375fa3bc4f7f4fc21722cb153d83
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 benchmark12.4841
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables11476
Number of constraints33089
Maximum constraint arity11
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension33089
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/210776-1168075348/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.64	     nbVariables=11476  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.64	       =>  wckTime=0.34  cpuTime=0.27  mem=25M611
0.64	   
0.64	   predicates being loaded...
0.65	   
0.65	   constraints being loaded...
4.69	     nbConstraints=32242  nbMergedConstraints=847  nbSingletonDomainVariables=1  nbConvertedConstraints=21423
4.69	     nbConvertConstraintsChecks=24618  nbExtensionStructures=3  nbSharedExtensionStructures=21420
4.69	     nbConflictsStructures=37  nbSharedConflictsStructures=32205  nbSharedBinaryRepresentations=7
4.69	     nbEvaluationManagers=34  nbSharedEvaluationManagers=10785  maxDegree=178  maxArity=11
4.69	       =>  wckTime=4.385  cpuTime=3.66  mem=52M520
4.89	   
4.89	   solver IterativeSystematicSolver being built... 
5.63	       =>  wckTime=5.33  cpuTime=4.25  mem=80M189
5.73	   
5.73	   preprocessing
5.73	     nbConstraintChecks=138  nbValidityChecks=8  nbPropagations=11501  nbRevisions=92  nbUselessRevisions=67
5.73	     nbRemovedValues=25  detectedInconsistency=no
5.73	       =>  wckTime=0.075  cpuTime=0.06  mem=81M198
9.60	   
9.60	   search
9.60	     run=0  nbConstraintChecks=143903  nbValidityChecks=26808  nbPropagations=35368  nbRevisions=131179
9.60	     nbUselessRevisions=107107  nbAssignments=122  nbFailedAssignments=7  nbBacktracks=10  nbVisitedNodes=136
9.60	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
9.60	       =>  wckTime=3.959  cpuTime=3.87  mem=81M198
13.50	   
13.50	   search
13.50	     run=1  nbConstraintChecks=243391  nbValidityChecks=57014  nbPropagations=88499  nbRevisions=365777
13.50	     nbUselessRevisions=299731  nbAssignments=250  nbFailedAssignments=15  nbBacktracks=25  nbVisitedNodes=280
13.50	     nbRestartNogoods=3  mapSize=23  nbInferences=0  nbTooLargeKeys=0
13.50	       =>  wckTime=7.853  cpuTime=7.74  mem=82M252
17.53	   
17.53	   search
17.53	     run=2  nbConstraintChecks=330981  nbValidityChecks=83339  nbPropagations=157370  nbRevisions=690232
17.53	     nbUselessRevisions=566374  nbAssignments=382  nbFailedAssignments=21  nbBacktracks=47  nbVisitedNodes=424
17.53	     nbRestartNogoods=6  mapSize=33  nbInferences=0  nbTooLargeKeys=0
17.53	       =>  wckTime=11.884  cpuTime=11.74  mem=82M252
21.67	   
21.67	   search
21.67	     run=3  nbConstraintChecks=454974  nbValidityChecks=121399  nbPropagations=248288  nbRevisions=1145716
21.67	     nbUselessRevisions=941778  nbAssignments=521  nbFailedAssignments=33  nbBacktracks=82  nbVisitedNodes=587
21.67	     nbRestartNogoods=8  mapSize=56  nbInferences=0  nbTooLargeKeys=0
21.67	       =>  wckTime=16.03  cpuTime=15.85  mem=82M252
26.95	   
26.95	   search
26.95	     run=4  nbConstraintChecks=624475  nbValidityChecks=174502  nbPropagations=368817  nbRevisions=1783440
26.95	     nbUselessRevisions=1469042  nbAssignments=703  nbFailedAssignments=58  nbBacktracks=133  nbVisitedNodes=814
26.95	     nbRestartNogoods=9  mapSize=98  nbInferences=0  nbTooLargeKeys=0
26.95	       =>  wckTime=21.302  cpuTime=21.08  mem=83M261
32.66	   
32.66	   search
32.66	     run=5  nbConstraintChecks=768128  nbValidityChecks=225798  nbPropagations=514017  nbRevisions=2582437
32.66	     nbUselessRevisions=2131040  nbAssignments=902  nbFailedAssignments=87  nbBacktracks=208  nbVisitedNodes=1070
32.66	     nbRestartNogoods=12  mapSize=152  nbInferences=0  nbTooLargeKeys=0
32.66	       =>  wckTime=27.018  cpuTime=26.72  mem=83M261
39.74	   
39.74	   search
39.74	     run=6  nbConstraintChecks=913849  nbValidityChecks=284985  nbPropagations=683890  nbRevisions=3554813
39.74	     nbUselessRevisions=2938733  nbAssignments=1159  nbFailedAssignments=132  nbBacktracks=325  nbVisitedNodes=1414
39.74	     nbRestartNogoods=15  mapSize=236  nbInferences=0  nbTooLargeKeys=0
39.74	       =>  wckTime=34.098  cpuTime=33.78  mem=84M269
46.49	   
46.49	   search
46.49	     run=7  nbConstraintChecks=1033602  nbValidityChecks=326758  nbPropagations=873809  nbRevisions=4650411
46.49	     nbUselessRevisions=3848435  nbAssignments=1391  nbFailedAssignments=161  nbBacktracks=520  nbVisitedNodes=1708
46.49	     nbRestartNogoods=18  mapSize=297  nbInferences=0  nbTooLargeKeys=0
46.49	       =>  wckTime=40.844  cpuTime=40.5  mem=84M269
56.98	   
56.98	   search
56.98	     run=8  nbConstraintChecks=2695742  nbValidityChecks=738371  nbPropagations=1345448  nbRevisions=7349626
56.98	     nbUselessRevisions=6058903  nbAssignments=1810  nbFailedAssignments=242  nbBacktracks=776  nbVisitedNodes=2304
56.98	     nbRestartNogoods=19  mapSize=469  nbInferences=0  nbTooLargeKeys=0
56.98	       =>  wckTime=51.34  cpuTime=50.94  mem=86M286
72.38	   
72.38	   search
72.38	     run=9  nbConstraintChecks=4200319  nbValidityChecks=1137408  nbPropagations=2074901  nbRevisions=11528372
72.38	     nbUselessRevisions=9468701  nbAssignments=2408  nbFailedAssignments=327  nbBacktracks=1173  nbVisitedNodes=3085
72.38	     nbRestartNogoods=24  mapSize=649  nbInferences=0  nbTooLargeKeys=0
72.38	       =>  wckTime=66.74  cpuTime=66.27  mem=88M303
93.31	   
93.31	   search
93.31	     run=10  nbConstraintChecks=4536058  nbValidityChecks=1249090  nbPropagations=2867933  nbRevisions=16060363
93.31	     nbUselessRevisions=13164486  nbAssignments=3191  nbFailedAssignments=406  nbBacktracks=1755  nbVisitedNodes=3984
93.31	     nbRestartNogoods=27  mapSize=760  nbInferences=0  nbTooLargeKeys=0
93.31	       =>  wckTime=87.668  cpuTime=87.08  mem=90M320
116.57	   
116.57	   INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=93M346)
117.65	   
117.65	   search
117.65	     run=11  nbConstraintChecks=5279154  nbValidityChecks=1468890  nbPropagations=3792808  nbRevisions=21315198
117.65	     nbUselessRevisions=17438954  nbAssignments=4271  nbFailedAssignments=543  nbBacktracks=2667  nbVisitedNodes=5339
117.65	     nbRestartNogoods=32
117.65	       =>  wckTime=112.003  cpuTime=111.32  mem=93M346
127.45	   
127.45	   search
127.45	     run=12  nbConstraintChecks=6658526  nbValidityChecks=1877444  nbPropagations=4952821  nbRevisions=27948410
127.45	     nbUselessRevisions=22839438  nbAssignments=5821  nbFailedAssignments=675  nbBacktracks=3980  nbVisitedNodes=7157
127.45	     nbRestartNogoods=34
127.45	       =>  wckTime=121.806  cpuTime=121.06  mem=94M354
140.74	   
140.74	   search
140.74	     run=13  nbConstraintChecks=7979383  nbValidityChecks=2277372  nbPropagations=6334172  nbRevisions=35923974
140.74	     nbUselessRevisions=29347426  nbAssignments=8096  nbFailedAssignments=885  nbBacktracks=5978  nbVisitedNodes=9786
140.74	     nbRestartNogoods=39
140.74	       =>  wckTime=135.101  cpuTime=134.29  mem=94M354
162.72	   
162.72	   search
162.72	     run=14  nbConstraintChecks=10951115  nbValidityChecks=3294747  nbPropagations=8181804  nbRevisions=46690415
162.72	     nbUselessRevisions=38128474  nbAssignments=11544  nbFailedAssignments=1283  nbBacktracks=8921  nbVisitedNodes=13962
162.72	     nbRestartNogoods=40
162.72	       =>  wckTime=157.073  cpuTime=156.16  mem=94M354
191.57	   
191.57	   search
191.57	     run=15  nbConstraintChecks=12614040  nbValidityChecks=3985738  nbPropagations=10300945  nbRevisions=59214279
191.57	     nbUselessRevisions=48383232  nbAssignments=16866  nbFailedAssignments=1932  nbBacktracks=13351
191.57	     nbVisitedNodes=20650  nbRestartNogoods=45
191.57	       =>  wckTime=185.925  cpuTime=184.89  mem=94M354
233.07	   
233.07	   search
233.07	     run=16  nbConstraintChecks=14857844  nbValidityChecks=5176954  nbPropagations=12718155  nbRevisions=73925431
233.07	     nbUselessRevisions=60504096  nbAssignments=24458  nbFailedAssignments=2768  nbBacktracks=19922
233.07	     nbVisitedNodes=30044  nbRestartNogoods=54
233.07	       =>  wckTime=227.423  cpuTime=226.2  mem=94M354
298.61	   
298.61	   search
298.61	     run=17  nbConstraintChecks=23227557  nbValidityChecks=7988890  nbPropagations=16623467  nbRevisions=97073084
298.61	     nbUselessRevisions=79528267  nbAssignments=35147  nbFailedAssignments=3419  nbBacktracks=29832
298.61	     nbVisitedNodes=42167  nbRestartNogoods=62
298.61	       =>  wckTime=292.969  cpuTime=291.43  mem=94M354
392.45	   
392.45	   search
392.45	     run=18  nbConstraintChecks=33198914  nbValidityChecks=12212329  nbPropagations=22302982  nbRevisions=131314848
392.45	     nbUselessRevisions=107800466  nbAssignments=50904  nbFailedAssignments=4254  nbBacktracks=44614
392.45	     nbVisitedNodes=59964  nbRestartNogoods=67
392.45	       =>  wckTime=386.81  cpuTime=384.84  mem=94M354
538.56	   
538.56	   search
538.56	     run=19  nbConstraintChecks=52899800  nbValidityChecks=18083173  nbPropagations=31518350  nbRevisions=184706287
538.56	     nbUselessRevisions=151456702  nbAssignments=74455  nbFailedAssignments=5507  nbBacktracks=66783
538.56	     nbVisitedNodes=85996  nbRestartNogoods=74
538.56	       =>  wckTime=532.916  cpuTime=530.3  mem=94M354
733.37	   
733.37	   search
733.37	     run=20  nbConstraintChecks=68063647  nbValidityChecks=23427232  nbPropagations=43447967  nbRevisions=254015826
733.37	     nbUselessRevisions=208129917  nbAssignments=109839  nbFailedAssignments=7467  nbBacktracks=100074
733.37	     nbVisitedNodes=125254  nbRestartNogoods=79
733.37	       =>  wckTime=727.731  cpuTime=724.21  mem=94M354
1009.21	   
1009.21	   search
1009.21	     run=21  nbConstraintChecks=83190251  nbValidityChecks=29362225  nbPropagations=58028536  nbRevisions=339050949
1009.21	     nbUselessRevisions=277720752  nbAssignments=162059  nbFailedAssignments=9654  nbBacktracks=150017
1009.21	     nbVisitedNodes=181900  nbRestartNogoods=89
1009.21	       =>  wckTime=1003.563  cpuTime=998.79  mem=94M354
1432.26	   
1432.26	   search
1432.26	     run=22  nbConstraintChecks=111038524  nbValidityChecks=39533334  nbPropagations=77572377  nbRevisions=452804131
1432.26	     nbUselessRevisions=370806246  nbAssignments=240634  nbFailedAssignments=13300  nbBacktracks=224847
1432.26	     nbVisitedNodes=267687  nbRestartNogoods=95
1432.26	       =>  wckTime=1426.613  cpuTime=1419.89  mem=94M354

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/node50/watcher-210776-1168075348 -o ROOT/results/node50/solver-210776-1168075348 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210776-1168075348/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: 2.00 2.01 1.83 5/80 1598
/proc/meminfo: memFree=1357320/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=18540 CPUtime=0
/proc/1597/stat : 1597 (runsolver) R 1595 1597 963 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155933371 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/1597/statm: 4635 279 244 17 0 2626 0

[startup+0.10266 s]
/proc/loadavg: 2.00 2.01 1.83 5/80 1598
/proc/meminfo: memFree=1357320/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=914988 CPUtime=0.08
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 2988 0 1 0 6 2 0 0 25 0 8 0 155933371 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.510725 s]
/proc/loadavg: 2.00 2.01 1.83 5/80 1598
/proc/meminfo: memFree=1357320/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915328 CPUtime=0.49
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 6654 0 1 0 44 5 0 0 25 0 8 0 155933371 937295872 6393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228832 6393 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33987 s]
/proc/loadavg: 2.00 2.01 1.83 4/87 1605
/proc/meminfo: memFree=1293840/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915616 CPUtime=1.3
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 19786 0 1 0 118 12 0 0 25 0 8 0 155933371 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228904 19523 2158 14 0 215374 0
[pid=1597/tid=1599] ppid=1595 vsize=915616 CPUtime=0.11
/proc/1597/task/1599/stat : 1599 (java) R 1595 1597 963 0 -1 64 3241 0 0 0 10 1 0 0 16 0 8 0 155933375 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915616 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915616 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933375 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915616 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915616 CPUtime=0.15
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 414 0 0 0 15 0 0 0 16 0 8 0 155933379 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915616 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915616 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915616

[startup+2.97813 s]
/proc/loadavg: 2.00 2.01 1.83 3/87 1605
/proc/meminfo: memFree=1277584/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915620 CPUtime=2.94
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 22252 0 1 0 229 65 0 0 25 0 8 0 155933371 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228905 21987 2178 14 0 215375 0
[pid=1597/tid=1599] ppid=1595 vsize=915620 CPUtime=0.23
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 5626 0 0 0 21 2 0 0 16 0 8 0 155933375 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915620 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915620 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933375 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915620 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915620 CPUtime=0.18
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 432 0 0 0 18 0 0 0 15 0 8 0 155933379 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915620 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915620 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915620

[startup+6.27567 s]
/proc/loadavg: 2.00 2.01 1.83 3/87 1605
/proc/meminfo: memFree=1235536/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=6.2
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33127 0 1 0 480 140 0 0 25 0 8 0 155933371 937852928 32794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074244287 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32794 2527 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.34
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 528 0 0 0 33 1 0 0 15 0 8 0 155933379 937852928 32794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32794 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) 915872

[startup+12.7537 s]
/proc/loadavg: 2.00 2.01 1.83 3/87 1605
/proc/meminfo: memFree=1235480/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=12.63
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33138 0 1 0 1123 140 0 0 25 0 8 0 155933371 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074181091 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32803 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.35
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 533 0 0 0 34 1 0 0 15 0 8 0 155933379 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915872

[startup+25.6098 s]
/proc/loadavg: 2.00 2.00 1.83 3/87 1605
/proc/meminfo: memFree=1235608/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=25.39
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33141 0 1 0 2399 140 0 0 25 0 8 0 155933371 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074244270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32804 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.36
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 535 0 0 0 34 2 0 0 16 0 8 0 155933379 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915872

[startup+51.22 s]
/proc/loadavg: 1.86 1.97 1.82 3/87 1669
/proc/meminfo: memFree=1275280/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=50.86
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33154 0 1 0 4944 142 0 0 25 0 8 0 155933371 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32813 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.38
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 544 0 0 0 36 2 0 0 15 0 8 0 155933379 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915872

[startup+102.446 s]
/proc/loadavg: 1.94 1.97 1.83 3/87 1669
/proc/meminfo: memFree=1275408/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=101.85
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33169 0 1 0 10043 142 0 0 25 0 8 0 155933371 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074244270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32820 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 553 0 0 0 38 2 0 0 17 0 8 0 155933379 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 915872

[startup+162.512 s]
/proc/loadavg: 2.01 1.99 1.84 3/87 1669
/proc/meminfo: memFree=1275408/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=161.65
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33171 0 1 0 16023 142 0 0 25 0 8 0 155933371 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074316350 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1417.35
Current children cumulated vsize (KiB) 915872

[startup+1484.08 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 1727
/proc/meminfo: memFree=1280024/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=1477.15
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33175 0 1 0 147570 145 0 0 25 0 8 0 155933371 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074174051 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32822 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 555 0 0 0 38 2 0 0 16 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1477.15
Current children cumulated vsize (KiB) 915872

[startup+1544.14 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 1727
/proc/meminfo: memFree=1279960/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=1536.95
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33175 0 1 0 153550 145 0 0 25 0 8 0 155933371 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074258557 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32822 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 555 0 0 0 38 2 0 0 16 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.95
Current children cumulated vsize (KiB) 915872

[startup+1604.21 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 1727
/proc/meminfo: memFree=1279896/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=1596.73
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33175 0 1 0 159528 145 0 0 25 0 8 0 155933371 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074206715 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32822 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 555 0 0 0 38 2 0 0 16 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.73
Current children cumulated vsize (KiB) 915872

[startup+1664.29 s]
/proc/loadavg: 2.13 2.02 1.93 3/87 1727
/proc/meminfo: memFree=1279896/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=1656.54
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33175 0 1 0 165508 146 0 0 25 0 8 0 155933371 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32822 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 555 0 0 0 38 2 0 0 16 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.54
Current children cumulated vsize (KiB) 915872

[startup+1724.36 s]
/proc/loadavg: 2.09 2.03 1.93 3/87 1727
/proc/meminfo: memFree=1279896/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=1716.35
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33175 0 1 0 171489 146 0 0 25 0 8 0 155933371 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074260378 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32822 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 555 0 0 0 38 2 0 0 16 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1716.35
Current children cumulated vsize (KiB) 915872

[startup+1784.44 s]
/proc/loadavg: 2.10 2.04 1.94 3/87 1727
/proc/meminfo: memFree=1279832/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=1776.14
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33175 0 1 0 177468 146 0 0 25 0 8 0 155933371 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074210287 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32822 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 555 0 0 0 38 2 0 0 16 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1776.14
Current children cumulated vsize (KiB) 915872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.51 s]
/proc/loadavg: 2.06 2.03 1.94 3/87 1727
/proc/meminfo: memFree=1279832/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=1800.1
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33175 0 1 0 179864 146 0 0 25 0 8 0 155933371 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074174051 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32822 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 555 0 0 0 38 2 0 0 16 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915872

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

Child status: 143
Real time (s): 1808.55
CPU time (s): 1800.15
CPU user time (s): 1798.66
CPU system time (s): 1.48777
CPU usage (%): 99.5354
Max. virtual memory (cumulated for all children) (KiB): 915992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.48777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33191
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= 63774

runsolver used 1.9437 s user time and 4.49332 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Sat Jan  6 09:22:28 UTC 2007


IDJOB= 210776
IDBENCH= 4645
FILE ID= node50/210776-1168075348

PBS_JOBID= 3475998

Free space on /tmp= 66538 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-rf9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210776-1168075348/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-210776-1168075348 -o ROOT/results/node50/solver-210776-1168075348 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210776-1168075348/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1fdc375fa3bc4f7f4fc21722cb153d83

RANDOM SEED= 775414133

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.263
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	: 5931.00
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.263
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:       1357608 kB
Buffers:         36692 kB
Cached:         442980 kB
SwapCached:          0 kB
Active:         210988 kB
Inactive:       408240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1357608 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6472 kB
Writeback:           0 kB
Mapped:         159772 kB
Slab:            64052 kB
Committed_AS:  4076536 kB
PageTables:       2116 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= 66544 MiB



End job on node50 on Sat Jan  6 09:52:37 UTC 2007