Trace number 206761

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.16 1810.26

General information on the benchmark

Namerandom/rand-3-28-28/
rand-3-28-28-93-632-25_ext.xml
MD5SUM5fbdc367aff83d7ec4267032df1b5a4a
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/206761-1168177675/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.097  cpuTime=0.09  mem=6M951
0.40	   
0.40	   relations being loaded...
1.48	   
1.48	   constraints being loaded...
2.20	     nbConstraints=92  nbRelationTypes=93  nbMergedConstraints=1  nbExtensionStructures=92
2.20	     nbSharedExtensionStructures=0  nbConflictsStructures=92  nbSharedConflictsStructures=0
2.20	     nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
2.20	       =>  wckTime=1.904  cpuTime=1.53  mem=58M70
2.36	   
2.36	   solver IterativeSystematicSolver being built... 
2.53	       =>  wckTime=2.226  cpuTime=1.66  mem=65M618
2.67	   
2.67	   preprocessing
2.67	     nbConstraintChecks=47127  nbValidityChecks=83516  nbPropagations=285  nbRevisions=3071  nbUselessRevisions=2683
2.67	     nbSingletonTests=39  nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
2.67	       =>  wckTime=0.137  cpuTime=0.11  mem=65M618
2.77	   
2.77	   search
2.77	     run=0  nbConstraintChecks=51530  nbValidityChecks=101309  nbPropagations=720  nbRevisions=7980
2.77	     nbUselessRevisions=6662  nbAssignments=39  nbFailedAssignments=19  nbBacktracks=12  nbVisitedNodes=68
2.77	     nbRestartNogoods=0  mapSize=11  nbInferences=0  nbTooLargeKeys=0
2.77	       =>  wckTime=0.236  cpuTime=0.2  mem=66M627
2.91	   
2.91	   search
2.91	     run=1  nbConstraintChecks=131433  nbValidityChecks=264144  nbPropagations=2139  nbRevisions=24349
2.91	     nbUselessRevisions=20010  nbAssignments=104  nbFailedAssignments=50  nbBacktracks=27  nbVisitedNodes=163
2.91	     nbRestartNogoods=2  mapSize=24  nbInferences=0  nbTooLargeKeys=0
2.91	       =>  wckTime=0.385  cpuTime=0.34  mem=66M627
3.08	   
3.08	   search
3.08	     run=2  nbConstraintChecks=224537  nbValidityChecks=451299  nbPropagations=4371  nbRevisions=50318
3.08	     nbUselessRevisions=40953  nbAssignments=175  nbFailedAssignments=90  nbBacktracks=49  nbVisitedNodes=289
3.08	     nbRestartNogoods=5  mapSize=45  nbInferences=0  nbTooLargeKeys=0
3.08	       =>  wckTime=0.55  cpuTime=0.5  mem=66M627
3.26	   
3.26	   search
3.26	     run=3  nbConstraintChecks=336169  nbValidityChecks=676869  nbPropagations=7734  nbRevisions=89254
3.26	     nbUselessRevisions=72169  nbAssignments=267  nbFailedAssignments=141  nbBacktracks=82  nbVisitedNodes=453
3.26	     nbRestartNogoods=10  mapSize=77  nbInferences=0  nbTooLargeKeys=0
3.26	       =>  wckTime=0.734  cpuTime=0.68  mem=66M627
3.57	   
3.57	   search
3.57	     run=4  nbConstraintChecks=520182  nbValidityChecks=1070710  nbPropagations=12954  nbRevisions=151024
3.57	     nbUselessRevisions=121257  nbAssignments=419  nbFailedAssignments=225  nbBacktracks=132  nbVisitedNodes=716
3.58	     nbRestartNogoods=16  mapSize=124  nbInferences=0  nbTooLargeKeys=0
3.58	       =>  wckTime=1.045  cpuTime=0.99  mem=66M627
3.96	   
3.96	   search
3.96	     run=5  nbConstraintChecks=756507  nbValidityChecks=1553325  nbPropagations=20548  nbRevisions=239959
3.96	     nbUselessRevisions=191823  nbAssignments=623  nbFailedAssignments=329  nbBacktracks=207  nbVisitedNodes=1065
3.96	     nbRestartNogoods=20  mapSize=195  nbInferences=0  nbTooLargeKeys=0
3.96	       =>  wckTime=1.433  cpuTime=1.37  mem=66M627
4.61	   
4.61	   search
4.61	     run=6  nbConstraintChecks=1143626  nbValidityChecks=2344213  nbPropagations=32019  nbRevisions=376364
4.61	     nbUselessRevisions=299948  nbAssignments=926  nbFailedAssignments=493  nbBacktracks=320  nbVisitedNodes=1595
4.61	     nbRestartNogoods=31  mapSize=300  nbInferences=0  nbTooLargeKeys=0
4.61	       =>  wckTime=2.085  cpuTime=2.01  mem=66M627
5.75	   
5.75	   search
5.75	     run=7  nbConstraintChecks=1855794  nbValidityChecks=3754506  nbPropagations=49515  nbRevisions=588117
5.75	     nbUselessRevisions=467828  nbAssignments=1461  nbFailedAssignments=840  nbBacktracks=490  nbVisitedNodes=2598
5.75	     nbRestartNogoods=39  mapSize=464  nbInferences=0  nbTooLargeKeys=0
5.75	       =>  wckTime=3.218  cpuTime=3.13  mem=66M627
7.24	   
7.24	   search
7.24	     run=8  nbConstraintChecks=2750758  nbValidityChecks=5646668  nbPropagations=76429  nbRevisions=915600
7.24	     nbUselessRevisions=726134  nbAssignments=2193  nbFailedAssignments=1298  nbBacktracks=747  nbVisitedNodes=3963
7.24	     nbRestartNogoods=44  mapSize=710  nbInferences=0  nbTooLargeKeys=0
7.24	       =>  wckTime=4.714  cpuTime=4.62  mem=66M627
8.94	   
8.94	   search
8.94	     run=9  nbConstraintChecks=3805683  nbValidityChecks=7716205  nbPropagations=112940  nbRevisions=1355456
8.94	     nbUselessRevisions=1073646  nbAssignments=3000  nbFailedAssignments=1711  nbBacktracks=1131  nbVisitedNodes=5390
8.94	     nbRestartNogoods=53  mapSize=1016  nbInferences=0  nbTooLargeKeys=0
8.94	       =>  wckTime=6.406  cpuTime=6.29  mem=66M627
9.08	   
9.08	   INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=66M627)
11.79	   
11.79	   search
11.79	     run=10  nbConstraintChecks=5547074  nbValidityChecks=11268821  nbPropagations=167940  nbRevisions=2023073
11.79	     nbUselessRevisions=1600475  nbAssignments=4425  nbFailedAssignments=2519  nbBacktracks=1707  nbVisitedNodes=7979
11.79	     nbRestartNogoods=65
11.79	       =>  wckTime=9.262  cpuTime=9.13  mem=66M627
16.09	   
16.09	   search
16.09	     run=11  nbConstraintChecks=8281857  nbValidityChecks=16722330  nbPropagations=249222  nbRevisions=3010072
16.09	     nbUselessRevisions=2380935  nbAssignments=6489  nbFailedAssignments=3710  nbBacktracks=2571  nbVisitedNodes=11823
16.09	     nbRestartNogoods=75
16.09	       =>  wckTime=13.558  cpuTime=13.4  mem=66M627
23.69	   
23.69	   search
23.69	     run=12  nbConstraintChecks=13001745  nbValidityChecks=26421923  nbPropagations=380054  nbRevisions=4597444
23.69	     nbUselessRevisions=3630310  nbAssignments=10184  nbFailedAssignments=6089  nbBacktracks=3870  nbVisitedNodes=18843
23.69	     nbRestartNogoods=87
23.69	       =>  wckTime=21.163  cpuTime=20.96  mem=66M627
33.85	   
33.85	   search
33.85	     run=13  nbConstraintChecks=19580442  nbValidityChecks=39421866  nbPropagations=572021  nbRevisions=6937545
33.85	     nbUselessRevisions=5475371  nbAssignments=15036  nbFailedAssignments=8987  nbBacktracks=5816  nbVisitedNodes=27951
33.85	     nbRestartNogoods=94
33.85	       =>  wckTime=31.318  cpuTime=31.05  mem=66M627
50.88	   
50.88	   search
50.88	     run=14  nbConstraintChecks=30283053  nbValidityChecks=61293688  nbPropagations=873609  nbRevisions=10623971
50.88	     nbUselessRevisions=8370684  nbAssignments=23276  nbFailedAssignments=14299  nbBacktracks=8736  nbVisitedNodes=43602
50.88	     nbRestartNogoods=100
50.88	       =>  wckTime=48.351  cpuTime=47.89  mem=66M627
74.79	   
74.79	   search
74.79	     run=15  nbConstraintChecks=45469762  nbValidityChecks=91129857  nbPropagations=1308900  nbRevisions=15970662
74.79	     nbUselessRevisions=12579683  nbAssignments=34144  nbFailedAssignments=20780  nbBacktracks=13114
74.79	     nbVisitedNodes=63893  nbRestartNogoods=109
74.79	       =>  wckTime=72.261  cpuTime=71.58  mem=66M627
116.99	   
116.99	   search
116.99	     run=16  nbConstraintChecks=71226977  nbValidityChecks=143186339  nbPropagations=1998139  nbRevisions=24469163
116.99	     nbUselessRevisions=19249918  nbAssignments=53239  nbFailedAssignments=33275  nbBacktracks=19683
116.99	     nbVisitedNodes=100315  nbRestartNogoods=128
116.99	       =>  wckTime=114.461  cpuTime=113.57  mem=66M627
171.36	   
171.36	   search
171.36	     run=17  nbConstraintChecks=104953028  nbValidityChecks=209465835  nbPropagations=2994599  nbRevisions=36750282
171.36	     nbUselessRevisions=28913980  nbAssignments=77396  nbFailedAssignments=47572  nbBacktracks=29537
171.36	     nbVisitedNodes=145527  nbRestartNogoods=137
171.36	       =>  wckTime=168.827  cpuTime=167.67  mem=66M627
259.55	   
259.55	   search
259.55	     run=18  nbConstraintChecks=158291264  nbValidityChecks=318330338  nbPropagations=4541492  nbRevisions=55752427
259.55	     nbUselessRevisions=43823666  nbAssignments=118712  nbFailedAssignments=74099  nbBacktracks=44315
259.55	     nbVisitedNodes=224259  nbRestartNogoods=152
259.55	       =>  wckTime=257.018  cpuTime=255.44  mem=66M627
364.01	   
364.01	   search
364.01	     run=19  nbConstraintChecks=222423579  nbValidityChecks=445534964  nbPropagations=6695659  nbRevisions=82193235
364.01	     nbUselessRevisions=64642774  nbAssignments=167312  nbFailedAssignments=100451  nbBacktracks=66483
364.01	     nbVisitedNodes=312513  nbRestartNogoods=171
364.01	       =>  wckTime=361.478  cpuTime=359.41  mem=66M627
517.95	   
517.95	   search
517.95	     run=20  nbConstraintChecks=315961767  nbValidityChecks=632237639  nbPropagations=9750093  nbRevisions=120250380
517.95	     nbUselessRevisions=94827888  nbAssignments=238612  nbFailedAssignments=138492  nbBacktracks=99735
517.95	     nbVisitedNodes=442086  nbRestartNogoods=188
517.95	       =>  wckTime=515.418  cpuTime=512.62  mem=66M627
766.68	   
766.69	   search
766.69	     run=21  nbConstraintChecks=465923091  nbValidityChecks=933922767  nbPropagations=14187529  nbRevisions=176338010
766.69	     nbUselessRevisions=139567797  nbAssignments=347678  nbFailedAssignments=197637  nbBacktracks=149613
766.69	     nbVisitedNodes=640902  nbRestartNogoods=201
766.69	       =>  wckTime=764.156  cpuTime=760.03  mem=66M627
1157.05	   
1157.05	   search
1157.05	     run=22  nbConstraintChecks=711098783  nbValidityChecks=1440347292  nbPropagations=21152303  nbRevisions=263451395
1157.05	     nbUselessRevisions=208630030  nbAssignments=539874  nbFailedAssignments=314974  nbBacktracks=224433
1157.05	     nbVisitedNodes=1001866  nbRestartNogoods=228
1157.05	       =>  wckTime=1154.519  cpuTime=1148.18  mem=66M627
1705.59	   
1705.59	   search
1705.59	     run=23  nbConstraintChecks=1062283286  nbValidityChecks=2133369516  nbPropagations=31286758  nbRevisions=389983816
1705.59	     nbUselessRevisions=308907449  nbAssignments=789886  nbFailedAssignments=452752  nbBacktracks=336661
1705.59	     nbVisitedNodes=1460681  nbRestartNogoods=243
1705.59	       =>  wckTime=1703.061  cpuTime=1693.55  mem=66M627

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer: 

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node50/watcher-206761-1168177675 -o ROOT/results/node50/solver-206761-1168177675 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206761-1168177675/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.98 4/81 3970
/proc/meminfo: memFree=1369360/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=18540 CPUtime=0
/proc/3969/stat : 3969 (runsolver) R 3967 3969 3219 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 166166072 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3969/statm: 4635 279 244 17 0 2626 0

[startup+0.107993 s]
/proc/loadavg: 2.00 2.00 1.98 4/81 3970
/proc/meminfo: memFree=1369360/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=914988 CPUtime=0.08
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 3047 0 1 0 7 1 0 0 23 0 8 0 166166072 936947712 2793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228747 2793 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516067 s]
/proc/loadavg: 2.00 2.00 1.98 4/81 3970
/proc/meminfo: memFree=1369360/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915328 CPUtime=0.49
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 8168 0 1 0 45 4 0 0 25 0 8 0 166166072 937295872 7907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228832 7908 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33921 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3977
/proc/meminfo: memFree=1249176/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915328 CPUtime=1.31
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 19099 0 1 0 121 10 0 0 25 0 8 0 166166072 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073557605 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228832 18837 2149 14 0 215302 0
[pid=3969/tid=3971] ppid=3967 vsize=915328 CPUtime=0.04
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 2681 0 0 0 4 0 0 0 17 0 8 0 166166076 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915328 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915328 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915328 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915328 CPUtime=0.07
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 309 0 0 0 7 0 0 0 16 0 8 0 166166080 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915328 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915328 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937295872 18837 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.98648 s]
/proc/loadavg: 2.00 2.00 1.98 4/88 3977
/proc/meminfo: memFree=1198680/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=2.95
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32577 0 1 0 278 17 0 0 25 0 8 0 166166072 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812489 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32312 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 17 0 8 0 166166076 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.2
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 379 0 0 0 19 1 0 0 16 0 8 0 166166080 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915440

[startup+6.27903 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3977
/proc/meminfo: memFree=1158872/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=6.22
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32593 0 1 0 605 17 0 0 25 0 8 0 166166072 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800343 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32325 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 17 0 8 0 166166076 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.23
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 166166080 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915440

[startup+12.7721 s]
/proc/loadavg: 2.15 2.03 1.99 3/88 3977
/proc/meminfo: memFree=1065688/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=12.68
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32602 0 1 0 1251 17 0 0 25 0 8 0 166166072 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817949 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32331 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.24
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 166166080 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915440

[startup+25.6313 s]
/proc/loadavg: 2.28 2.06 2.00 3/88 3977
/proc/meminfo: memFree=727256/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=25.46
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32604 0 1 0 2529 17 0 0 25 0 8 0 166166072 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665353 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32333 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.24
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 402 0 0 0 23 1 0 0 15 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915440

[startup+51.3016 s]
/proc/loadavg: 2.33 2.09 2.01 4/92 4032
/proc/meminfo: memFree=1090168/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=50.9
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32604 0 1 0 5071 19 0 0 25 0 8 0 166166072 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630009 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32333 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.24
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 402 0 0 0 23 1 0 0 15 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915440

[startup+102.564 s]
/proc/loadavg: 2.18 2.09 2.01 3/92 4032
/proc/meminfo: memFree=1070584/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=101.81
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32605 0 1 0 10162 19 0 0 25 0 8 0 166166072 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3969/statm: 228860 32333 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 915440

[startup+162.568 s]
/proc/loadavg: 2.06 2.07 2.00 3/92 4032
/proc/meminfo: memFree=1046008/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=161.53
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32605 0 1 0 16134 19 0 0 25 0 8 0 166166072 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629919 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+1482.84 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 4230
/proc/meminfo: memFree=674808/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=1474.6
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32606 0 1 0 147423 37 0 0 25 0 8 0 166166072 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32334 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1474.6
Current children cumulated vsize (KiB) 915440

[startup+1542.85 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 4230
/proc/meminfo: memFree=645944/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=1534.29
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32606 0 1 0 153392 37 0 0 25 0 8 0 166166072 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665455 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32334 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.29
Current children cumulated vsize (KiB) 915440

[startup+1602.87 s]
/proc/loadavg: 2.04 2.01 2.00 3/92 4230
/proc/meminfo: memFree=645880/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=1593.99
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32606 0 1 0 159362 37 0 0 25 0 8 0 166166072 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32334 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.99
Current children cumulated vsize (KiB) 915440

[startup+1662.88 s]
/proc/loadavg: 2.01 2.01 2.00 3/92 4230
/proc/meminfo: memFree=616888/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=1653.66
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32606 0 1 0 165329 37 0 0 25 0 8 0 166166072 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32334 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.66
Current children cumulated vsize (KiB) 915440

[startup+1722.89 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 4230
/proc/meminfo: memFree=616824/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=1713.34
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32606 0 1 0 171297 37 0 0 25 0 8 0 166166072 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800472 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32334 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.34
Current children cumulated vsize (KiB) 915440

[startup+1782.9 s]
/proc/loadavg: 2.08 2.02 2.01 3/92 4230
/proc/meminfo: memFree=616824/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=1773.04
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32606 0 1 0 177266 38 0 0 25 0 8 0 166166072 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32334 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.04
Current children cumulated vsize (KiB) 915440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.19 s]
/proc/loadavg: 2.05 2.01 2.00 3/92 4232
/proc/meminfo: memFree=585336/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=1800.08
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32606 0 1 0 179970 38 0 0 25 0 8 0 166166072 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32334 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32334 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): 1810.26
CPU time (s): 1800.16
CPU user time (s): 1799.75
CPU system time (s): 0.400939
CPU usage (%): 99.4418
Max. virtual memory (cumulated for all children) (KiB): 915440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.400939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32623
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= 37797
involuntary context switches= 59631

runsolver used 2.23566 s user time and 5.78912 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Sun Jan  7 13:47:55 UTC 2007


IDJOB= 206761
IDBENCH= 4233
FILE ID= node50/206761-1168177675

PBS_JOBID= 3479082

Free space on /tmp= 66547 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  5fbdc367aff83d7ec4267032df1b5a4a

RANDOM SEED= 924573056

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1369840 kB
Buffers:         34956 kB
Cached:         544848 kB
SwapCached:        372 kB
Active:         237476 kB
Inactive:       390592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1369840 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:           16656 kB
Writeback:           0 kB
Mapped:          65916 kB
Slab:            43212 kB
Committed_AS:  4539484 kB
PageTables:       1996 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= 66547 MiB



End job on node50 on Sun Jan  7 14:18:07 UTC 2007