Trace number 206709

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.1 1807.82

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-6_ext.xml
MD5SUM1d6ae9698ff97a2707a045a26f8d044a
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/206709-1168176889/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=28  nbDomainTypes=1  minDomainSize=28  maxDomainSize=28
0.42	       =>  wckTime=0.101  cpuTime=0.08  mem=6M951
0.42	   
0.42	   relations being loaded...
1.57	   
1.57	   constraints being loaded...
2.34	     nbConstraints=91  nbRelationTypes=93  nbMergedConstraints=2  nbExtensionStructures=91
2.34	     nbSharedExtensionStructures=0  nbConflictsStructures=91  nbSharedConflictsStructures=0
2.34	     nbSharedBinaryRepresentations=0  maxDegree=15  maxArity=3
2.34	       =>  wckTime=2.018  cpuTime=1.61  mem=56M994
2.50	   
2.50	   solver IterativeSystematicSolver being built... 
2.68	       =>  wckTime=2.354  cpuTime=1.76  mem=65M46
2.81	   
2.81	   preprocessing
2.81	     nbConstraintChecks=40058  nbValidityChecks=67746  nbPropagations=251  nbRevisions=2712  nbUselessRevisions=2391
2.81	     nbSingletonTests=32  nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=0  detectedInconsistency=no
2.81	       =>  wckTime=0.128  cpuTime=0.1  mem=65M46
2.89	   
2.89	   search
2.89	     run=0  nbConstraintChecks=38256  nbValidityChecks=69919  nbPropagations=565  nbRevisions=6345
2.89	     nbUselessRevisions=5353  nbAssignments=29  nbFailedAssignments=11  nbBacktracks=11  nbVisitedNodes=47
2.89	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
2.89	       =>  wckTime=0.214  cpuTime=0.18  mem=66M54
3.00	   
3.00	   search
3.00	     run=1  nbConstraintChecks=88267  nbValidityChecks=181599  nbPropagations=1725  nbRevisions=19671
3.00	     nbUselessRevisions=16285  nbAssignments=76  nbFailedAssignments=34  nbBacktracks=26  nbVisitedNodes=130
3.00	     nbRestartNogoods=2  mapSize=24  nbInferences=0  nbTooLargeKeys=0
3.00	       =>  wckTime=0.32  cpuTime=0.28  mem=66M54
3.19	   
3.19	   search
3.19	     run=2  nbConstraintChecks=188051  nbValidityChecks=376672  nbPropagations=3694  nbRevisions=43813
3.19	     nbUselessRevisions=35794  nbAssignments=141  nbFailedAssignments=68  nbBacktracks=48  nbVisitedNodes=246
3.19	     nbRestartNogoods=6  mapSize=44  nbInferences=0  nbTooLargeKeys=0
3.19	       =>  wckTime=0.513  cpuTime=0.46  mem=66M54
3.60	   
3.60	   search
3.60	     run=3  nbConstraintChecks=422098  nbValidityChecks=856003  nbPropagations=7865  nbRevisions=96256
3.60	     nbUselessRevisions=76733  nbAssignments=332  nbFailedAssignments=218  nbBacktracks=81  nbVisitedNodes=617
3.60	     nbRestartNogoods=12  mapSize=77  nbInferences=0  nbTooLargeKeys=0
3.60	       =>  wckTime=0.925  cpuTime=0.86  mem=66M54
3.86	   
3.86	   search
3.86	     run=4  nbConstraintChecks=570078  nbValidityChecks=1154786  nbPropagations=13762  nbRevisions=169797
3.86	     nbUselessRevisions=134298  nbAssignments=492  nbFailedAssignments=319  nbBacktracks=132  nbVisitedNodes=909
3.86	     nbRestartNogoods=18  mapSize=123  nbInferences=0  nbTooLargeKeys=0
3.86	       =>  wckTime=1.177  cpuTime=1.11  mem=66M54
4.25	   
4.25	   search
4.25	     run=5  nbConstraintChecks=795825  nbValidityChecks=1620557  nbPropagations=22465  nbRevisions=273764
4.25	     nbUselessRevisions=215608  nbAssignments=684  nbFailedAssignments=429  nbBacktracks=207  nbVisitedNodes=1262
4.25	     nbRestartNogoods=25  mapSize=189  nbInferences=0  nbTooLargeKeys=0
4.25	       =>  wckTime=1.571  cpuTime=1.5  mem=66M54
4.78	   
4.78	   search
4.78	     run=6  nbConstraintChecks=1095950  nbValidityChecks=2238448  nbPropagations=34918  nbRevisions=420102
4.78	     nbUselessRevisions=330325  nbAssignments=953  nbFailedAssignments=576  nbBacktracks=322  nbVisitedNodes=1752
4.78	     nbRestartNogoods=31  mapSize=284  nbInferences=0  nbTooLargeKeys=0
4.78	       =>  wckTime=2.101  cpuTime=2.02  mem=66M54
5.71	   
5.71	   search
5.71	     run=7  nbConstraintChecks=1633191  nbValidityChecks=3317617  nbPropagations=53535  nbRevisions=635666
5.71	     nbUselessRevisions=499079  nbAssignments=1381  nbFailedAssignments=812  nbBacktracks=494  nbVisitedNodes=2514
5.71	     nbRestartNogoods=42  mapSize=435  nbInferences=0  nbTooLargeKeys=0
5.71	       =>  wckTime=3.029  cpuTime=2.94  mem=66M54
7.21	   
7.21	   search
7.21	     run=8  nbConstraintChecks=2517989  nbValidityChecks=5145732  nbPropagations=80341  nbRevisions=955342
7.21	     nbUselessRevisions=750337  nbAssignments=2016  nbFailedAssignments=1181  nbBacktracks=752  nbVisitedNodes=3690
7.21	     nbRestartNogoods=49  mapSize=670  nbInferences=0  nbTooLargeKeys=0
7.21	       =>  wckTime=4.53  cpuTime=4.43  mem=66M54
9.60	   
9.60	   search
9.60	     run=9  nbConstraintChecks=3910676  nbValidityChecks=7848941  nbPropagations=118985  nbRevisions=1429193
9.60	     nbUselessRevisions=1125505  nbAssignments=2893  nbFailedAssignments=1667  nbBacktracks=1136  nbVisitedNodes=5292
9.60	     nbRestartNogoods=57  mapSize=1002  nbInferences=0  nbTooLargeKeys=0
9.60	       =>  wckTime=6.916  cpuTime=6.79  mem=66M54
9.69	   
9.69	   INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=66M54)
12.31	   
12.31	   search
12.31	     run=10  nbConstraintChecks=5579164  nbValidityChecks=11237918  nbPropagations=175679  nbRevisions=2123533
12.31	     nbUselessRevisions=1674667  nbAssignments=4451  nbFailedAssignments=2630  nbBacktracks=1713  nbVisitedNodes=8174
12.31	     nbRestartNogoods=67
12.31	       =>  wckTime=9.63  cpuTime=9.49  mem=66M54
16.29	   
16.29	   search
16.29	     run=11  nbConstraintChecks=7942408  nbValidityChecks=16048628  nbPropagations=260728  nbRevisions=3145711
16.29	     nbUselessRevisions=2482278  nbAssignments=6471  nbFailedAssignments=3778  nbBacktracks=2579  nbVisitedNodes=11905
16.29	     nbRestartNogoods=71
16.29	       =>  wckTime=13.606  cpuTime=13.44  mem=66M54
22.46	   
22.46	   search
22.46	     run=12  nbConstraintChecks=11675531  nbValidityChecks=23743198  nbPropagations=389264  nbRevisions=4689770
22.46	     nbUselessRevisions=3702187  nbAssignments=9591  nbFailedAssignments=5595  nbBacktracks=3876  nbVisitedNodes=17733
22.46	     nbRestartNogoods=79
22.46	       =>  wckTime=19.785  cpuTime=19.59  mem=66M54
35.04	   
35.04	   search
35.04	     run=13  nbConstraintChecks=19494253  nbValidityChecks=38956079  nbPropagations=589549  nbRevisions=7166730
35.04	     nbUselessRevisions=5659801  nbAssignments=14772  nbFailedAssignments=8823  nbBacktracks=5823  nbVisitedNodes=27603
35.04	     nbRestartNogoods=95
35.04	       =>  wckTime=32.365  cpuTime=32.11  mem=66M54
53.90	   
53.90	   search
53.90	     run=14  nbConstraintChecks=30731641  nbValidityChecks=62184209  nbPropagations=893599  nbRevisions=10952583
53.91	     nbUselessRevisions=8653338  nbAssignments=23232  nbFailedAssignments=14355  nbBacktracks=8742  nbVisitedNodes=43509
53.91	     nbRestartNogoods=112
53.91	       =>  wckTime=51.226  cpuTime=50.88  mem=66M54
77.27	   
77.27	   search
77.27	     run=15  nbConstraintChecks=45520669  nbValidityChecks=91209860  nbPropagations=1347915  nbRevisions=16619849
77.27	     nbUselessRevisions=13132178  nbAssignments=35675  nbFailedAssignments=22369  nbBacktracks=13120
77.27	     nbVisitedNodes=67015  nbRestartNogoods=126
77.27	       =>  wckTime=74.592  cpuTime=74.13  mem=66M54
109.15	   
109.16	   search
109.16	     run=16  nbConstraintChecks=64732110  nbValidityChecks=130510355  nbPropagations=2030070  nbRevisions=24944740
109.16	     nbUselessRevisions=19700201  nbAssignments=51687  nbFailedAssignments=31804  nbBacktracks=19688
109.16	     nbVisitedNodes=96965  nbRestartNogoods=141
109.16	       =>  wckTime=106.476  cpuTime=105.86  mem=66M54
156.41	   
156.41	   search
156.41	     run=17  nbConstraintChecks=92951510  nbValidityChecks=188255343  nbPropagations=3050280  nbRevisions=37155260
156.41	     nbUselessRevisions=29319946  nbAssignments=74855  nbFailedAssignments=45070  nbBacktracks=29540
156.41	     nbVisitedNodes=139998  nbRestartNogoods=160
156.41	       =>  wckTime=153.728  cpuTime=152.88  mem=66M54
241.65	   
241.65	   search
241.65	     run=18  nbConstraintChecks=143536905  nbValidityChecks=289730497  nbPropagations=4524876  nbRevisions=55280887
241.65	     nbUselessRevisions=43671161  nbAssignments=109140  nbFailedAssignments=64570  nbBacktracks=44319
241.65	     nbVisitedNodes=203491  nbRestartNogoods=185
241.65	       =>  wckTime=238.974  cpuTime=237.72  mem=66M54
359.43	   
359.43	   search
359.43	     run=19  nbConstraintChecks=218449161  nbValidityChecks=442119413  nbPropagations=6799344  nbRevisions=83205556
359.43	     nbUselessRevisions=65737871  nbAssignments=168198  nbFailedAssignments=101418  nbBacktracks=66490
359.43	     nbVisitedNodes=315025  nbRestartNogoods=217
359.43	       =>  wckTime=356.749  cpuTime=355.21  mem=66M54
495.14	   
495.14	   search
495.14	     run=20  nbConstraintChecks=310057316  nbValidityChecks=628190868  nbPropagations=10072301  nbRevisions=123225088
495.14	     nbUselessRevisions=97387187  nbAssignments=251305  nbFailedAssignments=151265  nbBacktracks=99742
495.14	     nbVisitedNodes=468665  nbRestartNogoods=232
495.14	       =>  wckTime=492.458  cpuTime=490.77  mem=66M54
753.92	   
753.92	   search
753.92	     run=21  nbConstraintChecks=482654119  nbValidityChecks=960483001  nbPropagations=15045633  nbRevisions=184063913
753.92	     nbUselessRevisions=145457172  nbAssignments=373948  nbFailedAssignments=223999  nbBacktracks=149621
753.92	     nbVisitedNodes=698131  nbRestartNogoods=260
753.92	       =>  wckTime=751.246  cpuTime=748.63  mem=66M54
1107.88	   
1107.88	   search
1107.88	     run=22  nbConstraintChecks=711872713  nbValidityChecks=1426110286  nbPropagations=22628270  nbRevisions=275524264
1107.88	     nbUselessRevisions=217593789  nbAssignments=557787  nbFailedAssignments=333000  nbBacktracks=224439
1107.88	     nbVisitedNodes=1042029  nbRestartNogoods=271
1107.88	       =>  wckTime=1105.201  cpuTime=1100.91  mem=66M54
1772.92	   
1772.92	   search
1772.92	     run=23  nbConstraintChecks=1138838412  nbValidityChecks=2301666170  nbPropagations=34092295  nbRevisions=416743137
1772.92	     nbUselessRevisions=328996062  nbAssignments=861243  nbFailedAssignments=524221  nbBacktracks=336667
1772.92	     nbVisitedNodes=1610315  nbRestartNogoods=293
1772.92	       =>  wckTime=1770.24  cpuTime=1762.62  mem=66M54

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/node43/watcher-206709-1168176889 -o ROOT/results/node43/solver-206709-1168176889 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206709-1168176889/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.94 4/82 10807
/proc/meminfo: memFree=884616/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=9948 CPUtime=0
/proc/10806/stat : 10806 (java) S 10804 10806 10203 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 166088005 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/10806/statm: 2487 472 386 14 0 1142 0

[startup+0.103403 s]
/proc/loadavg: 2.00 2.00 1.94 4/82 10807
/proc/meminfo: memFree=884616/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=914988 CPUtime=0.09
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 2981 0 1 0 7 2 0 0 19 0 8 0 166088005 936947712 2727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609670 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511469 s]
/proc/loadavg: 2.00 2.00 1.94 4/82 10807
/proc/meminfo: memFree=884616/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915328 CPUtime=0.48
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 7386 0 1 0 44 4 0 0 18 0 8 0 166088005 937295872 7125 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155769989 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228832 7125 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33861 s]
/proc/loadavg: 2.00 2.00 1.94 3/89 10814
/proc/meminfo: memFree=817488/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915328 CPUtime=1.31
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 19099 0 1 0 121 10 0 0 25 0 8 0 166088005 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228832 18837 2149 14 0 215302 0
[pid=10806/tid=10808] ppid=10804 vsize=915328 CPUtime=0.06
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 2681 0 0 0 5 1 0 0 17 0 8 0 166088009 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915328 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915328 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915328 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915328 CPUtime=0.07
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 308 0 0 0 7 0 0 0 16 0 8 0 166088013 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915328 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915328 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328

[startup+2.98088 s]
/proc/loadavg: 2.00 2.00 1.94 4/89 10814
/proc/meminfo: memFree=776848/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=2.95
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32442 0 1 0 278 17 0 0 25 0 8 0 166088005 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228860 32177 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 17 0 8 0 166088009 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.19
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 373 0 0 0 18 1 0 0 15 0 8 0 166088013 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915440

[startup+6.27843 s]
/proc/loadavg: 2.08 2.02 1.95 3/89 10814
/proc/meminfo: memFree=765328/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=6.22
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32464 0 1 0 605 17 0 0 25 0 8 0 166088005 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228860 32196 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 17 0 8 0 166088009 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.24
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 166088013 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32196 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915440

[startup+12.7655 s]
/proc/loadavg: 2.07 2.02 1.95 3/89 10814
/proc/meminfo: memFree=765328/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=12.68
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32473 0 1 0 1251 17 0 0 25 0 8 0 166088005 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228860 32202 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.25
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 166088013 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915440

[startup+25.6266 s]
/proc/loadavg: 2.06 2.01 1.95 3/89 10814
/proc/meminfo: memFree=765520/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=25.48
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32475 0 1 0 2531 17 0 0 25 0 8 0 166088005 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228860 32204 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915440

[startup+51.2609 s]
/proc/loadavg: 2.04 2.01 1.95 3/89 10814
/proc/meminfo: memFree=765584/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=50.98
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32475 0 1 0 5081 17 0 0 25 0 8 0 166088005 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228860 32204 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 404 0 0 0 25 1 0 0 15 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915440

[startup+102.527 s]
/proc/loadavg: 2.01 2.01 1.95 3/89 10814
/proc/meminfo: memFree=765648/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=102
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32475 0 1 0 10183 17 0 0 25 0 8 0 166088005 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10806/statm: 228860 32204 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 915440

[startup+162.538 s]
/proc/loadavg: 2.04 2.02 1.95 3/89 10814
/proc/meminfo: memFree=765648/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=161.73
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32476 0 1 0 16155 18 0 0 25 0 8 0 166088005 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815757 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1482.88 s]
/proc/loadavg: 2.03 2.02 1.98 3/87 10872
/proc/meminfo: memFree=1189808/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=1476.87
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32477 0 1 0 147656 31 0 0 25 0 8 0 166088005 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10806/statm: 228860 32205 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.87
Current children cumulated vsize (KiB) 915440

[startup+1542.88 s]
/proc/loadavg: 2.08 2.04 1.99 3/87 10872
/proc/meminfo: memFree=1189808/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=1536.57
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32477 0 1 0 153625 32 0 0 25 0 8 0 166088005 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073857435 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10806/statm: 228860 32205 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.57
Current children cumulated vsize (KiB) 915440

[startup+1602.9 s]
/proc/loadavg: 2.16 2.06 2.00 3/93 10988
/proc/meminfo: memFree=1188448/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=1596.25
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32477 0 1 0 159586 39 0 0 25 0 8 0 166088005 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816991 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10806/statm: 228860 32205 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.25
Current children cumulated vsize (KiB) 915440

[startup+1662.94 s]
/proc/loadavg: 2.06 2.05 2.00 3/93 11048
/proc/meminfo: memFree=1188408/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=1655.95
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32477 0 1 0 165547 48 0 0 25 0 8 0 166088005 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799045 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10806/statm: 228860 32205 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.95
Current children cumulated vsize (KiB) 915440

[startup+1722.95 s]
/proc/loadavg: 2.02 2.03 2.00 3/87 11070
/proc/meminfo: memFree=1189424/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=1715.63
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32477 0 1 0 171514 49 0 0 25 0 8 0 166088005 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10806/statm: 228860 32205 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.63
Current children cumulated vsize (KiB) 915440

[startup+1782.95 s]
/proc/loadavg: 2.00 2.03 2.00 3/87 11070
/proc/meminfo: memFree=1189424/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=1775.34
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32477 0 1 0 177485 49 0 0 25 0 8 0 166088005 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660004 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10806/statm: 228860 32205 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.34
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.75 s]
/proc/loadavg: 2.00 2.02 2.00 3/87 11070
/proc/meminfo: memFree=1189424/2055920 swapFree=4192812/4192956
[pid=10806] ppid=10804 vsize=915440 CPUtime=1800.04
/proc/10806/stat : 10806 (java) R 10804 10806 10203 0 -1 0 32477 0 1 0 179954 50 0 0 25 0 8 0 166088005 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10806/statm: 228860 32205 2531 14 0 215330 0
[pid=10806/tid=10808] ppid=10804 vsize=915440 CPUtime=0.45
/proc/10806/task/10808/stat : 10808 (java) S 10804 10806 10203 0 -1 64 15452 0 0 0 39 6 0 0 16 0 8 0 166088009 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10809] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10809/stat : 10809 (java) S 10804 10806 10203 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10810] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10810/stat : 10810 (java) S 10804 10806 10203 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166088010 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10811] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10811/stat : 10811 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10812] ppid=10804 vsize=915440 CPUtime=0.26
/proc/10806/task/10812/stat : 10812 (java) S 10804 10806 10203 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10806/tid=10813] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10813/stat : 10813 (java) S 10804 10806 10203 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10806/tid=10814] ppid=10804 vsize=915440 CPUtime=0
/proc/10806/task/10814/stat : 10814 (java) S 10804 10806 10203 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166088013 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915440

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

Child status: 143
Real time (s): 1807.82
CPU time (s): 1800.1
CPU user time (s): 1799.58
CPU system time (s): 0.52192
CPU usage (%): 99.5731
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.52192
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32494
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= 37771
involuntary context switches= 30344

runsolver used 2.37964 s user time and 5.64114 s system time

The end

Launcher Data (download as text)

Begin job on node43 on Sun Jan  7 13:34:49 UTC 2007


IDJOB= 206709
IDBENCH= 4229
FILE ID= node43/206709-1168176889

PBS_JOBID= 3479087

Free space on /tmp= 66478 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1d6ae9698ff97a2707a045a26f8d044a

RANDOM SEED= 711492556

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.278
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.278
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:        885096 kB
Buffers:         41544 kB
Cached:         498036 kB
SwapCached:          0 kB
Active:         637524 kB
Inactive:       470476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        885096 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7476 kB
Writeback:           0 kB
Mapped:         587560 kB
Slab:            47064 kB
Committed_AS:  4120692 kB
PageTables:       2932 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= 66479 MiB



End job on node43 on Sun Jan  7 14:04:57 UTC 2007