Trace number 200143

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 AC? (TO) 1800.05 1810.9

General information on the benchmark

Namefrb/frb56-25/
frb56-25-2-mgd_ext.xml
MD5SUMcb7c842f84cd39cfc114262beb9913c4
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
SatisfiableYES
(Un)Satisfiability was proved
Number of variables56
Number of constraints511
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension511
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/200143-1168072023/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=56  nbDomainTypes=1  minDomainSize=25  maxDomainSize=25
0.42	       =>  wckTime=0.107  cpuTime=0.09  mem=6M951
0.42	   
0.42	   relations being loaded...
0.60	   
0.60	   constraints being loaded...
0.77	     nbConstraints=511  nbRelationTypes=511  nbExtensionStructures=511  nbSharedExtensionStructures=0
0.77	     nbConflictsStructures=511  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=988  maxDegree=26
0.77	     maxArity=2
0.77	       =>  wckTime=0.455  cpuTime=0.35  mem=20M621
0.82	   
0.82	   solver IterativeSystematicSolver being built... 
0.98	       =>  wckTime=0.663  cpuTime=0.48  mem=15M607
0.99	   
0.99	   preprocessing
0.99	     nbConstraintChecks=0  nbPropagations=56  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
0.99	     detectedInconsistency=no
0.99	       =>  wckTime=0.011  cpuTime=0.01  mem=15M607
1.05	   
1.05	   search
1.05	     run=0  nbConstraintChecks=66667  nbPropagations=754  nbRevisions=9196  nbUselessRevisions=7678  nbAssignments=32
1.05	     nbFailedAssignments=11  nbBacktracks=11  nbVisitedNodes=50  nbRestartNogoods=0  mapSize=10  nbInferences=0
1.05	     nbTooLargeKeys=0
1.05	       =>  wckTime=0.07  cpuTime=0.04  mem=15M607
1.08	   
1.09	   search
1.09	     run=1  nbConstraintChecks=148264  nbPropagations=2328  nbRevisions=29550  nbUselessRevisions=24559
1.09	     nbAssignments=70  nbFailedAssignments=22  nbBacktracks=26  nbVisitedNodes=110  nbRestartNogoods=3  mapSize=23
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.102  cpuTime=0.06  mem=15M607
1.11	   
1.11	   search
1.11	     run=2  nbConstraintChecks=247689  nbPropagations=4886  nbRevisions=62976  nbUselessRevisions=52081
1.11	     nbAssignments=115  nbFailedAssignments=35  nbBacktracks=48  nbVisitedNodes=179  nbRestartNogoods=7  mapSize=38
1.11	     nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.123  cpuTime=0.08  mem=15M607
1.14	   
1.14	   search
1.14	     run=3  nbConstraintChecks=402930  nbPropagations=8957  nbRevisions=117400  nbUselessRevisions=96279
1.14	     nbAssignments=179  nbFailedAssignments=54  nbBacktracks=84  nbVisitedNodes=281  nbRestartNogoods=11  mapSize=65
1.14	     nbInferences=0  nbTooLargeKeys=0
1.14	       =>  wckTime=0.161  cpuTime=0.11  mem=15M607
1.18	   
1.18	   search
1.18	     run=4  nbConstraintChecks=616232  nbPropagations=15122  nbRevisions=203239  nbUselessRevisions=165715
1.18	     nbAssignments=281  nbFailedAssignments=97  nbBacktracks=134  nbVisitedNodes=456  nbRestartNogoods=15  mapSize=104
1.18	     nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.202  cpuTime=0.15  mem=15M607
1.24	   
1.24	   search
1.24	     run=5  nbConstraintChecks=891223  nbPropagations=23832  nbRevisions=325126  nbUselessRevisions=263768
1.24	     nbAssignments=403  nbFailedAssignments=135  nbBacktracks=209  nbVisitedNodes=657  nbRestartNogoods=18  mapSize=161
1.24	     nbInferences=0  nbTooLargeKeys=0
1.24	       =>  wckTime=0.255  cpuTime=0.2  mem=15M607
1.31	   
1.31	   search
1.31	     run=6  nbConstraintChecks=1287052  nbPropagations=36691  nbRevisions=511106  nbUselessRevisions=414011
1.31	     nbAssignments=603  nbFailedAssignments=213  nbBacktracks=323  nbVisitedNodes=995  nbRestartNogoods=20  mapSize=259
1.31	     nbInferences=0  nbTooLargeKeys=0
1.31	       =>  wckTime=0.33  cpuTime=0.27  mem=15M607
1.43	   
1.43	   search
1.43	     run=7  nbConstraintChecks=1907152  nbPropagations=55722  nbRevisions=786538  nbUselessRevisions=636014
1.43	     nbAssignments=877  nbFailedAssignments=306  nbBacktracks=494  nbVisitedNodes=1457  nbRestartNogoods=23  mapSize=402
1.43	     nbInferences=0  nbTooLargeKeys=0
1.43	       =>  wckTime=0.444  cpuTime=0.39  mem=15M607
1.59	   
1.59	   search
1.59	     run=8  nbConstraintChecks=2784271  nbPropagations=84131  nbRevisions=1206018  nbUselessRevisions=975526
1.59	     nbAssignments=1312  nbFailedAssignments=475  nbBacktracks=750  nbVisitedNodes=2194  nbRestartNogoods=32
1.59	     mapSize=617  nbInferences=0  nbTooLargeKeys=0
1.59	       =>  wckTime=0.611  cpuTime=0.55  mem=15M607
1.86	   
1.86	   search
1.86	     run=9  nbConstraintChecks=4193478  nbPropagations=126639  nbRevisions=1845284  nbUselessRevisions=1494363
1.86	     nbAssignments=1950  nbFailedAssignments=718  nbBacktracks=1134  nbVisitedNodes=3288  nbRestartNogoods=36
1.86	     mapSize=947  nbInferences=0  nbTooLargeKeys=0
1.86	       =>  wckTime=0.874  cpuTime=0.8  mem=15M607
1.93	   
1.93	   INFO : Stopping hyperNogood (mapSize=1035, nbTooLargekeys=0, mem=15M607)
2.21	   
2.21	   search
2.21	     run=10  nbConstraintChecks=6355631  nbPropagations=190482  nbRevisions=2807513  nbUselessRevisions=2273006
2.21	     nbAssignments=2913  nbFailedAssignments=1097  nbBacktracks=1710  nbVisitedNodes=4929  nbRestartNogoods=44
2.21	       =>  wckTime=1.232  cpuTime=1.14  mem=15M607
2.73	   
2.73	   search
2.73	     run=11  nbConstraintChecks=9677265  nbPropagations=286295  nbRevisions=4269000  nbUselessRevisions=3455113
2.73	     nbAssignments=4318  nbFailedAssignments=1629  nbBacktracks=2574  nbVisitedNodes=7355  nbRestartNogoods=49
2.73	       =>  wckTime=1.75  cpuTime=1.65  mem=15M607
3.44	   
3.44	   search
3.44	     run=12  nbConstraintChecks=14000063  nbPropagations=427302  nbRevisions=6398905  nbUselessRevisions=5175814
3.44	     nbAssignments=6359  nbFailedAssignments=2361  nbBacktracks=3874  nbVisitedNodes=10794  nbRestartNogoods=57
3.44	       =>  wckTime=2.459  cpuTime=2.34  mem=15M607
4.53	   
4.53	   search
4.53	     run=13  nbConstraintChecks=20809068  nbPropagations=638279  nbRevisions=9596087  nbUselessRevisions=7759128
4.53	     nbAssignments=9566  nbFailedAssignments=3612  nbBacktracks=5822  nbVisitedNodes=16246  nbRestartNogoods=69
4.53	       =>  wckTime=3.544  cpuTime=3.43  mem=15M607
6.27	   
6.27	   search
6.27	     run=14  nbConstraintChecks=32053118  nbPropagations=960771  nbRevisions=14546759  nbUselessRevisions=11766968
6.27	     nbAssignments=14571  nbFailedAssignments=5689  nbBacktracks=8742  nbVisitedNodes=24970  nbRestartNogoods=78
6.27	       =>  wckTime=5.285  cpuTime=5.16  mem=15M607
8.54	   
8.54	   search
8.54	     run=15  nbConstraintChecks=46222890  nbPropagations=1432509  nbRevisions=21758856  nbUselessRevisions=17606427
8.54	     nbAssignments=21598  nbFailedAssignments=8327  nbBacktracks=13124  nbVisitedNodes=36849  nbRestartNogoods=92
8.54	       =>  wckTime=7.559  cpuTime=7.41  mem=15M607
12.65	   
12.65	   search
12.65	     run=16  nbConstraintChecks=70940603  nbPropagations=2168763  nbRevisions=33171955  nbUselessRevisions=26880616
12.65	     nbAssignments=33275  nbFailedAssignments=13426  nbBacktracks=19695  nbVisitedNodes=57488  nbRestartNogoods=99
12.65	       =>  wckTime=11.669  cpuTime=11.48  mem=15M607
18.02	   
18.02	   search
18.02	     run=17  nbConstraintChecks=104414731  nbPropagations=3251776  nbRevisions=49875114  nbUselessRevisions=40429960
18.02	     nbAssignments=49295  nbFailedAssignments=19581  nbBacktracks=29549  nbVisitedNodes=84770  nbRestartNogoods=110
18.02	       =>  wckTime=17.041  cpuTime=16.8  mem=15M607
26.40	   
26.40	   search
26.40	     run=18  nbConstraintChecks=157266681  nbPropagations=4872004  nbRevisions=74817830  nbUselessRevisions=60641695
26.40	     nbAssignments=73415  nbFailedAssignments=28911  nbBacktracks=44328  nbVisitedNodes=126212  nbRestartNogoods=120
26.40	       =>  wckTime=25.417  cpuTime=25.1  mem=15M607
39.68	   
39.68	   search
39.68	     run=19  nbConstraintChecks=240102647  nbPropagations=7349603  nbRevisions=113435251  nbUselessRevisions=92039665
39.68	     nbAssignments=111916  nbFailedAssignments=45233  nbBacktracks=66496  nbVisitedNodes=193698  nbRestartNogoods=133
39.68	       =>  wckTime=38.698  cpuTime=38.25  mem=16M582
57.63	   
57.63	   search
57.63	     run=20  nbConstraintChecks=353327872  nbPropagations=10978818  nbRevisions=169564708  nbUselessRevisions=137617881
57.63	     nbAssignments=165153  nbFailedAssignments=65206  nbBacktracks=99748  nbVisitedNodes=284473  nbRestartNogoods=146
57.63	       =>  wckTime=56.644  cpuTime=56.04  mem=16M582
85.64	   
85.64	   search
85.64	     run=21  nbConstraintChecks=530305850  nbPropagations=16411794  nbRevisions=253856946  nbUselessRevisions=206078583
85.64	     nbAssignments=247847  nbFailedAssignments=98012  nbBacktracks=149626  nbVisitedNodes=426969  nbRestartNogoods=159
85.64	       =>  wckTime=84.66  cpuTime=83.8  mem=16M582
126.48	   
126.48	   search
126.48	     run=22  nbConstraintChecks=783517550  nbPropagations=24520947  nbRevisions=380286583  nbUselessRevisions=308949952
126.48	     nbAssignments=372737  nbFailedAssignments=148076  nbBacktracks=224444  nbVisitedNodes=641856  nbRestartNogoods=171
126.48	       =>  wckTime=125.498  cpuTime=124.27  mem=16M582
187.66	   
187.66	   search
187.66	     run=23  nbConstraintChecks=1161873259  nbPropagations=36589399  nbRevisions=568251315  nbUselessRevisions=461874050
187.66	     nbAssignments=555786  nbFailedAssignments=218887  nbBacktracks=336674  nbVisitedNodes=955440  nbRestartNogoods=191
187.66	       =>  wckTime=186.675  cpuTime=184.88  mem=16M582
288.35	   
288.35	   search
288.35	     run=24  nbConstraintChecks=1773576726  nbPropagations=55141327  nbRevisions=860553919  nbUselessRevisions=700485223
288.35	     nbAssignments=845113  nbFailedAssignments=339862  nbBacktracks=505015  nbVisitedNodes=1462482  nbRestartNogoods=207
288.35	       =>  wckTime=287.363  cpuTime=284.66  mem=16M582
433.69	   
433.69	   search
433.69	     run=25  nbConstraintChecks=2678902115  nbPropagations=82959528  nbRevisions=1297619601
433.69	     nbUselessRevisions=1056694545  nbAssignments=1263307  nbFailedAssignments=505536  nbBacktracks=757527
433.69	     nbVisitedNodes=2184197  nbRestartNogoods=228
433.69	       =>  wckTime=432.709  cpuTime=428.67  mem=16M582
641.69	   
641.69	   search
641.69	     run=26  nbConstraintChecks=3975598419  nbPropagations=124278149  nbRevisions=1945530240
641.69	     nbUselessRevisions=1584649304  nbAssignments=1882982  nbFailedAssignments=746432  nbBacktracks=1136296
641.69	     nbVisitedNodes=3245915  nbRestartNogoods=238
641.69	       =>  wckTime=640.703  cpuTime=634.76  mem=16M582
956.88	   
956.88	   search
956.88	     run=27  nbConstraintChecks=5932131152  nbPropagations=185956705  nbRevisions=2913365722
956.88	     nbUselessRevisions=2373852277  nbAssignments=2821688  nbFailedAssignments=1116972  nbBacktracks=1704449
956.88	     nbVisitedNodes=4857697  nbRestartNogoods=252
956.88	       =>  wckTime=955.895  cpuTime=947.08  mem=16M582
1397.65	   
1397.65	   search
1397.65	     run=28  nbConstraintChecks=8772604863  nbPropagations=277678203  nbRevisions=4349978054
1397.65	     nbUselessRevisions=3545412198  nbAssignments=4205946  nbFailedAssignments=1648993  nbBacktracks=2556676
1397.65	     nbVisitedNodes=7225072  nbRestartNogoods=272
1397.65	       =>  wckTime=1396.67  cpuTime=1386.17  mem=16M582

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/node7/watcher-200143-1168072023 -o ROOT/results/node7/solver-200143-1168072023 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200143-1168072023/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: 1.92 1.98 1.92 4/93 17618
/proc/meminfo: memFree=1367720/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=11868 CPUtime=0
/proc/17617/stat : 17617 (java) D 17615 17617 16975 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 155597775 12152832 515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10416932 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/17617/statm: 2967 515 425 14 0 1602 0

[startup+0.103319 s]
/proc/loadavg: 1.92 1.98 1.92 4/93 17618
/proc/meminfo: memFree=1367720/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=914988 CPUtime=0.08
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 155597775 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515316 s]
/proc/loadavg: 1.92 1.98 1.92 4/93 17618
/proc/meminfo: memFree=1367720/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915328 CPUtime=0.49
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 6955 0 1 0 45 4 0 0 18 0 8 0 155597775 937295872 6694 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073561479 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 228832 6694 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3394 s]
/proc/loadavg: 1.92 1.98 1.92 3/100 17625
/proc/meminfo: memFree=1337328/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915544 CPUtime=1.3
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 10350 0 1 0 123 7 0 0 23 0 8 0 155597775 937517056 10088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850437 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 228886 10088 2513 14 0 215356 0
[pid=17617/tid=17619] ppid=17615 vsize=915544 CPUtime=0.03
/proc/17617/task/17619/stat : 17619 (java) S 17615 17617 16975 0 -1 64 460 0 0 0 3 0 0 0 16 0 8 0 155597778 937517056 10088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 16975 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155597779 937517056 10088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155597779 937517056 10088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155597782 937517056 10088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17615 vsize=915544 CPUtime=0.22
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 16975 0 -1 64 386 0 0 0 21 1 0 0 15 0 8 0 155597782 937517056 10088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155597782 937517056 10088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155597782 937517056 10088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915544

[startup+2.97657 s]
/proc/loadavg: 1.92 1.98 1.92 3/100 17625
/proc/meminfo: memFree=1337200/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915544 CPUtime=2.93
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 10367 0 1 0 285 8 0 0 25 0 8 0 155597775 937517056 10104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857821 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 228886 10104 2513 14 0 215356 0
[pid=17617/tid=17619] ppid=17615 vsize=915544 CPUtime=0.03
/proc/17617/task/17619/stat : 17619 (java) S 17615 17617 16975 0 -1 64 460 0 0 0 3 0 0 0 17 0 8 0 155597778 937517056 10104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 16975 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155597779 937517056 10104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155597779 937517056 10104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155597782 937517056 10104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17615 vsize=915544 CPUtime=0.26
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 16975 0 -1 64 402 0 0 0 25 1 0 0 15 0 8 0 155597782 937517056 10104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155597782 937517056 10104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155597782 937517056 10104 18446744073709551615 134512640 134570532 4294956464 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) 915544

[startup+6.25991 s]
/proc/loadavg: 1.93 1.98 1.92 3/100 17625
/proc/meminfo: memFree=1337136/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915544 CPUtime=6.19
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 10369 0 1 0 611 8 0 0 25 0 8 0 155597775 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878557 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 228886 10105 2513 14 0 215356 0
[pid=17617/tid=17619] ppid=17615 vsize=915544 CPUtime=0.03
/proc/17617/task/17619/stat : 17619 (java) S 17615 17617 16975 0 -1 64 460 0 0 0 3 0 0 0 16 0 8 0 155597778 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 16975 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155597779 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155597779 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17615 vsize=915544 CPUtime=0.26
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 16975 0 -1 64 403 0 0 0 25 1 0 0 15 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915544

[startup+12.7456 s]
/proc/loadavg: 1.93 1.98 1.92 3/100 17625
/proc/meminfo: memFree=1337072/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915544 CPUtime=12.61
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 10369 0 1 0 1253 8 0 0 25 0 8 0 155597775 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073869225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 228886 10105 2513 14 0 215356 0
[pid=17617/tid=17619] ppid=17615 vsize=915544 CPUtime=0.03
/proc/17617/task/17619/stat : 17619 (java) S 17615 17617 16975 0 -1 64 460 0 0 0 3 0 0 0 16 0 8 0 155597778 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 16975 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155597779 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155597779 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17615 vsize=915544 CPUtime=0.26
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 16975 0 -1 64 403 0 0 0 25 1 0 0 15 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915544

[startup+25.6109 s]
/proc/loadavg: 1.95 1.98 1.92 3/100 17625
/proc/meminfo: memFree=1337136/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915544 CPUtime=25.36
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 10369 0 1 0 2528 8 0 0 25 0 8 0 155597775 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858781 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 228886 10105 2513 14 0 215356 0
[pid=17617/tid=17619] ppid=17615 vsize=915544 CPUtime=0.03
/proc/17617/task/17619/stat : 17619 (java) S 17615 17617 16975 0 -1 64 460 0 0 0 3 0 0 0 16 0 8 0 155597778 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 16975 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155597779 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155597779 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17615 vsize=915544 CPUtime=0.26
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 16975 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915544

[startup+51.2236 s]
/proc/loadavg: 2.04 2.00 1.93 3/100 17625
/proc/meminfo: memFree=1337264/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915544 CPUtime=50.73
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 10370 0 1 0 5065 8 0 0 25 0 8 0 155597775 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878546 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 228886 10105 2513 14 0 215356 0
[pid=17617/tid=17619] ppid=17615 vsize=915544 CPUtime=0.03
/proc/17617/task/17619/stat : 17619 (java) S 17615 17617 16975 0 -1 64 460 0 0 0 3 0 0 0 16 0 8 0 155597778 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 16975 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155597779 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155597779 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17615 vsize=915544 CPUtime=0.26
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 16975 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155597782 937517056 10105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915544

[startup+102.446 s]
/proc/loadavg: 2.09 2.02 1.93 3/100 17625
/proc/meminfo: memFree=1337264/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915544 CPUtime=101.49
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 10371 0 1 0 10140 9 0 0 25 0 8 0 155597775 937517056 10106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073853990 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 228886 10106 2513 14 0 215356 0
[pid=17617/tid=17619] ppid=17615 vsize=915544 CPUtime=0.03
/proc/17617/task/17619/stat : 17619 (java) S 17615 17617 16975 0 -1 64 460 0 0 0 3 0 0 0 16 0 8 0 155597778 937517056 10106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 16975 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155597779 937517056 10106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155597779 937517056 10106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155597782 937517056 10106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17615 vsize=915544 CPUtime=0.26
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 16975 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 155597782 937517056 10106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155597782 937517056 10106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155597782 937517056 10106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915544

[startup+162.517 s]
/proc/loadavg: 2.03 2.01 1.93 3/100 17625
/proc/meminfo: memFree=1337264/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915544 CPUtime=161.01
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 10371 0 1 0 16092 9 0 0 25 0 8 0 155597775 937517056 10106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1413.55
Current children cumulated vsize (KiB) 915544

[startup+1484.09 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 17683
/proc/meminfo: memFree=1340976/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915544 CPUtime=1473.55
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 10373 0 1 0 147337 18 0 0 25 0 8 0 155597775 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17617/statm: 228886 10107 2513 14 0 215356 0
[pid=17617/tid=17619] ppid=17615 vsize=915544 CPUtime=0.03
/proc/17617/task/17619/stat : 17619 (java) S 17615 17617 16975 0 -1 64 460 0 0 0 3 0 0 0 16 0 8 0 155597778 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 16975 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155597779 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155597779 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17615 vsize=915544 CPUtime=0.26
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 16975 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1473.55
Current children cumulated vsize (KiB) 915544

[startup+1544.16 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 17683
/proc/meminfo: memFree=1341040/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915544 CPUtime=1533.57
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 10373 0 1 0 153339 18 0 0 25 0 8 0 155597775 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073871681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17617/statm: 228886 10107 2513 14 0 215356 0
[pid=17617/tid=17619] ppid=17615 vsize=915544 CPUtime=0.03
/proc/17617/task/17619/stat : 17619 (java) S 17615 17617 16975 0 -1 64 460 0 0 0 3 0 0 0 16 0 8 0 155597778 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 16975 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155597779 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155597779 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17615 vsize=915544 CPUtime=0.26
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 16975 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1533.57
Current children cumulated vsize (KiB) 915544

[startup+1604.22 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 17683
/proc/meminfo: memFree=1340976/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915544 CPUtime=1593.56
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 10373 0 1 0 159338 18 0 0 25 0 8 0 155597775 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073905818 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17617/statm: 228886 10107 2513 14 0 215356 0
[pid=17617/tid=17619] ppid=17615 vsize=915544 CPUtime=0.03
/proc/17617/task/17619/stat : 17619 (java) S 17615 17617 16975 0 -1 64 460 0 0 0 3 0 0 0 16 0 8 0 155597778 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 16975 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155597779 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155597779 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17615 vsize=915544 CPUtime=0.26
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 16975 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1593.56
Current children cumulated vsize (KiB) 915544

[startup+1664.29 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 17683
/proc/meminfo: memFree=1340976/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915544 CPUtime=1653.57
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 10373 0 1 0 165339 18 0 0 25 0 8 0 155597775 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073869206 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17617/statm: 228886 10107 2513 14 0 215356 0
[pid=17617/tid=17619] ppid=17615 vsize=915544 CPUtime=0.03
/proc/17617/task/17619/stat : 17619 (java) S 17615 17617 16975 0 -1 64 460 0 0 0 3 0 0 0 16 0 8 0 155597778 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 16975 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155597779 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155597779 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17615 vsize=915544 CPUtime=0.26
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 16975 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1653.57
Current children cumulated vsize (KiB) 915544

[startup+1724.35 s]
/proc/loadavg: 2.08 2.02 1.95 3/100 17683
/proc/meminfo: memFree=1340976/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915544 CPUtime=1713.6
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 10373 0 1 0 171341 19 0 0 25 0 8 0 155597775 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849499 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17617/statm: 228886 10107 2513 14 0 215356 0
[pid=17617/tid=17619] ppid=17615 vsize=915544 CPUtime=0.03
/proc/17617/task/17619/stat : 17619 (java) S 17615 17617 16975 0 -1 64 460 0 0 0 3 0 0 0 16 0 8 0 155597778 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 16975 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155597779 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155597779 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17615 vsize=915544 CPUtime=0.26
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 16975 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.6
Current children cumulated vsize (KiB) 915544

[startup+1784.43 s]
/proc/loadavg: 2.03 2.01 1.95 3/100 17683
/proc/meminfo: memFree=1340976/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915544 CPUtime=1773.59
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 10373 0 1 0 177340 19 0 0 25 0 8 0 155597775 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17617/statm: 228886 10107 2513 14 0 215356 0
[pid=17617/tid=17619] ppid=17615 vsize=915544 CPUtime=0.03
/proc/17617/task/17619/stat : 17619 (java) S 17615 17617 16975 0 -1 64 460 0 0 0 3 0 0 0 16 0 8 0 155597778 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 16975 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155597779 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155597779 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17615 vsize=915544 CPUtime=0.26
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 16975 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.59
Current children cumulated vsize (KiB) 915544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.86 s]
/proc/loadavg: 2.08 2.02 1.95 3/100 17683
/proc/meminfo: memFree=1341040/2055920 swapFree=4192812/4192956
[pid=17617] ppid=17615 vsize=915544 CPUtime=1800.01
/proc/17617/stat : 17617 (java) R 17615 17617 16975 0 -1 0 10373 0 1 0 179982 19 0 0 25 0 8 0 155597775 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17617/statm: 228886 10107 2513 14 0 215356 0
[pid=17617/tid=17619] ppid=17615 vsize=915544 CPUtime=0.03
/proc/17617/task/17619/stat : 17619 (java) S 17615 17617 16975 0 -1 64 460 0 0 0 3 0 0 0 16 0 8 0 155597778 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17615 17617 16975 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155597779 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17615 17617 16975 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155597779 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17615 17617 16975 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17615 vsize=915544 CPUtime=0.26
/proc/17617/task/17623/stat : 17623 (java) S 17615 17617 16975 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17615 vsize=915544 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17615 17617 16975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155597782 937517056 10107 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915544

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

Child status: 143
Real time (s): 1810.9
CPU time (s): 1800.05
CPU user time (s): 1799.86
CPU system time (s): 0.197969
CPU usage (%): 99.401
Max. virtual memory (cumulated for all children) (KiB): 915544

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

runsolver used 2.27965 s user time and 5.73913 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Sat Jan  6 08:27:03 UTC 2007


IDJOB= 200143
IDBENCH= 3691
FILE ID= node7/200143-1168072023

PBS_JOBID= 3475708

Free space on /tmp= 66546 MiB

BENCH NAME= HOME/pub/bench/CPAI06/frb/frb56-25/frb56-25-2-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200143-1168072023/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-200143-1168072023 -o ROOT/results/node7/solver-200143-1168072023 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200143-1168072023/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  cb7c842f84cd39cfc114262beb9913c4

RANDOM SEED= 874961138

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.220
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.220
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:       1368200 kB
Buffers:         78584 kB
Cached:         413056 kB
SwapCached:          0 kB
Active:         342992 kB
Inactive:       241628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1368200 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2272 kB
Writeback:           0 kB
Mapped:         121044 kB
Slab:            87528 kB
Committed_AS:  5040548 kB
PageTables:       2472 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= 66546 MiB



End job on node7 on Sat Jan  6 08:57:14 UTC 2007