Trace number 212741

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 AC? (TO) 1800.08 1802.07

General information on the benchmark

NamepseudoSeries/
primesDimacs/f1000.xml
MD5SUMb612940242fa18a717b5dca5f05715d9
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints5250
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5250
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/212741-1168077254/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.54	     nbVariables=2000  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.54	       =>  wckTime=0.224  cpuTime=0.14  mem=9M844
0.54	   
0.54	   predicates being loaded...
0.54	   
0.54	   constraints being loaded...
1.29	     nbConstraints=5250  nbConvertedConstraints=1000  nbConvertConstraintsChecks=52  nbExtensionStructures=1
1.29	     nbSharedExtensionStructures=999  nbConflictsStructures=7  nbSharedConflictsStructures=5243
1.29	     nbSharedBinaryRepresentations=2  nbEvaluationManagers=6  nbSharedEvaluationManagers=4244  maxDegree=16  maxArity=3
1.29	       =>  wckTime=0.981  cpuTime=0.82  mem=42M41
1.39	   
1.39	   solver IterativeSystematicSolver being built... 
1.71	       =>  wckTime=1.397  cpuTime=1.07  mem=47M290
1.75	   
1.75	   preprocessing
1.75	     nbConstraintChecks=0  nbPropagations=2000  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.75	     detectedInconsistency=no
1.75	       =>  wckTime=0.03  cpuTime=0.02  mem=48M264
2.09	   
2.09	   search
2.09	     run=0  nbConstraintChecks=7227  nbValidityChecks=2302  nbPropagations=4302  nbRevisions=7624
2.09	     nbUselessRevisions=5196  nbAssignments=382  nbFailedAssignments=4  nbBacktracks=24  nbVisitedNodes=394
2.09	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
2.09	       =>  wckTime=0.37  cpuTime=0.32  mem=48M264
2.34	   
2.34	   search
2.34	     run=1  nbConstraintChecks=11952  nbValidityChecks=7037  nbPropagations=10793  nbRevisions=22479
2.34	     nbUselessRevisions=15306  nbAssignments=761  nbFailedAssignments=6  nbBacktracks=48  nbVisitedNodes=783
2.34	     nbRestartNogoods=4  mapSize=16  nbInferences=0  nbTooLargeKeys=0
2.34	       =>  wckTime=0.624  cpuTime=0.57  mem=49M238
2.59	   
2.59	   search
2.59	     run=2  nbConstraintChecks=17253  nbValidityChecks=12577  nbPropagations=19721  nbRevisions=45579
2.59	     nbUselessRevisions=31089  nbAssignments=1136  nbFailedAssignments=11  nbBacktracks=104  nbVisitedNodes=1168
2.59	     nbRestartNogoods=5  mapSize=25  nbInferences=0  nbTooLargeKeys=0
2.59	       =>  wckTime=0.874  cpuTime=0.82  mem=49M238
2.84	   
2.84	   search
2.84	     run=3  nbConstraintChecks=22796  nbValidityChecks=18367  nbPropagations=31192  nbRevisions=77253
2.84	     nbUselessRevisions=52747  nbAssignments=1500  nbFailedAssignments=17  nbBacktracks=167  nbVisitedNodes=1545
2.84	     nbRestartNogoods=6  mapSize=36  nbInferences=0  nbTooLargeKeys=0
2.84	       =>  wckTime=1.127  cpuTime=1.05  mem=49M238
3.10	   
3.10	   search
3.10	     run=4  nbConstraintChecks=26409  nbValidityChecks=21884  nbPropagations=44261  nbRevisions=114364
3.10	     nbUselessRevisions=78246  nbAssignments=1888  nbFailedAssignments=20  nbBacktracks=258  nbVisitedNodes=1937
3.10	     nbRestartNogoods=8  mapSize=39  nbInferences=0  nbTooLargeKeys=0
3.10	       =>  wckTime=1.384  cpuTime=1.31  mem=50M212
3.44	   
3.44	   search
3.44	     run=5  nbConstraintChecks=31579  nbValidityChecks=28049  nbPropagations=59719  nbRevisions=160312
3.44	     nbUselessRevisions=110018  nbAssignments=2357  nbFailedAssignments=23  nbBacktracks=355  nbVisitedNodes=2415
3.44	     nbRestartNogoods=9  mapSize=47  nbInferences=0  nbTooLargeKeys=0
3.44	       =>  wckTime=1.727  cpuTime=1.65  mem=50M212
3.73	   
3.73	   search
3.73	     run=6  nbConstraintChecks=33539  nbValidityChecks=30269  nbPropagations=76200  nbRevisions=209458
3.73	     nbUselessRevisions=144013  nbAssignments=2758  nbFailedAssignments=24  nbBacktracks=470  nbVisitedNodes=2819
3.73	     nbRestartNogoods=10  mapSize=49  nbInferences=0  nbTooLargeKeys=0
3.73	       =>  wckTime=2.012  cpuTime=1.93  mem=51M186
4.16	   
4.16	   search
4.16	     run=7  nbConstraintChecks=42645  nbValidityChecks=41560  nbPropagations=96793  nbRevisions=273689
4.17	     nbUselessRevisions=188637  nbAssignments=3335  nbFailedAssignments=36  nbBacktracks=643  nbVisitedNodes=3419
4.17	     nbRestartNogoods=11  mapSize=67  nbInferences=0  nbTooLargeKeys=0
4.17	       =>  wckTime=2.449  cpuTime=2.37  mem=52M160
4.70	   
4.70	   search
4.70	     run=8  nbConstraintChecks=62428  nbValidityChecks=66274  nbPropagations=126214  nbRevisions=370563
4.70	     nbUselessRevisions=256347  nbAssignments=3996  nbFailedAssignments=58  nbBacktracks=1020  nbVisitedNodes=4122
4.70	     nbRestartNogoods=16  mapSize=108  nbInferences=0  nbTooLargeKeys=0
4.70	       =>  wckTime=2.98  cpuTime=2.9  mem=52M160
5.33	   
5.33	   search
5.33	     run=9  nbConstraintChecks=86456  nbValidityChecks=98678  nbPropagations=166585  nbRevisions=509566
5.33	     nbUselessRevisions=354060  nbAssignments=4744  nbFailedAssignments=80  nbBacktracks=1467  nbVisitedNodes=4921
5.33	     nbRestartNogoods=17  mapSize=157  nbInferences=0  nbTooLargeKeys=0
5.33	       =>  wckTime=3.613  cpuTime=3.52  mem=52M949
6.10	   
6.10	   search
6.10	     run=10  nbConstraintChecks=110064  nbValidityChecks=131679  nbPropagations=218240  nbRevisions=690617
6.10	     nbUselessRevisions=481441  nbAssignments=5646  nbFailedAssignments=104  nbBacktracks=2065  nbVisitedNodes=5886
6.10	     nbRestartNogoods=19  mapSize=215  nbInferences=0  nbTooLargeKeys=0
6.10	       =>  wckTime=4.38  cpuTime=4.26  mem=10M458
7.06	   
7.06	   search
7.06	     run=11  nbConstraintChecks=157381  nbValidityChecks=196018  nbPropagations=292429  nbRevisions=954209
7.06	     nbUselessRevisions=666863  nbAssignments=6808  nbFailedAssignments=153  nbBacktracks=2932  nbVisitedNodes=7153
7.06	     nbRestartNogoods=24  mapSize=317  nbInferences=0  nbTooLargeKeys=0
7.06	       =>  wckTime=5.343  cpuTime=5.19  mem=11M446
8.50	   
8.50	   search
8.50	     run=12  nbConstraintChecks=219595  nbValidityChecks=283249  nbPropagations=395555  nbRevisions=1328640
8.50	     nbUselessRevisions=930703  nbAssignments=8470  nbFailedAssignments=220  nbBacktracks=4253  nbVisitedNodes=8957
8.50	     nbRestartNogoods=27  mapSize=454  nbInferences=0  nbTooLargeKeys=0
8.50	       =>  wckTime=6.783  cpuTime=6.63  mem=13M421
10.58	   
10.58	   search
10.58	     run=13  nbConstraintChecks=337787  nbValidityChecks=447175  nbPropagations=554834  nbRevisions=1912385
10.58	     nbUselessRevisions=1341291  nbAssignments=10783  nbFailedAssignments=325  nbBacktracks=6238  nbVisitedNodes=11528
10.58	     nbRestartNogoods=32  mapSize=706  nbInferences=0  nbTooLargeKeys=0
10.58	       =>  wckTime=8.861  cpuTime=8.71  mem=16M383
13.18	   
13.18	   INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=20M333)
13.34	   
13.34	   search
13.34	     run=14  nbConstraintChecks=488676  nbValidityChecks=652815  nbPropagations=785480  nbRevisions=2757031
13.34	     nbUselessRevisions=1933030  nbAssignments=14072  nbFailedAssignments=486  nbBacktracks=9161  nbVisitedNodes=15162
13.34	     nbRestartNogoods=38
13.34	       =>  wckTime=11.623  cpuTime=11.47  mem=20M333
15.77	   
15.77	   search
15.77	     run=15  nbConstraintChecks=693473  nbValidityChecks=911211  nbPropagations=1114228  nbRevisions=3930478
15.77	     nbUselessRevisions=2745961  nbAssignments=18907  nbFailedAssignments=730  nbBacktracks=13542  nbVisitedNodes=20464
15.77	     nbRestartNogoods=40
15.77	       =>  wckTime=14.056  cpuTime=13.9  mem=20M333
19.38	   
19.38	   search
19.38	     run=16  nbConstraintChecks=998798  nbValidityChecks=1307877  nbPropagations=1586896  nbRevisions=5609497
19.38	     nbUselessRevisions=3904702  nbAssignments=26075  nbFailedAssignments=1091  nbBacktracks=20131  nbVisitedNodes=28312
19.38	     nbRestartNogoods=47
19.38	       =>  wckTime=17.665  cpuTime=17.5  mem=21M321
25.05	   
25.05	   search
25.05	     run=17  nbConstraintChecks=1507922  nbValidityChecks=1986733  nbPropagations=2303519  nbRevisions=8152753
25.05	     nbUselessRevisions=5657056  nbAssignments=36681  nbFailedAssignments=1656  nbBacktracks=29989  nbVisitedNodes=40041
25.05	     nbRestartNogoods=50
25.05	       =>  wckTime=23.334  cpuTime=23.17  mem=21M321
33.13	   
33.13	   search
33.13	     run=18  nbConstraintChecks=2167806  nbValidityChecks=2854141  nbPropagations=3341928  nbRevisions=11806855
33.13	     nbUselessRevisions=8163840  nbAssignments=52424  nbFailedAssignments=2413  nbBacktracks=44784  nbVisitedNodes=57228
33.13	     nbRestartNogoods=58
33.13	       =>  wckTime=31.415  cpuTime=31.24  mem=21M321
45.75	   
45.75	   search
45.75	     run=19  nbConstraintChecks=3309197  nbValidityChecks=4345155  nbPropagations=4933827  nbRevisions=17376271
45.75	     nbUselessRevisions=11972928  nbAssignments=76094  nbFailedAssignments=3716  nbBacktracks=66975
45.75	     nbVisitedNodes=83495  nbRestartNogoods=63
45.75	       =>  wckTime=44.032  cpuTime=43.85  mem=21M321
65.07	   
65.07	   search
65.07	     run=20  nbConstraintChecks=5106537  nbValidityChecks=6746134  nbPropagations=7375010  nbRevisions=26029837
65.07	     nbUselessRevisions=17921811  nbAssignments=111462  nbFailedAssignments=5598  nbBacktracks=100273
65.07	     nbVisitedNodes=122766  nbRestartNogoods=70
65.07	       =>  wckTime=63.352  cpuTime=63.14  mem=21M321
93.84	   
93.84	   search
93.84	     run=21  nbConstraintChecks=7741874  nbValidityChecks=10280523  nbPropagations=11046890  nbRevisions=39265844
93.84	     nbUselessRevisions=27090074  nbAssignments=164258  nbFailedAssignments=8319  nbBacktracks=150165
93.84	     nbVisitedNodes=181021  nbRestartNogoods=77
93.84	       =>  wckTime=92.127  cpuTime=91.9  mem=21M321
140.70	   
140.70	   search
140.70	     run=22  nbConstraintChecks=12327615  nbValidityChecks=16340525  nbPropagations=16944237  nbRevisions=60337306
140.70	     nbUselessRevisions=41622699  nbAssignments=244703  nbFailedAssignments=13770  nbBacktracks=225013
140.70	     nbVisitedNodes=271593  nbRestartNogoods=87
140.70	       =>  wckTime=138.982  cpuTime=138.71  mem=21M321
209.68	   
209.68	   search
209.68	     run=23  nbConstraintChecks=18919000  nbValidityChecks=25388700  nbPropagations=26083538  nbRevisions=93091307
209.68	     nbUselessRevisions=64241265  nbAssignments=365125  nbFailedAssignments=21799  nbBacktracks=337263
209.68	     nbVisitedNodes=406952  nbRestartNogoods=94
209.68	       =>  wckTime=207.961  cpuTime=207.6  mem=21M321
305.20	   
305.20	   search
305.20	     run=24  nbConstraintChecks=27165205  nbValidityChecks=36024302  nbPropagations=39255394  nbRevisions=139618732
305.20	     nbUselessRevisions=96166635  nbAssignments=543376  nbFailedAssignments=31516  nbBacktracks=505635
305.20	     nbVisitedNodes=603867  nbRestartNogoods=99
305.20	       =>  wckTime=303.483  cpuTime=303.03  mem=21M321
451.30	   
451.30	   search
451.30	     run=25  nbConstraintChecks=40135059  nbValidityChecks=53169243  nbPropagations=58782381  nbRevisions=208263694
451.30	     nbUselessRevisions=143177074  nbAssignments=811334  nbFailedAssignments=46771  nbBacktracks=758153
451.30	     nbVisitedNodes=903690  nbRestartNogoods=109
451.30	       =>  wckTime=449.588  cpuTime=448.93  mem=21M321
675.20	   
675.20	   search
675.20	     run=26  nbConstraintChecks=60524767  nbValidityChecks=81013310  nbPropagations=88278342  nbRevisions=312961916
675.20	     nbUselessRevisions=215225605  nbAssignments=1215585  nbFailedAssignments=72102  nbBacktracks=1136937
675.20	     nbVisitedNodes=1354740  nbRestartNogoods=118
675.20	       =>  wckTime=673.485  cpuTime=672.58  mem=21M321
1005.76	   
1005.76	   search
1005.76	     run=27  nbConstraintChecks=90320130  nbValidityChecks=119781241  nbPropagations=132288881  nbRevisions=467685746
1005.76	     nbUselessRevisions=321162250  nbAssignments=1816101  nbFailedAssignments=104254  nbBacktracks=1705121
1005.76	     nbVisitedNodes=2023167  nbRestartNogoods=125
1005.76	       =>  wckTime=1004.044  cpuTime=1002.79  mem=21M321
1504.62	   
1504.62	   search
1504.62	     run=28  nbConstraintChecks=135420261  nbValidityChecks=179132386  nbPropagations=198436891  nbRevisions=699387465
1504.62	     nbUselessRevisions=479477136  nbAssignments=2718992  nbFailedAssignments=154751  nbBacktracks=2557347
1504.62	     nbVisitedNodes=3030295  nbRestartNogoods=137
1504.62	       =>  wckTime=1502.906  cpuTime=1501.13  mem=21M321

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/node6/watcher-212741-1168077254 -o ROOT/results/node6/solver-212741-1168077254 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212741-1168077254/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.93 1.99 1.96 4/93 9324
/proc/meminfo: memFree=1027616/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=1500 CPUtime=0
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 256 0 0 0 0 0 0 0 18 0 1 0 156120824 1536000 61 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2152241 0 0 4096 0 0 0 0 17 0 0 0
/proc/9323/statm: 375 69 55 14 0 8 0

[startup+0.107357 s]
/proc/loadavg: 1.93 1.99 1.96 4/93 9324
/proc/meminfo: memFree=1027616/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=912908 CPUtime=0.07
/proc/9323/stat : 9323 (java) S 9321 9323 9256 0 -1 0 2833 0 1 0 6 1 0 0 22 0 8 0 156120824 934817792 2579 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228227 2579 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908

[startup+0.515405 s]
/proc/loadavg: 1.93 1.99 1.96 4/93 9324
/proc/meminfo: memFree=1027616/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915328 CPUtime=0.48
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 6617 0 1 0 44 4 0 0 25 0 8 0 156120824 937295872 6356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228832 6356 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.3365 s]
/proc/loadavg: 1.93 1.99 1.96 3/100 9331
/proc/meminfo: memFree=981672/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915820 CPUtime=1.3
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 14860 0 1 0 103 27 0 0 25 0 8 0 156120824 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228955 14597 2181 14 0 215425 0
[pid=9323/tid=9325] ppid=9321 vsize=915820 CPUtime=0.03
/proc/9323/task/9325/stat : 9325 (java) R 9321 9323 9256 0 -1 64 37 0 0 0 3 0 0 0 16 0 8 0 156120830 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525442 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915820 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156120831 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915820 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156120831 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915820 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915820 CPUtime=0.2
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 431 0 0 0 19 1 0 0 16 0 8 0 156120834 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915820 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915820 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937799680 14597 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915820

[startup+2.97369 s]
/proc/loadavg: 1.93 1.99 1.96 3/100 9331
/proc/meminfo: memFree=970088/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915716 CPUtime=2.93
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 17322 0 1 0 264 29 0 0 25 0 8 0 156120824 937693184 17058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074109158 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228929 17058 2533 14 0 215399 0
[pid=9323/tid=9325] ppid=9321 vsize=915716 CPUtime=0.08
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1065 0 0 0 8 0 0 0 16 0 8 0 156120830 937693184 17058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915716 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937693184 17058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915716 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937693184 17058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915716 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937693184 17059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915716 CPUtime=0.36
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 517 0 0 0 35 1 0 0 15 0 8 0 156120834 937693184 17059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915716 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937693184 17059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915716 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937693184 17059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915716

[startup+6.26208 s]
/proc/loadavg: 1.93 1.99 1.96 3/100 9331
/proc/meminfo: memFree=962344/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=6.22
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19027 0 1 0 592 30 0 0 25 0 8 0 156120824 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074114565 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18761 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.38
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 523 0 0 0 36 2 0 0 16 0 8 0 156120834 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18761 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915844

[startup+12.7378 s]
/proc/loadavg: 1.94 1.99 1.96 3/100 9331
/proc/meminfo: memFree=962352/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=12.67
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19029 0 1 0 1237 30 0 0 25 0 8 0 156120824 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074086368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18762 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.38
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 524 0 0 0 36 2 0 0 15 0 8 0 156120834 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915844

[startup+25.6003 s]
/proc/loadavg: 1.95 1.99 1.96 3/100 9331
/proc/meminfo: memFree=962416/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=25.52
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 2522 30 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074101668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.38
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 36 2 0 0 17 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915844

[startup+51.2044 s]
/proc/loadavg: 1.97 1.99 1.96 3/100 9331
/proc/meminfo: memFree=962480/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=51.11
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 5081 30 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074218807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.38
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 36 2 0 0 17 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 915844

[startup+102.502 s]
/proc/loadavg: 1.98 1.99 1.96 3/100 9331
/proc/meminfo: memFree=962480/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=102.33
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 10203 30 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074082870 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.38
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 36 2 0 0 17 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 915844

[startup+162.546 s]
/proc/loadavg: 1.99 1.99 1.96 3/100 9331
/proc/meminfo: memFree=962480/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=162.31
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 16201 30 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074101640 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 915844

[startup+1483.57 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 9531
/proc/meminfo: memFree=962104/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=1481.91
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 148141 50 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074104874 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.38
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 36 2 0 0 17 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 915844

[startup+1543.62 s]
/proc/loadavg: 2.00 2.00 1.98 3/100 9531
/proc/meminfo: memFree=962104/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=1541.88
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 154138 50 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.39
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 37 2 0 0 16 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 915844

[startup+1603.66 s]
/proc/loadavg: 2.06 2.02 1.99 3/100 9531
/proc/meminfo: memFree=962168/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=1601.88
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 160137 51 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074104830 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.39
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 37 2 0 0 16 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 915844

[startup+1663.71 s]
/proc/loadavg: 2.02 2.01 1.99 3/100 9531
/proc/meminfo: memFree=962168/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=1661.85
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 166134 51 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074102897 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.39
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 37 2 0 0 16 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 915844

[startup+1723.76 s]
/proc/loadavg: 2.05 2.02 2.00 2/88 9578
/proc/meminfo: memFree=1177240/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=1721.82
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 172130 52 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074104874 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.39
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 37 2 0 0 16 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 915844

[startup+1783.81 s]
/proc/loadavg: 2.05 2.03 2.00 3/100 9623
/proc/meminfo: memFree=1110200/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=1781.81
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 178128 53 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074178134 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.39
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 37 2 0 0 16 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 915844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.01 s]
/proc/loadavg: 2.03 2.03 2.00 3/100 9623
/proc/meminfo: memFree=1110264/2055924 swapFree=4165672/4192956
[pid=9323] ppid=9321 vsize=915844 CPUtime=1800.01
/proc/9323/stat : 9323 (java) R 9321 9323 9256 0 -1 0 19032 0 1 0 179948 53 0 0 25 0 8 0 156120824 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074178096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9323/statm: 228961 18763 2537 14 0 215431 0
[pid=9323/tid=9325] ppid=9321 vsize=915844 CPUtime=0.1
/proc/9323/task/9325/stat : 9325 (java) S 9321 9323 9256 0 -1 64 1876 0 0 0 10 0 0 0 16 0 8 0 156120830 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9326] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9326/stat : 9326 (java) S 9321 9323 9256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9327] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9327/stat : 9327 (java) S 9321 9323 9256 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156120831 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9328] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9328/stat : 9328 (java) S 9321 9323 9256 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9329] ppid=9321 vsize=915844 CPUtime=0.39
/proc/9323/task/9329/stat : 9329 (java) S 9321 9323 9256 0 -1 64 526 0 0 0 37 2 0 0 16 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9330] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9330/stat : 9330 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9323/tid=9331] ppid=9321 vsize=915844 CPUtime=0
/proc/9323/task/9331/stat : 9331 (java) S 9321 9323 9256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156120834 937824256 18763 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915844

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

Child status: 143
Real time (s): 1802.07
CPU time (s): 1800.08
CPU user time (s): 1799.53
CPU system time (s): 0.547916
CPU usage (%): 99.8895
Max. virtual memory (cumulated for all children) (KiB): 915844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.547916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19048
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= 38131
involuntary context switches= 51565

runsolver used 2.26066 s user time and 5.72413 s system time

The end

Launcher Data (download as text)

Begin job on node6 on Sat Jan  6 09:54:14 UTC 2007


IDJOB= 212741
IDBENCH= 4794
FILE ID= node6/212741-1168077254

PBS_JOBID= 3475810

Free space on /tmp= 66526 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/f1000.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212741-1168077254/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-212741-1168077254 -o ROOT/results/node6/solver-212741-1168077254 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212741-1168077254/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b612940242fa18a717b5dca5f05715d9

RANDOM SEED= 41517842

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.240
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.240
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:      2055924 kB
MemFree:       1028096 kB
Buffers:         82916 kB
Cached:         600304 kB
SwapCached:       3036 kB
Active:         571832 kB
Inactive:       359048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1028096 kB
SwapTotal:     4192956 kB
SwapFree:      4165672 kB
Dirty:            2608 kB
Writeback:           0 kB
Mapped:         266824 kB
Slab:            81168 kB
Committed_AS:  5033780 kB
PageTables:       2824 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= 66528 MiB



End job on node6 on Sat Jan  6 10:24:16 UTC 2007