Trace number 206645

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 1809.04

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-31_ext.xml
MD5SUM91e6597cdbbcd987f765c4d7bef264d4
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.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/206645-1168073955/unknown.xml
0.36	   
0.36	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.40	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.40	       =>  wckTime=0.096  cpuTime=0.08  mem=6M951
0.40	   
0.40	   relations being loaded...
1.50	   
1.50	   constraints being loaded...
2.22	     nbConstraints=91  nbRelationTypes=93  nbMergedConstraints=2  nbExtensionStructures=91
2.22	     nbSharedExtensionStructures=0  nbConflictsStructures=91  nbSharedConflictsStructures=0
2.22	     nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
2.22	       =>  wckTime=1.917  cpuTime=1.53  mem=57M57
2.38	   
2.38	   solver IterativeSystematicSolver being built... 
2.54	       =>  wckTime=2.233  cpuTime=1.66  mem=65M70
2.54	   
2.54	   preprocessing
2.54	     nbConstraintChecks=0  nbPropagations=28  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.54	     detectedInconsistency=no
2.54	       =>  wckTime=0.0030  cpuTime=0.0  mem=65M70
2.67	   
2.67	   search
2.67	     run=0  nbConstraintChecks=37131  nbValidityChecks=65606  nbPropagations=337  nbRevisions=3435
2.67	     nbUselessRevisions=2822  nbAssignments=24  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=40
2.67	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
2.67	       =>  wckTime=0.131  cpuTime=0.1  mem=65M70
2.79	   
2.79	   search
2.79	     run=1  nbConstraintChecks=99148  nbValidityChecks=184400  nbPropagations=1132  nbRevisions=12711
2.79	     nbUselessRevisions=10445  nbAssignments=66  nbFailedAssignments=30  nbBacktracks=25  nbVisitedNodes=110
2.79	     nbRestartNogoods=2  mapSize=22  nbInferences=0  nbTooLargeKeys=0
2.79	       =>  wckTime=0.247  cpuTime=0.21  mem=65M70
2.94	   
2.94	   search
2.94	     run=2  nbConstraintChecks=179161  nbValidityChecks=345368  nbPropagations=2587  nbRevisions=30384
2.94	     nbUselessRevisions=24920  nbAssignments=114  nbFailedAssignments=49  nbBacktracks=48  nbVisitedNodes=194
2.94	     nbRestartNogoods=7  mapSize=42  nbInferences=0  nbTooLargeKeys=0
2.94	       =>  wckTime=0.396  cpuTime=0.34  mem=65M70
3.11	   
3.11	   search
3.11	     run=3  nbConstraintChecks=279867  nbValidityChecks=546243  nbPropagations=5046  nbRevisions=61120
3.11	     nbUselessRevisions=49853  nbAssignments=200  nbFailedAssignments=95  nbBacktracks=82  nbVisitedNodes=344
3.11	     nbRestartNogoods=9  mapSize=72  nbInferences=0  nbTooLargeKeys=0
3.11	       =>  wckTime=0.568  cpuTime=0.51  mem=65M70
3.54	   
3.54	   search
3.54	     run=4  nbConstraintChecks=537925  nbValidityChecks=1065858  nbPropagations=9531  nbRevisions=120309
3.54	     nbUselessRevisions=97661  nbAssignments=370  nbFailedAssignments=209  nbBacktracks=133  nbVisitedNodes=665
3.54	     nbRestartNogoods=12  mapSize=117  nbInferences=0  nbTooLargeKeys=0
3.54	       =>  wckTime=0.995  cpuTime=0.93  mem=66M62
3.99	   
3.99	   search
3.99	     run=5  nbConstraintChecks=806851  nbValidityChecks=1602741  nbPropagations=16376  nbRevisions=210183
3.99	     nbUselessRevisions=170112  nbAssignments=552  nbFailedAssignments=310  nbBacktracks=209  nbVisitedNodes=996
3.99	     nbRestartNogoods=15  mapSize=181  nbInferences=0  nbTooLargeKeys=0
3.99	       =>  wckTime=1.452  cpuTime=1.38  mem=66M62
5.19	   
5.19	   search
5.19	     run=6  nbConstraintChecks=1600295  nbValidityChecks=3076149  nbPropagations=28260  nbRevisions=372544
5.19	     nbUselessRevisions=300277  nbAssignments=941  nbFailedAssignments=578  nbBacktracks=322  nbVisitedNodes=1742
5.19	     nbRestartNogoods=19  mapSize=290  nbInferences=0  nbTooLargeKeys=0
5.19	       =>  wckTime=2.655  cpuTime=2.56  mem=66M62
6.76	   
6.76	   search
6.76	     run=7  nbConstraintChecks=2634222  nbValidityChecks=4992817  nbPropagations=47219  nbRevisions=634990
6.76	     nbUselessRevisions=510283  nbAssignments=1580  nbFailedAssignments=1041  nbBacktracks=492  nbVisitedNodes=2979
6.76	     nbRestartNogoods=28  mapSize=448  nbInferences=0  nbTooLargeKeys=0
6.76	       =>  wckTime=4.22  cpuTime=4.1  mem=66M62
7.98	   
7.98	   search
7.98	     run=8  nbConstraintChecks=3363508  nbValidityChecks=6545482  nbPropagations=73649  nbRevisions=993943
7.98	     nbUselessRevisions=798101  nbAssignments=2128  nbFailedAssignments=1327  nbBacktracks=748  nbVisitedNodes=3983
7.98	     nbRestartNogoods=42  mapSize=679  nbInferences=0  nbTooLargeKeys=0
7.98	       =>  wckTime=5.444  cpuTime=5.3  mem=66M62
10.03	   
10.03	   search
10.03	     run=9  nbConstraintChecks=4643303  nbValidityChecks=9027126  nbPropagations=110735  nbRevisions=1490609
10.03	     nbUselessRevisions=1197186  nbAssignments=2889  nbFailedAssignments=1698  nbBacktracks=1133  nbVisitedNodes=5347
10.03	     nbRestartNogoods=52  mapSize=1003  nbInferences=0  nbTooLargeKeys=0
10.03	       =>  wckTime=7.494  cpuTime=7.33  mem=66M62
10.13	   
10.13	   INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=66M62)
13.68	   
13.68	   search
13.68	     run=10  nbConstraintChecks=6969535  nbValidityChecks=13490622  nbPropagations=165692  nbRevisions=2219116
13.68	     nbUselessRevisions=1781861  nbAssignments=4200  nbFailedAssignments=2427  nbBacktracks=1710  nbVisitedNodes=7734
13.68	     nbRestartNogoods=60
13.68	       =>  wckTime=11.14  cpuTime=10.9  mem=66M62
21.98	   
21.98	   search
21.98	     run=11  nbConstraintChecks=12417456  nbValidityChecks=23747156  nbPropagations=257419  nbRevisions=3462081
21.98	     nbUselessRevisions=2776821  nbAssignments=6803  nbFailedAssignments=4160  nbBacktracks=2574  nbVisitedNodes=12772
21.98	     nbRestartNogoods=68
21.98	       =>  wckTime=19.442  cpuTime=19.13  mem=66M62
29.48	   
29.48	   search
29.48	     run=12  nbConstraintChecks=17209755  nbValidityChecks=33395028  nbPropagations=392264  nbRevisions=5278682
29.48	     nbUselessRevisions=4230634  nbAssignments=9981  nbFailedAssignments=6033  nbBacktracks=3871  nbVisitedNodes=18752
29.48	     nbRestartNogoods=77
29.48	       =>  wckTime=26.94  cpuTime=26.56  mem=66M62
39.23	   
39.23	   search
39.23	     run=13  nbConstraintChecks=23304489  nbValidityChecks=45859976  nbPropagations=583286  nbRevisions=7817567
39.23	     nbUselessRevisions=6266383  nbAssignments=14534  nbFailedAssignments=8634  nbBacktracks=5819  nbVisitedNodes=27095
39.23	     nbRestartNogoods=84
39.23	       =>  wckTime=36.695  cpuTime=36.21  mem=66M62
64.95	   
64.95	   search
64.95	     run=14  nbConstraintChecks=40569615  nbValidityChecks=80226523  nbPropagations=899384  nbRevisions=12153797
64.95	     nbUselessRevisions=9766106  nbAssignments=26148  nbFailedAssignments=17324  nbBacktracks=8738  nbVisitedNodes=49772
64.95	     nbRestartNogoods=101
64.95	       =>  wckTime=62.407  cpuTime=61.67  mem=66M62
85.41	   
85.41	   search
85.41	     run=15  nbConstraintChecks=53071994  nbValidityChecks=106509750  nbPropagations=1341165  nbRevisions=18093657
85.41	     nbUselessRevisions=14554830  nbAssignments=35537  nbFailedAssignments=22328  nbBacktracks=13117
85.41	     nbVisitedNodes=66903  nbRestartNogoods=120
85.41	       =>  wckTime=82.868  cpuTime=81.93  mem=66M62
121.20	   
121.20	   search
121.20	     run=16  nbConstraintChecks=75158946  nbValidityChecks=151879994  nbPropagations=1992446  nbRevisions=26629025
121.20	     nbUselessRevisions=21416040  nbAssignments=50428  nbFailedAssignments=30646  nbBacktracks=19685
121.20	     nbVisitedNodes=94355  nbRestartNogoods=134
121.20	       =>  wckTime=118.658  cpuTime=117.33  mem=66M62
190.57	   
190.57	   search
190.57	     run=17  nbConstraintChecks=119687243  nbValidityChecks=237611761  nbPropagations=2973419  nbRevisions=39519625
190.57	     nbUselessRevisions=31768241  nbAssignments=74579  nbFailedAssignments=44940  nbBacktracks=29537
190.57	     nbVisitedNodes=139345  nbRestartNogoods=143
190.57	       =>  wckTime=188.034  cpuTime=185.99  mem=66M62
280.10	   
280.10	   search
280.10	     run=18  nbConstraintChecks=176158499  nbValidityChecks=351670676  nbPropagations=4452812  nbRevisions=58890806
280.10	     nbUselessRevisions=47321615  nbAssignments=111716  nbFailedAssignments=67293  nbBacktracks=44316
280.10	     nbVisitedNodes=208795  nbRestartNogoods=158
280.10	       =>  wckTime=277.56  cpuTime=274.62  mem=66M62
436.65	   
436.65	   search
436.65	     run=19  nbConstraintChecks=276604775  nbValidityChecks=545210577  nbPropagations=6678185  nbRevisions=88136566
436.65	     nbUselessRevisions=70785634  nbAssignments=165695  nbFailedAssignments=99097  nbBacktracks=66484
436.65	     nbVisitedNodes=309060  nbRestartNogoods=177
436.65	       =>  wckTime=434.115  cpuTime=429.62  mem=66M62
657.88	   
657.88	   search
657.88	     run=20  nbConstraintChecks=419285394  nbValidityChecks=833987631  nbPropagations=10082949  nbRevisions=133596683
657.88	     nbUselessRevisions=107381617  nbAssignments=263060  nbFailedAssignments=163203  nbBacktracks=99737
657.88	     nbVisitedNodes=494178  nbRestartNogoods=206
657.88	       =>  wckTime=655.337  cpuTime=648.62  mem=66M62
979.06	   
979.06	   search
979.06	     run=21  nbConstraintChecks=623104875  nbValidityChecks=1229624181  nbPropagations=15073794  nbRevisions=199836534
979.06	     nbUselessRevisions=160686754  nbAssignments=377036  nbFailedAssignments=227293  nbBacktracks=149615
979.06	     nbVisitedNodes=703568  nbRestartNogoods=223
979.06	       =>  wckTime=976.522  cpuTime=968.05  mem=66M62
1452.15	   
1452.15	   search
1452.15	     run=22  nbConstraintChecks=916596305  nbValidityChecks=1819463695  nbPropagations=22594014  nbRevisions=298577141
1452.15	     nbUselessRevisions=239977460  nbAssignments=564078  nbFailedAssignments=339510  nbBacktracks=224434
1452.15	     nbVisitedNodes=1052253  nbRestartNogoods=239
1452.15	       =>  wckTime=1449.613  cpuTime=1440.79  mem=66M62

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/node12/watcher-206645-1168073955 -o ROOT/results/node12/solver-206645-1168073955 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206645-1168073955/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.00 1.92 5/93 20342
/proc/meminfo: memFree=1536224/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=18540 CPUtime=0
/proc/20341/stat : 20341 (runsolver) R 20339 20341 18755 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155790755 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/20341/statm: 4635 279 244 17 0 2626 0

[startup+0.10705 s]
/proc/loadavg: 2.00 2.00 1.92 5/93 20342
/proc/meminfo: memFree=1536224/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=914988 CPUtime=0.08
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 3000 0 1 0 7 1 0 0 25 0 8 0 155790755 936947712 2746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925084 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515122 s]
/proc/loadavg: 2.00 2.00 1.92 5/93 20342
/proc/meminfo: memFree=1536224/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915328 CPUtime=0.49
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 8018 0 1 0 45 4 0 0 25 0 8 0 155790755 937295872 7757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073561379 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228832 7757 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33727 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20349
/proc/meminfo: memFree=1468840/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915328 CPUtime=1.3
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 19099 0 1 0 120 10 0 0 25 0 8 0 155790755 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228832 18837 2149 14 0 215302 0
[pid=20341/tid=20343] ppid=20339 vsize=915328 CPUtime=0.05
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 2682 0 0 0 4 1 0 0 17 0 8 0 155790759 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915328 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915328 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915328 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915328 CPUtime=0.07
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 308 0 0 0 7 0 0 0 16 0 8 0 155790763 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915328 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915328 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937295872 18837 18446744073709551615 134512640 134570532 4294956464 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) 915328

[startup+2.99057 s]
/proc/loadavg: 2.00 2.00 1.92 4/100 20349
/proc/meminfo: memFree=1428264/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=2.94
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32430 0 1 0 278 16 0 0 25 0 8 0 155790755 937410560 32164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228860 32164 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.2
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 378 0 0 0 20 0 0 0 15 0 8 0 155790763 937410560 32164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32164 18446744073709551615 134512640 134570532 4294956464 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) 915440

[startup+6.27516 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20349
/proc/meminfo: memFree=1417064/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=6.19
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32439 0 1 0 603 16 0 0 25 0 8 0 155790755 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228860 32170 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 17 0 8 0 155790759 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.22
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 387 0 0 0 22 0 0 0 15 0 8 0 155790763 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32170 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915440

[startup+12.7643 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20349
/proc/meminfo: memFree=1417136/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=12.6
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32457 0 1 0 1243 17 0 0 25 0 8 0 155790755 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802399 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228860 32184 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 402 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915440

[startup+25.6196 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20349
/proc/meminfo: memFree=1417264/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=25.34
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32458 0 1 0 2517 17 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807406 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915440

[startup+51.2403 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20349
/proc/meminfo: memFree=1417328/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=50.7
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32458 0 1 0 5053 17 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915440

[startup+102.473 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20349
/proc/meminfo: memFree=1417328/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=101.41
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 10124 17 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813423 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 915440

[startup+162.481 s]
/proc/loadavg: 2.00 2.00 1.92 3/106 20499
/proc/meminfo: memFree=1416128/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=160.78
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 16048 30 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814425 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+1483.7 s]
/proc/loadavg: 1.99 1.90 1.86 3/100 21067
/proc/meminfo: memFree=1480616/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=1474.91
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 147439 52 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805663 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1474.91
Current children cumulated vsize (KiB) 915440

[startup+1543.72 s]
/proc/loadavg: 1.99 1.92 1.87 3/100 21067
/proc/meminfo: memFree=1479976/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=1534.91
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 153438 53 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.91
Current children cumulated vsize (KiB) 915440

[startup+1603.74 s]
/proc/loadavg: 1.99 1.93 1.87 3/100 21067
/proc/meminfo: memFree=1478376/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=1594.91
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 159438 53 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664894 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.91
Current children cumulated vsize (KiB) 915440

[startup+1663.75 s]
/proc/loadavg: 2.03 1.95 1.88 3/100 21067
/proc/meminfo: memFree=1476712/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=1654.9
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 165436 54 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.9
Current children cumulated vsize (KiB) 915440

[startup+1723.76 s]
/proc/loadavg: 2.01 1.96 1.89 3/100 21067
/proc/meminfo: memFree=1476520/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=1714.89
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 171434 55 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.89
Current children cumulated vsize (KiB) 915440

[startup+1783.78 s]
/proc/loadavg: 2.00 1.97 1.89 3/100 21067
/proc/meminfo: memFree=1475496/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=1774.88
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 177433 55 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814431 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.88
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.96 s]
/proc/loadavg: 2.00 1.97 1.90 3/100 21067
/proc/meminfo: memFree=1474088/2055920 swapFree=4160348/4192956
[pid=20341] ppid=20339 vsize=915440 CPUtime=1800.06
/proc/20341/stat : 20341 (java) R 20339 20341 18755 0 -1 0 32459 0 1 0 179951 55 0 0 25 0 8 0 155790755 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20341/statm: 228860 32185 2521 14 0 215330 0
[pid=20341/tid=20343] ppid=20339 vsize=915440 CPUtime=0.43
/proc/20341/task/20343/stat : 20343 (java) S 20339 20341 18755 0 -1 64 15453 0 0 0 37 6 0 0 16 0 8 0 155790759 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20344] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20344/stat : 20344 (java) S 20339 20341 18755 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20345] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20345/stat : 20345 (java) S 20339 20341 18755 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155790760 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20346] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20346/stat : 20346 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20347] ppid=20339 vsize=915440 CPUtime=0.25
/proc/20341/task/20347/stat : 20347 (java) S 20339 20341 18755 0 -1 64 403 0 0 0 25 0 0 0 16 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20348] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20348/stat : 20348 (java) S 20339 20341 18755 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20341/tid=20349] ppid=20339 vsize=915440 CPUtime=0
/proc/20341/task/20349/stat : 20349 (java) S 20339 20341 18755 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155790763 937410560 32185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1809.04
CPU time (s): 1800.15
CPU user time (s): 1799.57
CPU system time (s): 0.580911
CPU usage (%): 99.5082
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.580911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32475
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= 37819
involuntary context switches= 60344

runsolver used 1.72674 s user time and 5.50416 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Jan  6 08:59:16 UTC 2007


IDJOB= 206645
IDBENCH= 4224
FILE ID= node12/206645-1168073955

PBS_JOBID= 3475713

Free space on /tmp= 66305 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  91e6597cdbbcd987f765c4d7bef264d4

RANDOM SEED= 219183663

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.265
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.265
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:       1536840 kB
Buffers:         29184 kB
Cached:         255472 kB
SwapCached:       4684 kB
Active:         215376 kB
Inactive:       222540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1536840 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            7508 kB
Writeback:           0 kB
Mapped:         173012 kB
Slab:            65876 kB
Committed_AS:  4722728 kB
PageTables:       2360 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= 66310 MiB



End job on node12 on Sat Jan  6 09:29:26 UTC 2007