Trace number 282754

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
AbsconMax 109 EPFCOPTIMUM 704.054 709.572

General information on the benchmark

NameMaxCSP/celar/subs6/
scenw-6-sub2_ext.xml
MD5SUMe10a0dc0e2c27840aac467593467c8f1
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints331
Best CPU time to get the best result obtained on this benchmark0
Satisfiable
(Un)Satisfiability was proved
Number of variables16
Number of constraints353
Maximum constraint arity2
Maximum domain size44
Number of constraints which are defined in extension353
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/282754-1169322182/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.41	     nbVariables=16  nbDomainTypes=2  minDomainSize=36  maxDomainSize=44
0.41	       =>  wckTime=0.097  cpuTime=0.08  mem=6M887
0.41	   
0.41	   relations being loaded...
0.53	   
0.53	   constraints being loaded...
0.65	     nbConstraints=353  nbRelationTypes=123  nbExtensionStructures=123  nbSharedExtensionStructures=230
0.65	     nbConflictsStructures=123  nbSharedConflictsStructures=230  nbSharedBinaryRepresentations=9289  maxDegree=60
0.65	     maxArity=2
0.65	       =>  wckTime=0.339  cpuTime=0.25  mem=15M664
0.70	   
0.70	   solver LocalSearchSolver being built... 
0.74	       =>  wckTime=0.427  cpuTime=0.29  mem=5M708
0.75	
0.75	s SATISFIABLE
0.75	o 226
0.75	c 127
0.75	o 239
0.75	c 114
0.76	o 249
0.76	c 104
0.76	o 260
0.76	c 93
0.76	o 275
0.76	c 78
0.76	o 287
0.76	c 66
0.76	o 298
0.76	c 55
0.77	o 308
0.77	c 45
0.77	o 314
0.77	c 39
0.77	o 316
0.77	c 37
0.77	o 318
0.77	c 35
0.77	o 321
0.77	c 32
0.78	o 324
0.78	c 29
0.83	o 328
0.83	c 25
1.47	o 329
1.47	c 24
3.35	o 331
3.35	c 22
19.32	   
19.32	   search
19.32	     run=0  nbConstraintChecks=155385582  nbAssignments=10000
19.32	       =>  wckTime=18.583  cpuTime=18.42  mem=5M708
33.60	   
33.60	   search
33.60	     run=1  nbConstraintChecks=275372951  nbAssignments=17635
33.60	       =>  wckTime=32.864  cpuTime=32.59  mem=5M708
33.61	   
33.61	   global
33.61	     nbConstraintChecks=275372951  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.61	     solvingWckTime=32.861  solvingCpuTime=32.59  expiredTime=no  totalExploration=no  nbFoundSolutions=0
33.61	     globalCpuTime=32.94
33.61	       =>  wckTime=33.291  cpuTime=32.88  mem=5M708
33.61	   
33.61	   solver IterativeSystematicSolver being built... 
33.73	       =>  wckTime=33.419  cpuTime=32.98  mem=16M616
33.81	   
33.81	   preprocessing
33.81	     nbConstraintChecks=187747  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
33.81	     detectedInconsistency=no
33.81	       =>  wckTime=0.073  cpuTime=0.05  mem=16M616
33.95	   
33.95	   search
33.95	     run=0  nbConstraintChecks=670551  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=45
33.95	     nbFailedAssignments=32  nbBacktracks=10  nbVisitedNodes=88  nbRestartNogoods=0
33.95	       =>  wckTime=0.211  cpuTime=0.17  mem=16M616
34.25	   
34.25	   search
34.25	     run=1  nbConstraintChecks=2451782  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=172
34.25	     nbFailedAssignments=140  nbBacktracks=25  nbVisitedNodes=338  nbRestartNogoods=6
34.25	       =>  wckTime=0.519  cpuTime=0.46  mem=16M616
35.77	   
35.77	   search
35.77	     run=2  nbConstraintChecks=11904461  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=708
35.77	     nbFailedAssignments=652  nbBacktracks=47  nbVisitedNodes=1408  nbRestartNogoods=49
35.77	       =>  wckTime=2.037  cpuTime=1.97  mem=16M616
36.70	   
36.70	   search
36.70	     run=3  nbConstraintChecks=17460873  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1003
36.70	     nbFailedAssignments=911  nbBacktracks=80  nbVisitedNodes=1995  nbRestartNogoods=68
36.70	       =>  wckTime=2.963  cpuTime=2.88  mem=16M616
40.03	   
40.03	   search
40.03	     run=4  nbConstraintChecks=38008931  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2233
40.03	     nbFailedAssignments=2088  nbBacktracks=130  nbVisitedNodes=4452  nbRestartNogoods=132
40.03	       =>  wckTime=6.295  cpuTime=6.16  mem=16M616
44.80	   
44.80	   search
44.80	     run=5  nbConstraintChecks=68047110  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3963
44.80	     nbFailedAssignments=3740  nbBacktracks=205  nbVisitedNodes=7909  nbRestartNogoods=141
44.80	       =>  wckTime=11.064  cpuTime=10.89  mem=16M616
48.64	   
48.65	   search
48.65	     run=6  nbConstraintChecks=93104874  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5350
48.65	     nbFailedAssignments=5011  nbBacktracks=318  nbVisitedNodes=10680  nbRestartNogoods=222
48.65	       =>  wckTime=14.91  cpuTime=14.7  mem=16M616
58.07	   
58.07	   search
58.07	     run=7  nbConstraintChecks=153616209  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8860
58.07	     nbFailedAssignments=8348  nbBacktracks=488  nbVisitedNodes=17697  nbRestartNogoods=278
58.07	       =>  wckTime=24.331  cpuTime=24.05  mem=16M616
71.34	   
71.34	   search
71.34	     run=8  nbConstraintChecks=238504126  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13716
71.34	     nbFailedAssignments=12946  nbBacktracks=744  nbVisitedNodes=27407  nbRestartNogoods=328
71.34	       =>  wckTime=37.601  cpuTime=37.21  mem=16M616
82.77	   
82.77	   search
82.77	     run=9  nbConstraintChecks=310943693  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=17937
82.77	     nbFailedAssignments=16781  nbBacktracks=1128  nbVisitedNodes=35847  nbRestartNogoods=458
82.77	       =>  wckTime=49.037  cpuTime=48.56  mem=16M616
103.29	   
103.29	   search
103.29	     run=10  nbConstraintChecks=438633963  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=25367
103.29	     nbFailedAssignments=23634  nbBacktracks=1704  nbVisitedNodes=50706  nbRestartNogoods=479
103.29	       =>  wckTime=69.551  cpuTime=68.91  mem=16M616
120.93	   
120.93	   search
120.93	     run=11  nbConstraintChecks=550269302  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=32461
120.93	     nbFailedAssignments=29859  nbBacktracks=2568  nbVisitedNodes=64889  nbRestartNogoods=504
120.93	       =>  wckTime=87.197  cpuTime=86.42  mem=16M616
142.09	   
142.10	   search
142.10	     run=12  nbConstraintChecks=681885294  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=40885
142.10	     nbFailedAssignments=36981  nbBacktracks=3865  nbVisitedNodes=81729  nbRestartNogoods=515
142.10	       =>  wckTime=108.36  cpuTime=107.41  mem=16M616
162.56	   
162.56	   search
162.56	     run=13  nbConstraintChecks=809797327  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=49747
162.56	     nbFailedAssignments=43892  nbBacktracks=5811  nbVisitedNodes=99446  nbRestartNogoods=535
162.56	       =>  wckTime=128.822  cpuTime=127.71  mem=16M616
191.46	   
191.46	   search
191.46	     run=14  nbConstraintChecks=994919288  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=63043
191.46	     nbFailedAssignments=54261  nbBacktracks=8730  nbVisitedNodes=126027  nbRestartNogoods=559
191.46	       =>  wckTime=157.725  cpuTime=156.39  mem=16M616
254.30	   
254.30	   search
254.30	     run=15  nbConstraintChecks=1395966336  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=88366
254.30	     nbFailedAssignments=75203  nbBacktracks=13108  nbVisitedNodes=176661  nbRestartNogoods=574
254.30	       =>  wckTime=220.566  cpuTime=218.76  mem=16M616
307.88	   
307.88	   search
307.88	     run=16  nbConstraintChecks=1733109209  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=114804
307.88	     nbFailedAssignments=95067  nbBacktracks=19676  nbVisitedNodes=229521  nbRestartNogoods=585
307.88	       =>  wckTime=274.143  cpuTime=271.93  mem=16M616
423.11	   
423.11	   search
423.11	     run=17  nbConstraintChecks=2449666406  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=164238
423.11	     nbFailedAssignments=134645  nbBacktracks=29528  nbVisitedNodes=328356  nbRestartNogoods=622
423.11	       =>  wckTime=389.372  cpuTime=386.27  mem=16M616
644.21	   
644.21	   search
644.21	     run=18  nbConstraintChecks=3811809071  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=250777
644.21	     nbFailedAssignments=206401  nbBacktracks=44306  nbVisitedNodes=501341  nbRestartNogoods=633
644.21	       =>  wckTime=610.478  cpuTime=605.67  mem=16M616
709.53	   
709.53	   search
709.53	     run=19  nbConstraintChecks=4209443390  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=274374
709.53	     nbFailedAssignments=227683  nbBacktracks=46622  nbVisitedNodes=548506  nbRestartNogoods=681
709.53	       =>  wckTime=675.793  cpuTime=670.47  mem=16M616
709.53	   
709.53	   global
709.53	     nbConstraintChecks=4209631137  nbRestartNogoods=681  solvingWckTime=675.794  solvingCpuTime=670.47  expiredTime=no
709.53	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=703.51
709.53	       =>  wckTime=709.214  cpuTime=703.45  mem=16M616
709.53	
709.53	s OPTIMUM FOUND
709.53	v 0 0 7 42 43 23 6 19 18 10 19 43 42 42 35 0 
709.53	   
709.53	   totalWckTime=709.298  totalCpuTime=703.51

Verifier Data (download as text)

22 unsatisfied constraints, 331 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node34/watcher-282754-1169322182 -o ROOT/results/node34/solver-282754-1169322182 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282754-1169322182/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.69 1.25 1.09 4/73 28774
/proc/meminfo: memFree=944592/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=9748 CPUtime=0
/proc/28773/stat : 28773 (java) D 28771 28773 28471 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 280611981 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7721764 0 2147483391 0 7368 0 0 0 17 1 0 0
/proc/28773/statm: 2487 472 386 14 0 1142 0

[startup+0.103614 s]
/proc/loadavg: 1.69 1.25 1.09 4/73 28774
/proc/meminfo: memFree=944592/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=914988 CPUtime=0.08
/proc/28773/stat : 28773 (java) D 28771 28773 28471 0 -1 0 2988 0 1 0 7 1 0 0 17 0 8 0 280611981 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515646 s]
/proc/loadavg: 1.69 1.25 1.09 4/73 28774
/proc/meminfo: memFree=944592/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915332 CPUtime=0.49
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 7235 0 1 0 44 5 0 0 18 0 8 0 280611981 937299968 6974 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155212722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228833 6974 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.34471 s]
/proc/loadavg: 1.69 1.25 1.09 4/80 28781
/proc/meminfo: memFree=920280/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915464 CPUtime=1.31
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 8752 0 1 0 123 8 0 0 24 0 8 0 280611981 937435136 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735561 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228866 8490 2479 14 0 215336 0
[pid=28773/tid=28775] ppid=28771 vsize=915464 CPUtime=0.03
/proc/28773/task/28775/stat : 28775 (java) S 28771 28773 28471 0 -1 64 207 0 0 0 3 0 0 0 16 0 8 0 280611984 937435136 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28776] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28776/stat : 28776 (java) S 28771 28773 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280611985 937435136 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28777] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28777/stat : 28777 (java) S 28771 28773 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280611985 937435136 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28778] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28778/stat : 28778 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280611988 937435136 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28779] ppid=28771 vsize=915464 CPUtime=0.14
/proc/28773/task/28779/stat : 28779 (java) S 28771 28773 28471 0 -1 64 342 0 0 0 13 1 0 0 16 0 8 0 280611988 937435136 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28780] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28780/stat : 28780 (java) S 28771 28773 28471 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280611988 937435136 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28781] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28781/stat : 28781 (java) R 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280611988 937435136 8490 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) 915464

[startup+2.98184 s]
/proc/loadavg: 1.69 1.25 1.09 3/80 28781
/proc/meminfo: memFree=920280/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915464 CPUtime=2.93
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 8753 0 1 0 282 11 0 0 25 0 8 0 280611981 937435136 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228866 8490 2479 14 0 215336 0
[pid=28773/tid=28775] ppid=28771 vsize=915464 CPUtime=0.03
/proc/28773/task/28775/stat : 28775 (java) S 28771 28773 28471 0 -1 64 207 0 0 0 3 0 0 0 16 0 8 0 280611984 937435136 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28776] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28776/stat : 28776 (java) S 28771 28773 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280611985 937435136 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28777] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28777/stat : 28777 (java) S 28771 28773 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280611985 937435136 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28778] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28778/stat : 28778 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280611988 937435136 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28779] ppid=28771 vsize=915464 CPUtime=0.14
/proc/28773/task/28779/stat : 28779 (java) S 28771 28773 28471 0 -1 64 342 0 0 0 13 1 0 0 16 0 8 0 280611988 937435136 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28780] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28780/stat : 28780 (java) S 28771 28773 28471 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280611988 937435136 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28781] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28781/stat : 28781 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280611988 937435136 8490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464

[startup+6.26111 s]
/proc/loadavg: 1.71 1.26 1.09 3/80 28781
/proc/meminfo: memFree=920152/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915464 CPUtime=6.18
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 8756 0 1 0 601 17 0 0 25 0 8 0 280611981 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073733350 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228866 8493 2479 14 0 215336 0
[pid=28773/tid=28775] ppid=28771 vsize=915464 CPUtime=0.03
/proc/28773/task/28775/stat : 28775 (java) S 28771 28773 28471 0 -1 64 207 0 0 0 3 0 0 0 16 0 8 0 280611984 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28776] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28776/stat : 28776 (java) S 28771 28773 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280611985 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28777] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28777/stat : 28777 (java) S 28771 28773 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280611985 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28778] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28778/stat : 28778 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280611988 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28779] ppid=28771 vsize=915464 CPUtime=0.15
/proc/28773/task/28779/stat : 28779 (java) S 28771 28773 28471 0 -1 64 345 0 0 0 14 1 0 0 16 0 8 0 280611988 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28780] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28780/stat : 28780 (java) S 28771 28773 28471 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280611988 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28781] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28781/stat : 28781 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280611988 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464

[startup+12.7456 s]
/proc/loadavg: 1.74 1.27 1.10 3/80 28781
/proc/meminfo: memFree=920152/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915464 CPUtime=12.62
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 8756 0 1 0 1229 33 0 0 25 0 8 0 280611981 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073733411 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228866 8493 2479 14 0 215336 0
[pid=28773/tid=28775] ppid=28771 vsize=915464 CPUtime=0.03
/proc/28773/task/28775/stat : 28775 (java) S 28771 28773 28471 0 -1 64 207 0 0 0 3 0 0 0 16 0 8 0 280611984 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28776] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28776/stat : 28776 (java) S 28771 28773 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280611985 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28777] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28777/stat : 28777 (java) S 28771 28773 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280611985 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28778] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28778/stat : 28778 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280611988 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28779] ppid=28771 vsize=915464 CPUtime=0.15
/proc/28773/task/28779/stat : 28779 (java) S 28771 28773 28471 0 -1 64 345 0 0 0 14 1 0 0 16 0 8 0 280611988 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28780] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28780/stat : 28780 (java) S 28771 28773 28471 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280611988 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28781] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28781/stat : 28781 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280611988 937435136 8493 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464

[startup+25.5967 s]
/proc/loadavg: 1.79 1.31 1.11 3/80 28781
/proc/meminfo: memFree=920216/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915464 CPUtime=25.38
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 8758 0 1 0 2479 59 0 0 25 0 8 0 280611981 937435136 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073733356 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228866 8495 2479 14 0 215336 0
[pid=28773/tid=28775] ppid=28771 vsize=915464 CPUtime=0.03
/proc/28773/task/28775/stat : 28775 (java) S 28771 28773 28471 0 -1 64 207 0 0 0 3 0 0 0 16 0 8 0 280611984 937435136 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28776] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28776/stat : 28776 (java) S 28771 28773 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280611985 937435136 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28777] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28777/stat : 28777 (java) S 28771 28773 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280611985 937435136 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28778] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28778/stat : 28778 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280611988 937435136 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28779] ppid=28771 vsize=915464 CPUtime=0.15
/proc/28773/task/28779/stat : 28779 (java) S 28771 28773 28471 0 -1 64 347 0 0 0 14 1 0 0 16 0 8 0 280611988 937435136 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28780] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28780/stat : 28780 (java) S 28771 28773 28471 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280611988 937435136 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28781] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28781/stat : 28781 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280611988 937435136 8495 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915464

[startup+51.1998 s]
/proc/loadavg: 1.86 1.36 1.13 3/80 28781
/proc/meminfo: memFree=919256/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915464 CPUtime=50.77
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 9069 0 1 0 5001 76 0 0 25 0 8 0 280611981 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838687 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228866 8797 2532 14 0 215336 0
[pid=28773/tid=28775] ppid=28771 vsize=915464 CPUtime=0.03
/proc/28773/task/28775/stat : 28775 (java) S 28771 28773 28471 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 280611984 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28776] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28776/stat : 28776 (java) S 28771 28773 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280611985 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28777] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28777/stat : 28777 (java) S 28771 28773 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280611985 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28778] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28778/stat : 28778 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280611988 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28779] ppid=28771 vsize=915464 CPUtime=0.25
/proc/28773/task/28779/stat : 28779 (java) S 28771 28773 28471 0 -1 64 405 0 0 0 24 1 0 0 15 0 8 0 280611988 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28780] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28780/stat : 28780 (java) S 28771 28773 28471 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280611988 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28781] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28781/stat : 28781 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280611988 937435136 8797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915464

[startup+102.501 s]
/proc/loadavg: 1.94 1.46 1.18 4/80 28781
/proc/meminfo: memFree=919256/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915464 CPUtime=101.68
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 9081 0 1 0 10091 77 0 0 25 0 8 0 280611981 937435136 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228866 8808 2532 14 0 215336 0
[pid=28773/tid=28775] ppid=28771 vsize=915464 CPUtime=0.03
/proc/28773/task/28775/stat : 28775 (java) S 28771 28773 28471 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 280611984 937435136 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28776] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28776/stat : 28776 (java) S 28771 28773 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280611985 937435136 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28777] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28777/stat : 28777 (java) S 28771 28773 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280611985 937435136 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28778] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28778/stat : 28778 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280611988 937435136 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28779] ppid=28771 vsize=915464 CPUtime=0.26
/proc/28773/task/28779/stat : 28779 (java) S 28771 28773 28471 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280611988 937435136 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28780] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28780/stat : 28780 (java) S 28771 28773 28471 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280611988 937435136 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28781] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28781/stat : 28781 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280611988 937435136 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 915464

[startup+162.541 s]
/proc/loadavg: 1.98 1.55 1.22 3/80 28781
/proc/meminfo: memFree=919256/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915464 CPUtime=161.24
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 9090 0 1 0 16047 77 0 0 25 0 8 0 280611981 937435136 8816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073896133 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/28773/task/28778/stat : 28778 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280611988 937435136 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28779] ppid=28771 vsize=915464 CPUtime=0.26
/proc/28773/task/28779/stat : 28779 (java) S 28771 28773 28471 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280611988 937435136 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28780] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28780/stat : 28780 (java) S 28771 28773 28471 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280611988 937435136 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28781] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28781/stat : 28781 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280611988 937435136 8823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.42
Current children cumulated vsize (KiB) 915464

[startup+342.665 s]
/proc/loadavg: 2.19 1.80 1.37 3/80 28781
/proc/meminfo: memFree=919200/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915464 CPUtime=339.99
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 9099 0 1 0 33920 79 0 0 25 0 8 0 280611981 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833617 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228866 8825 2532 14 0 215336 0
[pid=28773/tid=28775] ppid=28771 vsize=915464 CPUtime=0.03
/proc/28773/task/28775/stat : 28775 (java) S 28771 28773 28471 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 280611984 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28776] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28776/stat : 28776 (java) S 28771 28773 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280611985 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28777] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28777/stat : 28777 (java) S 28771 28773 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280611985 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28778] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28778/stat : 28778 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280611988 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28779] ppid=28771 vsize=915464 CPUtime=0.26
/proc/28773/task/28779/stat : 28779 (java) S 28771 28773 28471 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280611988 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28780] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28780/stat : 28780 (java) S 28771 28773 28471 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280611988 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28781] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28781/stat : 28781 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280611988 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.99
Current children cumulated vsize (KiB) 915464

[startup+402.709 s]
/proc/loadavg: 2.07 1.83 1.40 4/80 28781
/proc/meminfo: memFree=919136/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915464 CPUtime=399.58
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 9099 0 1 0 39879 79 0 0 25 0 8 0 280611981 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073896060 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228866 8825 2532 14 0 215336 0
[pid=28773/tid=28775] ppid=28771 vsize=915464 CPUtime=0.03
/proc/28773/task/28775/stat : 28775 (java) S 28771 28773 28471 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 280611984 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28776] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28776/stat : 28776 (java) S 28771 28773 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280611985 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28777] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28777/stat : 28777 (java) S 28771 28773 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280611985 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28778] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28778/stat : 28778 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280611988 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28779] ppid=28771 vsize=915464 CPUtime=0.26
/proc/28773/task/28779/stat : 28779 (java) S 28771 28773 28471 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280611988 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28780] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28780/stat : 28780 (java) S 28771 28773 28471 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280611988 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28781] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28781/stat : 28781 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280611988 937435136 8825 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.58
Current children cumulated vsize (KiB) 915464

[startup+462.748 s]
/proc/loadavg: 2.02 1.86 1.44 3/80 28781
/proc/meminfo: memFree=919136/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915464 CPUtime=459.16
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 9102 0 1 0 45837 79 0 0 25 0 8 0 280611981 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837748 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228866 8828 2532 14 0 215336 0
[pid=28773/tid=28775] ppid=28771 vsize=915464 CPUtime=0.03
/proc/28773/task/28775/stat : 28775 (java) S 28771 28773 28471 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 280611984 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28776] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28776/stat : 28776 (java) S 28771 28773 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280611985 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28777] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28777/stat : 28777 (java) S 28771 28773 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280611985 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28778] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28778/stat : 28778 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28779] ppid=28771 vsize=915464 CPUtime=0.26
/proc/28773/task/28779/stat : 28779 (java) S 28771 28773 28471 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28780] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28780/stat : 28780 (java) S 28771 28773 28471 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28781] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28781/stat : 28781 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 459.16
Current children cumulated vsize (KiB) 915464

[startup+522.79 s]
/proc/loadavg: 2.01 1.88 1.47 3/80 28781
/proc/meminfo: memFree=919136/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915464 CPUtime=518.74
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 9102 0 1 0 51794 80 0 0 25 0 8 0 280611981 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228866 8828 2532 14 0 215336 0
[pid=28773/tid=28775] ppid=28771 vsize=915464 CPUtime=0.03
/proc/28773/task/28775/stat : 28775 (java) S 28771 28773 28471 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 280611984 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28776] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28776/stat : 28776 (java) S 28771 28773 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280611985 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28777] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28777/stat : 28777 (java) S 28771 28773 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280611985 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28778] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28778/stat : 28778 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28779] ppid=28771 vsize=915464 CPUtime=0.26
/proc/28773/task/28779/stat : 28779 (java) S 28771 28773 28471 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28780] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28780/stat : 28780 (java) S 28771 28773 28471 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28781] ppid=28771 vsize=915464 CPUtime=0.01
/proc/28773/task/28781/stat : 28781 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 518.74
Current children cumulated vsize (KiB) 915464

[startup+582.829 s]
/proc/loadavg: 2.00 1.90 1.50 3/80 28781
/proc/meminfo: memFree=919136/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915464 CPUtime=578.32
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 9102 0 1 0 57752 80 0 0 25 0 8 0 280611981 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073896159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228866 8828 2532 14 0 215336 0
[pid=28773/tid=28775] ppid=28771 vsize=915464 CPUtime=0.03
/proc/28773/task/28775/stat : 28775 (java) S 28771 28773 28471 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 280611984 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28776] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28776/stat : 28776 (java) S 28771 28773 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280611985 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28777] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28777/stat : 28777 (java) S 28771 28773 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280611985 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28778] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28778/stat : 28778 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28779] ppid=28771 vsize=915464 CPUtime=0.26
/proc/28773/task/28779/stat : 28779 (java) S 28771 28773 28471 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28780] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28780/stat : 28780 (java) S 28771 28773 28471 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28781] ppid=28771 vsize=915464 CPUtime=0.01
/proc/28773/task/28781/stat : 28781 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 578.32
Current children cumulated vsize (KiB) 915464

[startup+642.875 s]
/proc/loadavg: 2.06 1.93 1.54 3/80 28781
/proc/meminfo: memFree=919136/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915464 CPUtime=637.89
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 9102 0 1 0 63709 80 0 0 25 0 8 0 280611981 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833559 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228866 8828 2532 14 0 215336 0
[pid=28773/tid=28775] ppid=28771 vsize=915464 CPUtime=0.03
/proc/28773/task/28775/stat : 28775 (java) S 28771 28773 28471 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 280611984 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28776] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28776/stat : 28776 (java) S 28771 28773 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280611985 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28777] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28777/stat : 28777 (java) S 28771 28773 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280611985 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28778] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28778/stat : 28778 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28779] ppid=28771 vsize=915464 CPUtime=0.26
/proc/28773/task/28779/stat : 28779 (java) S 28771 28773 28471 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28780] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28780/stat : 28780 (java) S 28771 28773 28471 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28781] ppid=28771 vsize=915464 CPUtime=0.01
/proc/28773/task/28781/stat : 28781 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 280611988 937435136 8828 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 637.89
Current children cumulated vsize (KiB) 915464

[startup+702.909 s]
/proc/loadavg: 2.02 1.94 1.56 3/80 28781
/proc/meminfo: memFree=919136/2055920 swapFree=4192812/4192956
[pid=28773] ppid=28771 vsize=915464 CPUtime=697.47
/proc/28773/stat : 28773 (java) R 28771 28773 28471 0 -1 0 9104 0 1 0 69666 81 0 0 25 0 8 0 280611981 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837692 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28773/statm: 228866 8830 2532 14 0 215336 0
[pid=28773/tid=28775] ppid=28771 vsize=915464 CPUtime=0.03
/proc/28773/task/28775/stat : 28775 (java) S 28771 28773 28471 0 -1 64 208 0 0 0 3 0 0 0 16 0 8 0 280611984 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28776] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28776/stat : 28776 (java) S 28771 28773 28471 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280611985 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28777] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28777/stat : 28777 (java) S 28771 28773 28471 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280611985 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28778] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28778/stat : 28778 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280611988 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28779] ppid=28771 vsize=915464 CPUtime=0.26
/proc/28773/task/28779/stat : 28779 (java) S 28771 28773 28471 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 280611988 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28780] ppid=28771 vsize=915464 CPUtime=0
/proc/28773/task/28780/stat : 28780 (java) S 28771 28773 28471 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 280611988 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28773/tid=28781] ppid=28771 vsize=915464 CPUtime=0.01
/proc/28773/task/28781/stat : 28781 (java) S 28771 28773 28471 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 280611988 937435136 8830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 697.47
Current children cumulated vsize (KiB) 915464

Child status: 0
Real time (s): 709.572
CPU time (s): 704.054
CPU user time (s): 703.238
CPU system time (s): 0.815875
CPU usage (%): 99.2223
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 703.238
system time used= 0.815875
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9201
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= 15534
involuntary context switches= 29095

runsolver used 0.644901 s user time and 2.06469 s system time

The end

Launcher Data (download as text)

Begin job on node34 on Sat Jan 20 19:43:02 UTC 2007


IDJOB= 282754
IDBENCH= 12886
IDSOLVER= 68
FILE ID= node34/282754-1169322182

PBS_JOBID= 3610368

Free space on /tmp= 66559 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/subs6/scenw-6-sub2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282754-1169322182/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node34/watcher-282754-1169322182 -o ROOT/results/node34/solver-282754-1169322182 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282754-1169322182/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e10a0dc0e2c27840aac467593467c8f1

RANDOM SEED= 600244237

TIME LIMIT= 2400 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.227
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.227
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:        945008 kB
Buffers:         45092 kB
Cached:         968176 kB
SwapCached:          0 kB
Active:         369340 kB
Inactive:       668248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        945008 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2292 kB
Writeback:           0 kB
Mapped:          35880 kB
Slab:            58864 kB
Committed_AS:  4979996 kB
PageTables:       1712 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= 66559 MiB



End job on node34 on Sat Jan 20 19:54:52 UTC 2007