Trace number 195136

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.13 1801.05

General information on the benchmark

Namerandom/rand-2-50-23/
rand-2-50-23-587-230-28_ext.xml
MD5SUM52ed2568202fcbac8bc8a2c645b9bee6
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark34.2198
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables50
Number of constraints471
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension471
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=esac.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/195136-1168111033/unknown.xml
0.41	   
0.41	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.45	     nbVariables=50  nbDomainTypes=1  minDomainSize=23  maxDomainSize=23
0.45	       =>  wckTime=0.1  cpuTime=0.08  mem=6M951
0.45	   
0.45	   relations being loaded...
0.59	   
0.59	   constraints being loaded...
0.73	     nbConstraints=471  nbRelationTypes=471  nbExtensionStructures=471  nbSharedExtensionStructures=0
0.73	     nbConflictsStructures=471  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2412  maxDegree=24
0.73	     maxArity=2
0.73	       =>  wckTime=0.384  cpuTime=0.28  mem=17M745
0.78	   
0.78	   solver IterativeSystematicSolver being built... 
0.94	       =>  wckTime=0.59  cpuTime=0.42  mem=15M591
1.00	   
1.00	   preprocessing
1.00	     nbConstraintChecks=102694  nbPropagations=1124  nbRevisions=9269  nbUselessRevisions=7761  nbSingletonTests=59
1.00	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
1.00	       =>  wckTime=0.056  cpuTime=0.04  mem=15M591
1.02	   
1.02	   search
1.02	     run=0  nbConstraintChecks=51127  nbPropagations=1698  nbRevisions=16627  nbUselessRevisions=13721  nbAssignments=29
1.03	     nbFailedAssignments=7  nbBacktracks=13  nbVisitedNodes=44  nbRestartNogoods=0  mapSize=9  nbInferences=0
1.03	     nbTooLargeKeys=0
1.03	       =>  wckTime=0.085  cpuTime=0.06  mem=15M591
1.05	   
1.05	   search
1.05	     run=1  nbConstraintChecks=139176  nbPropagations=4407  nbRevisions=44437  nbUselessRevisions=36731
1.05	     nbAssignments=82  nbFailedAssignments=17  nbBacktracks=29  nbVisitedNodes=100  nbRestartNogoods=3  mapSize=22
1.05	     nbInferences=0  nbTooLargeKeys=0
1.05	       =>  wckTime=0.109  cpuTime=0.08  mem=15M591
1.06	   
1.06	   search
1.06	     run=2  nbConstraintChecks=215659  nbPropagations=8050  nbRevisions=85180  nbUselessRevisions=70545
1.06	     nbAssignments=128  nbFailedAssignments=32  nbBacktracks=51  nbVisitedNodes=173  nbRestartNogoods=6  mapSize=40
1.06	     nbInferences=0  nbTooLargeKeys=0
1.06	       =>  wckTime=0.124  cpuTime=0.09  mem=15M591
1.09	   
1.09	   search
1.09	     run=3  nbConstraintChecks=321006  nbPropagations=13030  nbRevisions=145002  nbUselessRevisions=120245
1.09	     nbAssignments=197  nbFailedAssignments=55  nbBacktracks=85  nbVisitedNodes=286  nbRestartNogoods=7  mapSize=70
1.09	     nbInferences=0  nbTooLargeKeys=0
1.09	       =>  wckTime=0.147  cpuTime=0.11  mem=15M591
1.11	   
1.11	   search
1.11	     run=4  nbConstraintChecks=480750  nbPropagations=19889  nbRevisions=229133  nbUselessRevisions=190404
1.11	     nbAssignments=306  nbFailedAssignments=81  nbBacktracks=135  nbVisitedNodes=418  nbRestartNogoods=11  mapSize=105
1.11	     nbInferences=0  nbTooLargeKeys=0
1.11	       =>  wckTime=0.174  cpuTime=0.14  mem=15M591
1.16	   
1.16	   search
1.16	     run=5  nbConstraintChecks=685549  nbPropagations=29267  nbRevisions=349955  nbUselessRevisions=290735
1.16	     nbAssignments=439  nbFailedAssignments=127  nbBacktracks=210  nbVisitedNodes=638  nbRestartNogoods=16  mapSize=168
1.16	     nbInferences=0  nbTooLargeKeys=0
1.16	       =>  wckTime=0.22  cpuTime=0.17  mem=15M591
1.21	   
1.21	   search
1.21	     run=6  nbConstraintChecks=1004523  nbPropagations=42287  nbRevisions=526089  nbUselessRevisions=436575
1.21	     nbAssignments=630  nbFailedAssignments=194  nbBacktracks=325  nbVisitedNodes=954  nbRestartNogoods=19  mapSize=256
1.21	     nbInferences=0  nbTooLargeKeys=0
1.21	       =>  wckTime=0.273  cpuTime=0.23  mem=15M591
1.29	   
1.29	   search
1.29	     run=7  nbConstraintChecks=1424928  nbPropagations=60366  nbRevisions=777313  nbUselessRevisions=643697
1.29	     nbAssignments=911  nbFailedAssignments=292  nbBacktracks=496  nbVisitedNodes=1418  nbRestartNogoods=23  mapSize=392
1.29	     nbInferences=0  nbTooLargeKeys=0
1.29	       =>  wckTime=0.35  cpuTime=0.3  mem=15M591
1.42	   
1.42	   search
1.42	     run=8  nbConstraintChecks=2200042  nbPropagations=87518  nbRevisions=1166674  nbUselessRevisions=963924
1.42	     nbAssignments=1388  nbFailedAssignments=475  nbBacktracks=753  nbVisitedNodes=2194  nbRestartNogoods=29
1.42	     mapSize=622  nbInferences=0  nbTooLargeKeys=0
1.42	       =>  wckTime=0.482  cpuTime=0.42  mem=15M591
1.60	   
1.60	   search
1.60	     run=9  nbConstraintChecks=3258283  nbPropagations=126662  nbRevisions=1745540  nbUselessRevisions=1440005
1.60	     nbAssignments=2020  nbFailedAssignments=711  nbBacktracks=1138  nbVisitedNodes=3270  nbRestartNogoods=34
1.60	     mapSize=951  nbInferences=0  nbTooLargeKeys=0
1.60	       =>  wckTime=0.659  cpuTime=0.59  mem=15M591
1.65	   
1.65	   INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=15M591)
1.82	   
1.82	   search
1.82	     run=10  nbConstraintChecks=4716006  nbPropagations=182714  nbRevisions=2581432  nbUselessRevisions=2126933
1.82	     nbAssignments=2925  nbFailedAssignments=1028  nbBacktracks=1714  nbVisitedNodes=4787  nbRestartNogoods=38
1.82	       =>  wckTime=0.885  cpuTime=0.8  mem=15M591
2.12	   
2.12	   search
2.12	     run=11  nbConstraintChecks=6729422  nbPropagations=263827  nbRevisions=3789627  nbUselessRevisions=3120919
2.12	     nbAssignments=4305  nbFailedAssignments=1492  nbBacktracks=2580  nbVisitedNodes=7028  nbRestartNogoods=53
2.12	       =>  wckTime=1.181  cpuTime=1.1  mem=15M591
2.64	   
2.64	   search
2.64	     run=12  nbConstraintChecks=10332999  nbPropagations=385325  nbRevisions=5638546  nbUselessRevisions=4642707
2.64	     nbAssignments=6386  nbFailedAssignments=2251  nbBacktracks=3877  nbVisitedNodes=10550  nbRestartNogoods=60
2.64	       =>  wckTime=1.699  cpuTime=1.6  mem=15M591
3.33	   
3.33	   search
3.33	     run=13  nbConstraintChecks=15063382  nbPropagations=564638  nbRevisions=8376264  nbUselessRevisions=6894338
3.33	     nbAssignments=9487  nbFailedAssignments=3395  nbBacktracks=5826  nbVisitedNodes=15798  nbRestartNogoods=64
3.33	       =>  wckTime=2.393  cpuTime=2.3  mem=15M591
4.31	   
4.31	   search
4.31	     run=14  nbConstraintChecks=21816425  nbPropagations=824462  nbRevisions=12340012  nbUselessRevisions=10149399
4.31	     nbAssignments=13871  nbFailedAssignments=4847  nbBacktracks=8745  nbVisitedNodes=23068  nbRestartNogoods=75
4.31	       =>  wckTime=3.369  cpuTime=3.26  mem=15M591
5.80	   
5.80	   search
5.80	     run=15  nbConstraintChecks=32083221  nbPropagations=1206807  nbRevisions=18165054  nbUselessRevisions=14926347
5.80	     nbAssignments=20553  nbFailedAssignments=7114  nbBacktracks=13123  nbVisitedNodes=34171  nbRestartNogoods=88
5.80	       =>  wckTime=4.859  cpuTime=4.74  mem=16M566
8.14	   
8.14	   search
8.14	     run=16  nbConstraintChecks=48225692  nbPropagations=1780453  nbRevisions=26983499  nbUselessRevisions=22167340
8.14	     nbAssignments=30961  nbFailedAssignments=10907  nbBacktracks=19691  nbVisitedNodes=51751  nbRestartNogoods=98
8.14	       =>  wckTime=7.201  cpuTime=7.06  mem=16M566
11.70	   
11.70	   search
11.70	     run=17  nbConstraintChecks=73063063  nbPropagations=2643505  nbRevisions=40296316  nbUselessRevisions=33096013
11.70	     nbAssignments=46576  nbFailedAssignments=16658  nbBacktracks=29543  nbVisitedNodes=78212  nbRestartNogoods=106
11.70	       =>  wckTime=10.759  cpuTime=10.59  mem=16M566
17.02	   
17.02	   search
17.02	     run=18  nbConstraintChecks=108378947  nbPropagations=3941005  nbRevisions=60268452  nbUselessRevisions=49505758
17.02	     nbAssignments=69865  nbFailedAssignments=25157  nbBacktracks=44321  nbVisitedNodes=117807  nbRestartNogoods=119
17.02	       =>  wckTime=16.085  cpuTime=15.85  mem=16M566
25.19	   
25.19	   search
25.19	     run=19  nbConstraintChecks=164219508  nbPropagations=5898511  nbRevisions=90501291  nbUselessRevisions=74343125
25.19	     nbAssignments=104697  nbFailedAssignments=37789  nbBacktracks=66492  nbVisitedNodes=176794  nbRestartNogoods=131
25.19	       =>  wckTime=24.248  cpuTime=23.97  mem=16M566
37.08	   
37.08	   search
37.08	     run=20  nbConstraintChecks=249639778  nbPropagations=8819659  nbRevisions=135733051  nbUselessRevisions=111463394
37.08	     nbAssignments=156281  nbFailedAssignments=56111  nbBacktracks=99745  nbVisitedNodes=263498  nbRestartNogoods=142
37.08	       =>  wckTime=36.141  cpuTime=35.76  mem=16M566
55.93	   
55.93	   search
55.93	     run=21  nbConstraintChecks=375843305  nbPropagations=13198797  nbRevisions=203599535  nbUselessRevisions=167136520
55.93	     nbAssignments=233594  nbFailedAssignments=83537  nbBacktracks=149624  nbVisitedNodes=393366  nbRestartNogoods=159
55.93	       =>  wckTime=54.994  cpuTime=54.61  mem=16M566
83.69	   
83.69	   search
83.69	     run=22  nbConstraintChecks=559189582  nbPropagations=19760010  nbRevisions=305356412  nbUselessRevisions=250675259
83.69	     nbAssignments=350220  nbFailedAssignments=125334  nbBacktracks=224445  nbVisitedNodes=590064  nbRestartNogoods=166
83.69	       =>  wckTime=82.75  cpuTime=82.36  mem=16M566
126.83	   
126.83	   search
126.83	     run=23  nbConstraintChecks=848585334  nbPropagations=29652178  nbRevisions=459539352  nbUselessRevisions=377312740
126.83	     nbAssignments=527093  nbFailedAssignments=189969  nbBacktracks=336676  nbVisitedNodes=890004  nbRestartNogoods=177
126.83	       =>  wckTime=125.895  cpuTime=125.49  mem=16M566
187.98	   
187.98	   search
187.98	     run=24  nbConstraintChecks=1245638077  nbPropagations=44375304  nbRevisions=688574013  nbUselessRevisions=565620513
187.98	     nbAssignments=786876  nbFailedAssignments=281400  nbBacktracks=505019  nbVisitedNodes=1327635  nbRestartNogoods=185
187.98	       =>  wckTime=187.043  cpuTime=186.61  mem=16M566
280.26	   
280.26	   search
280.26	     run=25  nbConstraintChecks=1857233884  nbPropagations=66345981  nbRevisions=1028500312
280.26	     nbUselessRevisions=844729954  nbAssignments=1175741  nbFailedAssignments=417742  nbBacktracks=757533
280.26	     nbVisitedNodes=1978963  nbRestartNogoods=200
280.26	       =>  wckTime=279.317  cpuTime=278.86  mem=16M566
423.84	   
423.84	   search
423.84	     run=26  nbConstraintChecks=2823006577  nbPropagations=99399239  nbRevisions=1541436553
423.84	     nbUselessRevisions=1265717347  nbAssignments=1769452  nbFailedAssignments=632676  nbBacktracks=1136300
423.84	     nbVisitedNodes=2983152  nbRestartNogoods=214
423.84	       =>  wckTime=422.897  cpuTime=422.39  mem=16M566
633.32	   
633.32	   search
633.32	     run=27  nbConstraintChecks=4191428743  nbPropagations=149032009  nbRevisions=2309362223
633.32	     nbUselessRevisions=1896251851  nbAssignments=2653061  nbFailedAssignments=948119  nbBacktracks=1704452
633.32	     nbVisitedNodes=4478947  nbRestartNogoods=226
633.32	       =>  wckTime=632.385  cpuTime=631.82  mem=16M566
960.93	   
960.93	   search
960.93	     run=28  nbConstraintChecks=6359747777  nbPropagations=224283744  nbRevisions=3478744548
960.93	     nbUselessRevisions=2857343203  nbAssignments=4006676  nbFailedAssignments=1449497  nbBacktracks=2556682
960.93	     nbVisitedNodes=6788195  nbRestartNogoods=239
960.93	       =>  wckTime=959.995  cpuTime=959.32  mem=16M566
1453.86	   
1453.86	   search
1453.86	     run=29  nbConstraintChecks=9670084926  nbPropagations=337550558  nbRevisions=5247569022
1453.86	     nbUselessRevisions=4311624696  nbAssignments=6006118  nbFailedAssignments=2170587  nbBacktracks=3835024
1453.86	     nbVisitedNodes=10173519  nbRestartNogoods=256
1453.86	       =>  wckTime=1452.919  cpuTime=1452.09  mem=16M566

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/node13/watcher-195136-1168111033 -o ROOT/results/node13/solver-195136-1168111033 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195136-1168111033/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 3/87 16453
/proc/meminfo: memFree=1693776/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=18540 CPUtime=0
/proc/16452/stat : 16452 (runsolver) R 16450 16452 15694 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 159498590 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16452/statm: 4635 279 244 17 0 2626 0

[startup+0.10298 s]
/proc/loadavg: 1.92 1.98 1.99 3/87 16453
/proc/meminfo: memFree=1693776/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=907808 CPUtime=0.05
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 2439 0 1 0 4 1 0 0 21 0 4 0 159498590 929595392 2186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155840461 0 4 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/16452/statm: 226952 2186 1206 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.511035 s]
/proc/loadavg: 1.92 1.98 1.99 3/87 16453
/proc/meminfo: memFree=1693776/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915328 CPUtime=0.44
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 6564 0 1 0 40 4 0 0 25 0 8 0 159498590 937295872 6303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16452/statm: 228832 6303 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328

[startup+1.33514 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 16460
/proc/meminfo: memFree=1666072/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915460 CPUtime=1.26
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 9660 0 1 0 119 7 0 0 25 0 8 0 159498590 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813764 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16452/statm: 228865 9398 2524 14 0 215335 0
[pid=16452/tid=16454] ppid=16450 vsize=915460 CPUtime=0.03
/proc/16452/task/16454/stat : 16454 (java) S 16450 16452 15694 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159498598 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16455] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16455/stat : 16455 (java) S 16450 16452 15694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159498598 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16456] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16456/stat : 16456 (java) S 16450 16452 15694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159498598 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16457] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16457/stat : 16457 (java) S 16450 16452 15694 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159498602 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16458] ppid=16450 vsize=915460 CPUtime=0.21
/proc/16452/task/16458/stat : 16458 (java) S 16450 16452 15694 0 -1 64 381 0 0 0 20 1 0 0 15 0 8 0 159498602 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16459] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16459/stat : 16459 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 159498602 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16460] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16460/stat : 16460 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159498602 937431040 9398 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915460

[startup+2.98836 s]
/proc/loadavg: 1.92 1.98 1.99 3/94 16460
/proc/meminfo: memFree=1665944/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915460 CPUtime=2.91
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 9677 0 1 0 284 7 0 0 25 0 8 0 159498590 937431040 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840316 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16452/statm: 228865 9414 2524 14 0 215335 0
[pid=16452/tid=16454] ppid=16450 vsize=915460 CPUtime=0.03
/proc/16452/task/16454/stat : 16454 (java) S 16450 16452 15694 0 -1 64 410 0 0 0 3 0 0 0 17 0 8 0 159498598 937431040 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16455] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16455/stat : 16455 (java) S 16450 16452 15694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159498598 937431040 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16456] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16456/stat : 16456 (java) S 16450 16452 15694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159498598 937431040 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16457] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16457/stat : 16457 (java) S 16450 16452 15694 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159498602 937431040 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16458] ppid=16450 vsize=915460 CPUtime=0.24
/proc/16452/task/16458/stat : 16458 (java) S 16450 16452 15694 0 -1 64 398 0 0 0 23 1 0 0 15 0 8 0 159498602 937431040 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16459] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16459/stat : 16459 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 159498602 937431040 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16460] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16460/stat : 16460 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159498602 937431040 9414 18446744073709551615 134512640 134570532 4294956464 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) 915460

[startup+6.2718 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 16460
/proc/meminfo: memFree=1665944/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915460 CPUtime=6.16
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 9678 0 1 0 609 7 0 0 25 0 8 0 159498590 937431040 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820454 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16452/statm: 228865 9414 2524 14 0 215335 0
[pid=16452/tid=16454] ppid=16450 vsize=915460 CPUtime=0.03
/proc/16452/task/16454/stat : 16454 (java) S 16450 16452 15694 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159498598 937431040 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16455] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16455/stat : 16455 (java) S 16450 16452 15694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159498598 937431040 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16456] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16456/stat : 16456 (java) S 16450 16452 15694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159498598 937431040 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16457] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16457/stat : 16457 (java) S 16450 16452 15694 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159498602 937431040 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16458] ppid=16450 vsize=915460 CPUtime=0.24
/proc/16452/task/16458/stat : 16458 (java) S 16450 16452 15694 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 159498602 937431040 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16459] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16459/stat : 16459 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 159498602 937431040 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16460] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16460/stat : 16460 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159498602 937431040 9414 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915460

[startup+12.7577 s]
/proc/loadavg: 1.93 1.98 1.99 3/94 16460
/proc/meminfo: memFree=1665960/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915460 CPUtime=12.59
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 9679 0 1 0 1252 7 0 0 25 0 8 0 159498590 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812715 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16452/statm: 228865 9415 2524 14 0 215335 0
[pid=16452/tid=16454] ppid=16450 vsize=915460 CPUtime=0.03
/proc/16452/task/16454/stat : 16454 (java) S 16450 16452 15694 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159498598 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16455] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16455/stat : 16455 (java) S 16450 16452 15694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159498598 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16456] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16456/stat : 16456 (java) S 16450 16452 15694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159498598 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16457] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16457/stat : 16457 (java) S 16450 16452 15694 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159498602 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16458] ppid=16450 vsize=915460 CPUtime=0.24
/proc/16452/task/16458/stat : 16458 (java) S 16450 16452 15694 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 159498602 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16459] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16459/stat : 16459 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 159498602 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16460] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16460/stat : 16460 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159498602 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915460

[startup+25.5924 s]
/proc/loadavg: 1.87 1.97 1.98 3/93 16537
/proc/meminfo: memFree=1734248/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915460 CPUtime=25.33
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 9680 0 1 0 2525 8 0 0 25 0 8 0 159498590 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814311 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16452/statm: 228865 9415 2524 14 0 215335 0
[pid=16452/tid=16454] ppid=16450 vsize=915460 CPUtime=0.03
/proc/16452/task/16454/stat : 16454 (java) S 16450 16452 15694 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159498598 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16455] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16455/stat : 16455 (java) S 16450 16452 15694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159498598 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16456] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16456/stat : 16456 (java) S 16450 16452 15694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159498598 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16457] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16457/stat : 16457 (java) S 16450 16452 15694 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159498602 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16458] ppid=16450 vsize=915460 CPUtime=0.24
/proc/16452/task/16458/stat : 16458 (java) S 16450 16452 15694 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 159498602 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16459] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16459/stat : 16459 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 159498602 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16460] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16460/stat : 16460 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159498602 937431040 9415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915460

[startup+51.2078 s]
/proc/loadavg: 1.92 1.97 1.98 3/95 16547
/proc/meminfo: memFree=1730016/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915460 CPUtime=50.84
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 9681 0 1 0 5076 8 0 0 25 0 8 0 159498590 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834753 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16452/statm: 228865 9416 2524 14 0 215335 0
[pid=16452/tid=16454] ppid=16450 vsize=915460 CPUtime=0.03
/proc/16452/task/16454/stat : 16454 (java) S 16450 16452 15694 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16455] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16455/stat : 16455 (java) S 16450 16452 15694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16456] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16456/stat : 16456 (java) S 16450 16452 15694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16457] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16457/stat : 16457 (java) S 16450 16452 15694 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16458] ppid=16450 vsize=915460 CPUtime=0.25
/proc/16452/task/16458/stat : 16458 (java) S 16450 16452 15694 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16459] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16459/stat : 16459 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16460] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16460/stat : 16460 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915460

[startup+102.452 s]
/proc/loadavg: 1.96 1.97 1.98 3/95 16547
/proc/meminfo: memFree=1730016/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915460 CPUtime=102.07
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 9681 0 1 0 10198 9 0 0 25 0 8 0 159498590 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820651 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16452/statm: 228865 9416 2524 14 0 215335 0
[pid=16452/tid=16454] ppid=16450 vsize=915460 CPUtime=0.03
/proc/16452/task/16454/stat : 16454 (java) S 16450 16452 15694 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16455] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16455/stat : 16455 (java) S 16450 16452 15694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16456] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16456/stat : 16456 (java) S 16450 16452 15694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16457] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16457/stat : 16457 (java) S 16450 16452 15694 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16458] ppid=16450 vsize=915460 CPUtime=0.25
/proc/16452/task/16458/stat : 16458 (java) S 16450 16452 15694 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16459] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16459/stat : 16459 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16460] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16460/stat : 16460 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 915460

[startup+162.548 s]
/proc/loadavg: 1.98 1.97 1.98 3/95 16549
/proc/meminfo: memFree=1729888/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915460 CPUtime=162.14
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 9681 0 1 0 16205 9 0 0 25 0 8 0 159498590 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1423.67
Current children cumulated vsize (KiB) 915460

[startup+1484.57 s]
/proc/loadavg: 2.00 2.02 2.00 3/95 16549
/proc/meminfo: memFree=1729184/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915460 CPUtime=1483.75
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 9681 0 1 0 148356 19 0 0 25 0 8 0 159498590 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819616 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16452/statm: 228865 9416 2524 14 0 215335 0
[pid=16452/tid=16454] ppid=16450 vsize=915460 CPUtime=0.03
/proc/16452/task/16454/stat : 16454 (java) S 16450 16452 15694 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16455] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16455/stat : 16455 (java) S 16450 16452 15694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16456] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16456/stat : 16456 (java) S 16450 16452 15694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16457] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16457/stat : 16457 (java) S 16450 16452 15694 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16458] ppid=16450 vsize=915460 CPUtime=0.25
/proc/16452/task/16458/stat : 16458 (java) S 16450 16452 15694 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16459] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16459/stat : 16459 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16460] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16460/stat : 16460 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1483.75
Current children cumulated vsize (KiB) 915460

[startup+1544.67 s]
/proc/loadavg: 2.00 2.02 2.00 3/95 16549
/proc/meminfo: memFree=1729120/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915460 CPUtime=1543.82
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 9681 0 1 0 154363 19 0 0 25 0 8 0 159498590 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820720 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16452/statm: 228865 9416 2524 14 0 215335 0
[pid=16452/tid=16454] ppid=16450 vsize=915460 CPUtime=0.03
/proc/16452/task/16454/stat : 16454 (java) S 16450 16452 15694 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16455] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16455/stat : 16455 (java) S 16450 16452 15694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16456] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16456/stat : 16456 (java) S 16450 16452 15694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16457] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16457/stat : 16457 (java) S 16450 16452 15694 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16458] ppid=16450 vsize=915460 CPUtime=0.25
/proc/16452/task/16458/stat : 16458 (java) S 16450 16452 15694 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16459] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16459/stat : 16459 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16460] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16460/stat : 16460 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1543.82
Current children cumulated vsize (KiB) 915460

[startup+1604.76 s]
/proc/loadavg: 2.00 2.01 2.00 3/95 16549
/proc/meminfo: memFree=1729056/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915460 CPUtime=1603.9
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 9681 0 1 0 160370 20 0 0 25 0 8 0 159498590 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819853 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16452/statm: 228865 9416 2524 14 0 215335 0
[pid=16452/tid=16454] ppid=16450 vsize=915460 CPUtime=0.03
/proc/16452/task/16454/stat : 16454 (java) S 16450 16452 15694 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16455] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16455/stat : 16455 (java) S 16450 16452 15694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16456] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16456/stat : 16456 (java) S 16450 16452 15694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16457] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16457/stat : 16457 (java) S 16450 16452 15694 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16458] ppid=16450 vsize=915460 CPUtime=0.25
/proc/16452/task/16458/stat : 16458 (java) S 16450 16452 15694 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16459] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16459/stat : 16459 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16460] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16460/stat : 16460 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1603.9
Current children cumulated vsize (KiB) 915460

[startup+1664.86 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 16549
/proc/meminfo: memFree=1728992/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915460 CPUtime=1663.98
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 9681 0 1 0 166378 20 0 0 25 0 8 0 159498590 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16452/statm: 228865 9416 2524 14 0 215335 0
[pid=16452/tid=16454] ppid=16450 vsize=915460 CPUtime=0.03
/proc/16452/task/16454/stat : 16454 (java) S 16450 16452 15694 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16455] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16455/stat : 16455 (java) S 16450 16452 15694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16456] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16456/stat : 16456 (java) S 16450 16452 15694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16457] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16457/stat : 16457 (java) S 16450 16452 15694 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16458] ppid=16450 vsize=915460 CPUtime=0.25
/proc/16452/task/16458/stat : 16458 (java) S 16450 16452 15694 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16459] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16459/stat : 16459 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16460] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16460/stat : 16460 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1663.98
Current children cumulated vsize (KiB) 915460

[startup+1724.95 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 16549
/proc/meminfo: memFree=1728928/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915460 CPUtime=1724.06
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 9681 0 1 0 172385 21 0 0 25 0 8 0 159498590 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16452/statm: 228865 9416 2524 14 0 215335 0
[pid=16452/tid=16454] ppid=16450 vsize=915460 CPUtime=0.03
/proc/16452/task/16454/stat : 16454 (java) S 16450 16452 15694 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16455] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16455/stat : 16455 (java) S 16450 16452 15694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16456] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16456/stat : 16456 (java) S 16450 16452 15694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16457] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16457/stat : 16457 (java) S 16450 16452 15694 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16458] ppid=16450 vsize=915460 CPUtime=0.25
/proc/16452/task/16458/stat : 16458 (java) S 16450 16452 15694 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16459] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16459/stat : 16459 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16460] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16460/stat : 16460 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1724.06
Current children cumulated vsize (KiB) 915460

[startup+1785.04 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 16549
/proc/meminfo: memFree=1728928/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915460 CPUtime=1784.13
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 9681 0 1 0 178392 21 0 0 25 0 8 0 159498590 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862901 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16452/statm: 228865 9416 2524 14 0 215335 0
[pid=16452/tid=16454] ppid=16450 vsize=915460 CPUtime=0.03
/proc/16452/task/16454/stat : 16454 (java) S 16450 16452 15694 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16455] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16455/stat : 16455 (java) S 16450 16452 15694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16456] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16456/stat : 16456 (java) S 16450 16452 15694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16457] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16457/stat : 16457 (java) S 16450 16452 15694 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16458] ppid=16450 vsize=915460 CPUtime=0.25
/proc/16452/task/16458/stat : 16458 (java) S 16450 16452 15694 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16459] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16459/stat : 16459 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16460] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16460/stat : 16460 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1784.13
Current children cumulated vsize (KiB) 915460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 16549
/proc/meminfo: memFree=1728864/2055920 swapFree=4192812/4192956
[pid=16452] ppid=16450 vsize=915460 CPUtime=1800.08
/proc/16452/stat : 16452 (java) R 16450 16452 15694 0 -1 0 9681 0 1 0 179987 21 0 0 25 0 8 0 159498590 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810697 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16452/statm: 228865 9416 2524 14 0 215335 0
[pid=16452/tid=16454] ppid=16450 vsize=915460 CPUtime=0.03
/proc/16452/task/16454/stat : 16454 (java) S 16450 16452 15694 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16455] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16455/stat : 16455 (java) S 16450 16452 15694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16456] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16456/stat : 16456 (java) S 16450 16452 15694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159498598 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16457] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16457/stat : 16457 (java) S 16450 16452 15694 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16458] ppid=16450 vsize=915460 CPUtime=0.25
/proc/16452/task/16458/stat : 16458 (java) S 16450 16452 15694 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16452/tid=16459] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16459/stat : 16459 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16452/tid=16460] ppid=16450 vsize=915460 CPUtime=0
/proc/16452/task/16460/stat : 16460 (java) S 16450 16452 15694 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159498602 937431040 9416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915460

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

Child status: 143
Real time (s): 1801.05
CPU time (s): 1800.13
CPU user time (s): 1799.91
CPU system time (s): 0.223965
CPU usage (%): 99.9492
Max. virtual memory (cumulated for all children) (KiB): 915460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.223965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9699
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= 37642
involuntary context switches= 39732

runsolver used 1.82172 s user time and 6.14307 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat Jan  6 19:17:14 UTC 2007


IDJOB= 195136
IDBENCH= 3251
FILE ID= node13/195136-1168111033

PBS_JOBID= 3477079

Free space on /tmp= 66307 MiB

BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-28_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195136-1168111033/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-195136-1168111033 -o ROOT/results/node13/solver-195136-1168111033 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195136-1168111033/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  52ed2568202fcbac8bc8a2c645b9bee6

RANDOM SEED= 870465564

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.247
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.247
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:       1694448 kB
Buffers:         36200 kB
Cached:         137608 kB
SwapCached:          0 kB
Active:         196084 kB
Inactive:        86988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1694448 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2148 kB
Writeback:           0 kB
Mapped:         129024 kB
Slab:            62908 kB
Committed_AS:  3874596 kB
PageTables:       2516 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= 66318 MiB



End job on node13 on Sat Jan  6 19:47:23 UTC 2007