Trace number 206319

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.14 1800.67

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-35_ext.xml
MD5SUMc30b577053b6708cb9fc80132f875f5d
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=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/206319-1168171549/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.40	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.40	       =>  wckTime=0.095  cpuTime=0.08  mem=6M951
0.40	   
0.40	   relations being loaded...
1.51	   
1.51	   constraints being loaded...
2.22	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.22	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.23	     nbSharedBinaryRepresentations=0  maxDegree=16  maxArity=3
2.23	       =>  wckTime=1.924  cpuTime=1.58  mem=58M59
2.38	   
2.38	   solver IterativeSystematicSolver being built... 
2.54	       =>  wckTime=2.241  cpuTime=1.71  mem=65M618
2.68	   
2.68	   preprocessing
2.68	     nbConstraintChecks=50582  nbValidityChecks=83350  nbPropagations=290  nbRevisions=2903  nbUselessRevisions=2533
2.68	     nbSingletonTests=41  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.68	       =>  wckTime=0.135  cpuTime=0.11  mem=65M618
2.76	   
2.76	   search
2.76	     run=0  nbConstraintChecks=35829  nbValidityChecks=67914  nbPropagations=629  nbRevisions=6704
2.76	     nbUselessRevisions=5608  nbAssignments=29  nbFailedAssignments=10  nbBacktracks=11  nbVisitedNodes=46
2.76	     nbRestartNogoods=0  mapSize=8  nbInferences=0  nbTooLargeKeys=0
2.76	       =>  wckTime=0.21  cpuTime=0.18  mem=66M626
2.87	   
2.87	   search
2.87	     run=1  nbConstraintChecks=95525  nbValidityChecks=185289  nbPropagations=1735  nbRevisions=19683
2.87	     nbUselessRevisions=16257  nbAssignments=79  nbFailedAssignments=38  nbBacktracks=26  nbVisitedNodes=134
2.87	     nbRestartNogoods=4  mapSize=21  nbInferences=0  nbTooLargeKeys=0
2.87	       =>  wckTime=0.322  cpuTime=0.29  mem=66M626
3.03	   
3.03	   search
3.03	     run=2  nbConstraintChecks=183573  nbValidityChecks=369274  nbPropagations=3740  nbRevisions=43619
3.03	     nbUselessRevisions=35868  nbAssignments=160  nbFailedAssignments=64  nbBacktracks=50  nbVisitedNodes=233
3.03	     nbRestartNogoods=8  mapSize=43  nbInferences=0  nbTooLargeKeys=0
3.03	       =>  wckTime=0.481  cpuTime=0.44  mem=66M626
3.18	   
3.18	   search
3.18	     run=3  nbConstraintChecks=273696  nbValidityChecks=548247  nbPropagations=6846  nbRevisions=81523
3.18	     nbUselessRevisions=66753  nbAssignments=247  nbFailedAssignments=110  nbBacktracks=83  nbVisitedNodes=390
3.18	     nbRestartNogoods=11  mapSize=75  nbInferences=0  nbTooLargeKeys=0
3.18	       =>  wckTime=0.633  cpuTime=0.6  mem=66M626
3.71	   
3.71	   search
3.71	     run=4  nbConstraintChecks=584199  nbValidityChecks=1204867  nbPropagations=12614  nbRevisions=155816
3.71	     nbUselessRevisions=126633  nbAssignments=477  nbFailedAssignments=282  nbBacktracks=134  nbVisitedNodes=835
3.71	     nbRestartNogoods=15  mapSize=126  nbInferences=0  nbTooLargeKeys=0
3.71	       =>  wckTime=1.166  cpuTime=1.13  mem=66M626
4.20	   
4.20	   search
4.20	     run=5  nbConstraintChecks=879120  nbValidityChecks=1790455  nbPropagations=21399  nbRevisions=267813
4.20	     nbUselessRevisions=216089  nbAssignments=705  nbFailedAssignments=428  nbBacktracks=209  nbVisitedNodes=1261
4.20	     nbRestartNogoods=28  mapSize=195  nbInferences=0  nbTooLargeKeys=0
4.20	       =>  wckTime=1.651  cpuTime=1.61  mem=66M626
4.77	   
4.77	   search
4.77	     run=6  nbConstraintChecks=1232480  nbValidityChecks=2457470  nbPropagations=33449  nbRevisions=424190
4.77	     nbUselessRevisions=341010  nbAssignments=954  nbFailedAssignments=557  nbBacktracks=322  nbVisitedNodes=1708
4.77	     nbRestartNogoods=33  mapSize=294  nbInferences=0  nbTooLargeKeys=0
4.77	       =>  wckTime=2.229  cpuTime=2.19  mem=66M626
5.98	   
5.98	   search
5.98	     run=7  nbConstraintChecks=1977371  nbValidityChecks=3909678  nbPropagations=51560  nbRevisions=659168
5.98	     nbUselessRevisions=528445  nbAssignments=1463  nbFailedAssignments=889  nbBacktracks=493  nbVisitedNodes=2668
5.98	     nbRestartNogoods=42  mapSize=442  nbInferences=0  nbTooLargeKeys=0
5.98	       =>  wckTime=3.436  cpuTime=3.39  mem=66M626
7.15	   
7.15	   search
7.15	     run=8  nbConstraintChecks=2682182  nbValidityChecks=5323675  nbPropagations=77926  nbRevisions=997978
7.15	     nbUselessRevisions=798496  nbAssignments=2072  nbFailedAssignments=1234  nbBacktracks=750  nbVisitedNodes=3774
7.15	     nbRestartNogoods=46  mapSize=670  nbInferences=0  nbTooLargeKeys=0
7.15	       =>  wckTime=4.604  cpuTime=4.54  mem=66M626
8.95	   
8.95	   search
8.95	     run=9  nbConstraintChecks=3784428  nbValidityChecks=7573159  nbPropagations=117220  nbRevisions=1494835
8.95	     nbUselessRevisions=1193486  nbAssignments=3048  nbFailedAssignments=1819  nbBacktracks=1134  nbVisitedNodes=5578
8.95	     nbRestartNogoods=53  mapSize=1015  nbInferences=0  nbTooLargeKeys=0
8.95	       =>  wckTime=6.404  cpuTime=6.33  mem=66M626
9.11	   
9.11	   INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=66M626)
13.89	   
13.89	   search
13.89	     run=10  nbConstraintChecks=6814425  nbValidityChecks=13807742  nbPropagations=182196  nbRevisions=2343137
13.89	     nbUselessRevisions=1868115  nbAssignments=5116  nbFailedAssignments=3304  nbBacktracks=1710  nbVisitedNodes=9624
13.89	     nbRestartNogoods=57
13.89	       =>  wckTime=11.341  cpuTime=11.27  mem=66M626
17.86	   
17.86	   search
17.86	     run=11  nbConstraintChecks=9351412  nbValidityChecks=18738627  nbPropagations=273536  nbRevisions=3523550
17.86	     nbUselessRevisions=2803856  nbAssignments=7124  nbFailedAssignments=4423  nbBacktracks=2577  nbVisitedNodes=13277
17.86	     nbRestartNogoods=73
17.86	       =>  wckTime=15.317  cpuTime=15.24  mem=66M626
24.96	   
24.97	   search
24.97	     run=12  nbConstraintChecks=13972942  nbValidityChecks=27820756  nbPropagations=410253  nbRevisions=5293382
24.97	     nbUselessRevisions=4203346  nbAssignments=10612  nbFailedAssignments=6606  nbBacktracks=3875  nbVisitedNodes=19834
24.97	     nbRestartNogoods=76
24.97	       =>  wckTime=22.42  cpuTime=22.34  mem=66M626
37.22	   
37.22	   search
37.22	     run=13  nbConstraintChecks=21682739  nbValidityChecks=43861638  nbPropagations=619812  nbRevisions=8030718
37.22	     nbUselessRevisions=6367910  nbAssignments=17976  nbFailedAssignments=12019  nbBacktracks=5821  nbVisitedNodes=34002
37.22	     nbRestartNogoods=86
37.22	       =>  wckTime=34.67  cpuTime=34.59  mem=66M626
51.47	   
51.47	   search
51.47	     run=14  nbConstraintChecks=30662326  nbValidityChecks=61638460  nbPropagations=924323  nbRevisions=11996100
51.47	     nbUselessRevisions=9509730  nbAssignments=24946  nbFailedAssignments=16064  nbBacktracks=8740  nbVisitedNodes=46854
51.47	     nbRestartNogoods=98
51.47	       =>  wckTime=48.928  cpuTime=48.84  mem=66M626
73.33	   
73.33	   search
73.33	     run=15  nbConstraintChecks=44199549  nbValidityChecks=88802757  nbPropagations=1365261  nbRevisions=17703256
73.33	     nbUselessRevisions=14034749  nbAssignments=34674  nbFailedAssignments=21396  nbBacktracks=13119
73.33	     nbVisitedNodes=64725  nbRestartNogoods=117
73.33	       =>  wckTime=70.789  cpuTime=70.69  mem=66M626
109.38	   
109.38	   search
109.38	     run=16  nbConstraintChecks=66809173  nbValidityChecks=134295597  nbPropagations=2039177  nbRevisions=26315916
109.38	     nbUselessRevisions=20853124  nbAssignments=51516  nbFailedAssignments=31663  nbBacktracks=19688
109.38	     nbVisitedNodes=96108  nbRestartNogoods=132
109.38	       =>  wckTime=106.833  cpuTime=106.72  mem=66M626
179.47	   
179.47	   search
179.47	     run=17  nbConstraintChecks=110707142  nbValidityChecks=223691077  nbPropagations=3097081  nbRevisions=40144140
179.47	     nbUselessRevisions=31792365  nbAssignments=82267  nbFailedAssignments=52545  nbBacktracks=29540
179.47	     nbVisitedNodes=155186  nbRestartNogoods=146
179.47	       =>  wckTime=176.928  cpuTime=176.8  mem=66M626
252.50	   
252.50	   search
252.50	     run=18  nbConstraintChecks=157449057  nbValidityChecks=315617826  nbPropagations=4639542  nbRevisions=60245896
252.50	     nbUselessRevisions=47690901  nbAssignments=118494  nbFailedAssignments=73978  nbBacktracks=44320
252.50	     nbVisitedNodes=222578  nbRestartNogoods=171
252.50	       =>  wckTime=249.957  cpuTime=249.8  mem=66M626
388.29	   
388.29	   search
388.29	     run=19  nbConstraintChecks=243837629  nbValidityChecks=484975086  nbPropagations=6923872  nbRevisions=90136284
388.29	     nbUselessRevisions=71377761  nbAssignments=178602  nbFailedAssignments=111909  nbBacktracks=66491
388.29	     nbVisitedNodes=335842  nbRestartNogoods=185
388.29	       =>  wckTime=385.745  cpuTime=385.55  mem=66M626
550.83	   
550.83	   search
550.83	     run=20  nbConstraintChecks=346832104  nbValidityChecks=690786946  nbPropagations=10287738  nbRevisions=133985010
550.83	     nbUselessRevisions=106118363  nbAssignments=261918  nbFailedAssignments=161966  nbBacktracks=99743
550.83	     nbVisitedNodes=491073  nbRestartNogoods=203
550.83	       =>  wckTime=548.286  cpuTime=548.04  mem=66M626
824.72	   
824.72	   search
824.72	     run=21  nbConstraintChecks=519383009  nbValidityChecks=1033166828  nbPropagations=15395656  nbRevisions=199983280
824.72	     nbUselessRevisions=158363098  nbAssignments=387765  nbFailedAssignments=237928  nbBacktracks=149621
824.72	     nbVisitedNodes=726361  nbRestartNogoods=233
824.72	       =>  wckTime=822.178  cpuTime=821.85  mem=66M626
1374.79	   
1374.79	   search
1374.79	     run=22  nbConstraintChecks=864077682  nbValidityChecks=1741659051  nbPropagations=23555223  nbRevisions=307756952
1374.79	     nbUselessRevisions=243846207  nbAssignments=631286  nbFailedAssignments=406612  nbBacktracks=224440
1374.79	     nbVisitedNodes=1197821  nbRestartNogoods=264
1374.79	       =>  wckTime=1372.246  cpuTime=1371.76  mem=66M626

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/node35/watcher-206319-1168171549 -o ROOT/results/node35/solver-206319-1168171549 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206319-1168171549/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: 0.95 0.99 1.00 3/65 11868
/proc/meminfo: memFree=1604888/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=1784 CPUtime=0
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 165548567 1826816 136 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/11867/statm: 446 136 102 14 0 91 0

[startup+0.103426 s]
/proc/loadavg: 0.95 0.99 1.00 3/65 11868
/proc/meminfo: memFree=1604888/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=914988 CPUtime=0.08
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 3002 0 1 0 7 1 0 0 16 0 8 0 165548567 936947712 2748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228747 2748 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511468 s]
/proc/loadavg: 0.95 0.99 1.00 3/65 11868
/proc/meminfo: memFree=1604888/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915328 CPUtime=0.49
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 7989 0 1 0 45 4 0 0 17 0 8 0 165548567 937295872 7728 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228832 7729 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33356 s]
/proc/loadavg: 0.95 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1537760/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915328 CPUtime=1.31
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 19100 0 1 0 121 10 0 0 19 0 8 0 165548567 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073581060 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228832 18838 2149 14 0 215302 0
[pid=11867/tid=11869] ppid=11865 vsize=915328 CPUtime=0.05
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 2682 0 0 0 4 1 0 0 17 0 8 0 165548571 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915328 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915328 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915328 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915328 CPUtime=0.07
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 309 0 0 0 7 0 0 0 15 0 8 0 165548575 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915328 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915328 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328

[startup+2.98576 s]
/proc/loadavg: 0.95 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1496992/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=2.97
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32578 0 1 0 280 17 0 0 17 0 8 0 165548567 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634863 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32313 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 17 0 8 0 165548571 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.19
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 379 0 0 0 18 1 0 0 16 0 8 0 165548575 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32313 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915440

[startup+6.27415 s]
/proc/loadavg: 0.95 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1485024/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=6.27
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32596 0 1 0 609 18 0 0 16 0 8 0 165548567 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32328 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 17 0 8 0 165548571 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.22
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 394 0 0 0 21 1 0 0 16 0 8 0 165548575 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32328 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 915440

[startup+12.7539 s]
/proc/loadavg: 0.95 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1485152/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=12.75
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32603 0 1 0 1257 18 0 0 17 0 8 0 165548567 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808868 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32333 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.23
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.75
Current children cumulated vsize (KiB) 915440

[startup+25.5774 s]
/proc/loadavg: 0.96 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1485344/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=25.57
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32603 0 1 0 2539 18 0 0 25 0 8 0 165548567 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634778 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32333 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915440

[startup+51.2575 s]
/proc/loadavg: 0.98 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1485408/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=51.24
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32603 0 1 0 5106 18 0 0 25 0 8 0 165548567 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32333 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.24
Current children cumulated vsize (KiB) 915440

[startup+102.513 s]
/proc/loadavg: 0.99 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1485408/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=102.47
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32605 0 1 0 10229 18 0 0 25 0 8 0 165548567 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32334 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.47
Current children cumulated vsize (KiB) 915440

[startup+162.597 s]
/proc/loadavg: 0.99 0.99 1.00 2/72 11875
/proc/meminfo: memFree=1485408/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=162.54
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32605 0 1 0 16236 18 0 0 25 0 8 0 165548567 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1484.48 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11877
/proc/meminfo: memFree=1485280/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=1484.04
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32606 0 1 0 148385 19 0 0 25 0 8 0 165548567 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817814 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32335 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1484.04
Current children cumulated vsize (KiB) 915440

[startup+1544.57 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11877
/proc/meminfo: memFree=1485280/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=1544.11
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32606 0 1 0 154392 19 0 0 25 0 8 0 165548567 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32335 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1544.11
Current children cumulated vsize (KiB) 915440

[startup+1604.65 s]
/proc/loadavg: 1.06 1.01 1.00 2/72 11877
/proc/meminfo: memFree=1485280/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=1604.17
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32606 0 1 0 160398 19 0 0 25 0 8 0 165548567 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32335 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604.17
Current children cumulated vsize (KiB) 915440

[startup+1664.73 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 11877
/proc/meminfo: memFree=1485216/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=1664.24
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32606 0 1 0 166405 19 0 0 25 0 8 0 165548567 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32335 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.24
Current children cumulated vsize (KiB) 915440

[startup+1724.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11877
/proc/meminfo: memFree=1485216/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=1724.3
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32606 0 1 0 172411 19 0 0 25 0 8 0 165548567 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32335 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.3
Current children cumulated vsize (KiB) 915440

[startup+1784.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11877
/proc/meminfo: memFree=1485216/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=1784.37
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32606 0 1 0 178418 19 0 0 25 0 8 0 165548567 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797317 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32335 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.37
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.62 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 11877
/proc/meminfo: memFree=1485216/2055920 swapFree=4191892/4192956
[pid=11867] ppid=11865 vsize=915440 CPUtime=1800.08
/proc/11867/stat : 11867 (java) R 11865 11867 10791 0 -1 0 32606 0 1 0 179989 19 0 0 25 0 8 0 165548567 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11867/statm: 228860 32335 2531 14 0 215330 0
[pid=11867/tid=11869] ppid=11865 vsize=915440 CPUtime=0.41
/proc/11867/task/11869/stat : 11869 (java) S 11865 11867 10791 0 -1 64 15583 0 0 0 35 6 0 0 16 0 8 0 165548571 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11867/tid=11870] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11870/stat : 11870 (java) S 11865 11867 10791 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11871] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11871/stat : 11871 (java) S 11865 11867 10791 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165548572 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11872] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11872/stat : 11872 (java) S 11865 11867 10791 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11873] ppid=11865 vsize=915440 CPUtime=0.24
/proc/11867/task/11873/stat : 11873 (java) S 11865 11867 10791 0 -1 64 401 0 0 0 23 1 0 0 16 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11874] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11874/stat : 11874 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11867/tid=11875] ppid=11865 vsize=915440 CPUtime=0
/proc/11867/task/11875/stat : 11875 (java) S 11865 11867 10791 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165548575 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1800.67
CPU time (s): 1800.14
CPU user time (s): 1799.92
CPU system time (s): 0.212967
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.212967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32624
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= 37285
involuntary context switches= 24643

runsolver used 1.72474 s user time and 4.66329 s system time

The end

Launcher Data (download as text)

Begin job on node35 on Sun Jan  7 12:05:49 UTC 2007


IDJOB= 206319
IDBENCH= 4199
FILE ID= node35/206319-1168171549

PBS_JOBID= 3479006

Free space on /tmp= 66554 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c30b577053b6708cb9fc80132f875f5d

RANDOM SEED= 895883779

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.234
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.234
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:       1605240 kB
Buffers:         29744 kB
Cached:         349972 kB
SwapCached:        268 kB
Active:         175140 kB
Inactive:       219228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1605240 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            7472 kB
Writeback:           0 kB
Mapped:          23588 kB
Slab:            42336 kB
Committed_AS:  3490484 kB
PageTables:       1412 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= 66554 MiB



End job on node35 on Sun Jan  7 12:35:50 UTC 2007