Trace number 237613

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.24 1802.44

General information on the benchmark

Namehaystacks/
haystacks_54.xml
MD5SUM19223f33b07fb306db25b88716a23e2c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2916
Number of constraints77327
Maximum constraint arity2
Maximum domain size54
Number of constraints which are defined in extension0
Number of constraints which are defined in intension77327
Global constraints used (with number of constraints)

Solver Data (download as text)

0.35	   
0.35	Abscon 109 (November, 2006)
0.35	   
0.35	   configuration
0.35	     name=mac.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/237613-1168083343/unknown.xml
0.41	   
0.41	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.63	     nbVariables=2916  nbDomainTypes=1  minDomainSize=54  maxDomainSize=54
0.63	       =>  wckTime=0.277  cpuTime=0.2  mem=15M680
0.63	   
0.63	   predicates being loaded...
0.63	   
0.63	   constraints being loaded...
4.88	   
4.88	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 76M72)
5.92	     nbConstraints=77327  nbConvertedConstraints=26916  nbConvertConstraintsChecks=11664  nbExtensionStructures=4
5.92	     nbSharedExtensionStructures=26912  nbConflictsStructures=4  nbSharedConflictsStructures=26912
5.92	     nbSharedBinaryRepresentations=323  nbEvaluationManagers=4  nbSharedEvaluationManagers=50407  maxDegree=54
5.92	     maxArity=2
5.92	       =>  wckTime=5.566  cpuTime=4.62  mem=100M471
6.36	   
6.36	   solver IterativeSystematicSolver being built... 
7.21	       =>  wckTime=6.855  cpuTime=5.2  mem=120M26
9.69	   
9.69	   preprocessing
9.69	     nbConstraintChecks=5441836  nbValidityChecks=102278  nbPropagations=2916  nbRevisions=100822
9.69	     nbUselessRevisions=100822  nbRemovedValues=0  detectedInconsistency=no
9.69	       =>  wckTime=2.464  cpuTime=2.44  mem=120M26
13.62	   
13.62	   search
13.62	     run=0  nbConstraintChecks=6267527  nbValidityChecks=11287586  nbPropagations=11552  nbRevisions=342362
13.62	     nbUselessRevisions=333856  nbAssignments=219  nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=240
13.62	     nbRestartNogoods=0  mapSize=10  nbInferences=0  nbTooLargeKeys=0
13.62	       =>  wckTime=6.4  cpuTime=6.35  mem=124M329
15.50	   
15.50	   search
15.50	     run=1  nbConstraintChecks=7745179  nbValidityChecks=22807437  nbPropagations=31881  nbRevisions=932576
15.50	     nbUselessRevisions=906931  nbAssignments=448  nbFailedAssignments=23  nbBacktracks=25  nbVisitedNodes=495
15.50	     nbRestartNogoods=4  mapSize=25  nbInferences=0  nbTooLargeKeys=0
15.50	       =>  wckTime=8.282  cpuTime=8.2  mem=128M466
17.37	   
17.37	   search
17.37	     run=2  nbConstraintChecks=9110836  nbValidityChecks=34453589  nbPropagations=61212  nbRevisions=1772218
17.37	     nbUselessRevisions=1720582  nbAssignments=696  nbFailedAssignments=39  nbBacktracks=47  nbVisitedNodes=776
17.37	     nbRestartNogoods=7  mapSize=47  nbInferences=1  nbTooLargeKeys=0
17.37	       =>  wckTime=10.147  cpuTime=10.07  mem=132M915
19.22	   
19.22	   search
19.22	     run=3  nbConstraintChecks=10323197  nbValidityChecks=46146678  nbPropagations=99823  nbRevisions=2860052
19.22	     nbUselessRevisions=2773290  nbAssignments=964  nbFailedAssignments=64  nbBacktracks=80  nbVisitedNodes=1094
19.22	     nbRestartNogoods=9  mapSize=80  nbInferences=1  nbTooLargeKeys=0
19.22	       =>  wckTime=12.0  cpuTime=11.91  mem=138M271
21.28	   
21.28	   search
21.28	     run=4  nbConstraintChecks=12014098  nbValidityChecks=58381323  nbPropagations=148069  nbRevisions=4208719
21.28	     nbUselessRevisions=4077348  nbAssignments=1269  nbFailedAssignments=102  nbBacktracks=132  nbVisitedNodes=1477
21.28	     nbRestartNogoods=12  mapSize=132  nbInferences=3  nbTooLargeKeys=0
21.28	       =>  wckTime=14.055  cpuTime=13.96  mem=142M749
23.48	   
23.48	   search
23.48	     run=5  nbConstraintChecks=13660816  nbValidityChecks=70973558  nbPropagations=206397  nbRevisions=5824523
23.48	     nbUselessRevisions=5638628  nbAssignments=1621  nbFailedAssignments=154  nbBacktracks=207  nbVisitedNodes=1940
23.48	     nbRestartNogoods=15  mapSize=207  nbInferences=10  nbTooLargeKeys=0
23.48	       =>  wckTime=16.264  cpuTime=16.08  mem=112M27
25.67	   
25.67	   search
25.67	     run=6  nbConstraintChecks=14856496  nbValidityChecks=83533211  nbPropagations=275345  nbRevisions=7705680
25.67	     nbUselessRevisions=7454841  nbAssignments=2049  nbFailedAssignments=227  nbBacktracks=320  nbVisitedNodes=2533
25.67	     nbRestartNogoods=21  mapSize=320  nbInferences=29  nbTooLargeKeys=0
25.67	       =>  wckTime=18.446  cpuTime=18.26  mem=119M192
28.22	   
28.22	   search
28.22	     run=7  nbConstraintChecks=16438005  nbValidityChecks=96759564  nbPropagations=355621  nbRevisions=9868487
28.22	     nbUselessRevisions=9541593  nbAssignments=2583  nbFailedAssignments=337  nbBacktracks=490  nbVisitedNodes=3315
28.22	     nbRestartNogoods=27  mapSize=490  nbInferences=57  nbTooLargeKeys=0
28.22	       =>  wckTime=21.003  cpuTime=20.81  mem=127M701
31.11	   
31.11	   search
31.11	     run=8  nbConstraintChecks=17952865  nbValidityChecks=110528585  nbPropagations=448212  nbRevisions=12326674
31.11	     nbUselessRevisions=11911663  nbAssignments=3283  nbFailedAssignments=502  nbBacktracks=746  nbVisitedNodes=4396
31.11	     nbRestartNogoods=30  mapSize=746  nbInferences=108  nbTooLargeKeys=0
31.11	       =>  wckTime=23.888  cpuTime=23.7  mem=138M597
34.72	   
34.72	   search
34.72	     run=9  nbConstraintChecks=19320774  nbValidityChecks=124514581  nbPropagations=554904  nbRevisions=15087340
34.72	     nbUselessRevisions=14570698  nbAssignments=4311  nbFailedAssignments=699  nbBacktracks=1130  nbVisitedNodes=6036
34.72	     nbRestartNogoods=33  mapSize=1130  nbInferences=326  nbTooLargeKeys=0
34.72	       =>  wckTime=27.497  cpuTime=27.3  mem=157M223
39.14	   
39.14	   search
39.14	     run=10  nbConstraintChecks=20735717  nbValidityChecks=138892195  nbPropagations=677905  nbRevisions=18164245
39.14	     nbUselessRevisions=17530433  nbAssignments=5744  nbFailedAssignments=1009  nbBacktracks=1707  nbVisitedNodes=8390
39.14	     nbRestartNogoods=42  mapSize=1707  nbInferences=627  nbTooLargeKeys=0
39.14	       =>  wckTime=31.924  cpuTime=31.66  mem=160M575
44.82	   
44.82	   search
44.82	     run=11  nbConstraintChecks=22497285  nbValidityChecks=153963485  nbPropagations=820311  nbRevisions=21579169
44.82	     nbUselessRevisions=20809871  nbAssignments=7774  nbFailedAssignments=1475  nbBacktracks=2572  nbVisitedNodes=11807
44.82	     nbRestartNogoods=45  mapSize=2572  nbInferences=1082  nbTooLargeKeys=0
44.82	       =>  wckTime=37.598  cpuTime=37.27  mem=174M374
52.29	   
52.29	   search
52.29	     run=12  nbConstraintChecks=24403103  nbValidityChecks=169680125  nbPropagations=986602  nbRevisions=25356525
52.29	     nbUselessRevisions=24429370  nbAssignments=10703  nbFailedAssignments=2183  nbBacktracks=3870  nbVisitedNodes=16820
52.29	     nbRestartNogoods=47  mapSize=3870  nbInferences=1750  nbTooLargeKeys=0
52.29	       =>  wckTime=45.069  cpuTime=44.67  mem=207M941
64.11	   
64.11	   search
64.11	     run=13  nbConstraintChecks=26279847  nbValidityChecks=186021043  nbPropagations=1187138  nbRevisions=29538174
64.11	     nbUselessRevisions=28422466  nbAssignments=15563  nbFailedAssignments=3054  nbBacktracks=5816  nbVisitedNodes=25205
64.11	     nbRestartNogoods=51  mapSize=5816  nbInferences=3533  nbTooLargeKeys=0
64.11	       =>  wckTime=56.886  cpuTime=56.36  mem=257M99
82.66	   
82.66	   search
82.66	     run=14  nbConstraintChecks=28276437  nbValidityChecks=203193309  nbPropagations=1439267  nbRevisions=34197803
82.66	     nbUselessRevisions=32849422  nbAssignments=23514  nbFailedAssignments=4136  nbBacktracks=8737  nbVisitedNodes=38996
82.66	     nbRestartNogoods=54  mapSize=8737  nbInferences=7209  nbTooLargeKeys=0
82.66	       =>  wckTime=75.437  cpuTime=74.77  mem=337M250
108.19	   
108.19	   search
108.19	     run=15  nbConstraintChecks=30866093  nbValidityChecks=220935804  nbPropagations=1759527  nbRevisions=39386834
108.19	     nbUselessRevisions=37746370  nbAssignments=34871  nbFailedAssignments=6037  nbBacktracks=13116
108.19	     nbVisitedNodes=58961  nbRestartNogoods=63  mapSize=13116  nbInferences=12015  nbTooLargeKeys=0
108.19	       =>  wckTime=100.967  cpuTime=100.04  mem=435M984
148.08	   
148.08	   INFO : Stopping hyperNogood (mapSize=18899, nbTooLargekeys=0, mem=600M979)
149.51	   
149.51	   search
149.51	     run=16  nbConstraintChecks=33142799  nbValidityChecks=240014596  nbPropagations=2193840  nbRevisions=45306259
149.51	     nbUselessRevisions=43278811  nbAssignments=53701  nbFailedAssignments=8399  nbBacktracks=19685
149.51	     nbVisitedNodes=92134  nbRestartNogoods=77
149.51	       =>  wckTime=142.291  cpuTime=141.05  mem=600M979
167.85	   
167.85	   search
167.85	     run=17  nbConstraintChecks=35364387  nbValidityChecks=258991421  nbPropagations=2715514  nbRevisions=51796249
167.85	     nbUselessRevisions=49294620  nbAssignments=70605  nbFailedAssignments=15162  nbBacktracks=29537
167.85	     nbVisitedNodes=122564  nbRestartNogoods=93
167.85	       =>  wckTime=160.634  cpuTime=159.38  mem=600M979
194.29	   
194.29	   search
194.29	     run=18  nbConstraintChecks=37519057  nbValidityChecks=278808544  nbPropagations=3362093  nbRevisions=58959846
194.29	     nbUselessRevisions=55859328  nbAssignments=95856  nbFailedAssignments=25340  nbBacktracks=44315
194.29	     nbVisitedNodes=168171  nbRestartNogoods=104
194.29	       =>  wckTime=187.067  cpuTime=185.8  mem=600M979
232.79	   
232.79	   search
232.79	     run=19  nbConstraintChecks=40005143  nbValidityChecks=299572694  nbPropagations=4189726  nbRevisions=66946887
232.79	     nbUselessRevisions=63066593  nbAssignments=133598  nbFailedAssignments=40609  nbBacktracks=66483
232.79	     nbVisitedNodes=236451  nbRestartNogoods=116
232.79	       =>  wckTime=225.575  cpuTime=224.25  mem=600M979
289.08	   
289.08	   search
289.08	     run=20  nbConstraintChecks=42452736  nbValidityChecks=321129283  nbPropagations=5282438  nbRevisions=75966839
289.08	     nbUselessRevisions=71041872  nbAssignments=190070  nbFailedAssignments=63522  nbBacktracks=99735
289.08	     nbVisitedNodes=338749  nbRestartNogoods=135
289.08	       =>  wckTime=281.859  cpuTime=280.46  mem=600M979
371.75	   
371.75	   search
371.75	     run=21  nbConstraintChecks=45587013  nbValidityChecks=344172337  nbPropagations=6766170  nbRevisions=86342084
371.75	     nbUselessRevisions=79981668  nbAssignments=274694  nbFailedAssignments=97951  nbBacktracks=149614
371.75	     nbVisitedNodes=492231  nbRestartNogoods=147
371.75	       =>  wckTime=364.533  cpuTime=363.06  mem=600M979
495.83	   
495.83	   search
495.83	     run=22  nbConstraintChecks=49503156  nbValidityChecks=369100004  nbPropagations=8830258  nbRevisions=98545341
495.83	     nbUselessRevisions=90169374  nbAssignments=401663  nbFailedAssignments=149776  nbBacktracks=224432
495.83	     nbVisitedNodes=722850  nbRestartNogoods=157
495.83	       =>  wckTime=488.609  cpuTime=486.98  mem=600M979
678.53	   
678.53	   search
678.53	     run=23  nbConstraintChecks=54530921  nbValidityChecks=396485901  nbPropagations=11757849  nbRevisions=113282162
678.53	     nbUselessRevisions=102027349  nbAssignments=592003  nbFailedAssignments=227550  nbBacktracks=336660
678.53	     nbVisitedNodes=1068738  nbRestartNogoods=171
678.53	       =>  wckTime=671.312  cpuTime=669.49  mem=600M979
945.16	   
945.16	   search
945.16	     run=24  nbConstraintChecks=60889904  nbValidityChecks=426748766  nbPropagations=15973452  nbRevisions=131590518
945.16	     nbUselessRevisions=116169071  nbAssignments=877307  nbFailedAssignments=344171  nbBacktracks=505001
945.16	     nbVisitedNodes=1587284  nbRestartNogoods=185
945.16	       =>  wckTime=937.944  cpuTime=935.8  mem=600M979
1332.82	   
1332.82	   search
1332.82	     run=25  nbConstraintChecks=69706451  nbValidityChecks=462110548  nbPropagations=22109747  nbRevisions=155069256
1332.82	     nbUselessRevisions=133557813  nbAssignments=1304018  nbFailedAssignments=518014  nbBacktracks=757512
1332.82	     nbVisitedNodes=2361681  nbRestartNogoods=205
1332.82	       =>  wckTime=1325.596  cpuTime=1323.01  mem=600M979

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/node21/watcher-237613-1168083343 -o ROOT/results/node21/solver-237613-1168083343 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237613-1168083343/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.18 1.69 1.71 4/93 22544
/proc/meminfo: memFree=1530520/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=172 CPUtime=0
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156730956 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8438564 0 0 4096 0 0 0 0 17 0 0 0
/proc/22543/statm: 43 24 18 14 0 3 0

[startup+0.108162 s]
/proc/loadavg: 1.18 1.69 1.71 4/93 22544
/proc/meminfo: memFree=1530520/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=907808 CPUtime=0.05
/proc/22543/stat : 22543 (java) D 22541 22543 21801 0 -1 0 2507 0 1 0 4 1 0 0 21 0 4 0 156730956 929595392 2254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.521721 s]
/proc/loadavg: 1.18 1.69 1.71 4/93 22544
/proc/meminfo: memFree=1530520/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915328 CPUtime=0.44
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 6575 0 1 0 41 3 0 0 23 0 8 0 156730956 937295872 6314 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228832 6314 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328

[startup+1.35081 s]
/proc/loadavg: 1.18 1.69 1.71 3/100 22551
/proc/meminfo: memFree=1464928/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915644 CPUtime=1.27
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 18777 0 1 0 117 10 0 0 25 0 8 0 156730956 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073552422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228911 18515 2160 14 0 215381 0
[pid=22543/tid=22545] ppid=22541 vsize=915644 CPUtime=0.05
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 2237 0 0 0 5 0 0 0 17 0 8 0 156730960 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915644 CPUtime=0.14
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 406 0 0 0 14 0 0 0 16 0 8 0 156730969 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937619456 18515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915644

[startup+2.99371 s]
/proc/loadavg: 1.18 1.69 1.71 3/100 22551
/proc/meminfo: memFree=1446624/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915648 CPUtime=2.91
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 24498 0 1 0 277 14 0 0 25 0 8 0 156730956 937623552 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228911 24232 2180 14 0 215381 0
[pid=22543/tid=22545] ppid=22541 vsize=915644 CPUtime=0.33
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 7885 0 0 0 31 2 0 0 16 0 8 0 156730960 937619456 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937619456 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937619456 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915648 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937623552 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915644 CPUtime=0.15
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 414 0 0 0 15 0 0 0 16 0 8 0 156730969 937619456 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915648 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937623552 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915644 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937619456 24232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915648

[startup+6.28886 s]
/proc/loadavg: 1.24 1.70 1.71 3/100 22551
/proc/meminfo: memFree=1413216/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=916148 CPUtime=6.21
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 31890 0 1 0 508 113 0 0 25 0 8 0 156730956 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 229037 31556 2189 14 0 215507 0
[pid=22543/tid=22545] ppid=22541 vsize=916148 CPUtime=1.13
/proc/22543/task/22545/stat : 22545 (java) R 22541 22543 21801 0 -1 64 15228 0 0 0 108 5 0 0 18 0 8 0 156730960 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525778 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=916148 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=916148 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=916148 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=916148 CPUtime=0.19
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 441 0 0 0 19 0 0 0 15 0 8 0 156730969 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=916148 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=916148 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 938135552 31556 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 916148

[startup+12.776 s]
/proc/loadavg: 1.30 1.70 1.71 3/100 22551
/proc/meminfo: memFree=1370912/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=12.69
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 42772 0 1 0 1151 118 0 0 25 0 8 0 156730956 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831584 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 42352 2535 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=1.38
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 25576 0 0 0 129 9 0 0 16 0 8 0 156730960 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.33
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 545 0 0 0 32 1 0 0 15 0 8 0 156730969 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 42352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915872

[startup+25.633 s]
/proc/loadavg: 1.46 1.71 1.72 3/100 22551
/proc/meminfo: memFree=1359648/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=25.5
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 45593 0 1 0 2431 119 0 0 25 0 8 0 156730956 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231239 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 45166 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=1.45
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 28369 0 0 0 135 10 0 0 16 0 8 0 156730960 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.37
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 563 0 0 0 36 1 0 0 16 0 8 0 156730969 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 45166 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915872

[startup+51.2653 s]
/proc/loadavg: 1.64 1.74 1.73 3/100 22551
/proc/meminfo: memFree=1277536/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=51.12
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 66104 0 1 0 4985 127 0 0 25 0 8 0 156730956 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 65670 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=1.63
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 48867 0 0 0 145 18 0 0 16 0 8 0 156730960 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.38
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 569 0 0 0 37 1 0 0 16 0 8 0 156730969 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 65670 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 915872

[startup+102.521 s]
/proc/loadavg: 1.99 1.81 1.75 3/100 22551
/proc/meminfo: memFree=1090208/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=102.33
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 118133 0 1 0 10085 148 0 0 25 0 8 0 156730956 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074203168 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 117690 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.04
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 100887 0 0 0 166 38 0 0 16 0 8 0 156730960 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.38
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 569 0 0 0 37 1 0 0 16 0 8 0 156730969 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 117690 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 915872

[startup+162.622 s]
/proc/loadavg: 1.99 1.84 1.76 3/100 22551
/proc/meminfo: memFree=919200/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=162.34
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155532 0 1 0 16071 163 0 0 25 0 8 0 156730956 937852928 155080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231249 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1422.16
Current children cumulated vsize (KiB) 915872

[startup+1483.94 s]
/proc/loadavg: 2.12 2.06 1.94 3/100 22609
/proc/meminfo: memFree=507496/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=1482.17
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155534 0 1 0 148048 169 0 0 25 0 8 0 156730956 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074141623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 155081 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.35
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 138277 0 0 0 182 53 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.39
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 570 0 0 0 38 1 0 0 16 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.17
Current children cumulated vsize (KiB) 915872

[startup+1544.02 s]
/proc/loadavg: 2.04 2.05 1.94 3/106 22751
/proc/meminfo: memFree=486056/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=1542.13
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155534 0 1 0 154035 178 0 0 25 0 8 0 156730956 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074203172 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 155081 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.35
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 138277 0 0 0 182 53 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.39
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 570 0 0 0 38 1 0 0 16 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 915872

[startup+1604.12 s]
/proc/loadavg: 2.01 2.04 1.94 3/100 22807
/proc/meminfo: memFree=466720/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=1602.13
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155534 0 1 0 160028 185 0 0 25 0 8 0 156730956 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074203243 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 155081 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.35
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 138277 0 0 0 182 53 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.39
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 570 0 0 0 38 1 0 0 16 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.13
Current children cumulated vsize (KiB) 915872

[startup+1664.19 s]
/proc/loadavg: 2.00 2.03 1.94 3/100 22807
/proc/meminfo: memFree=445664/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=1662.14
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155534 0 1 0 166029 185 0 0 25 0 8 0 156730956 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231239 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 155081 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.35
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 138277 0 0 0 182 53 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.39
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 570 0 0 0 38 1 0 0 16 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 915872

[startup+1724.25 s]
/proc/loadavg: 2.00 2.02 1.94 3/100 22807
/proc/meminfo: memFree=445600/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=1722.15
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155534 0 1 0 172030 185 0 0 25 0 8 0 156730956 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231239 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 155081 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.35
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 138277 0 0 0 182 53 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.39
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 570 0 0 0 38 1 0 0 16 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.15
Current children cumulated vsize (KiB) 915872

[startup+1784.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/100 22807
/proc/meminfo: memFree=445536/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=1782.11
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155534 0 1 0 178026 185 0 0 25 0 8 0 156730956 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074231249 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 155081 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.35
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 138277 0 0 0 182 53 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.39
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 570 0 0 0 38 1 0 0 16 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 915872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.29 s]
/proc/loadavg: 2.00 2.02 1.94 3/100 22807
/proc/meminfo: memFree=445536/2055920 swapFree=4192812/4192956
[pid=22543] ppid=22541 vsize=915872 CPUtime=1800.09
/proc/22543/stat : 22543 (java) R 22541 22543 21801 0 -1 0 155534 0 1 0 179824 185 0 0 25 0 8 0 156730956 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074205981 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22543/statm: 228968 155081 2538 14 0 215438 0
[pid=22543/tid=22545] ppid=22541 vsize=915872 CPUtime=2.35
/proc/22543/task/22545/stat : 22545 (java) S 22541 22543 21801 0 -1 64 138277 0 0 0 182 53 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22546] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22546/stat : 22546 (java) S 22541 22543 21801 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22547] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22547/stat : 22547 (java) S 22541 22543 21801 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156730960 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22548] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22548/stat : 22548 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22549] ppid=22541 vsize=915872 CPUtime=0.39
/proc/22543/task/22549/stat : 22549 (java) S 22541 22543 21801 0 -1 64 570 0 0 0 38 1 0 0 16 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22550] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22550/stat : 22550 (java) S 22541 22543 21801 0 -1 64 1 0 0 0 0 0 0 0 20 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22543/tid=22551] ppid=22541 vsize=915872 CPUtime=0
/proc/22543/task/22551/stat : 22551 (java) S 22541 22543 21801 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156730969 937852928 155081 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915872

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

Child status: 143
Real time (s): 1802.44
CPU time (s): 1800.24
CPU user time (s): 1798.3
CPU system time (s): 1.9467
CPU usage (%): 99.8781
Max. virtual memory (cumulated for all children) (KiB): 916148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.3
system time used= 1.9467
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155550
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= 38487
involuntary context switches= 80548

runsolver used 2.05069 s user time and 5.9371 s system time

The end

Launcher Data (download as text)

Begin job on node21 on Sat Jan  6 11:35:48 UTC 2007


IDJOB= 237613
IDBENCH= 6952
FILE ID= node21/237613-1168083343

PBS_JOBID= 3476122

Free space on /tmp= 66535 MiB

BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_54.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237613-1168083343/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-237613-1168083343 -o ROOT/results/node21/solver-237613-1168083343 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237613-1168083343/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  19223f33b07fb306db25b88716a23e2c

RANDOM SEED= 372712756

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.261
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.261
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:       1530872 kB
Buffers:         35908 kB
Cached:         215828 kB
SwapCached:          0 kB
Active:         333636 kB
Inactive:       119500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1530872 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           11180 kB
Writeback:           0 kB
Mapped:         230436 kB
Slab:            56508 kB
Committed_AS:  3785048 kB
PageTables:       2464 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= 66535 MiB



End job on node21 on Sat Jan  6 12:06:12 UTC 2007