Trace number 203301

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.07 1815.91

General information on the benchmark

Namerandom/rand-3-28-28-fcd/
rand-3-28-28-93-632-fcd-11_ext.xml
MD5SUM450564544041bdb3d8c0ed8f0abf7795
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints93
Maximum constraint arity3
Maximum domain size28
Number of constraints which are defined in extension93
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.37	   
0.37	Abscon 109 (November, 2006)
0.37	   
0.37	   configuration
0.37	     name=mac.xml
0.41	   
0.41	   instance
0.41	     name=/tmp/evaluation/203301-1168073050/unknown.xml
0.44	   
0.44	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.48	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.48	       =>  wckTime=0.101  cpuTime=0.08  mem=6M951
0.48	   
0.48	   relations being loaded...
1.65	   
1.65	   constraints being loaded...
2.43	     nbConstraints=91  nbRelationTypes=93  nbMergedConstraints=2  nbExtensionStructures=91
2.43	     nbSharedExtensionStructures=0  nbConflictsStructures=91  nbSharedConflictsStructures=0
2.43	     nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
2.43	       =>  wckTime=2.049  cpuTime=1.63  mem=56M985
2.58	   
2.58	   solver IterativeSystematicSolver being built... 
2.75	       =>  wckTime=2.376  cpuTime=1.76  mem=65M76
2.76	   
2.76	   preprocessing
2.76	     nbConstraintChecks=0  nbPropagations=28  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.76	     detectedInconsistency=no
2.76	       =>  wckTime=0.0040  cpuTime=0.01  mem=65M76
2.92	   
2.92	   search
2.92	     run=0  nbConstraintChecks=50159  nbValidityChecks=90105  nbPropagations=454  nbRevisions=5219
2.92	     nbUselessRevisions=4109  nbAssignments=34  nbFailedAssignments=16  nbBacktracks=10  nbVisitedNodes=59
2.92	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
2.92	       =>  wckTime=0.165  cpuTime=0.13  mem=65M76
3.04	   
3.04	   search
3.04	     run=1  nbConstraintChecks=109098  nbValidityChecks=204353  nbPropagations=1442  nbRevisions=17054
3.04	     nbUselessRevisions=13492  nbAssignments=83  nbFailedAssignments=42  nbBacktracks=25  nbVisitedNodes=143
3.04	     nbRestartNogoods=4  mapSize=22  nbInferences=0  nbTooLargeKeys=0
3.04	       =>  wckTime=0.287  cpuTime=0.24  mem=65M76
3.15	   
3.15	   search
3.15	     run=2  nbConstraintChecks=165829  nbValidityChecks=307417  nbPropagations=2926  nbRevisions=34686
3.15	     nbUselessRevisions=27449  nbAssignments=125  nbFailedAssignments=53  nbBacktracks=48  nbVisitedNodes=206
3.16	     nbRestartNogoods=8  mapSize=34  nbInferences=0  nbTooLargeKeys=0
3.16	       =>  wckTime=0.398  cpuTime=0.35  mem=65M76
3.37	   
3.37	   search
3.37	     run=3  nbConstraintChecks=292687  nbValidityChecks=548692  nbPropagations=5501  nbRevisions=66670
3.37	     nbUselessRevisions=52916  nbAssignments=220  nbFailedAssignments=106  nbBacktracks=81  nbVisitedNodes=374
3.37	     nbRestartNogoods=16  mapSize=61  nbInferences=0  nbTooLargeKeys=0
3.37	       =>  wckTime=0.61  cpuTime=0.55  mem=65M76
3.80	   
3.80	   search
3.80	     run=4  nbConstraintChecks=544945  nbValidityChecks=1061632  nbPropagations=10600  nbRevisions=129725
3.80	     nbUselessRevisions=102434  nbAssignments=400  nbFailedAssignments=228  nbBacktracks=131  nbVisitedNodes=714
3.80	     nbRestartNogoods=24  mapSize=108  nbInferences=0  nbTooLargeKeys=0
3.80	       =>  wckTime=1.046  cpuTime=0.98  mem=66M68
4.26	   
4.26	   search
4.26	     run=5  nbConstraintChecks=818117  nbValidityChecks=1584736  nbPropagations=18106  nbRevisions=223298
4.26	     nbUselessRevisions=176228  nbAssignments=589  nbFailedAssignments=333  nbBacktracks=208  nbVisitedNodes=1059
4.26	     nbRestartNogoods=30  mapSize=171  nbInferences=0  nbTooLargeKeys=0
4.26	       =>  wckTime=1.501  cpuTime=1.42  mem=66M68
4.72	   
4.72	   search
4.72	     run=6  nbConstraintChecks=1085195  nbValidityChecks=2108558  nbPropagations=28709  nbRevisions=352169
4.72	     nbUselessRevisions=277611  nbAssignments=826  nbFailedAssignments=450  nbBacktracks=321  nbVisitedNodes=1475
4.72	     nbRestartNogoods=40  mapSize=267  nbInferences=0  nbTooLargeKeys=0
4.72	       =>  wckTime=1.964  cpuTime=1.88  mem=66M68
5.96	   
5.96	   search
5.96	     run=7  nbConstraintChecks=1833257  nbValidityChecks=3629721  nbPropagations=46182  nbRevisions=571057
5.96	     nbUselessRevisions=450869  nbAssignments=1438  nbFailedAssignments=884  nbBacktracks=491  nbVisitedNodes=2645
5.96	     nbRestartNogoods=50  mapSize=427  nbInferences=0  nbTooLargeKeys=0
5.96	       =>  wckTime=3.205  cpuTime=3.1  mem=66M68
7.12	   
7.12	   search
7.12	     run=8  nbConstraintChecks=2513872  nbValidityChecks=5009030  nbPropagations=71353  nbRevisions=879492
7.12	     nbUselessRevisions=695200  nbAssignments=1969  nbFailedAssignments=1153  nbBacktracks=747  nbVisitedNodes=3604
7.12	     nbRestartNogoods=55  mapSize=646  nbInferences=0  nbTooLargeKeys=0
7.12	       =>  wckTime=4.367  cpuTime=4.24  mem=66M68
9.11	   
9.12	   search
9.12	     run=9  nbConstraintChecks=3677236  nbValidityChecks=7284813  nbPropagations=108233  nbRevisions=1325449
9.12	     nbUselessRevisions=1047215  nbAssignments=2752  nbFailedAssignments=1543  nbBacktracks=1131  nbVisitedNodes=5002
9.12	     nbRestartNogoods=57  mapSize=950  nbInferences=0  nbTooLargeKeys=0
9.12	       =>  wckTime=6.358  cpuTime=6.2  mem=66M68
9.44	   
9.44	   INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=66M68)
11.88	   
11.88	   search
11.88	     run=10  nbConstraintChecks=5281938  nbValidityChecks=10628715  nbPropagations=164353  nbRevisions=1994859
11.88	     nbUselessRevisions=1574368  nbAssignments=3998  nbFailedAssignments=2206  nbBacktracks=1707  nbVisitedNodes=7263
11.88	     nbRestartNogoods=73
11.88	       =>  wckTime=9.121  cpuTime=8.93  mem=66M68
17.33	   
17.33	   search
17.33	     run=11  nbConstraintChecks=8518671  nbValidityChecks=17309569  nbPropagations=255529  nbRevisions=3084068
17.33	     nbUselessRevisions=2427358  nbAssignments=6538  nbFailedAssignments=3874  nbBacktracks=2571  nbVisitedNodes=12044
17.33	     nbRestartNogoods=79
17.33	       =>  wckTime=14.578  cpuTime=14.34  mem=66M68
24.06	   
24.06	   search
24.06	     run=12  nbConstraintChecks=12715272  nbValidityChecks=25584558  nbPropagations=384783  nbRevisions=4659352
24.06	     nbUselessRevisions=3667291  nbAssignments=9506  nbFailedAssignments=5536  nbBacktracks=3868  nbVisitedNodes=17435
24.06	     nbRestartNogoods=91
24.06	       =>  wckTime=21.301  cpuTime=21.0  mem=66M68
36.57	   
36.57	   search
36.57	     run=13  nbConstraintChecks=20226809  nbValidityChecks=40571486  nbPropagations=579987  nbRevisions=7078680
36.57	     nbUselessRevisions=5579784  nbAssignments=14231  nbFailedAssignments=8307  nbBacktracks=5815  nbVisitedNodes=26235
36.57	     nbRestartNogoods=102
36.57	       =>  wckTime=33.812  cpuTime=33.39  mem=66M68
55.42	   
55.42	   search
55.42	     run=14  nbConstraintChecks=31682726  nbValidityChecks=63330279  nbPropagations=886578  nbRevisions=10875087
55.42	     nbUselessRevisions=8581540  nbAssignments=22461  nbFailedAssignments=13611  nbBacktracks=8734  nbVisitedNodes=41754
55.42	     nbRestartNogoods=117
55.42	       =>  wckTime=52.662  cpuTime=52.06  mem=66M68
75.31	   
75.31	   search
75.31	     run=15  nbConstraintChecks=43665754  nbValidityChecks=86864273  nbPropagations=1320532  nbRevisions=16205521
75.31	     nbUselessRevisions=12788216  nbAssignments=32504  nbFailedAssignments=19269  nbBacktracks=13114
75.31	     nbVisitedNodes=60057  nbRestartNogoods=138
75.31	       =>  wckTime=72.552  cpuTime=71.77  mem=66M68
109.46	   
109.46	   search
109.46	     run=16  nbConstraintChecks=64007849  nbValidityChecks=129400038  nbPropagations=1987427  nbRevisions=24270850
109.46	     nbUselessRevisions=19139526  nbAssignments=47587  nbFailedAssignments=27775  nbBacktracks=19682
109.46	     nbVisitedNodes=88091  nbRestartNogoods=141
109.46	       =>  wckTime=106.707  cpuTime=105.61  mem=66M68
170.32	   
170.32	   search
170.32	     run=17  nbConstraintChecks=101344170  nbValidityChecks=203680136  nbPropagations=2973873  nbRevisions=36505056
170.32	     nbUselessRevisions=28832450  nbAssignments=72586  nbFailedAssignments=42913  nbBacktracks=29536
170.32	     nbVisitedNodes=134852  nbRestartNogoods=155
170.32	       =>  wckTime=167.568  cpuTime=165.91  mem=66M68
285.24	   
285.24	   search
285.24	     run=18  nbConstraintChecks=171611934  nbValidityChecks=344484743  nbPropagations=4614246  nbRevisions=56968979
285.24	     nbUselessRevisions=45002616  nbAssignments=121754  nbFailedAssignments=77295  nbBacktracks=44315
285.24	     nbVisitedNodes=229887  nbRestartNogoods=175
285.24	       =>  wckTime=282.481  cpuTime=279.77  mem=66M68
421.39	   
421.39	   search
421.39	     run=19  nbConstraintChecks=257188175  nbValidityChecks=510222576  nbPropagations=6992582  nbRevisions=86927512
421.39	     nbUselessRevisions=68726653  nbAssignments=175173  nbFailedAssignments=108540  nbBacktracks=66483
421.39	     nbVisitedNodes=329124  nbRestartNogoods=188
421.39	       =>  wckTime=418.631  cpuTime=414.66  mem=66M68
567.26	   
567.26	   search
567.26	     run=20  nbConstraintChecks=345648352  nbValidityChecks=682932473  nbPropagations=10282402  nbRevisions=127772944
567.26	     nbUselessRevisions=100982594  nbAssignments=248630  nbFailedAssignments=148736  nbBacktracks=99736
567.26	     nbVisitedNodes=461903  nbRestartNogoods=206
567.26	       =>  wckTime=564.504  cpuTime=559.19  mem=66M68
809.82	   
809.82	   search
809.82	     run=21  nbConstraintChecks=491751300  nbValidityChecks=985920929  nbPropagations=15244648  nbRevisions=187997489
809.82	     nbUselessRevisions=148477052  nbAssignments=362771  nbFailedAssignments=212992  nbBacktracks=149615
809.82	     nbVisitedNodes=671288  nbRestartNogoods=232
809.82	       =>  wckTime=807.063  cpuTime=799.51  mem=66M68
1298.81	   
1298.81	   search
1298.81	     run=22  nbConstraintChecks=787308710  nbValidityChecks=1586069494  nbPropagations=23152698  nbRevisions=284811469
1298.81	     nbUselessRevisions=224784286  nbAssignments=578063  nbFailedAssignments=353458  nbBacktracks=224433
1298.81	     nbVisitedNodes=1079257  nbRestartNogoods=247
1298.81	       =>  wckTime=1296.057  cpuTime=1283.77  mem=66M68

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/node19/watcher-203301-1168073050 -o ROOT/results/node19/solver-203301-1168073050 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203301-1168073050/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.95 1.97 1.95 4/93 22115
/proc/meminfo: memFree=1146216/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=18540 CPUtime=0
/proc/22114/stat : 22114 (runsolver) R 22112 22114 21621 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155699691 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22114/statm: 4635 279 244 17 0 2626 0

[startup+0.102946 s]
/proc/loadavg: 1.95 1.97 1.95 4/93 22115
/proc/meminfo: memFree=1146216/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=907808 CPUtime=0.05
/proc/22114/stat : 22114 (java) D 22112 22114 21621 0 -1 0 2456 0 1 0 4 1 0 0 16 0 4 0 155699691 929595392 2203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/22114/statm: 226952 2203 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.511023 s]
/proc/loadavg: 1.95 1.97 1.95 4/93 22115
/proc/meminfo: memFree=1146216/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915328 CPUtime=0.43
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 6355 0 1 0 38 5 0 0 18 0 8 0 155699691 937295872 6094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22114/statm: 228832 6094 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328

[startup+1.33918 s]
/proc/loadavg: 1.95 1.97 1.95 3/100 22122
/proc/meminfo: memFree=1079088/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915328 CPUtime=1.24
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 19099 0 1 0 113 11 0 0 25 0 8 0 155699691 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073565922 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22114/statm: 228832 18837 2149 14 0 215302 0
[pid=22114/tid=22116] ppid=22112 vsize=915328 CPUtime=0.05
/proc/22114/task/22116/stat : 22116 (java) S 22112 22114 21621 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155699696 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22117] ppid=22112 vsize=915328 CPUtime=0
/proc/22114/task/22117/stat : 22117 (java) S 22112 22114 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155699696 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22118] ppid=22112 vsize=915328 CPUtime=0
/proc/22114/task/22118/stat : 22118 (java) S 22112 22114 21621 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155699696 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22119] ppid=22112 vsize=915328 CPUtime=0
/proc/22114/task/22119/stat : 22119 (java) S 22112 22114 21621 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155699705 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22120] ppid=22112 vsize=915328 CPUtime=0.09
/proc/22114/task/22120/stat : 22120 (java) S 22112 22114 21621 0 -1 64 308 0 0 0 8 1 0 0 16 0 8 0 155699705 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22121] ppid=22112 vsize=915328 CPUtime=0
/proc/22114/task/22121/stat : 22121 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155699705 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22122] ppid=22112 vsize=915328 CPUtime=0
/proc/22114/task/22122/stat : 22122 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155699705 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915328

[startup+2.97949 s]
/proc/loadavg: 1.95 1.97 1.95 4/100 22122
/proc/meminfo: memFree=1051312/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915440 CPUtime=2.86
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 32427 0 1 0 267 19 0 0 25 0 8 0 155699691 937410560 32161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808843 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22114/statm: 228860 32161 2521 14 0 215330 0
[pid=22114/tid=22116] ppid=22112 vsize=915440 CPUtime=0.44
/proc/22114/task/22116/stat : 22116 (java) S 22112 22114 21621 0 -1 64 15454 0 0 0 38 6 0 0 16 0 8 0 155699696 937410560 32161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22117] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22117/stat : 22117 (java) S 22112 22114 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22118] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22118/stat : 22118 (java) S 22112 22114 21621 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22119] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22119/stat : 22119 (java) S 22112 22114 21621 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155699705 937410560 32161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22120] ppid=22112 vsize=915440 CPUtime=0.21
/proc/22114/task/22120/stat : 22120 (java) S 22112 22114 21621 0 -1 64 373 0 0 0 20 1 0 0 15 0 8 0 155699705 937410560 32161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22121] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22121/stat : 22121 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155699705 937410560 32161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22122] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22122/stat : 22122 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155699705 937410560 32161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915440

[startup+6.28111 s]
/proc/loadavg: 1.95 1.97 1.95 3/100 22122
/proc/meminfo: memFree=1027056/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915440 CPUtime=6.14
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 32451 0 1 0 594 20 0 0 25 0 8 0 155699691 937410560 32182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860347 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22114/statm: 228860 32182 2521 14 0 215330 0
[pid=22114/tid=22116] ppid=22112 vsize=915440 CPUtime=0.44
/proc/22114/task/22116/stat : 22116 (java) S 22112 22114 21621 0 -1 64 15454 0 0 0 38 6 0 0 17 0 8 0 155699696 937410560 32182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22117] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22117/stat : 22117 (java) S 22112 22114 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22118] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22118/stat : 22118 (java) S 22112 22114 21621 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22119] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22119/stat : 22119 (java) S 22112 22114 21621 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155699705 937410560 32182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22120] ppid=22112 vsize=915440 CPUtime=0.26
/proc/22114/task/22120/stat : 22120 (java) S 22112 22114 21621 0 -1 64 396 0 0 0 25 1 0 0 16 0 8 0 155699705 937410560 32182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22121] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22121/stat : 22121 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155699705 937410560 32182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22122] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22122/stat : 22122 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155699705 937410560 32182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915440

[startup+12.7653 s]
/proc/loadavg: 1.96 1.97 1.95 3/100 22122
/proc/meminfo: memFree=1027064/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915440 CPUtime=12.57
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 32458 0 1 0 1237 20 0 0 25 0 8 0 155699691 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629901 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22114/statm: 228860 32187 2521 14 0 215330 0
[pid=22114/tid=22116] ppid=22112 vsize=915440 CPUtime=0.44
/proc/22114/task/22116/stat : 22116 (java) S 22112 22114 21621 0 -1 64 15454 0 0 0 38 6 0 0 16 0 8 0 155699696 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22117] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22117/stat : 22117 (java) S 22112 22114 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22118] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22118/stat : 22118 (java) S 22112 22114 21621 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22119] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22119/stat : 22119 (java) S 22112 22114 21621 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155699705 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22120] ppid=22112 vsize=915440 CPUtime=0.27
/proc/22114/task/22120/stat : 22120 (java) S 22112 22114 21621 0 -1 64 402 0 0 0 26 1 0 0 16 0 8 0 155699705 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22121] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22121/stat : 22121 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155699705 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22122] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22122/stat : 22122 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155699705 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915440

[startup+25.6318 s]
/proc/loadavg: 1.97 1.97 1.95 3/100 22122
/proc/meminfo: memFree=1027192/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915440 CPUtime=25.31
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 32458 0 1 0 2511 20 0 0 25 0 8 0 155699691 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22114/statm: 228860 32187 2521 14 0 215330 0
[pid=22114/tid=22116] ppid=22112 vsize=915440 CPUtime=0.44
/proc/22114/task/22116/stat : 22116 (java) S 22112 22114 21621 0 -1 64 15454 0 0 0 38 6 0 0 16 0 8 0 155699696 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22117] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22117/stat : 22117 (java) S 22112 22114 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22118] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22118/stat : 22118 (java) S 22112 22114 21621 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22119] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22119/stat : 22119 (java) S 22112 22114 21621 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155699705 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22120] ppid=22112 vsize=915440 CPUtime=0.27
/proc/22114/task/22120/stat : 22120 (java) S 22112 22114 21621 0 -1 64 402 0 0 0 26 1 0 0 16 0 8 0 155699705 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22121] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22121/stat : 22121 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155699705 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22122] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22122/stat : 22122 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155699705 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915440

[startup+51.2686 s]
/proc/loadavg: 1.98 1.97 1.95 3/100 22122
/proc/meminfo: memFree=1027128/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915440 CPUtime=50.71
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 32459 0 1 0 5051 20 0 0 25 0 8 0 155699691 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073822776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22114/statm: 228860 32188 2521 14 0 215330 0
[pid=22114/tid=22116] ppid=22112 vsize=915440 CPUtime=0.44
/proc/22114/task/22116/stat : 22116 (java) S 22112 22114 21621 0 -1 64 15454 0 0 0 38 6 0 0 16 0 8 0 155699696 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22117] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22117/stat : 22117 (java) S 22112 22114 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22118] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22118/stat : 22118 (java) S 22112 22114 21621 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22119] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22119/stat : 22119 (java) S 22112 22114 21621 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155699705 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22120] ppid=22112 vsize=915440 CPUtime=0.27
/proc/22114/task/22120/stat : 22120 (java) S 22112 22114 21621 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155699705 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22121] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22121/stat : 22121 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155699705 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22122] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22122/stat : 22122 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155699705 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915440

[startup+102.532 s]
/proc/loadavg: 1.99 1.97 1.95 3/100 22122
/proc/meminfo: memFree=1027256/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915440 CPUtime=101.49
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 32460 0 1 0 10129 20 0 0 25 0 8 0 155699691 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808073 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22114/statm: 228860 32188 2521 14 0 215330 0
[pid=22114/tid=22116] ppid=22112 vsize=915440 CPUtime=0.44
/proc/22114/task/22116/stat : 22116 (java) S 22112 22114 21621 0 -1 64 15454 0 0 0 38 6 0 0 16 0 8 0 155699696 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22117] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22117/stat : 22117 (java) S 22112 22114 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22118] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22118/stat : 22118 (java) S 22112 22114 21621 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22119] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22119/stat : 22119 (java) S 22112 22114 21621 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155699705 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22120] ppid=22112 vsize=915440 CPUtime=0.27
/proc/22114/task/22120/stat : 22120 (java) S 22112 22114 21621 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155699705 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22121] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22121/stat : 22121 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155699705 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22122] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22122/stat : 22122 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155699705 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915440

[startup+162.542 s]
/proc/loadavg: 2.06 1.99 1.95 3/100 22122
/proc/meminfo: memFree=1027256/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915440 CPUtime=160.95
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 32460 0 1 0 16074 21 0 0 25 0 8 0 155699691 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629880 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1409.49
Current children cumulated vsize (KiB) 915440

[startup+1482.93 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 22320
/proc/meminfo: memFree=1027000/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915440 CPUtime=1468.94
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 32461 0 1 0 146863 31 0 0 25 0 8 0 155699691 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22114/statm: 228860 32189 2521 14 0 215330 0
[pid=22114/tid=22116] ppid=22112 vsize=915440 CPUtime=0.44
/proc/22114/task/22116/stat : 22116 (java) S 22112 22114 21621 0 -1 64 15454 0 0 0 38 6 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22117] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22117/stat : 22117 (java) S 22112 22114 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22118] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22118/stat : 22118 (java) S 22112 22114 21621 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22119] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22119/stat : 22119 (java) S 22112 22114 21621 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22120] ppid=22112 vsize=915440 CPUtime=0.27
/proc/22114/task/22120/stat : 22120 (java) S 22112 22114 21621 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22121] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22121/stat : 22121 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22122] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22122/stat : 22122 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1468.94
Current children cumulated vsize (KiB) 915440

[startup+1542.95 s]
/proc/loadavg: 2.07 2.02 1.99 3/100 22320
/proc/meminfo: memFree=1026936/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915440 CPUtime=1528.41
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 32461 0 1 0 152809 32 0 0 25 0 8 0 155699691 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22114/statm: 228860 32189 2521 14 0 215330 0
[pid=22114/tid=22116] ppid=22112 vsize=915440 CPUtime=0.44
/proc/22114/task/22116/stat : 22116 (java) S 22112 22114 21621 0 -1 64 15454 0 0 0 38 6 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22117] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22117/stat : 22117 (java) S 22112 22114 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22118] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22118/stat : 22118 (java) S 22112 22114 21621 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22119] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22119/stat : 22119 (java) S 22112 22114 21621 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22120] ppid=22112 vsize=915440 CPUtime=0.27
/proc/22114/task/22120/stat : 22120 (java) S 22112 22114 21621 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22121] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22121/stat : 22121 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22122] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22122/stat : 22122 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1528.41
Current children cumulated vsize (KiB) 915440

[startup+1602.97 s]
/proc/loadavg: 2.18 2.04 2.00 3/100 22320
/proc/meminfo: memFree=1027000/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915440 CPUtime=1587.88
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 32461 0 1 0 158756 32 0 0 25 0 8 0 155699691 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803353 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22114/statm: 228860 32189 2521 14 0 215330 0
[pid=22114/tid=22116] ppid=22112 vsize=915440 CPUtime=0.44
/proc/22114/task/22116/stat : 22116 (java) S 22112 22114 21621 0 -1 64 15454 0 0 0 38 6 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22117] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22117/stat : 22117 (java) S 22112 22114 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22118] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22118/stat : 22118 (java) S 22112 22114 21621 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22119] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22119/stat : 22119 (java) S 22112 22114 21621 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22120] ppid=22112 vsize=915440 CPUtime=0.27
/proc/22114/task/22120/stat : 22120 (java) S 22112 22114 21621 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22121] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22121/stat : 22121 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22122] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22122/stat : 22122 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.88
Current children cumulated vsize (KiB) 915440

[startup+1663.06 s]
/proc/loadavg: 1.97 2.00 1.99 2/88 22490
/proc/meminfo: memFree=1151824/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915440 CPUtime=1647.58
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 32461 0 1 0 164723 35 0 0 25 0 8 0 155699691 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22114/statm: 228860 32189 2521 14 0 215330 0
[pid=22114/tid=22116] ppid=22112 vsize=915440 CPUtime=0.44
/proc/22114/task/22116/stat : 22116 (java) S 22112 22114 21621 0 -1 64 15454 0 0 0 38 6 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22117] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22117/stat : 22117 (java) S 22112 22114 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22118] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22118/stat : 22118 (java) S 22112 22114 21621 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22119] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22119/stat : 22119 (java) S 22112 22114 21621 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22120] ppid=22112 vsize=915440 CPUtime=0.27
/proc/22114/task/22120/stat : 22120 (java) S 22112 22114 21621 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22121] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22121/stat : 22121 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22122] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22122/stat : 22122 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1647.58
Current children cumulated vsize (KiB) 915440

[startup+1723.14 s]
/proc/loadavg: 1.84 1.95 1.97 2/89 22735
/proc/meminfo: memFree=1147960/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915440 CPUtime=1707.49
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 32461 0 1 0 170709 40 0 0 25 0 8 0 155699691 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803500 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22114/statm: 228860 32189 2521 14 0 215330 0
[pid=22114/tid=22116] ppid=22112 vsize=915440 CPUtime=0.44
/proc/22114/task/22116/stat : 22116 (java) S 22112 22114 21621 0 -1 64 15454 0 0 0 38 6 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22117] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22117/stat : 22117 (java) S 22112 22114 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22118] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22118/stat : 22118 (java) S 22112 22114 21621 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22119] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22119/stat : 22119 (java) S 22112 22114 21621 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22120] ppid=22112 vsize=915440 CPUtime=0.27
/proc/22114/task/22120/stat : 22120 (java) S 22112 22114 21621 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22121] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22121/stat : 22121 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22122] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22122/stat : 22122 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1707.49
Current children cumulated vsize (KiB) 915440

[startup+1783.24 s]
/proc/loadavg: 1.94 1.96 1.97 3/100 22860
/proc/meminfo: memFree=1086368/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915440 CPUtime=1767.4
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 32461 0 1 0 176696 44 0 0 25 0 8 0 155699691 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073660040 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22114/statm: 228860 32189 2521 14 0 215330 0
[pid=22114/tid=22116] ppid=22112 vsize=915440 CPUtime=0.44
/proc/22114/task/22116/stat : 22116 (java) S 22112 22114 21621 0 -1 64 15454 0 0 0 38 6 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22117] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22117/stat : 22117 (java) S 22112 22114 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22118] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22118/stat : 22118 (java) S 22112 22114 21621 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22119] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22119/stat : 22119 (java) S 22112 22114 21621 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22120] ppid=22112 vsize=915440 CPUtime=0.27
/proc/22114/task/22120/stat : 22120 (java) S 22112 22114 21621 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22121] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22121/stat : 22121 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22122] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22122/stat : 22122 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1767.4
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.88 s]
/proc/loadavg: 1.97 1.96 1.97 3/100 22860
/proc/meminfo: memFree=1086368/2055920 swapFree=4171232/4192956
[pid=22114] ppid=22112 vsize=915440 CPUtime=1800.03
/proc/22114/stat : 22114 (java) R 22112 22114 21621 0 -1 0 32461 0 1 0 179959 44 0 0 25 0 8 0 155699691 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22114/statm: 228860 32189 2521 14 0 215330 0
[pid=22114/tid=22116] ppid=22112 vsize=915440 CPUtime=0.44
/proc/22114/task/22116/stat : 22116 (java) S 22112 22114 21621 0 -1 64 15454 0 0 0 38 6 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22117] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22117/stat : 22117 (java) S 22112 22114 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22118] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22118/stat : 22118 (java) S 22112 22114 21621 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155699696 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22119] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22119/stat : 22119 (java) S 22112 22114 21621 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22120] ppid=22112 vsize=915440 CPUtime=0.27
/proc/22114/task/22120/stat : 22120 (java) S 22112 22114 21621 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22121] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22121/stat : 22121 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22114/tid=22122] ppid=22112 vsize=915440 CPUtime=0
/proc/22114/task/22122/stat : 22122 (java) S 22112 22114 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155699705 937410560 32189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1815.91
CPU time (s): 1800.07
CPU user time (s): 1799.6
CPU system time (s): 0.464929
CPU usage (%): 99.1274
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.464929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32478
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= 37876
involuntary context switches= 90968

runsolver used 2.44563 s user time and 5.59215 s system time

The end

Launcher Data (download as text)

Begin job on node19 on Sat Jan  6 08:44:11 UTC 2007


IDJOB= 203301
IDBENCH= 3950
FILE ID= node19/203301-1168073050

PBS_JOBID= 3475748

Free space on /tmp= 66299 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203301-1168073050/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-203301-1168073050 -o ROOT/results/node19/solver-203301-1168073050 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203301-1168073050/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  450564544041bdb3d8c0ed8f0abf7795

RANDOM SEED= 391114524

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.260
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.260
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:       1146696 kB
Buffers:         70060 kB
Cached:         582428 kB
SwapCached:      10036 kB
Active:         403548 kB
Inactive:       404652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1146696 kB
SwapTotal:     4192956 kB
SwapFree:      4171232 kB
Dirty:            7508 kB
Writeback:           0 kB
Mapped:         174968 kB
Slab:            85476 kB
Committed_AS:  4360912 kB
PageTables:       2652 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= 66303 MiB



End job on node19 on Sat Jan  6 09:14:28 UTC 2007