Trace number 199803

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.13 1808.24

General information on the benchmark

Namerandom/rand-3-24-24-fcd/
rand-3-24-24-76-632-fcd-41_ext.xml
MD5SUMec84a2bde200f6aa9630d098bbdec3cd
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark799.067
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables24
Number of constraints76
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension76
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.40	   
0.40	Abscon 109 (November, 2006)
0.40	   
0.40	   configuration
0.40	     name=esac.xml
0.44	   
0.44	   instance
0.44	     name=/tmp/evaluation/199803-1168136508/unknown.xml
0.47	   
0.47	   domains being loaded...
0.48	   
0.48	   variables being loaded...
0.51	     nbVariables=24  nbDomainTypes=1  minDomainSize=24  maxDomainSize=24
0.51	       =>  wckTime=0.104  cpuTime=0.1  mem=6M951
0.51	   
0.51	   relations being loaded...
1.17	   
1.17	   constraints being loaded...
1.44	     nbConstraints=76  nbRelationTypes=76  nbExtensionStructures=76  nbSharedExtensionStructures=0
1.44	     nbConflictsStructures=76  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=0  maxDegree=14  maxArity=3
1.44	       =>  wckTime=1.038  cpuTime=0.91  mem=50M841
1.57	   
1.57	   solver IterativeSystematicSolver being built... 
1.75	       =>  wckTime=1.34  cpuTime=1.05  mem=35M597
1.84	   
1.84	   preprocessing
1.84	     nbConstraintChecks=26288  nbValidityChecks=43148  nbPropagations=197  nbRevisions=1958  nbUselessRevisions=1714
1.84	     nbSingletonTests=27  nbEffectiveSingletonTests=0  nbESACBranches=3  nbRemovedValues=0  detectedInconsistency=no
1.84	       =>  wckTime=0.096  cpuTime=0.07  mem=35M597
1.93	   
1.93	   search
1.93	     run=0  nbConstraintChecks=38692  nbValidityChecks=70796  nbPropagations=622  nbRevisions=6787
1.93	     nbUselessRevisions=5492  nbAssignments=34  nbFailedAssignments=16  nbBacktracks=10  nbVisitedNodes=57
1.93	     nbRestartNogoods=0  mapSize=9  nbInferences=0  nbTooLargeKeys=0
1.93	       =>  wckTime=0.179  cpuTime=0.14  mem=35M597
2.10	   
2.10	   search
2.10	     run=1  nbConstraintChecks=134036  nbValidityChecks=289507  nbPropagations=2259  nbRevisions=26464
2.10	     nbUselessRevisions=21319  nbAssignments=156  nbFailedAssignments=74  nbBacktracks=25  nbVisitedNodes=205
2.10	     nbRestartNogoods=7  mapSize=24  nbInferences=0  nbTooLargeKeys=0
2.10	       =>  wckTime=0.355  cpuTime=0.3  mem=35M597
2.26	   
2.26	   search
2.26	     run=2  nbConstraintChecks=225985  nbValidityChecks=486569  nbPropagations=4932  nbRevisions=58712
2.26	     nbUselessRevisions=46776  nbAssignments=253  nbFailedAssignments=143  nbBacktracks=47  nbVisitedNodes=389
2.26	     nbRestartNogoods=9  mapSize=44  nbInferences=0  nbTooLargeKeys=0
2.26	       =>  wckTime=0.516  cpuTime=0.45  mem=35M597
2.37	   
2.37	   search
2.37	     run=3  nbConstraintChecks=295211  nbValidityChecks=619772  nbPropagations=8447  nbRevisions=100817
2.37	     nbUselessRevisions=79963  nbAssignments=335  nbFailedAssignments=188  nbBacktracks=80  nbVisitedNodes=533
2.37	     nbRestartNogoods=17  mapSize=70  nbInferences=0  nbTooLargeKeys=0
2.37	       =>  wckTime=0.625  cpuTime=0.56  mem=35M597
2.53	   
2.53	   search
2.53	     run=4  nbConstraintChecks=393984  nbValidityChecks=829106  nbPropagations=13462  nbRevisions=160386
2.53	     nbUselessRevisions=126922  nbAssignments=472  nbFailedAssignments=269  nbBacktracks=130  nbVisitedNodes=782
2.53	     nbRestartNogoods=18  mapSize=115  nbInferences=0  nbTooLargeKeys=0
2.53	       =>  wckTime=0.783  cpuTime=0.72  mem=35M597
2.91	   
2.91	   search
2.91	     run=5  nbConstraintChecks=637904  nbValidityChecks=1345902  nbPropagations=21095  nbRevisions=254918
2.92	     nbUselessRevisions=201823  nbAssignments=717  nbFailedAssignments=424  nbBacktracks=205  nbVisitedNodes=1226
2.92	     nbRestartNogoods=23  mapSize=182  nbInferences=0  nbTooLargeKeys=0
2.92	       =>  wckTime=1.167  cpuTime=1.09  mem=35M597
3.55	   
3.55	   search
3.55	     run=6  nbConstraintChecks=1044255  nbValidityChecks=2227140  nbPropagations=33640  nbRevisions=409039
3.55	     nbUselessRevisions=322263  nbAssignments=1137  nbFailedAssignments=724  nbBacktracks=318  nbVisitedNodes=2028
3.55	     nbRestartNogoods=25  mapSize=285  nbInferences=0  nbTooLargeKeys=0
3.55	       =>  wckTime=1.807  cpuTime=1.72  mem=35M597
4.01	   
4.01	   search
4.01	     run=7  nbConstraintChecks=1342223  nbValidityChecks=2779210  nbPropagations=49735  nbRevisions=604367
4.01	     nbUselessRevisions=474547  nbAssignments=1448  nbFailedAssignments=859  nbBacktracks=490  nbVisitedNodes=2552
4.01	     nbRestartNogoods=37  mapSize=396  nbInferences=0  nbTooLargeKeys=0
4.01	       =>  wckTime=2.266  cpuTime=2.17  mem=35M597
4.82	   
4.82	   search
4.82	     run=8  nbConstraintChecks=1865237  nbValidityChecks=3842510  nbPropagations=72639  nbRevisions=881669
4.82	     nbUselessRevisions=691067  nbAssignments=2065  nbFailedAssignments=1214  nbBacktracks=747  nbVisitedNodes=3667
4.82	     nbRestartNogoods=44  mapSize=606  nbInferences=0  nbTooLargeKeys=0
4.82	       =>  wckTime=3.071  cpuTime=2.95  mem=35M597
6.41	   
6.41	   search
6.41	     run=9  nbConstraintChecks=2928484  nbValidityChecks=6051652  nbPropagations=108205  nbRevisions=1312294
6.41	     nbUselessRevisions=1027968  nbAssignments=3068  nbFailedAssignments=1827  nbBacktracks=1131  nbVisitedNodes=5544
6.41	     nbRestartNogoods=48  mapSize=978  nbInferences=0  nbTooLargeKeys=0
6.41	       =>  wckTime=4.661  cpuTime=4.52  mem=35M597
6.62	   
6.62	   INFO : Stopping hyperNogood (mapSize=1042, nbTooLargekeys=0, mem=35M597)
8.29	   
8.29	   search
8.29	     run=10  nbConstraintChecks=4191340  nbValidityChecks=8745440  nbPropagations=160761  nbRevisions=1942697
8.29	     nbUselessRevisions=1520349  nbAssignments=4467  nbFailedAssignments=2642  nbBacktracks=1708  nbVisitedNodes=8133
8.29	     nbRestartNogoods=58
8.29	       =>  wckTime=6.542  cpuTime=6.37  mem=35M597
11.88	   
11.88	   search
11.88	     run=11  nbConstraintChecks=6647888  nbValidityChecks=13904826  nbPropagations=242329  nbRevisions=2931643
11.88	     nbUselessRevisions=2293595  nbAssignments=6793  nbFailedAssignments=4098  nbBacktracks=2572  nbVisitedNodes=12497
11.88	     nbRestartNogoods=69
11.88	       =>  wckTime=10.134  cpuTime=9.93  mem=35M597
15.43	   
15.43	   search
15.43	     run=12  nbConstraintChecks=9103598  nbValidityChecks=18968393  nbPropagations=360200  nbRevisions=4331365
15.43	     nbUselessRevisions=3387765  nbAssignments=9571  nbFailedAssignments=5572  nbBacktracks=3869  nbVisitedNodes=17557
15.43	     nbRestartNogoods=82
15.43	       =>  wckTime=13.684  cpuTime=13.44  mem=35M597
24.31	   
24.31	   search
24.31	     run=13  nbConstraintChecks=15184369  nbValidityChecks=31350281  nbPropagations=544233  nbRevisions=6573407
24.31	     nbUselessRevisions=5145041  nbAssignments=15173  nbFailedAssignments=9222  nbBacktracks=5816  nbVisitedNodes=28298
24.31	     nbRestartNogoods=91
24.31	       =>  wckTime=22.566  cpuTime=22.24  mem=35M597
35.20	   
35.20	   search
35.20	     run=14  nbConstraintChecks=22763198  nbValidityChecks=47625770  nbPropagations=828293  nbRevisions=10033328
35.20	     nbUselessRevisions=7851190  nbAssignments=23466  nbFailedAssignments=14593  nbBacktracks=8735  nbVisitedNodes=44003
35.20	     nbRestartNogoods=102
35.20	       =>  wckTime=33.448  cpuTime=33.04  mem=35M597
50.05	   
50.05	   search
50.05	     run=15  nbConstraintChecks=33043363  nbValidityChecks=69003824  nbPropagations=1244799  nbRevisions=15050113
50.05	     nbUselessRevisions=11767118  nbAssignments=33898  nbFailedAssignments=20641  nbBacktracks=13114
50.05	     nbVisitedNodes=63451  nbRestartNogoods=109
50.05	       =>  wckTime=48.3  cpuTime=47.75  mem=35M597
68.43	   
68.43	   search
68.43	     run=16  nbConstraintChecks=45672389  nbValidityChecks=95061371  nbPropagations=1841412  nbRevisions=22136513
68.43	     nbUselessRevisions=17296727  nbAssignments=47996  nbFailedAssignments=28166  nbBacktracks=19682
68.43	     nbVisitedNodes=89078  nbRestartNogoods=125
68.43	       =>  wckTime=66.679  cpuTime=65.96  mem=35M597
110.93	   
110.93	   search
110.93	     run=17  nbConstraintChecks=74549802  nbValidityChecks=153901264  nbPropagations=2754192  nbRevisions=33211760
110.93	     nbUselessRevisions=25971510  nbAssignments=73775  nbFailedAssignments=44085  nbBacktracks=29535
110.93	     nbVisitedNodes=137882  nbRestartNogoods=140
110.93	       =>  wckTime=109.186  cpuTime=108.08  mem=35M597
161.13	   
161.13	   search
161.13	     run=18  nbConstraintChecks=109416497  nbValidityChecks=228001466  nbPropagations=4128001  nbRevisions=49867063
161.13	     nbUselessRevisions=38999679  nbAssignments=112050  nbFailedAssignments=67562  nbBacktracks=44314
161.13	     nbVisitedNodes=209578  nbRestartNogoods=157
161.13	       =>  wckTime=159.384  cpuTime=157.83  mem=35M597
229.70	   
229.70	   search
229.70	     run=19  nbConstraintChecks=156638479  nbValidityChecks=321883550  nbPropagations=6101651  nbRevisions=73583944
229.70	     nbUselessRevisions=57516840  nbAssignments=159232  nbFailedAssignments=92570  nbBacktracks=66483
229.70	     nbVisitedNodes=295039  nbRestartNogoods=178
229.70	       =>  wckTime=227.956  cpuTime=225.77  mem=35M597
372.69	   
372.69	   search
372.69	     run=20  nbConstraintChecks=256938899  nbValidityChecks=526950923  nbPropagations=9156163  nbRevisions=110780636
372.69	     nbUselessRevisions=86608940  nbAssignments=249280  nbFailedAssignments=149337  nbBacktracks=99735
372.69	     nbVisitedNodes=465073  nbRestartNogoods=193
372.69	       =>  wckTime=370.946  cpuTime=367.46  mem=35M597
543.18	   
543.18	   search
543.18	     run=21  nbConstraintChecks=373829727  nbValidityChecks=771776434  nbPropagations=13742832  nbRevisions=166392525
543.18	     nbUselessRevisions=130073477  nbAssignments=368808  nbFailedAssignments=218983  nbBacktracks=149613
543.18	     nbVisitedNodes=687436  nbRestartNogoods=208
543.18	       =>  wckTime=541.436  cpuTime=536.41  mem=35M597
801.49	   
801.49	   search
801.49	     run=22  nbConstraintChecks=562796889  nbValidityChecks=1163205892  nbPropagations=20732483  nbRevisions=250506432
801.49	     nbUselessRevisions=195644788  nbAssignments=558332  nbFailedAssignments=333683  nbBacktracks=224431
801.49	     nbVisitedNodes=1041508  nbRestartNogoods=235
801.49	       =>  wckTime=799.746  cpuTime=794.02  mem=35M597
1129.66	   
1129.66	   search
1129.66	     run=23  nbConstraintChecks=808592993  nbValidityChecks=1650346719  nbPropagations=30658235  nbRevisions=369848443
1129.66	     nbUselessRevisions=288745273  nbAssignments=802302  nbFailedAssignments=465407  nbBacktracks=336658
1129.66	     nbVisitedNodes=1481842  nbRestartNogoods=269
1129.66	       =>  wckTime=1127.913  cpuTime=1121.88  mem=35M597
1677.44	   
1677.44	   search
1677.44	     run=24  nbConstraintChecks=1215263214  nbValidityChecks=2486218998  nbPropagations=45619476  nbRevisions=550163677
1677.44	     nbUselessRevisions=429585597  nbAssignments=1215709  nbFailedAssignments=710459  nbBacktracks=505001
1677.44	     nbVisitedNodes=2245923  nbRestartNogoods=296
1677.44	       =>  wckTime=1675.692  cpuTime=1668.19  mem=35M597

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/node72/watcher-199803-1168136508 -o ROOT/results/node72/solver-199803-1168136508 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199803-1168136508/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.91 5/88 17681
/proc/meminfo: memFree=1431088/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=906644 CPUtime=0.03
/proc/17680/stat : 17680 (java) S 17678 17680 16648 0 -1 0 2068 0 1 0 2 1 0 0 18 0 2 0 162059649 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/17680/statm: 226661 1817 1036 14 0 214244 0
[pid=17680/tid=17682] ppid=17678 vsize=906644 CPUtime=0
/proc/17680/task/17682/stat : 17682 (java) R 17678 17680 16648 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 162059652 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.103933 s]
/proc/loadavg: 2.00 2.00 1.91 5/88 17681
/proc/meminfo: memFree=1431088/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=914988 CPUtime=0.09
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 3000 0 1 0 8 1 0 0 18 0 8 0 162059649 936947712 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17680/statm: 228747 2746 1428 14 0 215242 0
[pid=17680/tid=17682] ppid=17678 vsize=914988 CPUtime=0
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 162059652 936947712 2746 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.511969 s]
/proc/loadavg: 2.00 2.00 1.91 5/88 17681
/proc/meminfo: memFree=1431088/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=915328 CPUtime=0.39
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 6100 0 1 0 36 3 0 0 18 0 8 0 162059649 937295872 5839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17680/statm: 228832 5839 2136 14 0 215302 0
[pid=17680/tid=17682] ppid=17678 vsize=915328 CPUtime=0
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 162059652 937295872 5839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328

[startup+1.33304 s]
/proc/loadavg: 2.00 2.00 1.91 4/95 17688
/proc/meminfo: memFree=1364728/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=915328 CPUtime=1.21
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 19112 0 1 0 110 11 0 0 24 0 8 0 162059649 937295872 18849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073654902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17680/statm: 228832 18849 2160 14 0 215302 0
[pid=17680/tid=17682] ppid=17678 vsize=915328 CPUtime=0.05
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 2649 0 0 0 4 1 0 0 17 0 8 0 162059652 937295872 18849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17683] ppid=17678 vsize=915328 CPUtime=0
/proc/17680/task/17683/stat : 17683 (java) S 17678 17680 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162059653 937295872 18849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17684] ppid=17678 vsize=915328 CPUtime=0
/proc/17680/task/17684/stat : 17684 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162059653 937295872 18849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17685] ppid=17678 vsize=915328 CPUtime=0
/proc/17680/task/17685/stat : 17685 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162059656 937295872 18849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17686] ppid=17678 vsize=915328 CPUtime=0.1
/proc/17680/task/17686/stat : 17686 (java) S 17678 17680 16648 0 -1 64 321 0 0 0 10 0 0 0 15 0 8 0 162059656 937295872 18849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17687] ppid=17678 vsize=915328 CPUtime=0
/proc/17680/task/17687/stat : 17687 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162059656 937295872 18849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17688] ppid=17678 vsize=915328 CPUtime=0
/proc/17680/task/17688/stat : 17688 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162059656 937295872 18849 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915328

[startup+2.97019 s]
/proc/loadavg: 2.00 2.00 1.91 3/95 17688
/proc/meminfo: memFree=1347384/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=915420 CPUtime=2.82
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 23567 0 1 0 269 13 0 0 25 0 8 0 162059649 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778834 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17680/statm: 228855 23302 2531 14 0 215325 0
[pid=17680/tid=17682] ppid=17678 vsize=915420 CPUtime=0.16
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 6582 0 0 0 14 2 0 0 17 0 8 0 162059652 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17683] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17683/stat : 17683 (java) S 17678 17680 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162059653 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17684] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17684/stat : 17684 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162059653 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17685] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17685/stat : 17685 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162059656 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17686] ppid=17678 vsize=915420 CPUtime=0.21
/proc/17680/task/17686/stat : 17686 (java) S 17678 17680 16648 0 -1 64 373 0 0 0 20 1 0 0 15 0 8 0 162059656 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17687] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17687/stat : 17687 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162059656 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17688] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17688/stat : 17688 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162059656 937390080 23302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 915420

[startup+6.17449 s]
/proc/loadavg: 2.00 2.00 1.91 4/95 17688
/proc/meminfo: memFree=1347320/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=915420 CPUtime=6
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 23583 0 1 0 586 14 0 0 25 0 8 0 162059649 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632957 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17680/statm: 228855 23315 2531 14 0 215325 0
[pid=17680/tid=17682] ppid=17678 vsize=915420 CPUtime=0.16
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 6582 0 0 0 14 2 0 0 17 0 8 0 162059652 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17683] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17683/stat : 17683 (java) S 17678 17680 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162059653 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17684] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17684/stat : 17684 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162059653 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17685] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17685/stat : 17685 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162059656 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17686] ppid=17678 vsize=915420 CPUtime=0.24
/proc/17680/task/17686/stat : 17686 (java) S 17678 17680 16648 0 -1 64 387 0 0 0 23 1 0 0 16 0 8 0 162059656 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17687] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17687/stat : 17687 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162059656 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17688] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17688/stat : 17688 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162059656 937390080 23315 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 915420

[startup+12.6521 s]
/proc/loadavg: 2.00 2.00 1.91 3/95 17688
/proc/meminfo: memFree=1347384/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=915420 CPUtime=12.42
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 23587 0 1 0 1228 14 0 0 25 0 8 0 162059649 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073770081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17680/statm: 228855 23318 2531 14 0 215325 0
[pid=17680/tid=17682] ppid=17678 vsize=915420 CPUtime=0.16
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 6582 0 0 0 14 2 0 0 16 0 8 0 162059652 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17683] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17683/stat : 17683 (java) S 17678 17680 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162059653 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17684] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17684/stat : 17684 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162059653 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17685] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17685/stat : 17685 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162059656 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17686] ppid=17678 vsize=915420 CPUtime=0.25
/proc/17680/task/17686/stat : 17686 (java) S 17678 17680 16648 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162059656 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17687] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17687/stat : 17687 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162059656 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17688] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17688/stat : 17688 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162059656 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 915420

[startup+25.5353 s]
/proc/loadavg: 2.00 2.00 1.91 3/95 17688
/proc/meminfo: memFree=1347512/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=915420 CPUtime=25.18
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 23587 0 1 0 2504 14 0 0 25 0 8 0 162059649 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17680/statm: 228855 23318 2531 14 0 215325 0
[pid=17680/tid=17682] ppid=17678 vsize=915420 CPUtime=0.16
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 6582 0 0 0 14 2 0 0 16 0 8 0 162059652 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17683] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17683/stat : 17683 (java) S 17678 17680 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162059653 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17684] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17684/stat : 17684 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162059653 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17685] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17685/stat : 17685 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162059656 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17686] ppid=17678 vsize=915420 CPUtime=0.25
/proc/17680/task/17686/stat : 17686 (java) S 17678 17680 16648 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 162059656 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17687] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17687/stat : 17687 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162059656 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17688] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17688/stat : 17688 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162059656 937390080 23318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 915420

[startup+51.1716 s]
/proc/loadavg: 2.00 2.00 1.91 3/95 17688
/proc/meminfo: memFree=1347576/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=915420 CPUtime=50.58
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 23589 0 1 0 5044 14 0 0 25 0 8 0 162059649 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17680/statm: 228855 23319 2531 14 0 215325 0
[pid=17680/tid=17682] ppid=17678 vsize=915420 CPUtime=0.16
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 6582 0 0 0 14 2 0 0 16 0 8 0 162059652 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17683] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17683/stat : 17683 (java) S 17678 17680 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162059653 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17684] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17684/stat : 17684 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162059653 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17685] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17685/stat : 17685 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17686] ppid=17678 vsize=915420 CPUtime=0.25
/proc/17680/task/17686/stat : 17686 (java) S 17678 17680 16648 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17687] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17687/stat : 17687 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17688] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17688/stat : 17688 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 915420

[startup+102.438 s]
/proc/loadavg: 2.00 2.00 1.91 3/95 17688
/proc/meminfo: memFree=1347640/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=915420 CPUtime=101.39
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 23589 0 1 0 10124 15 0 0 25 0 8 0 162059649 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754314 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17680/statm: 228855 23319 2531 14 0 215325 0
[pid=17680/tid=17682] ppid=17678 vsize=915420 CPUtime=0.16
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 6582 0 0 0 14 2 0 0 16 0 8 0 162059652 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17683] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17683/stat : 17683 (java) S 17678 17680 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162059653 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17684] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17684/stat : 17684 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162059653 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17685] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17685/stat : 17685 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17686] ppid=17678 vsize=915420 CPUtime=0.25
/proc/17680/task/17686/stat : 17686 (java) S 17678 17680 16648 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17687] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17687/stat : 17687 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17688] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17688/stat : 17688 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 915420

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

Current children cumulated CPU time (s) 1416.95
Current children cumulated vsize (KiB) 915420

[startup+1483.38 s]
/proc/loadavg: 2.00 2.00 1.91 3/93 17917
/proc/meminfo: memFree=1334608/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=915420 CPUtime=1476.73
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 23589 0 1 0 147649 24 0 0 25 0 8 0 162059649 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755112 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17680/statm: 228855 23319 2531 14 0 215325 0
[pid=17680/tid=17682] ppid=17678 vsize=915420 CPUtime=0.16
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 6582 0 0 0 14 2 0 0 16 0 8 0 162059652 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17683] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17683/stat : 17683 (java) S 17678 17680 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162059653 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17684] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17684/stat : 17684 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162059653 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17685] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17685/stat : 17685 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17686] ppid=17678 vsize=915420 CPUtime=0.25
/proc/17680/task/17686/stat : 17686 (java) S 17678 17680 16648 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17687] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17687/stat : 17687 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17688] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17688/stat : 17688 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.73
Current children cumulated vsize (KiB) 915420

[startup+1543.43 s]
/proc/loadavg: 2.05 2.01 1.92 3/93 17917
/proc/meminfo: memFree=1334608/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=915420 CPUtime=1536.51
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 23589 0 1 0 153627 24 0 0 25 0 8 0 162059649 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17680/statm: 228855 23319 2531 14 0 215325 0
[pid=17680/tid=17682] ppid=17678 vsize=915420 CPUtime=0.16
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 6582 0 0 0 14 2 0 0 16 0 8 0 162059652 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17683] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17683/stat : 17683 (java) S 17678 17680 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162059653 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17684] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17684/stat : 17684 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162059653 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17685] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17685/stat : 17685 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17686] ppid=17678 vsize=915420 CPUtime=0.25
/proc/17680/task/17686/stat : 17686 (java) S 17678 17680 16648 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17687] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17687/stat : 17687 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17688] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17688/stat : 17688 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.51
Current children cumulated vsize (KiB) 915420

[startup+1603.48 s]
/proc/loadavg: 2.02 2.01 1.92 3/93 17917
/proc/meminfo: memFree=1334608/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=915420 CPUtime=1596.28
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 23589 0 1 0 159603 25 0 0 25 0 8 0 162059649 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754360 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17680/statm: 228855 23319 2531 14 0 215325 0
[pid=17680/tid=17682] ppid=17678 vsize=915420 CPUtime=0.16
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 6582 0 0 0 14 2 0 0 16 0 8 0 162059652 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17683] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17683/stat : 17683 (java) S 17678 17680 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162059653 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17684] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17684/stat : 17684 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162059653 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17685] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17685/stat : 17685 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17686] ppid=17678 vsize=915420 CPUtime=0.25
/proc/17680/task/17686/stat : 17686 (java) S 17678 17680 16648 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17687] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17687/stat : 17687 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17688] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17688/stat : 17688 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.28
Current children cumulated vsize (KiB) 915420

[startup+1663.53 s]
/proc/loadavg: 2.04 2.02 1.93 3/93 17917
/proc/meminfo: memFree=1334608/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=915420 CPUtime=1656.06
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 23589 0 1 0 165581 25 0 0 25 0 8 0 162059649 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17680/statm: 228855 23319 2531 14 0 215325 0
[pid=17680/tid=17682] ppid=17678 vsize=915420 CPUtime=0.16
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 6582 0 0 0 14 2 0 0 16 0 8 0 162059652 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17683] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17683/stat : 17683 (java) S 17678 17680 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162059653 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17684] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17684/stat : 17684 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162059653 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17685] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17685/stat : 17685 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17686] ppid=17678 vsize=915420 CPUtime=0.25
/proc/17680/task/17686/stat : 17686 (java) S 17678 17680 16648 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17687] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17687/stat : 17687 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17688] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17688/stat : 17688 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162059656 937390080 23319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.06
Current children cumulated vsize (KiB) 915420

[startup+1723.58 s]
/proc/loadavg: 2.01 2.01 1.93 3/93 17917
/proc/meminfo: memFree=1334608/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=915420 CPUtime=1715.83
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 23591 0 1 0 171558 25 0 0 25 0 8 0 162059649 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17680/statm: 228855 23321 2531 14 0 215325 0
[pid=17680/tid=17682] ppid=17678 vsize=915420 CPUtime=0.16
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 6582 0 0 0 14 2 0 0 16 0 8 0 162059652 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17683] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17683/stat : 17683 (java) S 17678 17680 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162059653 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17684] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17684/stat : 17684 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162059653 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17685] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17685/stat : 17685 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162059656 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17686] ppid=17678 vsize=915420 CPUtime=0.25
/proc/17680/task/17686/stat : 17686 (java) S 17678 17680 16648 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 162059656 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17680/tid=17687] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17687/stat : 17687 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162059656 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17688] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17688/stat : 17688 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162059656 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.83
Current children cumulated vsize (KiB) 915420

[startup+1783.63 s]
/proc/loadavg: 2.00 2.01 1.93 3/93 17917
/proc/meminfo: memFree=1334608/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=915420 CPUtime=1775.61
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 23591 0 1 0 177536 25 0 0 25 0 8 0 162059649 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17680/statm: 228855 23321 2531 14 0 215325 0
[pid=17680/tid=17682] ppid=17678 vsize=915420 CPUtime=0.16
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 6582 0 0 0 14 2 0 0 16 0 8 0 162059652 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17683] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17683/stat : 17683 (java) S 17678 17680 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162059653 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17684] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17684/stat : 17684 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162059653 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17685] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17685/stat : 17685 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162059656 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17686] ppid=17678 vsize=915420 CPUtime=0.25
/proc/17680/task/17686/stat : 17686 (java) S 17678 17680 16648 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 162059656 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17680/tid=17687] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17687/stat : 17687 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162059656 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17688] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17688/stat : 17688 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162059656 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.61
Current children cumulated vsize (KiB) 915420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.2 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 17917
/proc/meminfo: memFree=1334608/2055920 swapFree=4191880/4192956
[pid=17680] ppid=17678 vsize=915420 CPUtime=1800.09
/proc/17680/stat : 17680 (java) R 17678 17680 16648 0 -1 0 23591 0 1 0 179984 25 0 0 25 0 8 0 162059649 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628108 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17680/statm: 228855 23321 2531 14 0 215325 0
[pid=17680/tid=17682] ppid=17678 vsize=915420 CPUtime=0.16
/proc/17680/task/17682/stat : 17682 (java) S 17678 17680 16648 0 -1 64 6582 0 0 0 14 2 0 0 16 0 8 0 162059652 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17683] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17683/stat : 17683 (java) S 17678 17680 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162059653 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17684] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17684/stat : 17684 (java) S 17678 17680 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162059653 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17685] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17685/stat : 17685 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162059656 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17686] ppid=17678 vsize=915420 CPUtime=0.25
/proc/17680/task/17686/stat : 17686 (java) S 17678 17680 16648 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 162059656 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17680/tid=17687] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17687/stat : 17687 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162059656 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17680/tid=17688] ppid=17678 vsize=915420 CPUtime=0
/proc/17680/task/17688/stat : 17688 (java) S 17678 17680 16648 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162059656 937390080 23321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915420

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

Child status: 143
Real time (s): 1808.24
CPU time (s): 1800.13
CPU user time (s): 1799.86
CPU system time (s): 0.271958
CPU usage (%): 99.5515
Max. virtual memory (cumulated for all children) (KiB): 915420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.271958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23608
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= 37684
involuntary context switches= 47788

runsolver used 1.84072 s user time and 6.17806 s system time

The end

Launcher Data (download as text)

Begin job on node72 on Sun Jan  7 02:21:48 UTC 2007


IDJOB= 199803
IDBENCH= 3637
FILE ID= node72/199803-1168136508

PBS_JOBID= 3478006

Free space on /tmp= 66548 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199803-1168136508/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-199803-1168136508 -o ROOT/results/node72/solver-199803-1168136508 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199803-1168136508/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  ec84a2bde200f6aa9630d098bbdec3cd

RANDOM SEED= 388689912

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.223
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.223
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:       1431504 kB
Buffers:         38384 kB
Cached:         462504 kB
SwapCached:        408 kB
Active:         132988 kB
Inactive:       420112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1431504 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            4668 kB
Writeback:           0 kB
Mapped:          71012 kB
Slab:            56096 kB
Committed_AS:  2884168 kB
PageTables:       2304 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= 66543 MiB



End job on node72 on Sun Jan  7 02:51:57 UTC 2007