Trace number 203747

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.1 1802.86

General information on the benchmark

Namerandom/rand-2-27/
rand-27-27-351-163-55021_ext.xml
MD5SUMf8fb9ae66b90ba73795e8a335c4e455c
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark779.576
SatisfiableNO
(Un)Satisfiability was proved
Number of variables27
Number of constraints351
Maximum constraint arity2
Maximum domain size27
Number of constraints which are defined in extension351
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=esac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/203747-1168163846/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.38	     nbVariables=27  nbDomainTypes=1  minDomainSize=27  maxDomainSize=27
0.38	       =>  wckTime=0.094  cpuTime=0.09  mem=6M951
0.38	   
0.38	   relations being loaded...
0.51	   
0.51	   constraints being loaded...
0.62	     nbConstraints=351  nbRelationTypes=351  nbExtensionStructures=351  nbSharedExtensionStructures=0
0.62	     nbConflictsStructures=351  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=940  maxDegree=26
0.63	     maxArity=2
0.63	       =>  wckTime=0.336  cpuTime=0.26  mem=15M761
0.67	   
0.67	   solver IterativeSystematicSolver being built... 
0.82	       =>  wckTime=0.53  cpuTime=0.39  mem=15M373
0.87	   
0.87	   preprocessing
0.87	     nbConstraintChecks=58849  nbPropagations=674  nbRevisions=7200  nbUselessRevisions=6392  nbSingletonTests=31
0.87	     nbEffectiveSingletonTests=0  nbESACBranches=4  nbRemovedValues=0  detectedInconsistency=no
0.87	       =>  wckTime=0.043  cpuTime=0.02  mem=15M373
0.89	   
0.89	   search
0.89	     run=0  nbConstraintChecks=45718  nbPropagations=1167  nbRevisions=16114  nbUselessRevisions=14134  nbAssignments=27
0.89	     nbFailedAssignments=10  nbBacktracks=11  nbVisitedNodes=48  nbRestartNogoods=0  mapSize=11  nbInferences=0
0.89	     nbTooLargeKeys=0
0.89	       =>  wckTime=0.07  cpuTime=0.04  mem=15M373
0.91	   
0.91	   search
0.91	     run=1  nbConstraintChecks=102732  nbPropagations=2929  nbRevisions=43414  nbUselessRevisions=38116
0.91	     nbAssignments=64  nbFailedAssignments=25  nbBacktracks=26  nbVisitedNodes=109  nbRestartNogoods=3  mapSize=25
0.91	     nbInferences=0  nbTooLargeKeys=0
0.91	       =>  wckTime=0.087  cpuTime=0.05  mem=15M373
0.93	   
0.93	   search
0.93	     run=2  nbConstraintChecks=177834  nbPropagations=5506  nbRevisions=86742  nbUselessRevisions=76158
0.93	     nbAssignments=111  nbFailedAssignments=44  nbBacktracks=48  nbVisitedNodes=192  nbRestartNogoods=7  mapSize=47
0.93	     nbInferences=0  nbTooLargeKeys=0
0.93	       =>  wckTime=0.107  cpuTime=0.07  mem=15M373
0.96	   
0.96	   search
0.96	     run=3  nbConstraintChecks=285454  nbPropagations=9255  nbRevisions=154040  nbUselessRevisions=135336
0.96	     nbAssignments=182  nbFailedAssignments=76  nbBacktracks=82  nbVisitedNodes=321  nbRestartNogoods=9  mapSize=80
0.96	     nbInferences=0  nbTooLargeKeys=0
0.96	       =>  wckTime=0.133  cpuTime=0.09  mem=15M373
0.99	   
0.99	   search
0.99	     run=4  nbConstraintChecks=445765  nbPropagations=14660  nbRevisions=255981  nbUselessRevisions=224872
0.99	     nbAssignments=281  nbFailedAssignments=118  nbBacktracks=133  nbVisitedNodes=503  nbRestartNogoods=12  mapSize=129
0.99	     nbInferences=0  nbTooLargeKeys=0
0.99	       =>  wckTime=0.163  cpuTime=0.12  mem=15M373
1.03	   
1.03	   search
1.03	     run=5  nbConstraintChecks=670329  nbPropagations=22420  nbRevisions=408258  nbUselessRevisions=358760
1.03	     nbAssignments=430  nbFailedAssignments=186  nbBacktracks=208  nbVisitedNodes=771  nbRestartNogoods=16  mapSize=202
1.03	     nbInferences=0  nbTooLargeKeys=0
1.03	       =>  wckTime=0.209  cpuTime=0.16  mem=15M373
1.09	   
1.09	   search
1.09	     run=6  nbConstraintChecks=1027099  nbPropagations=33720  nbRevisions=637806  nbUselessRevisions=560465
1.09	     nbAssignments=656  nbFailedAssignments=292  nbBacktracks=321  nbVisitedNodes=1182  nbRestartNogoods=20  mapSize=314
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.272  cpuTime=0.22  mem=15M373
1.18	   
1.18	   search
1.18	     run=7  nbConstraintChecks=1534294  nbPropagations=50202  nbRevisions=977903  nbUselessRevisions=859414
1.18	     nbAssignments=982  nbFailedAssignments=428  nbBacktracks=491  nbVisitedNodes=1750  nbRestartNogoods=26  mapSize=478
1.18	     nbInferences=0  nbTooLargeKeys=0
1.18	       =>  wckTime=0.359  cpuTime=0.31  mem=15M373
1.32	   
1.32	   search
1.32	     run=8  nbConstraintChecks=2311583  nbPropagations=74366  nbRevisions=1488485  nbUselessRevisions=1307915
1.32	     nbAssignments=1472  nbFailedAssignments=656  nbBacktracks=748  nbVisitedNodes=2648  nbRestartNogoods=33
1.32	     mapSize=729  nbInferences=0  nbTooLargeKeys=0
1.32	       =>  wckTime=0.496  cpuTime=0.44  mem=15M373
1.47	   
1.47	   INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=15M373)
1.51	   
1.51	   search
1.51	     run=9  nbConstraintChecks=3405154  nbPropagations=109913  nbRevisions=2250310  nbUselessRevisions=1977794
1.51	     nbAssignments=2200  nbFailedAssignments=994  nbBacktracks=1133  nbVisitedNodes=3989  nbRestartNogoods=44
1.51	       =>  wckTime=0.687  cpuTime=0.61  mem=15M373
1.82	   
1.82	   search
1.82	     run=10  nbConstraintChecks=5129800  nbPropagations=162841  nbRevisions=3396481  nbUselessRevisions=2985228
1.82	     nbAssignments=3311  nbFailedAssignments=1523  nbBacktracks=1709  nbVisitedNodes=6042  nbRestartNogoods=52
1.82	       =>  wckTime=0.995  cpuTime=0.91  mem=15M373
2.32	   
2.32	   search
2.32	     run=11  nbConstraintChecks=7555846  nbPropagations=240865  nbRevisions=5098075  nbUselessRevisions=4481396
2.32	     nbAssignments=4923  nbFailedAssignments=2267  nbBacktracks=2574  nbVisitedNodes=9021  nbRestartNogoods=57
2.32	       =>  wckTime=1.5  cpuTime=1.41  mem=15M373
3.08	   
3.08	   search
3.08	     run=12  nbConstraintChecks=11288524  nbPropagations=356864  nbRevisions=7645535  nbUselessRevisions=6720017
3.08	     nbAssignments=7406  nbFailedAssignments=3446  nbBacktracks=3872  nbVisitedNodes=13611  nbRestartNogoods=59
3.08	       =>  wckTime=2.258  cpuTime=2.17  mem=15M373
4.29	   
4.29	   search
4.29	     run=13  nbConstraintChecks=17451542  nbPropagations=533239  nbRevisions=11559443  nbUselessRevisions=10159518
4.29	     nbAssignments=11224  nbFailedAssignments=5312  nbBacktracks=5818  nbVisitedNodes=20705  nbRestartNogoods=71
4.29	       =>  wckTime=3.47  cpuTime=3.38  mem=15M373
6.07	   
6.07	   search
6.07	     run=14  nbConstraintChecks=26609673  nbPropagations=799165  nbRevisions=17485459  nbUselessRevisions=15364614
6.07	     nbAssignments=16870  nbFailedAssignments=8035  nbBacktracks=8737  nbVisitedNodes=31205  nbRestartNogoods=77
6.07	       =>  wckTime=5.251  cpuTime=5.16  mem=15M373
8.64	   
8.64	   search
8.64	     run=15  nbConstraintChecks=39254799  nbPropagations=1194334  nbRevisions=26275235  nbUselessRevisions=23086384
8.64	     nbAssignments=25230  nbFailedAssignments=12012  nbBacktracks=13115  nbVisitedNodes=46663  nbRestartNogoods=82
8.64	       =>  wckTime=7.819  cpuTime=7.74  mem=15M373
12.56	   
12.56	   search
12.56	     run=16  nbConstraintChecks=59320000  nbPropagations=1788076  nbRevisions=39488448  nbUselessRevisions=34689615
12.56	     nbAssignments=37878  nbFailedAssignments=18085  nbBacktracks=19686  nbVisitedNodes=70067  nbRestartNogoods=93
12.56	       =>  wckTime=11.735  cpuTime=11.65  mem=15M373
18.57	   
18.57	   search
18.57	     run=17  nbConstraintChecks=89158771  nbPropagations=2680617  nbRevisions=59418040  nbUselessRevisions=52197301
18.57	     nbAssignments=56985  nbFailedAssignments=27335  nbBacktracks=29540  nbVisitedNodes=105522  nbRestartNogoods=98
18.57	       =>  wckTime=17.751  cpuTime=17.66  mem=15M373
27.35	   
27.35	   search
27.35	     run=18  nbConstraintChecks=132498360  nbPropagations=4008707  nbRevisions=89136556  nbUselessRevisions=78321899
27.35	     nbAssignments=85037  nbFailedAssignments=40602  nbBacktracks=44318  nbVisitedNodes=157299  nbRestartNogoods=105
27.35	       =>  wckTime=26.525  cpuTime=26.43  mem=15M373
41.07	   
41.07	   search
41.07	     run=19  nbConstraintChecks=202048289  nbPropagations=6017273  nbRevisions=134305943  nbUselessRevisions=118040656
41.07	     nbAssignments=128039  nbFailedAssignments=61429  nbBacktracks=66488  nbVisitedNodes=237052  nbRestartNogoods=127
41.07	       =>  wckTime=40.25  cpuTime=40.12  mem=15M373
61.11	   
61.11	   search
61.11	     run=20  nbConstraintChecks=302442368  nbPropagations=9025323  nbRevisions=201850083  nbUselessRevisions=177424228
61.11	     nbAssignments=191766  nbFailedAssignments=91896  nbBacktracks=99744  nbVisitedNodes=355073  nbRestartNogoods=137
61.11	       =>  wckTime=60.287  cpuTime=60.15  mem=15M373
91.80	   
91.80	   search
91.80	     run=21  nbConstraintChecks=458087389  nbPropagations=13557054  nbRevisions=303987180  nbUselessRevisions=267242531
91.80	     nbAssignments=288239  nbFailedAssignments=138485  nbBacktracks=149623  nbVisitedNodes=533920  nbRestartNogoods=154
91.80	       =>  wckTime=90.979  cpuTime=90.8  mem=15M373
136.23	   
136.23	   search
136.24	     run=22  nbConstraintChecks=677617694  nbPropagations=20306633  nbRevisions=455895576  nbUselessRevisions=400872541
136.24	     nbAssignments=431069  nbFailedAssignments=206491  nbBacktracks=224441  nbVisitedNodes=798202  nbRestartNogoods=186
136.24	       =>  wckTime=135.413  cpuTime=135.18  mem=15M373
204.78	   
204.78	   search
204.78	     run=23  nbConstraintChecks=1018956303  nbPropagations=30438515  nbRevisions=684326202  nbUselessRevisions=601845353
204.78	     nbAssignments=646570  nbFailedAssignments=309759  nbBacktracks=336668  nbVisitedNodes=1197315  nbRestartNogoods=201
204.78	       =>  wckTime=203.956  cpuTime=203.67  mem=15M373
308.64	   
308.64	   search
308.64	     run=24  nbConstraintChecks=1541725794  nbPropagations=45685100  nbRevisions=1028924314
308.64	     nbUselessRevisions=905020192  nbAssignments=970001  nbFailedAssignments=464843  nbBacktracks=505009
308.64	     nbVisitedNodes=1796825  nbRestartNogoods=221
308.64	       =>  wckTime=307.815  cpuTime=307.35  mem=15M373
462.10	   
462.10	   search
462.10	     run=25  nbConstraintChecks=2310091941  nbPropagations=68530887  nbRevisions=1545610872
462.10	     nbUselessRevisions=1359682087  nbAssignments=1454060  nbFailedAssignments=696385  nbBacktracks=757520
462.10	     nbVisitedNodes=2693499  nbRestartNogoods=255
462.10	       =>  wckTime=461.276  cpuTime=460.64  mem=15M373
698.31	   
698.31	   search
698.31	     run=26  nbConstraintChecks=3505233863  nbPropagations=102973789  nbRevisions=2326928354
698.31	     nbUselessRevisions=2047216217  nbAssignments=2186133  nbFailedAssignments=1049688  nbBacktracks=1136287
698.31	     nbVisitedNodes=4051060  nbRestartNogoods=279
698.31	       =>  wckTime=697.485  cpuTime=696.6  mem=15M373
1051.92	   
1051.92	   search
1051.92	     run=27  nbConstraintChecks=5293274739  nbPropagations=154779893  nbRevisions=3504846276
1051.92	     nbUselessRevisions=3083983975  nbAssignments=3283313  nbFailedAssignments=1578711  nbBacktracks=1704438
1051.92	     nbVisitedNodes=6084857  nbRestartNogoods=302
1051.92	       =>  wckTime=1051.095  cpuTime=1049.83  mem=15M373
1580.52	   
1580.53	   search
1580.53	     run=28  nbConstraintChecks=7945552857  nbPropagations=232532668  nbRevisions=5274439869
1580.53	     nbUselessRevisions=4641829309  nbAssignments=4926833  nbFailedAssignments=2369999  nbBacktracks=2556665
1580.53	     nbVisitedNodes=9131858  nbRestartNogoods=321
1580.53	       =>  wckTime=1579.703  cpuTime=1577.87  mem=15M373

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/node45/watcher-203747-1168163846 -o ROOT/results/node45/solver-203747-1168163846 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203747-1168163846/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.99 4/82 18078
/proc/meminfo: memFree=1379312/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=1784 CPUtime=0
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 349 0 0 0 0 0 0 0 18 0 1 0 164783530 1826816 144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 5143296 0 0 4096 0 0 0 0 17 0 0 0
/proc/18077/statm: 446 145 111 14 0 91 0

[startup+0.107253 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 18078
/proc/meminfo: memFree=1379312/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=914988 CPUtime=0.09
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 3110 0 1 0 8 1 0 0 24 0 8 0 164783530 936947712 2856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155166642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228747 2857 1466 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515325 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 18078
/proc/meminfo: memFree=1379312/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915328 CPUtime=0.5
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 7404 0 1 0 46 4 0 0 25 0 8 0 164783530 937295872 7143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228832 7143 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328

[startup+1.33647 s]
/proc/loadavg: 1.92 1.98 1.99 3/89 18085
/proc/meminfo: memFree=1353464/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915456 CPUtime=1.31
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 9218 0 1 0 126 5 0 0 25 0 8 0 164783530 937426944 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228864 8956 2524 14 0 215334 0
[pid=18077/tid=18079] ppid=18075 vsize=915456 CPUtime=0.03
/proc/18077/task/18079/stat : 18079 (java) S 18075 18077 16968 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164783533 937426944 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18080] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18080/stat : 18080 (java) S 18075 18077 16968 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164783533 937426944 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18081] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18081/stat : 18081 (java) S 18075 18077 16968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164783533 937426944 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18082] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18082/stat : 18082 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164783536 937426944 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18083] ppid=18075 vsize=915456 CPUtime=0.19
/proc/18077/task/18083/stat : 18083 (java) R 18075 18077 16968 0 -1 64 381 0 0 0 19 0 0 0 16 0 8 0 164783536 937426944 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153066206 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18084] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18084/stat : 18084 (java) S 18075 18077 16968 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164783536 937426944 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18085] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18085/stat : 18085 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164783536 937426944 8956 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456

[startup+2.98977 s]
/proc/loadavg: 1.92 1.98 1.99 3/89 18085
/proc/meminfo: memFree=1353400/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915456 CPUtime=2.97
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 9229 0 1 0 292 5 0 0 25 0 8 0 164783530 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228864 8966 2524 14 0 215334 0
[pid=18077/tid=18079] ppid=18075 vsize=915456 CPUtime=0.03
/proc/18077/task/18079/stat : 18079 (java) S 18075 18077 16968 0 -1 64 363 0 0 0 3 0 0 0 17 0 8 0 164783533 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18080] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18080/stat : 18080 (java) S 18075 18077 16968 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164783533 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18081] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18081/stat : 18081 (java) S 18075 18077 16968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164783533 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18082] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18082/stat : 18082 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164783536 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18083] ppid=18075 vsize=915456 CPUtime=0.21
/proc/18077/task/18083/stat : 18083 (java) S 18075 18077 16968 0 -1 64 392 0 0 0 21 0 0 0 15 0 8 0 164783536 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18084] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18084/stat : 18084 (java) S 18075 18077 16968 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164783536 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18085] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18085/stat : 18085 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164783536 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915456

[startup+6.27899 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 18085
/proc/meminfo: memFree=1353336/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915456 CPUtime=6.26
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 9230 0 1 0 620 6 0 0 25 0 8 0 164783530 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798033 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228864 8966 2524 14 0 215334 0
[pid=18077/tid=18079] ppid=18075 vsize=915456 CPUtime=0.03
/proc/18077/task/18079/stat : 18079 (java) S 18075 18077 16968 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164783533 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18080] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18080/stat : 18080 (java) S 18075 18077 16968 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164783533 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18081] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18081/stat : 18081 (java) S 18075 18077 16968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164783533 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18082] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18082/stat : 18082 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164783536 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18083] ppid=18075 vsize=915456 CPUtime=0.21
/proc/18077/task/18083/stat : 18083 (java) S 18075 18077 16968 0 -1 64 392 0 0 0 21 0 0 0 15 0 8 0 164783536 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18084] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18084/stat : 18084 (java) S 18075 18077 16968 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164783536 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18085] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18085/stat : 18085 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164783536 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915456

[startup+12.7782 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 18085
/proc/meminfo: memFree=1353344/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915456 CPUtime=12.76
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 9230 0 1 0 1270 6 0 0 25 0 8 0 164783530 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803285 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228864 8966 2524 14 0 215334 0
[pid=18077/tid=18079] ppid=18075 vsize=915456 CPUtime=0.03
/proc/18077/task/18079/stat : 18079 (java) S 18075 18077 16968 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164783533 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18080] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18080/stat : 18080 (java) S 18075 18077 16968 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164783533 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18081] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18081/stat : 18081 (java) S 18075 18077 16968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164783533 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18082] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18082/stat : 18082 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164783536 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18083] ppid=18075 vsize=915456 CPUtime=0.21
/proc/18077/task/18083/stat : 18083 (java) S 18075 18077 16968 0 -1 64 392 0 0 0 21 0 0 0 16 0 8 0 164783536 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18084] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18084/stat : 18084 (java) S 18075 18077 16968 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164783536 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18085] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18085/stat : 18085 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164783536 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 915456

[startup+25.6559 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 18085
/proc/meminfo: memFree=1353408/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915456 CPUtime=25.63
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 9232 0 1 0 2557 6 0 0 25 0 8 0 164783530 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228864 8967 2524 14 0 215334 0
[pid=18077/tid=18079] ppid=18075 vsize=915456 CPUtime=0.03
/proc/18077/task/18079/stat : 18079 (java) S 18075 18077 16968 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164783533 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18080] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18080/stat : 18080 (java) S 18075 18077 16968 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164783533 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18081] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18081/stat : 18081 (java) S 18075 18077 16968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164783533 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18082] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18082/stat : 18082 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18083] ppid=18075 vsize=915456 CPUtime=0.21
/proc/18077/task/18083/stat : 18083 (java) S 18075 18077 16968 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18084] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18084/stat : 18084 (java) S 18075 18077 16968 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18085] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18085/stat : 18085 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.63
Current children cumulated vsize (KiB) 915456

[startup+51.3175 s]
/proc/loadavg: 1.96 1.98 1.99 3/89 18085
/proc/meminfo: memFree=1353472/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915456 CPUtime=51.25
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 9232 0 1 0 5119 6 0 0 25 0 8 0 164783530 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228864 8967 2524 14 0 215334 0
[pid=18077/tid=18079] ppid=18075 vsize=915456 CPUtime=0.03
/proc/18077/task/18079/stat : 18079 (java) S 18075 18077 16968 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164783533 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18080] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18080/stat : 18080 (java) S 18075 18077 16968 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164783533 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18081] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18081/stat : 18081 (java) S 18075 18077 16968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164783533 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18082] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18082/stat : 18082 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18083] ppid=18075 vsize=915456 CPUtime=0.21
/proc/18077/task/18083/stat : 18083 (java) S 18075 18077 16968 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18084] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18084/stat : 18084 (java) S 18075 18077 16968 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18085] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18085/stat : 18085 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.25
Current children cumulated vsize (KiB) 915456

[startup+102.536 s]
/proc/loadavg: 2.14 2.03 2.01 3/89 18085
/proc/meminfo: memFree=1340160/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915456 CPUtime=102.41
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 9232 0 1 0 10235 6 0 0 25 0 8 0 164783530 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073851433 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228864 8967 2524 14 0 215334 0
[pid=18077/tid=18079] ppid=18075 vsize=915456 CPUtime=0.03
/proc/18077/task/18079/stat : 18079 (java) S 18075 18077 16968 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164783533 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18080] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18080/stat : 18080 (java) S 18075 18077 16968 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164783533 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18081] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18081/stat : 18081 (java) S 18075 18077 16968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164783533 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18082] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18082/stat : 18082 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18083] ppid=18075 vsize=915456 CPUtime=0.21
/proc/18077/task/18083/stat : 18083 (java) S 18075 18077 16968 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18084] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18084/stat : 18084 (java) S 18075 18077 16968 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18085] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18085/stat : 18085 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 915456

[startup+162.609 s]
/proc/loadavg: 2.05 2.02 2.00 3/89 18085
/proc/meminfo: memFree=1340160/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915456 CPUtime=162.43
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 9232 0 1 0 16237 6 0 0 25 0 8 0 164783530 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804285 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 915456

[startup+1483.28 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 18285
/proc/meminfo: memFree=1312384/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915456 CPUtime=1481.62
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 9232 0 1 0 148143 19 0 0 25 0 8 0 164783530 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228864 8967 2524 14 0 215334 0
[pid=18077/tid=18079] ppid=18075 vsize=915456 CPUtime=0.03
/proc/18077/task/18079/stat : 18079 (java) S 18075 18077 16968 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164783533 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18080] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18080/stat : 18080 (java) S 18075 18077 16968 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164783533 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18081] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18081/stat : 18081 (java) S 18075 18077 16968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164783533 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18082] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18082/stat : 18082 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18083] ppid=18075 vsize=915456 CPUtime=0.21
/proc/18077/task/18083/stat : 18083 (java) S 18075 18077 16968 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18084] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18084/stat : 18084 (java) S 18075 18077 16968 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18085] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18085/stat : 18085 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.62
Current children cumulated vsize (KiB) 915456

[startup+1543.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 18285
/proc/meminfo: memFree=1312384/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915456 CPUtime=1541.58
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 9232 0 1 0 154139 19 0 0 25 0 8 0 164783530 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228864 8967 2524 14 0 215334 0
[pid=18077/tid=18079] ppid=18075 vsize=915456 CPUtime=0.03
/proc/18077/task/18079/stat : 18079 (java) S 18075 18077 16968 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164783533 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18080] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18080/stat : 18080 (java) S 18075 18077 16968 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164783533 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18081] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18081/stat : 18081 (java) S 18075 18077 16968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164783533 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18082] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18082/stat : 18082 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18083] ppid=18075 vsize=915456 CPUtime=0.21
/proc/18077/task/18083/stat : 18083 (java) S 18075 18077 16968 0 -1 64 393 0 0 0 21 0 0 0 16 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18084] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18084/stat : 18084 (java) S 18075 18077 16968 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18085] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18085/stat : 18085 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164783536 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 915456

[startup+1603.34 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 18285
/proc/meminfo: memFree=1293824/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915456 CPUtime=1601.53
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 9233 0 1 0 160134 19 0 0 25 0 8 0 164783530 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228864 8968 2524 14 0 215334 0
[pid=18077/tid=18079] ppid=18075 vsize=915456 CPUtime=0.03
/proc/18077/task/18079/stat : 18079 (java) S 18075 18077 16968 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164783533 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18080] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18080/stat : 18080 (java) S 18075 18077 16968 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164783533 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18081] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18081/stat : 18081 (java) S 18075 18077 16968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164783533 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18082] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18082/stat : 18082 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18083] ppid=18075 vsize=915456 CPUtime=0.22
/proc/18077/task/18083/stat : 18083 (java) S 18075 18077 16968 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18084] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18084/stat : 18084 (java) S 18075 18077 16968 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18085] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18085/stat : 18085 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.53
Current children cumulated vsize (KiB) 915456

[startup+1663.35 s]
/proc/loadavg: 2.08 2.02 2.01 3/89 18285
/proc/meminfo: memFree=1293824/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915456 CPUtime=1661.24
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 9233 0 1 0 166105 19 0 0 25 0 8 0 164783530 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818713 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228864 8968 2524 14 0 215334 0
[pid=18077/tid=18079] ppid=18075 vsize=915456 CPUtime=0.03
/proc/18077/task/18079/stat : 18079 (java) S 18075 18077 16968 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164783533 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18080] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18080/stat : 18080 (java) S 18075 18077 16968 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164783533 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18081] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18081/stat : 18081 (java) S 18075 18077 16968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164783533 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18082] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18082/stat : 18082 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18083] ppid=18075 vsize=915456 CPUtime=0.22
/proc/18077/task/18083/stat : 18083 (java) S 18075 18077 16968 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18084] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18084/stat : 18084 (java) S 18075 18077 16968 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18085] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18085/stat : 18085 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.24
Current children cumulated vsize (KiB) 915456

[startup+1723.36 s]
/proc/loadavg: 2.03 2.01 2.00 3/89 18285
/proc/meminfo: memFree=1293824/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915456 CPUtime=1720.96
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 9233 0 1 0 172077 19 0 0 25 0 8 0 164783530 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797964 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228864 8968 2524 14 0 215334 0
[pid=18077/tid=18079] ppid=18075 vsize=915456 CPUtime=0.03
/proc/18077/task/18079/stat : 18079 (java) S 18075 18077 16968 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164783533 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18080] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18080/stat : 18080 (java) S 18075 18077 16968 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164783533 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18081] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18081/stat : 18081 (java) S 18075 18077 16968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164783533 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18082] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18082/stat : 18082 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18083] ppid=18075 vsize=915456 CPUtime=0.22
/proc/18077/task/18083/stat : 18083 (java) S 18075 18077 16968 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18084] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18084/stat : 18084 (java) S 18075 18077 16968 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18085] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18085/stat : 18085 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.96
Current children cumulated vsize (KiB) 915456

[startup+1783.37 s]
/proc/loadavg: 2.01 2.00 2.00 3/89 18285
/proc/meminfo: memFree=1293824/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915456 CPUtime=1780.71
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 9233 0 1 0 178051 20 0 0 25 0 8 0 164783530 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228864 8968 2524 14 0 215334 0
[pid=18077/tid=18079] ppid=18075 vsize=915456 CPUtime=0.03
/proc/18077/task/18079/stat : 18079 (java) S 18075 18077 16968 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164783533 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18080] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18080/stat : 18080 (java) S 18075 18077 16968 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164783533 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18081] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18081/stat : 18081 (java) S 18075 18077 16968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164783533 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18082] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18082/stat : 18082 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18083] ppid=18075 vsize=915456 CPUtime=0.22
/proc/18077/task/18083/stat : 18083 (java) S 18075 18077 16968 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18084] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18084/stat : 18084 (java) S 18075 18077 16968 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18085] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18085/stat : 18085 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.71
Current children cumulated vsize (KiB) 915456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.83 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 18285
/proc/meminfo: memFree=1293824/2055920 swapFree=4184048/4192956
[pid=18077] ppid=18075 vsize=915456 CPUtime=1800.07
/proc/18077/stat : 18077 (java) R 18075 18077 16968 0 -1 0 9233 0 1 0 179987 20 0 0 25 0 8 0 164783530 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794928 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18077/statm: 228864 8968 2524 14 0 215334 0
[pid=18077/tid=18079] ppid=18075 vsize=915456 CPUtime=0.03
/proc/18077/task/18079/stat : 18079 (java) S 18075 18077 16968 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 164783533 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18080] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18080/stat : 18080 (java) S 18075 18077 16968 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164783533 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18081] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18081/stat : 18081 (java) S 18075 18077 16968 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164783533 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18082] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18082/stat : 18082 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18083] ppid=18075 vsize=915456 CPUtime=0.22
/proc/18077/task/18083/stat : 18083 (java) S 18075 18077 16968 0 -1 64 394 0 0 0 22 0 0 0 16 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18084] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18084/stat : 18084 (java) S 18075 18077 16968 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18077/tid=18085] ppid=18075 vsize=915456 CPUtime=0
/proc/18077/task/18085/stat : 18085 (java) S 18075 18077 16968 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164783536 937426944 8968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915456

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

Child status: 143
Real time (s): 1802.86
CPU time (s): 1800.1
CPU user time (s): 1799.9
CPU system time (s): 0.206968
CPU usage (%): 99.8468
Max. virtual memory (cumulated for all children) (KiB): 915456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9250
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= 37592
involuntary context switches= 73965

runsolver used 2.96055 s user time and 6.75897 s system time

The end

Launcher Data (download as text)

Begin job on node45 on Sun Jan  7 09:57:26 UTC 2007


IDJOB= 203747
IDBENCH= 3979
FILE ID= node45/203747-1168163846

PBS_JOBID= 3478545

Free space on /tmp= 66543 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-27/rand-27-27-351-163-55021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203747-1168163846/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-203747-1168163846 -o ROOT/results/node45/solver-203747-1168163846 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203747-1168163846/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  f8fb9ae66b90ba73795e8a335c4e455c

RANDOM SEED= 645748094

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.259
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.259
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:       1379792 kB
Buffers:         42204 kB
Cached:         482696 kB
SwapCached:       3188 kB
Active:         341160 kB
Inactive:       274736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1379792 kB
SwapTotal:     4192956 kB
SwapFree:      4184048 kB
Dirty:            5932 kB
Writeback:           0 kB
Mapped:         105428 kB
Slab:            45392 kB
Committed_AS:  3822344 kB
PageTables:       1996 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66543 MiB



End job on node45 on Sun Jan  7 10:27:29 UTC 2007